| Sind für alle |u> die Matrixelemente der Operatoren A und B gleich, gilt also <u|A|w> = <u|B|w>, so ist A = B. |
n|n>. Für
beliebiges n erhalten wir:
Daraus ergibt sich <m|A|n> = <m|B|n> und damit <m|A - B|n> = 0, also A = B.
Besteht zwischen Vektoren |ui> E ein Zusammenhang T mit |ui'>E derart, daß  = 
ist, daß also alle Vektoren bis auf eine Phase gleich sind, gilt |ui'> = T|ui>, wobei T ein (anti)linearer
unitärer Operator ist. |