Hallo Stephi, hallo Christian,
Punkt 2 scheint auch mir der interessanteste zu sein… 
- Die Summe der Komponentenquadrate ist für alle Vektoren
einer orthonormalen Basis gleich.
Ouch. Das ist eine schwierige Frage. Also, im R^n mit dem
euklidischen Skalarprodukt ist das richtig. Es ist weiter
richtig für alle zum l^2 oder L^2 äquivalenten Hilberträume,
also alle separablen Hilberträume. Es gibt aber auch nicht
separable Hilberträume, und ob das für die gilt, wage ich zu
bezweiflen.
Das sage ich mal: Die Aussage ist in voller Allgemeinheit
vermutlich nicht richtig.
Eine Frage: Was ist eine „Komponente“ eines Vektors in einem nicht endlichdimensionalen Raum?
Zunächst scheint mir (wie offenbar Dir, Christian, auch), dass der Begriff „orthonormal“ den Winkelbegriff, also ein Skalarprodukt impliziert. Sinnvollerweise haben wir also wohl in der Tat mindestens einen Hilbertraum H vorliegen. Dann könnte man unter der j-ten „Komponente“ von x das Skalarprodukt j> verstehen. Skalarprodukte mit Basisvektoren ej „filtern“ sozusagen die Komponenten aus dem Vektor x heraus.
Insbesondere können wir für x einen Basisvektor ei einsetzen und erhalten dann für eine Summe über alle j stets die 1: Alle Summanden |i, ej>|2 für ein festes i sind in einem Orthonormalsystem gleich 0 bis auf den Fall i=j, der uns die 1 beschert.
Christian, ich weiß natürlich nicht genau, aber vielleicht schwirrte bei Dir die folgende Geschichte im Hinterkopf(?):
Eine orthonormales System (d.h. die Menge {ej | j in J} für eine beliebige Indexmenge J), das eine Basis ist, impliziert, dass diese Menge dicht in H ist (d.h., dass der topologische Abschluss von span{ej | j in J} gleich H ist). Für ein beliebiges Orthonormal_system_ muss dies nicht der Fall sein.
Diese Eigenschaft ist aber äquivalent dazu, dass die Parseval’sche Gleichung gilt, d.h. für jedes x im Hilbertraum ist
||x||2 = summe über j in J von |j>|2
erfüllt - was eben bei beliebigen Orthonormalsystemen nicht sein muss.
Die Ausgangsfrage wäre jedoch ohnehin folgendermaßen zu beantworten:
Ja, in jedem Hilbertraum mit einem Orthonormalsystem (erst recht bei einer Basis) ist die Summe der Komponentenquadrate eines jeden seiner Elemente gleich 1.
Grüße,
Martin