3.2. Formalisme de Von Neumann pour les observables quantiques
Dans le formalisme quantique original (Von Neumann, 1955),[1] l'observable physique est représenté par un opérateur Hermitien . Nous ne considérons que les opérateurs avec des spectres discrets : où est le projecteur sur le sous-espace de correspondant à la valeur propre . Supposons que l'état du système est représenté mathématiquement par un opérateur de densité . Alors la probabilité d'obtenir la réponse est donnée par la Règle née
et selon le postulat de projection, l'état post-mesure est obtenu via la transformation d'état :
Pour la commodité du lecteur, nous présentons ces formules pour un état initial pur . La règle de Born a la forme :
La transformation d'état est donnée par le postulat de projection :
Ici, l'opérateur observable (sa décomposition spectrale) détermine de manière unique les transformations d'état de rétroaction pour les résultats
La carte donnée par (9) est l'exemple le plus simple (mais très important) d'instrument quantique.
- ↑ Von Neumann J. Mathematical Foundations of Quantum Mechanics Princeton Univ. Press, Princeton, NJ, USA(1955)