Oder mit einem kontinuierlichem Index
:
Wir wollen an dieser Stelle die Cauchy-Schwarzsche-Ungleichung abführen:
Das Gleichheitszeichen gilt genau dann, wenn |u> und |v> linear abhängig sind.
Liegen diese Eigenschaften vor, handelt es sich um einen Hilbertraum.
Ist die Zuordnung eineindeutig, so haben wir zwei Operatoren A und B, so gilt:
A und B heißen invers, wenn AB = 1 und BA = 1. Üblicherweise schreiben wir dann B = A-1.
Angenommen, wir haben zwei Vektoren |u>1 E1 und |v>2
E2. Das Produkt
|u1,v2>
|u>1|v>2
E1
E2 nennt man Tensorprodukt. Wir haben
einen linearen Operator A' im Raum E1, dann gilt im Produktraum
A(1) = A1
12.
Ist A(2) 11
A2, so folgt daraus, daß die Operatoren kommutieren: