Orthogonalsystem

In der Linearen Algebra und der Funktionalanalysis, Teilgebieten der Mathematik, ist ein Orthogonalsystem eine Menge von Vektoren eines Vektorraums mit Skalarprodukt (Prähilbertraum), die paarweise aufeinander senkrecht stehen. Sind die Vektoren zusätzlich noch normiert (d. h., sie haben die Norm 1), so spricht man von einem Orthonormalsystem.

Definition

Eine Teilmenge $M$ eines Prähilbertraums $V$ heißt Orthogonalsystem, wenn gilt:

1. Je zwei verschiedene Vektoren aus $M$ sind zueinander orthogonal: $\forall v,w\in M:v\neq w\Rightarrow \langle v,w\rangle =0$
2. Der Nullvektor ist nicht in der Menge enthalten.

Hier bezeichnet $\langle v,w\rangle$ das Skalarprodukt des Raums $V$, im euklidischen Raum also das Standardskalarprodukt.

Gilt zusätzlich

Jeder Vektor aus $M$ ist normiert, d. h. $\forall v\in M:\langle v,v\rangle =1$,

so nennt man $M$ ein Orthonormalsystem.

Eigenschaften

• Orthogonalsysteme sind linear unabhängig.
• In separablen Hilberträumen (insbesondere in allen endlichdimensionalen Hilberträumen) lässt sich mit dem Gram-Schmidtschen Orthogonalisierungsverfahren aus jedem linear unabhängigen System ein Orthogonalsystem (bzw. Orthonormalsystem) bzw. aus jeder (Schauder-)Basis eine orthogonale (bzw. orthonormale) Basis konstruieren.
• Für ein Orthonormalsystem $M$ gilt die Besselsche Ungleichung

  $\sum _{e\in M}|\langle x,\,e\rangle |^{2}\leq \|x\|^{2}\quad \forall ~x\in V.$

• Für jeden Vektor $x\in V$ ist die Menge der $e\in M$, für die $\langle x,e\rangle \neq 0$ gilt, höchstens abzählbar.

Beispiele

• Im $\mathbb {R} ^{n}$ mit dem Standardskalarprodukt ist die Standardbasis ein Orthogonalsystem
• In $L^{2}([0,2\pi ])$ bilden die Funktionen $\cos(kx)$ ein Orthogonalsystem (Siehe auch trigonometrisches Polynom)
• In Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^2} mit dem Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b) \mapsto \sum a_nb_n} bilden die Folgen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0, \cdots, 0, 1, 0, \cdots)} ein Orthogonalsystem
• In dem Prähilbertraum der Polynome mit Grad kleiner gleich 5, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal P^5([0,1])} , versehen mit dem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b) \mapsto \int_0^1 ab} , bilden die Funktionen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto 1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto x - \frac12}

ein Orthogonalsystem.

Siehe auch

• Vollständiges Orthonormalsystem

Literatur

• Dirk Werner: Funktionalanalysis. 6. korrigierte Auflage. Springer, Berlin 2007, ISBN 978-3-540-72533-6.  Kapitel V.3 (Für den unendlichdimensionalen Fall, dort finden sich auch Beweise für die Beispiele)
• Gerd Fischer: Lineare Algebra: Eine Einführung für Studienanfänger. 13. Auflage. Vieweg, 2002, ISBN 3-528-97217-3.  (Für den endlichdimensionalen Fall, dort unter „Erzeugendensystem“)