Eine Menge von Vektoren aus
heißt orthogonales System, wenn es den Nullvektor nicht enthält und
, also
gilt, wobei
das KRONECKER-Symbol bezeichnet. Ein orthogonales System heißt orthonormal oder orthonormiert, wenn auch noch gilt.
In einem separablen HILBERT-Raum kann ein orthogonales System aus höchstens abzählbar vielen Elementen bestehen. Im weiteren ist daher stets .
Beispiel A |
Das System im reellen Raum im komplexen Raum |
Beispiel B |
Die LEGENDREschen Polynome 1. Art bilden ein orthogonales System von Elementen im Raum |
Beispiel C |
Die HERMITEsche Polynome gemäß der 2. Definition der HERMITEschen Differentialgleichung (9.72g) bilden ein orthogonales System im Raum |
Beispiel D |
Im Raum |
Jedes orthogonale System ist linear unabhängig, denn der Nullvektor ist ausgeschlossen. Umgekehrt, hat man ein System von linear unabhängigen Elementen in einem HILBERT-Raum
, dann existieren nach dem GRAM-SCHMIDTschen Orthogonalisierungsverfahren Vektoren
, die ein orthonormales System bilden und die bis auf einen Faktor mit Modul 1 eindeutig bestimmt sind.