Soient
les vecteurs propres communs
à
et supposés
déjà connus :
![]() |
On remarque que
et
commutent avec
et
. Par suite les vecteurs propres de
et
sont de la
forme :
![]() |
et peuvent être cherchés dans chacun des
sous-espaces
sous-tendus par les
vecteurs
avec
bien
fixés et
et
.
Nous pouvons maintenant faire deux remarques importantes :
A chaque valeur de
correspond une ou plusieurs
séries de
vecteurs
avec :
![]() |
![]() |
Cette seconde remarque nous montre que :
![]() |
Nous connaissons donc toutes les valeurs propres
de
et leur ordre de
dégénérescence. Ces valeurs propres peuvent être classées par valeurs
décroissantes en indiquant sous chacune son ordre de dégénérescence.
Soit, par exemple, dans le cas où
:
![]() |
La valeur maximale de
est
. C'est donc également celle de :
![]() |
A chaque valeur de
, en commençant par la plus grande, correspond une
série de
valeurs
avec
conformément à la
remarque
précédente. Il en résulte que les valeurs successives
de
sont les suivantes :
![]() |
![]() |
et qu'aucune de ces valeurs de
n'est dégénérée.
Dans chacun des sous-espaces associés à une valeur de
bien déterminée, un seul vecteur correspond à un couple de
valeurs
: le vecteur
. Les
observables
et
peuvent donc remplacer les
observables
et
. Nous obtenons donc deux E.C.O.C.
et les bases correspondantes :
![]() |
En fait ici les valeurs
et
sont supposées bien déterminées et
constantes.