⟨ψ|A^|ψ⟩=⟨ψ|B^|ψ⟩⟨ψ|A^|ψ⟩=⟨ψ|B^|ψ⟩\langle\psi|\шляпа{A}|\psi\rangle = \langle\psi|\hat{B}|\psi\rangle для всех |ψ⟩|ψ⟩|\psi\rangle означает, что A^=B^A^=B^\hat{A} ​​= \hat{ Б}?

Я должен решить эту простую проблему:

Позволять А ^ и Б ^ два эрмитовых оператора такие, что:

ψ | А ^ | ψ "=" ψ | Б ^ | ψ | ψ

Докажи это

А ^ "=" Б ^ .
Подсказка: расширить | ψ в каком-либо подходящем базисе.

Я наивно пытался:

ψ | А ^ Б ^ | ψ "=" 0 | ψ

Поэтому А ^ Б ^ "=" 0 точно.

Но это, похоже, всегда работает с неэрмитовыми операторами. Я ошибаюсь?

Я думаю, что смысл в том, чтобы показать, почему ψ | А ^ Б ^ | ψ "=" 0 Значит это А ^ Б ^ "=" 0

Ответы (1)

Да, ОП прав: это справедливо для не обязательно самосопряженных операторов. 1 .

Набросанное доказательство:

  1. Вычитая Б ^ от обоих операторов (и переименования), мы можем предположить, что wlog Б ^ "=" 0 ^ .

  2. Переписать А ^ "=" А ^ 1 + я А ^ 2 , где А ^ 1 "=" А ^ + А ^ 2 и А ^ 2 "=" А ^ А ^ 2 я являются самосопряженными операторами.

  3. Используйте трюк с поляризацией , чтобы показать, что

    | ф , | ψ е ЧАС :     0   "="   ф + ψ | А ^ | ф + ψ ф | А ^ | ф ψ | А ^ | ψ   "="   ф | А ^ | ψ + ψ | А ^ | ф   "="   2 р е ф | А ^ 1 | ψ + 2 я р е ф | А ^ 2 | ψ .

  4. Сделайте вывод, что

    | ф , | ψ е ЧАС :     р е ф | А ^ 1 | ψ   "="   0   "="   р е ф | А ^ 2 | ψ .

  5. Сделайте вывод, что

    | ф , | ψ е ЧАС :     ф | А ^ 1 | ψ   "="   0   "="   ф | А ^ 2 | ψ .

  6. Сделать вывод, что А ^ "=" 0 ^ .


1 В этом ответе мы будем игнорировать тонкости с неограниченными операторами , доменами, самосопряженными расширениями и т.д.

Почему вы используете два вектора | ф и | ψ ? Исходный вопрос предполагает одинаковый вектор с обеих сторон ψ | А ^ | ψ "=" 0
@skdys | ф и | ψ оба представляют любой элемент в пространстве, поэтому | ф "=" | ψ является более частным случаем этого доказательства.
Сохраняется ли равенство в случаях, которые игнорируются?