тогда и только тогда, когда для некоторого ненулевого комплексного числа .
Классы эквивалентности также называются лучами или проективными лучами[3].
Формулировка
Предварительные сведения
Преобразование унитарно, если оно биективно и
Преобразование антиунитарно, если
Пусть есть унитарное преобразование гильбертовых пространств.
Определим
которое является преобразованием симметрии, поскольку
Таким же образом антиунитарные преобразования симметрии гильбертова пространства индуцируют преобразование симметрии пространства лучей.
Утверждение теоремы
Теорема Вигнера утверждает, что верно и обратное:
Если и — гильбертовы пространства, и — преобразование симметрии, тогда существует унитарное или антиунитарное преобразование , которое индуцирует .[2][4][5]
В некоторых источниках[6] упоминается другая теорема Вигнера, которая относится к собственным состояниям симметричной квантово-механической системы, и говорит о том, что если гамильтониан инвариантен относительно преобразований какой-то группы, то его собственные функции образуют базис неприводимых представлений этой группы, а кратность вырождения уровня равна размерности представления.