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.