Go to top

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 :    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.

  1. Von Neumann J. Mathematical Foundations of Quantum Mechanics Princeton Univ. Press, Princeton, NJ, USA(1955)