Considérons un système physique, ou un ensemble
de systèmes tous identiques, et
supposés tous placés dans un même état, représenté par le vecteur
. La mesure d'une observable
fournira pour résultats les diverses
valeurs propres de
avec pour valeur moyenne :
![]() |
la dispersion de ces résultats autour de la valeur moyenne est
caractérisée par son écart-type :
![]() |
Supposons maintenant que sur un sous-ensemble
de
, on mesure
l'observable
et sur un autre sous-ensemble
de
on mesure une
autre observable
. Ces deux sous-ensembles sont équivalents, puisque par
hypothèse tous les systèmes physiques considérés sont identiques et tous
placés dans le même état
. Nous savons déjà qu'en général,
ni
ni
ne sont nuls. Nous allons calculer ci-après une
borne inférieure sur la valeur de leur produit.