Это соответствует соотношению (3.25) между базисными состояниями i
Теперь вы понимаете, почему говорят, что базисные состояния i все «ортогональны друг другу».
Между (6.1) и скалярным произведением есть одно минимальное различие. У нас
а в векторной алгебре
А·В = В·А.
В квантовой механике с ее комплексными числами мы обязаны выдерживать порядок множителей, а в скалярном произведении порядок неважен.
Теперь рассмотрим такое векторное уравнение:
оно немножко необычно, но тем не менее верно. И означает оно то же самое, что и
Заметьте, однако, что в (6.6) входит величина, отличная от скалярного произведения. Скалярное произведение — это просто число, а (6.6) — векторное уравнение. Одним из великих приемов векторного анализа было абстрагировать от уравнений идею самого вектора. Равным образом можно попытаться абстрагировать от уравнения (6.1) то, что в квантовой механике является аналогом «вектора». И это действительно можно сделать. Уберем <c| по обе стороны (6.1) и напишем такое уравнение (не пугайтесь — это просто обозначение, и через пару минут вы узнаете, что означают эти символы):
Скобку <c|j> представляют себе состоящей из двух половинок. Вторую половинку |j> называют кет, а первую <c| называют брэ (поставленные рядом они образуют брэ-кетєbгаcket, скоб-каєскобка — обозначение, предложенное Дираком); полусимволы <c| и |j> также называют векторами состояний. Это не числа отнюдь, а нам вообще-то нужно, чтобы результаты наших расчетов выражались числами; стало быть, такие «незаконченные» величины представляют собой промежуточные шаги в расчетах.
До сих пор мы все свои результаты выражали с помощью чисел. Как же мы умудрялись избегать векторов? Забавно, что даже в обычной векторной алгебре можно сделать так, чтобы во все уравнения входили только числа. Например, вместо векторного уравнения типа
F=та всегда можно написать
C·F=C·(ma).
Получается уравнение, связывающее скалярные произведения и справедливое для любого вектора С. Но если оно верно для любого С, то едва ли имеет смысл вообще писать это С!
Теперь вернемся к (6.1). Это уравнение справедливо при любых c. Значит, для сокращения письма мы должны просто убрать c и написать вместо (6.1) уравнение (6.8). Это уравнение снабдит нас той же самой информацией, лишь бы мы понимали, что его всегда надлежит «завершить», «умножив слева на...», т. е. просто дописав некоторое <c| по обе стороны знака равенства. Следовательно, (6.8) означает в точности то же, что и (6.1),— ни более ни менее. Если вы предпочитаете числа, вы подставляете то <c|, которое вам нужно.
Может быть, вы в уравнении (6.8) уже нацелились и на j? Раз (6.8) справедливо при любом j, зачем же нам его держать? И действительно, Дирак предлагает абстрагироваться и от j, так что остается только
Вот он каков — великий закон квантовой механики! Этот закон утверждает, что если вы вставите любые два состояния c и j с обеих сторон, слева и справа, то опять вернетесь к (6.1). Уравнение (6.9) вообще-то не очень полезно, но зато является неплохим напоминанием о том, что уравнение выполняется для любых двух состояний.
§ 2. Разложение векторов состояний
Посмотрим на уравнение (6.8) еще раз; его можно рассматривать следующим образом. Любой вектор состояния |j> может быть представлен в виде линейной комбинации совокупности базисных «векторов» с подходящими коэффициентами, или, если угодно, в виде суперпозиции «единичных векторов» в подходящих пропорциях. Чтобы подчеркнуть, что коэффициенты <i|j> — это просто обычные (комплексные) числа, напишем
<i|j>=Сi. Тогда (6.8) совпадает с
Такое же уравнение можно написать и для всякого другого вектора состояния, скажем для |c>, но, конечно, с другими коэффициентами, скажем с Di. Тогда будем иметь
где Di — это просто амплитуды <i|c>.
Представим, что мы начали бы с того, что в (6.1) абстрагировались бы от j. Тогда мы бы имели
Вспоминая, что <c|i>=<i|c>*, можно записать это в виде
А теперь интересно вот что: чтобы обратно получить <c|j>, можно просто перемножить (6.13) и (6.10). Только, делая это, надо быть внимательным к индексам суммирования, потому что они в разных уравнениях разные. Перепишем сперва (6.13):
Это ничего не меняет. Объединяя с (6.10), получаем
Вспомните, однако, что <j|i>=dij, так что в сумме останутся только члены с j=i. Выйдет
где, как вы помните, d*i=<i|c>*=<c|i>, а Ci=<i|j>. Опять мы являемся свидетелями тесной аналогии со скалярным произведением
Единственная разница — что Diнужно комплексно сопрягать. Значит, (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) в виде