Я начал изучать квантовую механику. Я знаком с линейной алгеброй, функциональным анализом, исчислением и т. д., но в данный момент у меня проблема с формализмом скобок Дирака . А именно, у меня проблема с "переводом" с обычного "языка" линейной алгебры на этот формализм. Для лучшего понимания проблемы приведу некоторые определения, которые использую сам:
1) Предположим, что вектор в гильбертовом векторном пространстве .
Бюстгальтер является вектором двойственного векторного пространства , определяется , куда метрика на .
2) является линейным оператором на . Рассмотрим билинейную форму : . В этих обозначениях мы можем определить сопряженный оператор на : .
Я попытался понять два следующих уравнения:
Одно из возможных решений, которое я вижу, заключается в том, что это просто обозначение следующего:
Второй способ заключается в использовании изоморфизма между а также , а затем оператор способен воздействовать на а также (двойная корреспонденция).
Третий способ заключается в том, что мы везде используем матричное представление, и в выражении мы умножаем ряд на матрице оператора на столбце . Тогда это выражение абсолютно понятно, потому что умножение матриц ассоциативно.
Я был бы рад, если бы вы сказали, какой путь правильный, и если все мои предложения неверны, пожалуйста, скажите мне правильный.
Формулировка, использованная в вашем учебнике, была небрежной.
выступает в качестве на бюстгальтере, как такой же как , по определению сопряженного. Последняя формула также показывает, что .
В терминах линейной алгебры все становится очень просто, когда кет интерпретируется как вектор-столбец, соответствующий бюстгальтер — как сопряженный транспонированный вектор-строка, оператор — как квадратная матрица, а сопряженное — как сопряженное транспонирование. Это действительно частный случай, когда гильбертово пространство .
Действительно хороший вопрос (к сожалению, я пришел слишком поздно, чтобы помочь). Все это имеет вполне математический смысл, но его основы лежат в абстрактной алгебре и редко объясняются студентам, а потому остаются скрытыми от тех, у кого нет соответствующего воображения.
Чтобы твердо понять bra и ket, а не просто умножать строки на столбцы и помнить их правило сопряжения, достаточно усвоить две вещи: (некоторые части) двойственность в линейной алгебре , включая поведение линейных операторов , и двойственность гильбертова пространства . Неспособность понять любую из двух частей может привести к ментальному хаосу при любой попытке понять значение этих символов.
Как видим, оригинальный постер знает, что такое дуальное векторное пространство. В этом абзаце мы полностью забываем о гильбертовой структуре; есть только векторные пространства (над ℂ) и линейные карты. Если A : V 1 → V 2 — линейное отображение, а v : V 2 → ℂ — линейный функционал (элемент V 2 *), то их композиция v ∘ A отображает V 1 в ℂ и, следовательно, принадлежит V 1 * . Эта композиция для каждого данного A определяет линейную карту A * : V 2 * → V1 *, что называется «транспонированием » A ; эта вещь тавтологична и сохраняет линейность над ℂ. В то время как действие A на V 1 обозначается A ∣ u ⟩ в обозначениях Дирака, действие A * на V 2 * обозначается ⟨ v ∣ A (обратите внимание на порядок v и A в композиции). Нам не нужно отличать A * от A , потому что A всегда действует слева, а A * всегда действует справа.
Теперь вторая часть: непрерывный двойной в гильбертово пространство канонически изоморфен (т. е. одно и то же) своему комплексно-сопряженному . Это математический факт. Практически поэтому гильбертовы пространства так удобны, и я должен лучше объяснить, что означает «комплексно-сопряженные» в этом контексте. Элемент ∣ u ⟩ из , сказал «кет-вектор», и элемент ⟨ u ∣ из , сказал «бюстгальтер-вектор», идентичны. Два пространства связаны биекцией, т.е. не различаются как множества. При этом у них одинаковые законы сложения: ⟨ u ∣ + ⟨ v ∣ соответствует ∣ u ⟩ + ∣ v ⟩, умножение на действительные числа r ∈ ℝ : r ⟨ u ∣ соответствует r ∣ u ⟩, а также один и тот же вектор норма. Единственное отличие состоит в том, что умножение на комплексные скаляры c ∈ ℂ : c ⟨ u ∣ соответствует , где черта означает комплексное сопряжение, а не « c ∣ u ⟩». Чистое состояние квантовой системы можно записать как ∣ ψ ⟩ или ⟨ ψ ∣; хотя как комплексные векторы они разные, они представляют одно и то же состояние (обратите внимание, что скалярное умножение вектора состояния физически не меняет состояние). Мы видим: бра и кеты ничем не отличаются с точки зрения физики, теории множеств, метрической геометрии, топологии и даже реальной линейной алгебры. Вся разница между ними заключается в противоположных структурах комплексного (скалярного) умножения.
Мы видим, как две части соединяются вместе. Если , тогда отображает линейно к и, следовательно к , значит, у нас есть отображение (априори не ℂ-линейное ) из к . Он обозначается и, по сути, является комплексно-линейным, поскольку комплексная структура переворачивается дважды: один раз из к , и еще один из к . Или, в символах, личность
(Обратите внимание, что где-то «*» используется в таких контекстах для комплексного сопряжения, а не надчеркивания, что, безусловно, способствует созданию густой атмосферы путаницы вокруг символа звездочки.)
Операция «†» называется «эрмитово сопряженной» для абстрактных линейных операторов и «сопряженной транспонированной» для комплексных матриц. Это просто следствие перестановки операторов (из линейной алгебры) и изоморфизм (из теории гильбертовых пространств), но, если , он определяет нетривиальную инволюцию операторов в гильбертовых пространствах. Это немного сложно, потому что оператор транспонирования тавтологичен, а комплексное сопряжение бессмысленно по отдельности, но именно для гильбертовых пространств они вместе выполняют важную операцию. Две вышеупомянутые части алгебры должны быть объединены, чтобы получить другой оператор из того же операторного пространства .
Если вы думаете о как векторы-столбцы и как векторы-строки, то это просто матрица (возможно с ).
Затем вы можете подумать о как матрица действующий на вектор . Однако, поскольку является строкой, а не вектор-столбцом, вы не можете (для разумного вектора-строки) умножить с слева, но только справа:
Затем обычно определяют (или же ) в результате воздействия на с . Если вы затем возьмете скалярное произведение с , мы можем написать:
для некоторой матрицы такой, что (слева, так как являются векторами-столбцами). Кроме того, обнаруживается, что связь между а также таков, что
то есть эрмитово сопряженное: это имеет смысл - если вы позволяете реальной матрице действовать на строку, а не на обычный вектор-столбец, вы должны взять ее сопряженную (т.е. ), а магия квантовой механики просто добавляет к этому комплексно-сопряженное
Второй пункт очень похож: описывает двойной элемент , что бывает .
Как правило, с точки зрения физика, вы добавляете если вытащить оператора из лифчика, чтобы потом заставить его воздействовать на кет. Конечно (для толковых операторов), .
Я просто хочу оставить комментарий (требуется 50 репутации...)
Действия «слева» и «справа» на самом деле имеют точное значение, ср. групповое действие или левые/правые модули. не записывая никаких формул, обратите внимание, что у вас есть два «умножения», одно — это композиция операторов, другое — «действие». Различие левое/правое действие возникает, когда у вас есть два оператора, действующих на вектор...
ххххх
Арнольд Ноймайер
Инкнис Мрси