Определение: Физические величины
и
одновременно измеримы, если
и
обладают обшей системой собственных функций. То есть
.Для простоты будем рассматривать только дискретные спектры.
Определение: Коммутатором двух физических величин называется оператор
.Утверждение:
Для того чтобы линейные операторы
и
имели общие собственные функции, необходимо и достаточно, чтобы эти операторы коммутировали.
Доказательство: Так как
- полный базис, то
. Тогда

.Следовательно
. Утверждение доказано. Обратное утверждение также верно.
И.В. Копытин, А.С. Корнев, Н.Л. Манаков Квантовая теория стр.37
Барабанов 1 стр 19