Mathématiquement, les états possibles d'un
système quantique peuvent être considérés
comme vecteurs dans un espace de Hilbert
séparable et complexe, tandis que les
observables peuvent être représentées comme
opérateurs linéaires et hermitiens qui agissent
sur ces vecteurs. En choisissant une base
appropriée, les composantes des vecteurs et les
éléments matriciels des opérateurs par rapport
à cette base peuvent être déterminés. Si A est
matrice N × N, X est vecteur, et λ est scalaire, de
telle sorte que , alors le scalaire λ
est dit valeur propre de A et le vecteur X est dit
vecteur propre qui correspond à λ. L'ensemble
de tout vecteur propre qui correspond à une
valeur propre donnée λ, ainsi que le vecteur nul,
forme un sous-espace de Cn, dit l'espace propre
de λ.