(i) | ![]() |
(ii) | ![]() |
(iii) | ![]() |
(i) | wszystkie wartości własne ![]() |
(ii) | jeśli ![]() ![]() ![]() ![]() |
(iii) | zbiór znormalizowanych funkcji własnych
![]() |
(czyli bazą) w przestrzeni Hilberta, patrz warunek (11). |
(iv) | jeśli operatory hermitowskie ![]() ![]() |
cji własnych tych operatorów, będący bazą ortonormalną w przestrzeni Hilberta, | |
(v) | i na odwrót, jeśli istnieje wspólny zbiór funkcji własnych operatorów
![]() ![]() |
będący bazą ortonormalną w przestrzeni Hilberta, to operatory te są przemienne. |