Разложение векторов состояний

Посмотрим на уравнение (6.8) еще раз; его можно рассмат­ривать следующим образом. Любой вектор состояния |j> может быть представлен в виде линейной комбинации совокуп­ности базисных «векторов» с подходящими коэффициентами, или, если угодно, в виде суперпозиции «единичных векторов» в подходящих пропорциях. Чтобы подчеркнуть, что коэффи­циенты < i |j> — это просто обычные (комплексные) числа, на­пишем

< i |j>= С_i. Тогда (6.8) совпадает с

Такое же уравнение можно написать и для всякого другого вектора состояния, скажем для |c>, но, конечно, с другими коэффициентами, скажем с D_i. Тогда будем иметь

где D_i — это просто амплитуды < i |c>.

Представим, что мы начали бы с того, что в (6.1) абстра­гировались бы от j. Тогда мы бы имели

Вспоминая, что <c| i >=< i |c>*, можно записать это в виде

А теперь интересно вот что: чтобы обратно получить <c|j>, можно просто перемножить (6.13) и (6.10). Только, делая это, надо быть внимательным к индексам суммирования, потому что они в разных уравнениях разные. Перепишем сперва (6.13):

Это ничего не меняет. Объединяя с (6.10), получаем

Вспомните, однако, что <j| i >=d_ij, так что в сумме останутся только члены с j=i. Выйдет

где, как вы помните, d*_i =< i |c>*=<c| i >, а C_i =<i|j>. Опять мы являемся свидетелями тесной аналогии со скалярным произведением

Единственная разница — что D_i нужно комплексно сопрягать. Значит, (6.15) утверждает, что если разложить векторы со­стояний <c| и |j> по базисным векторам < i| или | i), то ампли­туда перехода из j в c дается своего рода скалярным произве­дением (6.15). А это просто (6.1), записанное в других символах. Мы ходим по кругу, привыкая к новым символам.

Может быть, стоит подчеркнуть, что в то время, как про­странственные трехмерные векторы выражаются через три ортогональных единичных вектора, базисные векторы | i > квантовомеханических состояний должны пробегать всю совокуп­ность, отвечающую данной задаче. В зависимости от положения вещей в нее может входить два или три, пять или бесконечно много базисных состояний.

Мы говорили также о том, что происходит, когда частицы проходят через прибор. Если мы выпустим частицы в опре­деленном состоянии j, затем проведем их через прибор, а после проделаем измерение, чтобы посмотреть, находятся ли они в состоянии c, то результат будет описываться амплитудой

Такой символ не имеет близкого аналога в векторной алгебре. (Он ближе к тензорной алгебре, но эта аналогия не так уж полезна.) Мы видели в гл. 3 [формула (3.32)], что (6.16) можно переписать так:

Это пример двукратного применения основного правила (6.9).

Мы обнаружили также, что если вслед за прибором А по ставить другой прибор 5, то можно написать

Это опять-таки следует прямо из предложенного Дираком метода записи уравнения (6,9). Вспомните, что между В и A всегда можно поставить черту (|), которая ведет себя совсем как множитель единица.

Кстати говоря, об уравнении (6.17) можно рассуждать и иначе. Предположим, что мы рассуждаем о частице, попадающей в прибор А в состоянии j и выходящей из него в состоянии y. Мы можем задать себе такой вопрос: можно ли найти такое состояние y, чтобы амплитуда перехода от yк c тождественно совпадала с амплитудой <c| A |j>?Ответ гласит да. Мы хотим, чтобы (6.17) заменилось уравнением

Конечно, этого можно достичь, если взять

что и определяет собой y. «Но оно не определяет собой y,— скажете вы,— оно определяет только < i |y>». Однако <i|y> все же определяет y; ведь если у вас есть все коэффициенты, связывающие y с базисными состояниями i, то y опреде­ляется однозначно. И действительно, можно поупражняться с нашими обозначениями и записать (6.20) в виде

А раз это уравнение справедливо при всех г, то можно просто писать

Теперь мы вправе сказать: «Состояние y — это то, что полу­чается, если начать с j и пройти сквозь аппарат A».

Еще один, последний пример полезных уловок. Начинаем опять с (6.17). Раз это уравнение соблюдается при любых c и j, то их обоих можно сократить! Получаем

Что это значит? Только то, что получится, если вернуть на свои места j и c. В таком виде это уравнение «недокончено» и неполно. Если умножить его «справа» на |j>, то оно превра­щается в

а это снова то же уравнение (6.22). В самом деле, мы бы могли просто убрать из (6.22) все j и написать

Символ А — это не амплитуда и не вектор; это вещь осо­бого рода, именуемая оператором. Он — нечто, что «опериру­ет» над состоянием, чтобы создать новое состояние; уравнение (6.25) говорит, что |y)> — это то, что получается, если А дей­ствует на |j>. Это уравнение тоже нужно считать недокончен­ным, открытым, пока слева оно не умножится на какое-то «брэ», скажем на <c|, и не обратится в

Оператор А, разумеется, полностью описывается тем, что за дается матрица амплитуд < i | A | j >;ее также пишут в виде А_ij— через любую совокупность базисных векторов.

Все эти математические обозначения на самом деле ничего нового не вносят. Единственный резон, почему мы их ввели,— мы хотели показать, как пишутся обрывки уравнений, потому что во многих книжках вы встретите уравнения, написанные в неполном виде, и нет причин вам пугаться, увидев их. Если вы захотите, вы всегда сможете дописать те части, которых не хватает, и получить уравнение, связывающее числа. Оно будет выглядеть более привычно.

Кроме того, как вы увидите, обозначения «брэ» и «кет» очень удобны. Прежде всего мы теперь сможем указывать со­стояния, задавая их вектор состояния. Когда мы захотим вести речь о состоянии с определенным импульсом р, то скажем: «состояние

| р >». Или будем говорить о некотором произволь­ном состоянии |y>. Для единообразия мы всегда, говоря о состоянии, будем употреблять «кет» и писать |y>. (Конечно, этот выбор совершенно произволен; в равной мере мы могли бы остановиться и на «брэ» <y|.)

Дата добавления: 2015-06-04