Projecteur oblique et projecteur orthogonal
Mots-clés: projecteur · idempotent · projecteur oblique · projecteur orthogonal · opérateur auto-adjoint · postulat de la mesure
Exercice 1 : Projecteur oblique et projecteur orthogonal
Dans , on considère l'opérateur de matrice
Réciproquement, supposons l'image orthogonale au noyau . Comme est idempotent, tout vecteur s'écrit , avec et , puisque . Pour deux vecteurs et , l'orthogonalité de et donne en développant dans la première égalité et dans la seconde. Ainsi pour tous , ce qui signifie .
Le nombre est complexe, et différent de . Il ne peut évidemment pas représenter une probabilité. Pour un projecteur orthogonal, au contraire, on a montré dans l'exercice précédent que est un réel compris entre et pour un vecteur normalisé. De plus, les projecteurs orthogonaux sur les sous-espaces propres d'une observable ont des images orthogonales et leur somme vaut l'identité, ce qui garantit que les probabilités des différents résultats sont positives et de somme un. C'est pourquoi la règle de Born et le postulat de réduction utilisent des projecteurs orthogonaux.