Kurs:Funktionalanalysis/Gram-Schmidtsches Orthonormalisierungsverfahren

Einleitung

Diese Seite kann als Wiki2Reveal Folien angezeigt werden. Einzelne Abschnitte werden als Folien betrachtet und Änderungen an den Folien wirken sich sofort auf den Inhalt der Folien aus.

Orthogonal - Orthonormal

Das Gram-Schmidtsche Orthonormalisierungsverfahren ist ein Spezialfall des Gram-Schmidtsche Orthogonalisierungsverfahren, bei dem aus einem gegebenen System linear unabhängiger Vektoren (z.B. einer Hamelbasis) ein System von orthogonal zueinander stehenden Vektoren der Länge 1 ersteht. ist ein Algorithmus aus dem mathematischen Teilgebiet der linearen Algebra.

Orthogonalsystem

Das Verfahren erzeugt zu jedem System linear unabhängiger Vektoren aus einem Prähilbertraum (einem Vektorraum mit Skalarprodukt) ein Orthogonalsystem, das denselben Untervektorraum erzeugt.

Orthonormalsystem

Aus dem Orthogonalsystem erhält man durch Normalisierung $v_{k}:={\frac {w_{k}}{\|w_{k}\|}}$ ein Orthonormalsystem. Die Normalisierung ist möglich, da linear unabhängige Vektoren sich vom Nullvektor unterscheiden und damit eine positive Länge haben $\|w_{k}\|>0$ .

Basis/Hamelbasis

Verwendet man ein System von Basisvektoren als Eingabe für die Algorithmen, so berechnen sie eine Orthogonal- bzw. Orthonormalbasis.

Numerische Berechnung von Orthonormalsystem

Für die numerische Berechnung durch einen Computer mit Gleitpunktarithmetik sind die Gram-Schmidt-Verfahren schlecht geeignet. Durch akkumulierte Rundungsfehler weisen die berechneten Vektoren z.T. deutliche Abweichung von orthogonalen Vektor auf. Es existieren aber Modifikationen des Verfahrens, die diesen Nachteil nicht haben. Andere Orthogonalisierungsverfahren basieren auf Householdertransformationen oder Givens-Rotationen.

Geschichte

Die beiden Verfahren sind nach Jørgen Pedersen Gram und Erhard Schmidt benannt. Sie wurden allerdings bereits früher in den Werken von Pierre-Simon Laplace und Augustin-Louis Cauchy verwendet.

Orthonormalisierungsatz nach Gram-Schmidt

Im Folgenden betrachteten man ein separablen Hilbertraum $(V,\langle \cdot ,\cdot \rangle )$ mit einer abzählbaren Basis $B=\bigcup _{n=1}^{\infty }\{b_{n}\}\subset V$ . Dann gibt es ein Orthonormalsystem $B_{0}=\bigcup _{n=1}^{\infty }\{v_{n}\}\subset V$ mit der Eigenschaft:

(ON1) $Span(B)=Span(B_{0})$
(ON2) $\langle v_{k},v_{n}\rangle =0$ für alle $n,k\in \mathbb {N}$ und $n\not =k$
(ON3) $\|v_{n}\|=1$ für alle $n\in \mathbb {N}$

Bemerkung - Orthogonalprojektion

Für zwei beliebige vom Nullvektor $0_{V}$ verschiedene Vektoren $v,w\in V$ ist die Orthogonalprojektion von $w$ auf $v\not =0_{V}$ über das Skalarprodukt wie folgt definiert.

P_{v}(w):={\frac {\langle v,w\rangle }{\langle v,v\rangle }}\cdot v={\frac {\langle v,w\rangle }{\|v\|^{2}}}\cdot v

Bemerkung - seminlinear komplexer Fall

Im komplexen Fall wird dabei die Konvention verwendet, dass das Skalarprodukt im ersten Argument semilinear, im zweiten Argument linear ist, das heißt

\langle \lambda v,w\rangle ={\overline {\lambda }}\langle v,w\rangle ,\quad \langle v,\lambda w\rangle =\lambda \langle v,w\rangle

für alle Vektoren $v$ , $w$ und alle $\lambda \in \mathbb {C}$ . Im komplexen Fall kommt es deshalb bei den unten dargestellten Formeln auf die Reihenfolge der Faktoren im Skalarprodukt an, im reellen Fall jedoch nicht.

Bemerkung - Skalarproduktinduzierte Norm

Zudem bezeichnet $\|v\|={\sqrt {\langle v,v\rangle }}$ die Norm des Vektors $v$ . Dabei liegt der von $B_{0}=\bigcup _{n=1}^{\infty }\{v_{n}\}$ aufgespannte Untervektorraum dicht in $V$ bzgl. dieser Norm.

Animation - Orthonormalisierung

Illustration des Gram-Schmidt-Verfahrens an einem Beispiel mit drei Vektoren.

Bemerkung - Orthogonalisierung

Für die Orthogonalisierung des 3. Vektors $v_{3}$ subtrahiert die Orthogonalprojektionen von $v_{3}$ auf die bereits orthogonalisierten Vektoren $u_{1}$ und $u_{2}$ und erhält dann $u_{3}$ .

u_{3}:=v_{3}-\sum _{k=1}^{2}{\frac {\langle u_{k},v_{3}\rangle }{\langle u_{k},u_{k}\rangle }}\,u_{k}

Dieses Vorgehen entspricht dem induktiv im konstruktiven Beweis des Gram-Schmidtsches Orthonormalisierungsverfahren, bei dem $u_{n+1}$ über die Subtraktion der Orthogonalprojektion von $v_{n+1}$ auf die $n$ vorher bereits orthogonalisierten Vektoren $u_{1},...,u_{n}$ berechnet wird.

Algorithmus des Orthogonalisierungsverfahrens

Die Kontruktion und der Beweis für abzählbar viele Basisvektoren erfolgt über vollständige Induktion.

Induktionsanfang

Zunächt einmal wird als Induktionsanfang der erste Vektor gewählt $v_{1}:=w_{1}$ gewählt. Im Gegensatz zur Orthonormalisierung muss hier $v_{1}$ nicht normiert werden.

Definiere $V_{1}:=Span(\{v_{1}\})=Span(\{w_{1}\})$
Für die Orthogonalität ist nichts zu überprüfen, da es in dem System $B_{1}$ keine zwei paarweise verschiedene Vektoren gibt.

Induktionsvoraussetzung

Seien nun $n$ linear unabhängigen Vektoren $w_{1},\dots ,w_{n}$ in ein Orthogonalsystem von $n$ paarweise orthogonalen Vektoren überführt worden, mit $B_{n}:=\{v_{1},\ldots ,v_{n}\}$ :

(ON1) $V_{n}:=Span(\{v_{1},\ldots ,v_{n}\})=Span(\{b_{1},\ldots ,b_{n}\})$
(ON2) $\langle v_{k},v_{m}\rangle =0$ für alle $k,m\in \{1,\ldots ,n\}$ und $m\not =k$

Induktionsbehauptung

Man kann einen weiteren Vektor $v_{n+1}\in V$ so wählen, dass mit $B_{n+1}:=\{v_{1},\ldots ,v_{n},v_{n+1}\}$ :

(ON1) $V_{n+1}:=Span(\{v_{1},\ldots ,v_{n},v_{n+1}\})=Span(\{b_{1},\ldots ,b_{n},b_{n+1}\})$
(ON2) $\langle v_{k},v_{m}\rangle =0$ für alle $k,m\in \{1,\ldots ,n,n+1\}$ und $m\not =k$

Induktionschritt

Der Vektor $v_{n+1}\in V$ wird über $b_{n+1}\in B$ und die Projektion von $b_{n+1}\in B$ auf Vektoren aus dem Orthogonalsystem aus $v_{1},\ldots ,v_{n}$ definiert.

v_{n+1}:=b_{n+1}-\sum _{k=1}^{n}{\frac {\langle v_{k},b_{n+1}\rangle }{\langle v_{k},v_{k}\rangle }}\,v_{k}

Span

Die Bedingung (ON1) $V_{n+1}:=Span(\{v_{1},\ldots ,v_{n},v_{n+1}\})=Span(\{b_{1},\ldots ,b_{n},b_{n+1}\})$ gilt über den Nachweis von zwei Mengeninklusionen.

$V_{n+1}=Span(\{v_{1},\ldots ,v_{n},v_{n+1}\})\subseteq Span(\{b_{1},\ldots ,b_{n},b_{n+1}\})$
$V_{n+1}=Span(\{v_{1},\ldots ,v_{n},v_{n+1}\})\supseteq Span(\{b_{1},\ldots ,b_{n},b_{n+1}\})$

Span - Mengeninklusion 1

Aus $w\in V_{n+1}:=Span(\{v_{1},\ldots ,v_{n},v_{n+1}\})$ folgt, dass es ein $w_{1}\in V_{n}$ und ein $w_{2}=\lambda \cdot v_{n+1}\in Span(\{v_{n+1}\})$ gibt mit:

{\begin{array}{rcl}w&=&w_{1}+w_{2}=w_{1}+\lambda \cdot v_{n+1}=\\&=&\underbrace {w_{1}} _{\in V_{n}=Span(\{b_{1},...,b_{n}\})}+\lambda \cdot \underbrace {{\bigg (}b_{n+1}-\underbrace {\sum _{i=1}^{n}{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}} _{\in V_{n}=Span(\{b_{1},...,b_{n}\})}{\bigg )}} _{\in Span(\{b_{1},...,b_{n},b_{n+1}\})}\\&\in &Span(\{b_{1},...,b_{n},b_{n+1}\})\\\end{array}}

Span - Mengeninklusion 2

Aus $w\in Span(\{b_{1},\ldots ,b_{n},b_{n+1}\})$ folgt, dass es ein $w_{1}\in V_{n}=Span(\{b_{1},\ldots ,b_{n}\})$ und ein $w_{2}=\lambda \cdot b_{n+1}\in Span(\{b_{n+1}\})$ gibt mit:

{\begin{array}{rcl}w&=&w_{1}+w_{2}=w_{1}+\lambda \cdot b_{n+1}=\\&=&\underbrace {w_{1}+\lambda \cdot \sum _{i=1}^{n}{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}} _{\in V_{n}=Span(\{v_{1},...,v_{n}\})}+\lambda \cdot \underbrace {{\bigg (}b_{n+1}-\underbrace {\sum _{i=1}^{n}{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}} _{\in V_{n}=Span(\{b_{1},...,b_{n}\})}{\bigg )}} _{=v_{n+1}}\\&\in &Span(\{v_{1},...,v_{n},v_{n+1}\})\\\end{array}}

Nachweis der Orthogonalität

Sei nun $m\in \{1,...,n\}$ beliebig gewählt und man zeigt nun das $\langle v_{m},v_{n+1}\rangle =0$ gilt:

{\begin{array}{rcl}\langle v_{m},v_{n+1}\rangle &=&\left\langle v_{m},b_{n+1}-\displaystyle \sum _{i=1}^{n}{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}\right\rangle \\&=&\langle v_{m},b_{n+1}\rangle -\displaystyle \sum _{i=1}^{n}\left\langle v_{m},{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}\right\rangle \\&=&\langle v_{m},b_{n+1}\rangle -\underbrace {{\frac {\langle v_{m},b_{n+1}\rangle }{\langle v_{m},v_{m}\rangle }}\cdot \left\langle v_{m},v_{m}\right\rangle } _{\langle v_{m},b_{n+1}\rangle }=0\\\end{array}}

In der zweiten Gleichung fallen durch die Orthogonalität von $\langle v_{m},v_{i}\rangle =0$ für $i\not =m$ genau $n-1$ weg.

Normalisierung der Vektoren

Wenn die Vektoren $v_{1},\dots ,v_{n}$ durch normalisierte Vektoren der Länge 1 ersetzt, spannen die normalisierten Vektoren genau den Gleichen Untervektorraum auf und die Skalarprodukte bleiben 0 durch die Semilinearität in der ersten und die Linearität in der zweiten Komponente.

\langle \lambda _{k}\cdot v_{k},\lambda _{m}\cdot v_{m}\rangle ={\overline {\lambda _{k}}}\cdot \lambda _{m}\cdot \underbrace {\langle v_{k},v_{m}\rangle } _{=0}=0

Zusammenfassung 1

Die einzelnen Vektoren $v_{1},\dots ,v_{n}$ des Orthogonalsystems berechnen sich wie folgt:

v_{1}=b_{1}\,

v_{2}=b_{2}-{\frac {\langle v_{1},b_{2}\rangle }{\langle v_{1},v_{1}\rangle }}\,v_{1}

v_{3}=b_{3}-{\frac {\langle v_{1},b_{3}\rangle }{\langle v_{1},v_{1}\rangle }}\,v_{1}-{\frac {\langle v_{2},b_{3}\rangle }{\langle v_{2},v_{2}\rangle }}\,v_{2}

\vdots

v_{n}=b_{n}-{\frac {\langle v_{1},b_{n}\rangle }{\langle v_{1},v_{1}\rangle }}\,v_{1}-{\frac {\langle v_{2},b_{n}\rangle }{\langle v_{2},v_{2}\rangle }}\,v_{2}-\dotsb -{\frac {\langle v_{n-1},b_{n}\rangle }{\langle v_{n-1},v_{n-1}\rangle }}\,v_{n-1}=b_{n}-\sum _{i=1}^{n-1}{\frac {\langle v_{i},b_{n}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}

Zusammenfassung 2

Die Vektoren wurden induktiv definiert für $v_{n+1}$ über die bereits definierten Vektoren $v_{i}$ für $j=1,2,\dots ,n$ .

v_{n+1}=b_{n+1}-\sum _{i=1}^{n}{\frac {\langle v_{i},b_{n+1}\rangle }{\langle v_{i},v_{i}\rangle }}\,v_{i}

In dem neu definierten System sind paarweise verschiedene Vektoren zueinander orthogonal und für ein festes $n$ spannt das erzeugte Orthogonalsystem den gleichen Untervektoraum auf. Über die vollständige Induktion wird die Behauptung auf das abzählbare System von linear unabhängigen Vektoren übertragen.

Beispiel - Orthogonalisierung

Im $\mathbb {R} ^{3}$ versehen mit dem Standardskalarprodukt $\langle \cdot ,\cdot \rangle$ seien zwei linear unabhängige Vektoren vorgegeben, die einen Untervektorraum erzeugen:

w_{1}={\begin{pmatrix}3\\1\\2\end{pmatrix}},\quad w_{2}={\begin{pmatrix}2\\2\\2\end{pmatrix}}

Es werden nun zwei orthogonale Vektoren $v_{1}$ und $v_{2}$ berechnet, die denselben Untervektorraum erzeugen:

v_{1}=w_{1}={\begin{pmatrix}3\\1\\2\end{pmatrix}}

v_{2}=w_{2}-{\frac {\langle v_{1},w_{2}\rangle }{\langle v_{1},v_{1}\rangle }}\cdot v_{1}={\begin{pmatrix}2\\2\\2\end{pmatrix}}-{\frac {12}{14}}\cdot {\begin{pmatrix}3\\1\\2\end{pmatrix}}={\frac {1}{7}}{\begin{pmatrix}-4\\8\\2\end{pmatrix}}

Algorithmus des Orthonormalisierungsverfahrens

Der folgende Algorithmus berechnet zu den linear unabhängigen Vektoren $w_{1},\dots ,w_{n}$ ein Orthonormalsystem von $n$ normierten, paarweise orthogonalen Vektoren, das denselben Untervektorraum erzeugt. Er ist identisch mit einer Normierung der orthogonalen Vektoren, welche durch den obigen Algorithmus bestimmt wurden.

Die einzelnen Vektoren $v_{1},\dots ,v_{n}$ des Orthonormalsystems erhält man, indem zuerst jeweils ein orthogonaler Vektor berechnet und anschließend normalisiert wird:

v_{1}={\frac {w_{1}}{\left\|w_{1}\right\|}}

(Normalisieren des ersten Vektors

w_{1}

)

v_{2}^{\prime }=w_{2}-\langle v_{1},w_{2}\rangle \cdot v_{1}

(Orthogonalisieren des zweiten Vektors

w_{2}

)

v_{2}={\frac {v_{2}^{\prime }}{\left\|v_{2}^{\prime }\right\|}}

(Normalisieren des Vektors

v_{2}^{\prime }

)

v_{3}^{\prime }=w_{3}-\langle v_{1},w_{3}\rangle \cdot v_{1}-\langle v_{2},w_{3}\rangle \cdot v_{2}

(Orthogonalisieren des dritten Vektors

w_{3}

)

v_{3}={\frac {v_{3}^{\prime }}{\left\|v_{3}^{\prime }\right\|}}

(Normalisieren des Vektors

v_{3}^{\prime }

)

\vdots

v_{n}^{\prime }=w_{n}-\sum _{i=1}^{n-1}\langle v_{i},w_{n}\rangle \cdot v_{i}

(Orthogonalisieren des

n

-ten Vektors

w_{n}

)

v_{n}={\frac {v_{n}^{\prime }}{\left\|v_{n}^{\prime }\right\|}}

(Normalisieren des Vektors

v_{n}^{\prime }

)

Anders gesagt werden die $v_{j}$ und $v_{j}^{\prime }$ für $j=1,2,\dots ,n$ also rekursiv durch

v_{j}^{\prime }=w_{j}-\sum _{i=1}^{j-1}\langle v_{i},w_{j}\rangle \cdot v_{i}

und

v_{j}={\frac {v_{j}^{\prime }}{\left\|v_{j}^{\prime }\right\|}}

definiert.

Im Allgemeinen erhält man durch dieses Verfahren kein besonders ausgezeichnetes System. Im $\mathbb {R} ^{3}$ muss z. B. erst ein Umordnungsschritt nachgeschaltet werden, um ein Rechts- oder Linkssystem zu erhalten.

Beispiel - Orthonormalisierung

Im $\mathbb {R} ^{2}$ versehen mit dem Standardskalarprodukt $\langle \cdot ,\cdot \rangle$ seien zwei Basisvektoren gegeben:

w_{1}={\begin{pmatrix}3\\1\end{pmatrix}},\quad w_{2}={\begin{pmatrix}2\\2\end{pmatrix}}

Es werden nun zwei Vektoren $v_{1}$ und $v_{2}$ berechnet, die eine Orthonormalbasis des $\mathbb {R} ^{2}$ bilden.

v_{1}={\frac {w_{1}}{\left\|w_{1}\right\|}}={\frac {1}{\sqrt {10}}}\cdot {\begin{pmatrix}3\\1\end{pmatrix}}

v_{2}^{\prime }=w_{2}-\langle v_{1},w_{2}\rangle \cdot v_{1}={\begin{pmatrix}2\\2\end{pmatrix}}-{\frac {1}{\sqrt {10}}}\cdot \left\langle {\begin{pmatrix}3\\1\end{pmatrix}},{\begin{pmatrix}2\\2\end{pmatrix}}\right\rangle \cdot {\frac {1}{\sqrt {10}}}{\begin{pmatrix}3\\1\end{pmatrix}}={\frac {1}{5}}{\begin{pmatrix}-2\\6\end{pmatrix}}

v_{2}={\frac {v_{2}^{\prime }}{\left\|v_{2}^{\prime }\right\|}}={\sqrt {\frac {25}{40}}}\cdot {\frac {1}{5}}{\begin{pmatrix}-2\\6\end{pmatrix}}={\frac {1}{\sqrt {10}}}\cdot {\begin{pmatrix}-1\\3\end{pmatrix}}

Anmerkungen

Eine besondere Eigenschaft der beiden Verfahren ist, dass nach jedem Zwischenschritt die bisher berechneten Vektoren $v_{1},\dots ,v_{i}$ den gleichen Vektorraum erzeugen wie die Vektoren $w_{1},\dots ,w_{i}$ . Die Vektoren $v_{1},\dots ,v_{i}$ bilden also eine Orthogonal- bzw. Orthonormalbasis der entsprechenden Untervektorräume. Anders ausgedrückt ist die Transformationsmatrix, die die Koordinaten des einen Systems im anderen ausdrückt, eine rechtsobere Dreiecksmatrix. Diese hat außerdem eine positive Determinante, daher hat die resultierende Orthogonal- bzw. Orthonormalbasis die gleiche Orientierung wie die Ausgangsbasis. Fasst man die orthonormalen Vektoren $v_{1},\dots ,v_{n}$ als Spalten einer Matrix Q zusammen, ebenso die Vektoren des Ausgangssystems $w_{1},\dots ,w_{n}$ zu einer Matrix A, so gibt es eine Dreiecksmatrix R mit A=QR, es wird also eine QR-Zerlegung bestimmt. Dementsprechend kann das Ergebnis der Gram-Schmidt-Orthonormalisierung auch mit anderen Methoden zur QR-Zerlegung bestimmt werden, die mit Givens-Rotationen oder Householder-Spiegelungen arbeiten.

Berechnet man ein Orthonormalsystem von Hand, ist es oftmals einfacher, zunächst ein Orthogonalsystem auszurechnen und dann die einzelnen Vektoren zu normieren. Dadurch erspart man sich das zweifache Normieren und kann oftmals mit einfacheren Werten rechnen. Gegebenenfalls lohnt es sich, vor dem Erstellen des Orthogonalsystems/Orthonormalsystems das Gaußsche Eliminationsverfahren durchzuführen.

Prinzip des Verfahrens

Sind die orthogonalen Vektoren $v_{1},\ldots ,v_{k-1}$ bereits bestimmt, versuchen wir, von $b_{k}$ eine passende Linearkombination der Vektoren $v_{1},\ldots ,v_{k-1}$ abzuziehen, sodass der Differenzvektor

v_{k}=b_{k}-\sum _{i=1}^{k-1}\lambda _{i}v_{i}

zu allen Vektoren $v_{1},\ldots ,v_{k-1}$ orthogonal wird. Dies ist gleichbedeutend damit, dass das Skalarprodukt $\langle v_{j},v_{k}\rangle$ für alle $j=1,\ldots ,k-1$ den Wert 0 ergibt. Eine solche Linearkombination ergibt sich, wenn für jedes $i$ der Ausdruck

\lambda _{i}={\frac {\langle v_{i},b_{k}\rangle }{\langle v_{i},v_{i}\rangle }}

gewählt wird. Eine Kontrollrechnung zeigt, dass dadurch alle Skalarprodukte $\langle v_{j},v_{k}\rangle$ mit $j\neq k$ den Wert 0 annehmen:

{\begin{aligned}\langle v_{j},v_{k}\rangle &=\left\langle v_{j},b_{k}-\sum _{i=1}^{k-1}\lambda _{i}v_{i}\right\rangle \\&=\langle v_{j},b_{k}\rangle -\sum _{i=1}^{k-1}{\frac {\langle v_{i},b_{k}\rangle }{\langle v_{i},v_{i}\rangle }}\langle v_{j},v_{i}\rangle \\&=\langle v_{j},b_{k}\rangle -\langle v_{j},b_{k}\rangle \\&=0\end{aligned}}

Orthonormalisierung unendlicher Systeme von Vektoren

In einem beliebigen Hilbertraum $H$ lässt sich das Verfahren auch auf unendliche Systeme unabhängiger Vektoren anwenden, wobei die Unabhängigkeit in dem Sinne zu verstehen ist, dass kein Element im Abschluss der linearen Hülle der übrigen Vektoren liegt. Den Fall eines abzählbaren Systems (d. h. $H$ ist ein separabler Hilbertraum) kann direkt auf den oben dargestellten endlichen Fall zurückgeführt werden: Gegeben sei eine unabhängige Folge $\left(w_{n}\right)_{n\in \mathbb {N} }$ , so erhält man eine entsprechende orthonormale Folge $\left(v_{n}\right)_{n\in \mathbb {N} }$ , indem man für jedes $n\in \mathbb {N}$ das obige Verfahren anwendet und $v_{n}$ erhält. Allgemeiner kann jedes unabhängige System nach dem Wohlordnungssatz als Folge $\left(w_{\alpha }\right)_{\alpha <d}$ für eine Kardinalzahl $d$ und Ordinalzahlen $\alpha$ angesehen werden (im Falle einer dichten linearen Hülle des unabhängigen Systems ist $d$ gerade die Dimension von $H$ ). Bezeichne nun $\pi _{A}\colon H\to A$ die orthogonale Projektion auf einen abgeschlossenen Teilraum $A$ , die aufgrund der Vollständigkeit des Raumes stets existiert, ${\hat {x}}$ bezeichne die Normierung $\textstyle {\frac {x}{\left\|x\right\|}}$ . So ergibt sich ein Orthonormalsystem $\left(v_{\alpha }\right)_{\alpha <d}$ durch

A_{\alpha }:={\overline {\operatorname {span} \left(\left\{w_{\beta }\colon \beta <\alpha \right\}\right)}}

v_{\alpha }:={\widehat {\left(w_{\alpha }-\pi _{A_{\alpha }}\left(w_{\alpha }\right)\right)}}

.

Per transfiniter Induktion lässt sich dann zeigen, dass $A_{\alpha }={\overline {\operatorname {span} \left(\left\{v_{\beta }\colon \beta <\alpha \right\}\right)}}$ , sogar für $\alpha =d$ . Expliziter lässt sich das Verfahren per transfiniter Rekursion wie folgt schreiben:

v_{\alpha }:={\widehat {\left(w_{\alpha }-\sum _{\beta <\alpha }\langle v_{\beta },w_{\alpha }\rangle \cdot v_{\beta }\right)}}

Hierbei ist die Summe aufgrund der besselschen Ungleichung wohldefiniert (insbesondere sind stets nur abzählbar viele Summanden ungleich Null).

Literatur

K. Kirchgessner, M. Schreck: Vektoranalysis für Dummies. Das Pocketbuch Paperback . Wiley-VCH, 2012. ISBN 978-3-527-70742-3

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionalanalysis/Gram-Schmidtsches%20Orthonormalisierungsverfahren
siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt: