Почему мы представляем векторы состояний с помощью кет-векторов?

Из того, что я сейчас понимаю, учитывая общий вектор состояния | ψ волновая функция:

ψ ( Икс ) "=" Икс | ψ
представлять вектор | ψ в базе собственных значений позиционного оператора. Точно так же волновая функция
ψ ( п ) "=" п | ψ
представляют тот же вектор, но в основе импульса. На практике мы можем думать о волновых функциях как о векторах-столбцах с бесконечным числом элементов, по одному на каждое действительное число.

Итак, когда мы пишем | ψ мы хотим представить абстрактный вектор | ψ без привязки к конкретной базе? Почему мы это делаем? В дружественной трехмерной линейной алгебре мы почти всегда думаем о векторах в контексте их конкретного представления в некоторой базе. Не проще ли всегда представлять векторы состояний в какой-то определенной базе, например, в виде волновых функций? Я говорю это потому, что использование этого двойного способа представления векторов иногда приводит к путанице; например: в лекциях по КМ часто бывает, что некий оператор описывается как действующий на кет-векторы:

А | ψ
а затем через некоторое время тот же оператор без каких-либо дополнительных объяснений показан как действующий на функции:
А ψ ( Икс )
Но есть некоторые операции, которые имеют смысл только в том случае, если они применяются к функциям, а не к кет-векторам. Почему мы представляем вещи таким образом? Почему бы нам не использовать представление векторов волновой функцией только в какой-то конкретной базе?

Волновые функции ψ ( Икс ) представлять компоненты векторов | ψ . Когда мы используем оператор on, действующий на | ψ , можно использовать тот же оператор, но в другом представлении на ψ ( Икс ) . Например, оператор импульса я г г Икс действует на ψ ( Икс ) , но это специальное представление общего оператора п ^ Икс действующий на | ψ .
Я не согласен с вашим утверждением, что выбрать представление вектора проще. На самом деле, я стараюсь избегать этого, насколько это возможно. Конкретное представление — это лишняя информация, а лишние вещи в лучшем случае лишние, а в худшем — сбивают с толку.
Я хотел бы ответить на это, но я не хочу тратить на это время, потому что я написал довольно обширный ответ на ваш другой вопрос , который еще не решен. Я предложил разобраться с вашими путаницами в чате и был бы рад улучшить ответ до такой степени, что его можно будет принять. Пожалуйста, дайте мне знать, если вы заинтересованы в этом.
Однако скажу одно: вся эта проблема не имеет абсолютно никакого отношения к квантовой механике. Весь этот вопрос сводится к тому, работаем ли мы в конкретном базисе или с базисно-независимым представлением векторов. Обозначения, такие как А ψ ( Икс ) не согласованы и не должны использоваться. Я напишу более полный ответ, как только мы разберемся с вашим предыдущим вопросом.
В дружественной трехмерной линейной алгебре мы почти всегда думаем о векторах в контексте их конкретного представления в некоторой базе. Разве вы никогда не писали абстрактно матрицу как М и вектор как в ?
«Но есть некоторые операции, которые имеют смысл только в том случае, если они применяются к функциям, а не к кет-векторам». Например, что? Вы читали стандартный текст Дирака?

Ответы (1)

В лекциях по КМ часто бывает, что некий оператор описывается как действующий на кет-векторы. А | ψ а затем через некоторое время тот же оператор без каких-либо дополнительных объяснений показан как действующий на функции А ψ ( Икс ) .

Это неправильно. Возможно, вы где-то это видели, но автор был небрежен или злоупотреблял обозначениями.


Позволять | ψ быть абстрактным кет-вектором. Если мы хотим представить его в непрерывном позиционном базисе, мы можем вставить тождественный оператор 1 "=" | Икс Икс | г Икс и получить

| ψ "=" | Икс Икс | ψ г Икс "=" | Икс ψ ( Икс ) г Икс
Грубо говоря, ψ ( Икс ) является компонентом | ψ вдоль базисного вектора | Икс . Если вы хотите думать о чем-то как о бесконечно длинном векторе-столбце, то это должно быть | ψ , нет ψ ( Икс ) (это просто комплексное число).

Точно так же, если А является абстрактным оператором, то мы можем позволить ему действовать на абстрактных кетах | ψ как А | ψ . Расширение | ψ в позиционном базисе находим

А | ψ "=" А | Икс ψ ( Икс ) г Икс

А по-прежнему является абстрактным оператором, действующим на кет (в данном случае | Икс ), а не функция. Если мы вставим другой оператор тождества | у у | г у , мы нашли

А | ψ "=" | у у | А | Икс ψ ( Икс ) г у   г Икс

Объект у | А | Икс А у Икс это у Икс компонент абстрактного оператора А . Этот объект воздействует на функции. Результат в том, что

А | ψ "=" | у А у Икс ψ ( Икс ) г у   г Икс

Например, оператор положения Вопрос имеет компоненты Вопрос у Икс у | Вопрос | Икс "=" дельта ( у Икс ) Икс а оператор импульса имеет компоненты п у Икс у | п | Икс "=" я дельта ( у Икс ) г г Икс . Поэтому у нас было бы

Вопрос | ψ "=" | Икс Икс ψ ( Икс ) г Икс
п | ψ "=" | Икс ( я ) ψ ( Икс ) г Икс


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

Причина, по которой мы используем кеты, в первую очередь заключается в том, что может быть очень удобно не ограничивать себя какой-то конкретной основой. Мне очень трудно поверить, что вы никогда не использовали векторную запись р в отличие от обозначения индекса р я , а это точно одно и то же. Разница лишь в том, что индекс я в р я переезжает { 1 , 2 , 3 } , а индекс Икс в ψ ( Икс ) переезжает р .

Я думаю, что ваш ответ может создать много путаницы. Не поймите меня неправильно, я думаю, что ваш ответ полностью правильный, но у меня с ним проблема. ф ( Икс ) это число, если Икс фиксировано, однако мы часто интерпретируем ф ( Икс ) не как число, а как функция, функции действительно образуют комплексное векторное пространство и могут рассматриваться как вектор с бесконечными элементами. Все, что вы отвечаете, основано на представлении о том, что ф ( Икс ) это число в моем вопросе, но я хотел сказать ф ( Икс ) как функция. Я думаю, что это было бы лучше использовать вместо | ф . Вы понимаете мою точку зрения? Если нет, дайте мне знать.
@Noumeno Я думаю, ты неправильно понял мой ответ. Вы можете работать исключительно в позиционном представлении, если хотите, но если вы хотите использовать нотацию в скобках, то вам нужно понимать, что есть разница между абстрактным оператором (действующим на абстрактных кетах) и позиционным пространством. представление оператора (действующего на волновые функции).
Да, я это понял и думаю, что вы совершенно правы. Но я также думаю, что мы можем думать о функции как о сложных векторах в бесконечном измерении, в своем ответе вы, кажется, подразумеваете, что мы можем думать так только о кет-векторах, также я нахожу, что ф ( Икс ) это не число, как вы утверждаете, потому что оно может быть числом, если Икс фиксировано, но может также представлять функцию, если Икс не фиксируется. Итак, в вашем ответе есть некоторые проблемные части, вы согласны или я что-то упускаю из виду? Но основной посыл ответа, на мой взгляд, конечно, правильный.
@Noumeno Либо вы работаете в нотации бюстгальтера, либо нет. Если вы, то ф ( Икс ) следует рассматривать как компонент вашего вектора вдоль базисного вектора | Икс . Если вы не работаете в нотации скобок, то вектор — это функция ф . Мне кажется, что вы пытаетесь смешать оба соглашения, что не очень хорошая идея.
Я пытаюсь доказать, что вторая конвенция лучше, во всяком случае, я понимаю вашу точку зрения.
@Noumeno Если вы пытаетесь быть математически строгим, я также считаю предпочтительнее второе соглашение. Однако на стандартном для физиков уровне строгости мне трудно утверждать, что запись в скобках ненамного удобнее, особенно при работе с такими вещами, как теория возмущений.