stringtranslate.com

Обозначение скобок

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

Обозначение Bra–ket было создано Полем Дираком в его публикации 1939 года «Новая нотация для квантовой механики» . Обозначение было введено как более простой способ записи квантово-механических выражений. [1] Название происходит от английского слова «bracket».

Квантовая механика

В квантовой механике для обозначения квантовых состояний повсеместно используется обозначение бра–кет . В обозначении используются угловые скобки , и , а также вертикальная черта , для построения «бра» и «кет».

Кет имеет вид . Математически он обозначает вектор , , в абстрактном (комплексном) векторном пространстве , а физически он представляет состояние некоторой квантовой системы.

Бюстгальтер имеет вид . Математически это обозначает линейную форму , т.е. линейное отображение , которое отображает каждый вектор в число в комплексной плоскости . Позволяя линейному функционалу действовать на вектор , записывается как .

Предположим, что существует скалярное произведение с антилинейным первым аргументом, которое создает скалярное произведение пространство . Тогда с помощью этого скалярного произведения каждый вектор можно идентифицировать с соответствующей линейной формой, поместив вектор в антилинейный первый слот скалярного произведения: . Соответствие между этими обозначениями тогда таково . Линейная форма является ковектором для , а множество всех ковекторов образует подпространство дуального векторного пространства , к исходному векторному пространству . Цель этой линейной формы теперь можно понять с точки зрения создания проекций на состояние для определения того, насколько линейно зависимы два состояния и т. д.

Для векторного пространства кеты можно идентифицировать с векторами-столбцами, а бра — с векторами-строками. Комбинации бра, кетов и линейных операторов интерпретируются с помощью умножения матриц . Если имеет стандартное эрмитово внутреннее произведение , при этой идентификации идентификация кетов и бра и наоборот, предоставляемая внутренним произведением, принимает эрмитово сопряжение (обозначается ).

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

Нотация Бракета была фактически установлена ​​в 1939 году Полем Дираком ; [1] [2] поэтому она также известна как нотация Дирака, несмотря на то, что у этой нотации был предшественник в лице Германа Грассмана , использовавшего ее для внутренних произведений почти 100 лет назад. [3] [4]

Векторные пространства

Векторы против кетов

В математике термин «вектор» используется для обозначения элемента любого векторного пространства. В физике, однако, термин «вектор» имеет тенденцию относиться почти исключительно к таким величинам, как смещение или скорость , которые имеют компоненты, которые напрямую связаны с тремя измерениями пространства , или релятивистски, с четырьмя измерениями пространства-времени . Такие векторы обычно обозначаются стрелками ( ), жирным шрифтом ( ) или индексами ( ).

В квантовой механике квантовое состояние обычно представляется как элемент комплексного гильбертова пространства , например, бесконечномерного векторного пространства всех возможных волновых функций (квадратно интегрируемых функций, отображающих каждую точку трехмерного пространства в комплексное число) или некоторого более абстрактного гильбертова пространства, построенного более алгебраически. Чтобы отличить этот тип вектора от описанных выше, в физике принято и полезно обозначать элемент абстрактного комплексного векторного пространства как кет , называть его «кет», а не вектором, и произносить его как «кет- » или «кет-А» для | A .

Символы, буквы, числа или даже слова — все, что служит удобной меткой — можно использовать в качестве метки внутри кет-символа, с четким указанием того, что метка указывает на вектор в векторном пространстве. Другими словами, символ « | A » имеет узнаваемое математическое значение относительно вида представляемой переменной, в то время как просто « A » само по себе не имеет. Например, |1⟩ + |2⟩ не обязательно равно |3⟩ . Тем не менее, для удобства, обычно за метками внутри кет-символов стоит некоторая логическая схема, например, распространенная практика маркировки энергетических собственных кет-символов в квантовой механике посредством перечисления их квантовых чисел . В простейшем случае метка внутри кет-символа является собственным значением физического оператора, например , , , и т. д.

Обозначение

Поскольку кеты — это просто векторы в эрмитовом векторном пространстве, ими можно манипулировать, используя обычные правила линейной алгебры. Например:

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

Поскольку кет является элементом векторного пространства, бра является элементом его дуального пространства , то есть бра является линейным функционалом, который является линейным отображением из векторного пространства в комплексные числа. Таким образом, полезно думать о кетах и ​​бра как об элементах разных векторных пространств (см. ниже, однако), причем оба являются разными полезными концепциями.

Бра и кет (т.е. функционал и вектор) можно объединить в оператор ранга один с внешним произведением

Внутреннее произведение и идентификация скобок в гильбертовом пространстве

Обозначение бра–кет особенно полезно в гильбертовых пространствах, которые имеют скалярное произведение [5] , которое допускает эрмитово сопряжение и отождествление вектора с непрерывным линейным функционалом, т. е. кет с бра, и наоборот (см. теорему о представлении Рисса ). Скалярное произведение в гильбертовом пространстве (с первым аргументом антилинейным, как предпочитают физики) полностью эквивалентно (антилинейному) отождествлению между пространством кетов и пространством бра в обозначении бра-кет: для векторного кет определим функционал (т. е. бра) как

Бра и кеты как векторы строк и столбцов

В простом случае, когда мы рассматриваем векторное пространство , кет может быть идентифицирован как вектор-столбец , а бра как вектор-строка . Если, кроме того, мы используем стандартное эрмитово внутреннее произведение на , бра, соответствующие кету, в частности бра m | и кет | m с той же меткой, являются сопряженными транспонированными . Более того, соглашения установлены таким образом, что написание бра, кетов и линейных операторов рядом друг с другом просто подразумевает умножение матриц . [6] В частности, внешнее произведение столбца и вектора-строки кет и бра может быть идентифицировано с умножением матриц (вектор-столбец умножить на вектор-строку равно матрице).

Для конечномерного векторного пространства, используя фиксированный ортонормированный базис , скалярное произведение можно записать как матричное умножение вектора-строки на вектор-столбец: Исходя из этого, бра и кеты можно определить как: и тогда понятно, что бра рядом с кетом подразумевает матричное умножение.

Сопряженное транспонирование (также называемое эрмитовым сопряжением ) бюстгальтера является соответствующим кет-множеством и наоборот: потому что если начать с бюстгальтера , затем выполнить комплексное сопряжение , а затем транспонирование матрицы , то в итоге получится кет-множество.

Запись элементов конечномерного (или mutatis mutandis , счетно бесконечного) векторного пространства в виде вектора-столбца чисел требует выбора базиса . Выбор базиса не всегда полезен, поскольку вычисления в квантовой механике часто включают переключение между различными базисами (например, базис положения, базис импульса, базис собственной энергии), и можно написать что-то вроде " | m ", не привязываясь к какому-либо конкретному базису. В ситуациях, связанных с двумя различными важными базисными векторами, базисные векторы могут быть взяты в нотации явно и здесь будут упоминаться просто как " | " и " | + ".

Ненормализуемые состояния и негильбертовы пространства

Обозначение Бракета можно использовать, даже если векторное пространство не является гильбертовым .

В квантовой механике общепринятой практикой является запись кетов, имеющих бесконечную норму , т. е. ненормализуемых волновых функций . Примерами служат состояния, волновые функции которых являются дельта-функциями Дирака или бесконечными плоскими волнами . Они, технически, не принадлежат самому гильбертову пространству . Однако определение «гильбертова пространства» можно расширить, чтобы включить эти состояния (см. конструкцию Гельфанда–Наймарка–Сигала или оснащенные гильбертовы пространства ). Обозначение бра–кет продолжает работать аналогичным образом в этом более широком контексте.

Банаховы пространства являются другим обобщением гильбертовых пространств. В банаховом пространстве B векторы могут быть обозначены как kets, а непрерывные линейные функционалы как bras. Над любым векторным пространством без топологии мы также можем обозначить векторы как kets, а линейные функционалы как bras. В этих более общих контекстах скобка не имеет смысла скалярного произведения, поскольку теорема Рисса о представлении не применяется.

Использование в квантовой механике

Математическая структура квантовой механики в значительной степени основана на линейной алгебре :

Поскольку практически каждое вычисление в квантовой механике включает векторы и линейные операторы, оно может включать, и часто включает, скобочную нотацию. Ниже приведено несколько примеров:

Бесспиновая позиционно-пространственная волновая функция

Компоненты комплексных векторов, построенные против индексного числа; дискретный k и непрерывный x . Выделены два конкретных компонента из бесконечного множества.

Гильбертово пространство точечной частицы со спином -0 охватывается « базисом положения » { | r } , где метка r распространяется на множество всех точек в пространстве положения . Эта метка является собственным значением оператора положения, действующего на такое базисное состояние, . [ необходима цитата ] Поскольку в базисе имеется несчетное бесконечное число векторных компонент, это несчетное бесконечномерное гильбертово пространство. [7] Размерности гильбертова пространства (обычно бесконечные) и пространства положения (обычно 1, 2 или 3) не следует смешивать.

Начиная с любого кет-множителя |Ψ⟩ в этом гильбертовом пространстве, можно определить комплексную скалярную функцию от r , известную как волновая функция , [ необходимо разъяснение ]

С левой стороны Ψ( r ) — функция, отображающая любую точку пространства в комплексное число; с правой стороны — кет-функция, состоящая из суперпозиции кет-функций с относительными коэффициентами, заданными этой функцией.

Тогда принято определять линейные операторы, действующие на волновые функции, через линейные операторы, действующие на кет-функции, следующим образом:

Например, оператор импульса имеет следующее координатное представление:

Иногда даже встречается выражение типа , хотя это своего рода злоупотребление обозначениями . Дифференциальный оператор следует понимать как абстрактный оператор, действующий на кеты, который имеет эффект дифференцирования волновых функций, как только выражение проецируется на базис положения, даже если в базисе импульса этот оператор сводится к простому оператору умножения (на p ). То есть, можно сказать, или

Перекрытие штатов

В квантовой механике выражение φ | ψ обычно интерпретируется как амплитуда вероятности коллапса состояния ψ в состояние φ . Математически это означает коэффициент для проекции ψ на φ . Его также описывают как проекцию состояния ψ на состояние φ .

Изменение базиса для частицы со спином 1/2

Стационарная частица со спином 12 имеет двумерное гильбертово пространство. Один ортонормированный базис имеет вид: где |↑ z — состояние с определенным значением оператора спина S z , равным + 12 , а |↓ z — состояние с определенным значением оператора спина S z , равным − 12 .

Поскольку они являются базисом, любое квантовое состояние частицы можно выразить как линейную комбинацию (т.е. квантовую суперпозицию ) этих двух состояний: где a ψ и b ψ — комплексные числа.

Другой базис для того же самого гильбертова пространства: определяется в терминах S x , а не S z .

Опять же, любое состояние частицы можно выразить как линейную комбинацию этих двух:

В векторной форме вы можете писать в зависимости от того, какой базис вы используете. Другими словами, «координаты» вектора зависят от используемого базиса.

Существует математическая связь между , , и ; см. изменение базиса .

Ловушки и неоднозначное использование

Существуют некоторые соглашения и способы обозначения, которые могут оказаться запутанными или неоднозначными для непосвященных или начинающих студентов.

Разделение внутреннего произведения и векторов

Причиной путаницы является то, что нотация не отделяет операцию внутреннего произведения от нотации для (bra)-вектора. Если (дуальный пространственный) бра-вектор построен как линейная комбинация других бра-векторов (например, при выражении его в некотором базисе), нотация создает некоторую двусмысленность и скрывает математические детали. Мы можем сравнить нотацию bra–ket с использованием жирного шрифта для векторов, таких как , и для внутреннего произведения. Рассмотрим следующий дуальный пространственный бра-вектор в базисе :

Необходимо определить по соглашению, находятся ли комплексные числа внутри или снаружи внутреннего произведения, и каждое соглашение дает разные результаты.

Повторное использование символов

Обычно для меток и констант используется один и тот же символ . Например, , где символ используется одновременно как имя оператора , его собственный вектор и связанное с ним собственное значение . Иногда шляпа также сбрасывается для операторов, и можно увидеть такие обозначения, как . [8]

Эрмитово сопряжение кетов

Обычно можно увидеть использование , где крестик ( ) соответствует эрмитовому сопряжению. Однако это неверно в техническом смысле, поскольку кет, , представляет собой вектор в комплексном гильбертовом пространстве , а бра, , является линейным функционалом на векторах в . Другими словами, является просто вектором, в то время как является комбинацией вектора и скалярного произведения.

Операции внутри бюстгальтеров и кетов

Это делается для быстрой записи масштабирующих векторов. Например, если вектор масштабируется на , он может быть обозначен как . Это может быть неоднозначно, так как это просто метка для состояния, а не математический объект, над которым можно выполнять операции. Такое использование более распространено при обозначении векторов как тензорных произведений, где часть меток перемещается за пределы спроектированного слота, например .

Линейные операторы

Линейные операторы, действующие на кеты

Линейный оператор — это отображение, которое принимает на вход кет-вектор и выводит кет-вектор. (Чтобы называться «линейным», необходимо обладать определенными свойствами .) Другими словами, если — линейный оператор и — кет-вектор, то — другой кет-вектор.

В -мерном гильбертовом пространстве мы можем наложить базис на пространство и представить в терминах его координат как вектор-столбец . Используя тот же базис для , он представляется комплексной матрицей. Кет-вектор теперь можно вычислить путем умножения матриц.

Линейные операторы повсеместно встречаются в теории квантовой механики. Например, наблюдаемые физические величины представлены самосопряженными операторами , такими как энергия или импульс , тогда как преобразующие процессы представлены унитарными линейными операторами, такими как вращение или прогрессия времени.

Линейные операторы, действующие на бюстгальтеры

Операторы также можно рассматривать как действующие на бюстгальтеры с правой стороны . В частности, если A — линейный оператор, а φ | — бюстгальтер, то φ | A — другой бюстгальтер, определенный правилом (другими словами, композиция функций ). Это выражение обычно записывается как (ср. energy inner product )

В N -мерном гильбертовом пространстве φ | можно записать как вектор-строку размером 1 × N , а A (как в предыдущем разделе) — это матрица размером N × N. Тогда bra φ | A можно вычислить с помощью обычного умножения матриц.

Если один и тот же вектор состояния появляется как на стороне бра, так и на стороне кет, то это выражение дает математическое ожидание или среднее значение наблюдаемой, представленной оператором A для физической системы в состоянии | ψ .

Внешние продукты

Удобный способ определения линейных операторов в гильбертовом пространстве H задается внешним произведением : если ϕ | — бра, а | ψ — кет-множитель, то внешнее произведение обозначает оператор ранга один с правилом

Для конечномерного векторного пространства внешнее произведение можно понимать как простое умножение матриц: внешнее произведение представляет собой матрицу N × N , как и ожидалось для линейного оператора.

Одним из применений внешнего произведения является построение операторов проекции . Если задан кет | ψ нормы 1, ортогональная проекция на подпространство, натянутое на | ψ ⟩, равна Это идемпотент в алгебре наблюдаемых, действующий в гильбертовом пространстве.

Эрмитов сопряженный оператор

Так же, как кеты и бра могут быть преобразованы друг в друга (превращая | ψ в ψ | ), элемент из дуального пространства, соответствующий A | ψ ⟩, есть ψ | A , где A обозначает эрмитово сопряженное (или сопряженное) значение оператора A . Другими словами,

Если A выражена как матрица N × N , то A является ее сопряженной транспонированной матрицей.

Характеристики

Нотация Bra–ket была разработана для облегчения формальной манипуляции линейно-алгебраическими выражениями. Некоторые свойства, которые позволяют такую ​​манипуляцию, перечислены здесь. В дальнейшем c 1 и c 2 обозначают произвольные комплексные числа , c * обозначает комплексно сопряженное число c , A и B обозначают произвольные линейные операторы, и эти свойства должны сохраняться для любого выбора bra и ket.

Линейность

Ассоциативность

При наличии любого выражения, включающего комплексные числа, bras, kets, внутренние произведения, внешние произведения и/или линейные операторы (но не сложение), записанного в нотации bra–ket, группировки в скобках не имеют значения (т. е. сохраняется ассоциативное свойство ). Например:

и так далее. Выражения справа (без каких-либо скобок) могут быть записаны однозначно из-за равенств слева. Обратите внимание, что ассоциативное свойство не выполняется для выражений, которые включают нелинейные операторы, такие как антилинейный оператор обращения времени в физике.

Эрмитово сопряжение

Обозначение Bra–ket делает особенно простым вычисление эрмитово сопряженного (также называемого dagger и обозначаемого ) выражения. Формальные правила таковы:

Этих правил достаточно для формальной записи эрмитово сопряженного выражения любого такого типа; вот некоторые примеры:

Композитные бюстгальтеры и кеты

Два гильбертовых пространства V и W могут образовывать третье пространство VW с помощью тензорного произведения . В квантовой механике это используется для описания составных систем. Если система состоит из двух подсистем, описанных в V и W соответственно, то гильбертово пространство всей системы является тензорным произведением двух пространств. (Исключением является случай, когда подсистемы на самом деле являются идентичными частицами . В этом случае ситуация немного сложнее.)

Если | ψ — кет-контур в V и | φ — кет-контур в W , то тензорное произведение двух кет-контуров является кет-контуром в VW . Это записывается в различных обозначениях:

См. квантовую запутанность и парадокс ЭПР для получения информации о применении этого продукта.

Оператор установки

Рассмотрим полную ортонормированную систему ( базис ) для гильбертова пространства H относительно нормы из скалярного произведения ⟨·,·⟩ .

Из базового функционального анализа известно, что любой кет-умножитель можно также записать в виде ⟨ ·|·⟩ со скалярным произведением в гильбертовом пространстве.

Из коммутативности кет-множеств с (комплексными) скалярами следует, что должен быть оператор тождества , который переводит каждый вектор в себя.

Затем это можно вставить в любое выражение, не влияя на его значение; например , в последней строке для избежания беспорядка использовано соглашение Эйнштейна о суммировании .

В квантовой механике часто бывает так, что мало или совсем нет информации о внутреннем произведении ψ | φ двух произвольных (состояний) кетов, в то время как все еще можно что-то сказать о коэффициентах разложения ψ | e i = e i | ψ * и e i | φ этих векторов относительно определенного (ортонормированного) базиса. В этом случае особенно полезно вставить единичный оператор в скобки один или несколько раз.

Для получения дополнительной информации см. Разрешение тождества , [10] где

Так как x | x = δ ( xx ) , то следуют плоские волны,

В своей книге (1958), гл. III.20, Дирак определяет стандартный кет , который с точностью до нормировки является трансляционно-инвариантным собственным состоянием импульса в импульсном представлении, т.е. . Следовательно, соответствующая волновая функция является константой, , а также

Обычно, когда все матричные элементы оператора, такие как доступны, это разрешение служит для восстановления полного оператора,

Обозначения, используемые математиками

Объектом, который физики рассматривают при использовании скобочной нотации, является гильбертово пространство ( полное внутреннее произведение).

Пусть — гильбертово пространство, а hH — вектор в H. То, что физики обозначают как | h ⟩, — это сам вектор. То есть,

Пусть H * будет двойственным пространством H . Это пространство линейных функционалов на H . Вложение определяется соотношением , где для каждого hH линейный функционал удовлетворяет для каждого gH функциональному уравнению . Возникает путаница в обозначениях при отождествлении φ h и g с h | и | g соответственно. Это происходит из-за буквальных символических подстановок. Пусть и пусть g = G = | g . Это дает

Один игнорирует скобки и удаляет двойные черты.

Более того, математики обычно пишут дуальную сущность не на первом месте, как это делают физики, а на втором, и обычно используют не звездочку, а черточку сверху (которую физики оставляют для средних значений и сопряженного спинора Дирака ) для обозначения комплексно-сопряженных чисел; т. е. для скалярных произведений математики обычно пишут, тогда как физики написали бы для той же величины

Смотрите также

Примечания

  1. ^ ab Дирак 1939
  2. ^ Шанкар 1994, Глава 1
  3. ^ Грассман 1862
  4. Лекция 2 | Квантовые запутанности, часть 1 (Стэнфорд), Леонард Сасскинд о комплексных числах, комплексно-сопряженных, бра, кет. 2006-10-02.
  5. Лекция 2 | Квантовые запутанности, часть 1 (Стэнфорд), Леонард Сасскинд о внутреннем произведении, 2006-10-02.
  6. ^ «Гидни, Крейг (2017). Обозначение Бра–Кета упрощает умножение матриц».
  7. ^ Сакурай и Наполитано, 2021, раздел 1.2.
  8. ^ Сакурай и Наполитано 2021, разделы 1.2, 1.3
  9. Заметки лекций Роберта Литтлджона, архив 2012-06-17 в Wayback Machine , уравнения 12 и 13
  10. ^ Сакурай и Наполитано 2021, разделы 1.2, 1.3

Ссылки

Внешние ссылки