Полная система коммутирующих наблюдаемых

По́лная систе́ма коммути́рующих наблюда́емых (ПСКН) — множество перестановочных (коммутирующих) самосопряжённых операторов, описывающих квантовые наблюдаемые и определяющих обобщённый базис пространства чистых состояний квантовой системы. Это понятие впервые было предложено Дираком и является одним из основных в квантовой механике. Обобщенные собственные значения операторов ПСКН называются квантовыми числами.

Точное определение

Полной системой коммутирующих наблюдаемых называется множество самосопряжённых линейных операторов [math]\displaystyle{ X_1,...,X_n }[/math], для которой выполняются следующие условия:

1. Перестановочность (коммутативность): операторы [math]\displaystyle{ X_i }[/math] и [math]\displaystyle{ X_j }[/math] являются перестановочными для всех i и j.
2. Взаимная независимость: ни один из операторов [math]\displaystyle{ X_k }[/math] не является функцией остальных.
3. Полнота: любой оператор [math]\displaystyle{ A }[/math], перестановочный со всеми операторами [math]\displaystyle{ X_1,...,X_n }[/math], является функцией от этих операторов, то есть [math]\displaystyle{ A=A(X_1,...,X_n) }[/math].

Физический смысл

Для определения квантовой системы необходимо описать свойства квантовых наблюдаемых и построить пространство состояний. Свойства наблюдаемых задаются коммутационными соотношениями для самосопряжённых операторов, описывающих квантовые наблюдаемые. Если квантовые наблюдаемые описываются ограниченными операторами, то согласно теореме Гельфанда — Наймарка — Сигала, пространство чистых состояний может быть определено как гильбертово пространство. Для неограниченных операторов пространство чистых состояний описывается как оснащённое гильбертово пространство. Поскольку гильбертово пространство является линейным, то для его определения достаточно задать базисные вектора и действие самосопряжённых операторов, описывающих наблюдаемые. Если базисные векторы определять как собственные вектора операторов, то для этого необходимо использовать лишь перестановочные (или коммутирующие) между собой операторы [math]\displaystyle{ X_1,...,X_n }[/math]. Для ограниченных операторов выделяют наборы коммутирующих операторов, а для неограниченных — перестановочные. При этом перестановочные операторы должны быть взаимно независимыми и образовывать полную систему, то есть быть ПСКН. Наборы собственных значений [math]\displaystyle{ x_1,...,x_n }[/math] для этих операторов определяют векторы [math]\displaystyle{ |x_1,...,x_n\gt }[/math] в гильбертовом пространстве [math]\displaystyle{ H }[/math].

Собственные векторы определены с точностью до постоянного множителя, поэтому их можно нормировать. В результате нормированные векторы [math]\displaystyle{ |x_1,...,x_n\gt }[/math], являющиеся собственными векторами полной системы взаимно независимых перестановочных операторов [math]\displaystyle{ X_1,...,X_n }[/math], образует полную ортонормированную систему в гильбертовом пространстве [math]\displaystyle{ H }[/math].

Если образующие ПСКН наблюдаемых [math]\displaystyle{ X_k }[/math] одновременно принимают точные значения [math]\displaystyle{ x_k }[/math], то это означает, что квантовая система находится в чистом состоянии. Поэтому полная система коммутирующих наблюдаемых иногда называется полным набором совместно измеримых наблюдаемых.

В настоящее время неизвестны необходимые и достаточные условия, при которых операторная алгебра с инволюцией обладает полной системой перестановочных операторов.

Литература

• Березин Ф. А., Шубин М. А. Уравнение Шредингера. — М.: Издательство МГУ, 1983. — 392 с.
• Дирак П. §10. Наблюдаемые // Принципы квантовой механики. — 2-ое изд.. — М.: Наука, 1979. — С. 52—60. — 480 с.
• Боум А. Глава IV // Квантовая механика: основы и приложения. — М.: Мир, 1990. — С. 197—202. — 720 с.
• Мессиа А. Глава VIII. Общий формализм квантовой теории // Квантовая механика. — М.: Наука, 1978. — Т. 1. — С. 294—295. — 480 с.