Démonstration de l'existence d'une base propre commune à deux observables, basée sur la nullité de leur commutateur et la stabilité des sous-espaces propres.
Choisissez une approche :
En calculant [A^,B^]=0[\hat{A},\hat{B}] = 0[A^,B^]=0, puis en diagonalisant B^\hat{B}B^ à l'intérieur de chaque sous-espace propre de A^\hat{A}A^ (stabilité des sous-espaces propres)
Construction d'une base propre commune à deux observables commutantes, par diagonalisation successive dans les sous-espaces propres.