Теорема Вигнера: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Метка: ручная отмена
Строка 5: Строка 5:
Пусть {{mvar|H}} и {{mvar|K}} - [[Гильбертово пространство|гильбертовы пространства]], {{mvar|T}} - отображение нормированных лучей <math>\Psi</math> и <math>\Phi</math> пространства {{mvar|H}} на множество нормированных лучей пространства {{mvar|K}} так, что при этом выполняется условие:
Пусть {{mvar|H}} и {{mvar|K}} - [[Гильбертово пространство|гильбертовы пространства]], {{mvar|T}} - отображение нормированных лучей <math>\Psi</math> и <math>\Phi</math> пространства {{mvar|H}} на множество нормированных лучей пространства {{mvar|K}} так, что при этом выполняется условие:


:<math>\mid(T \Psi, T \Phi)\mid = \mid(\Psi, \Phi)\mid</math>
:<math>\mid (T \Psi, T \Phi) \mid = \mid (\Psi, \Phi) \mid</math>


Тогда существует оператор {{mvar|O}} из пространства {{mvar|H}} в пространство {{mvar|K}}, определённый с точностью до постоянного [[множитель|множителя]], который порождает {{mvar|T}} и который аддитивен, т. е. обладает свойством:
Тогда существует оператор {{mvar|O}} из пространства {{mvar|H}} в пространство {{mvar|K}}, определённый с точностью до постоянного [[множитель|множителя]], который порождает {{mvar|T}} и который аддитивен, т. е. обладает свойством:

Версия от 10:02, 30 мая 2021

Теорема Вигнера — теорема квантовой механики. Играет важную роль в математической формулировке квантовой механики. Она определяет, как физические симметрии (вращение[1], перемещение в пространстве, CPT-преобразование) представлены математически в гильбертовом пространстве состояний. Была доказана Юджином Вигнером в 1931 г.[2]

Формулировка

Пусть H и K - гильбертовы пространства, T - отображение нормированных лучей и пространства H на множество нормированных лучей пространства K так, что при этом выполняется условие:

Тогда существует оператор O из пространства H в пространство K, определённый с точностью до постоянного множителя, который порождает T и который аддитивен, т. е. обладает свойством:

и который является либо унитарным, т. е. обладает свойством:

либо антиунитарным, т. е. обладает свойством:[2][3][4]

Доказательство см.[2][3]

Пояснения

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

Примечания

  1. Вигнер, 1961, с. 265-268.
  2. 1 2 3 Вигнер, 1961, с. 276-280.
  3. 1 2 Bargmann V. Note on Wigner's Theorem on Symmetry Operations // Journal of Mathematical Physics 5, 862 (1964); https://doi.org/10.1063/1.1704188
  4. Боголюбов, 1969, с. 104.

Литература

  • Вигнер Е. Теория групп и ее приложения к квантовомеханической теории атомных спектров. — М.: ИЛ, 1961. — 443 с.
  • Боголюбов Н. Н., Логунов А. А., Тодоров, И. Т. Основы аксиоматического подхода в квантовой теории поля. — М.: Наука, 1969. — 424 с.