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