Kurs:Lineare Algebra II/Euklidische Vektorräume

Wir wollen in reellen Vektorräumen Längen und Winkel von Vektoren messen. Als Methode verallgemeinern wir den Begriff des Skalarproduktes aus der anschaulichen Vektorrechnung im ${\displaystyle \mathbb {R} ^{n}}$.

Sei ${\displaystyle V}$ ein reeller Vektorraum. Eine Abbildung, die jedem Paar von Vektoren ${\displaystyle (u,v)}$ eine reelle Zahl ${\displaystyle \langle u,v\rangle }$ zuordnet, heißt Skalarprodukt, wenn folgende Regeln erfüllt sind:

${\displaystyle (s_{1})}$ ${\displaystyle \langle u,v\rangle }$ ist linear in u und linear in v (bilinear),

${\displaystyle (s_{2})}$ ${\displaystyle \langle u,v\rangle =\langle v,u\rangle }$ (symmetrisch),

${\displaystyle (s_{3})}$ für ${\displaystyle u\neq 0}$ gilt ${\displaystyle \langle u,u\rangle >0}$ (positiv definit).

Ein Euklidischer Vektorraum ist ein reeller Vektorraum mit einem Skalarprodukt

${\displaystyle \langle -,-\rangle :V\times V\to \mathbb {R} ,\quad (u,v)\mapsto \langle u,v\rangle }$.

• Der euklidische Standard-Vektorraum ist der ${\displaystyle \mathbb {R} ^{n}}$ mit dem Standard-Skalarprodukt: ${\displaystyle \langle u,v\rangle :=u^{t}v=\sum _{i=1}^{n}u_{i}v_{i}}$.
• Ein Isomorphismus ${\displaystyle \phi :V\to \mathbb {R} ^{n}}$ induziert auf ${\displaystyle V}$ ein Skalarprodukt durch ${\displaystyle \langle u,v\rangle _{\phi }:=\langle \phi (u),\phi (v)\rangle }$.
• Eine reguläre Matrix ${\displaystyle A\in Gl_{n}(\mathbb {R} )}$ induziert auf ${\displaystyle \mathbb {R} ^{n}}$ ein Skalarprodukt durch ${\displaystyle \langle u,v\rangle :=u^{t}A^{t}Av}$. Für ${\displaystyle A=\mathbb {E} _{n}}$ erhält man das Standardskalarprodukt.
• Auf dem Vektorraum der stetigen reellen Funktionen über einem abgeschlossenen Intervall ${\displaystyle [a,b],C^{0}([a,b]),}$ ist ${\displaystyle \langle f,g\rangle :=\int _{a}^{b}f(x)g(x)\,dx}$ ein Skalarprodukt.

Test: Warum ist das letzte Beispiel ein Skalarprodukt?

• Die positive Definitheit erlaubt die Einführung der Norm (Länge) eines Vektors: ${\displaystyle |x|:={\sqrt {\langle x,x\rangle }}}$.
• Es gelten: ${\displaystyle |rx|=|r||x|}$ und ${\displaystyle |x|=0}$ gdw. ${\displaystyle x=0}$.

${\displaystyle |\langle u,v\rangle |\leq |u||v|}$, (Zusatz: Gleichheit gilt gdw. ${\displaystyle {u,v}}$ linear abhängig).

Die Cauchy-Schwarz-Ungleichung rechtfertigt die Einführung eines Winkels ${\displaystyle \varphi }$ zwischen zwei von Null verschiedenen Vektoren durch die Formel:

${\displaystyle \cos(\varphi ):={\frac {\langle u,v\rangle }{|u||v|}}}$.

Die Regeln der anschaulichen Geometrie gelten weiter:

Dreiecksungleichung: ${\displaystyle |u+v|\leq |u|+|v|}$.

Kossinussatz: ${\displaystyle |u+v|^{2}=|u|^{2}+|v|^{2}-2|u||v|\cos(\varphi )}$.

Der Kosinus eines rechten Winkels hat den Wert Null. Deshalb wird definiert:

Zwei Vektoren ${\displaystyle u,v}$ heißen orthogonal, wenn ${\displaystyle \langle u,v\rangle =0}$ (Schreibweise: ${\displaystyle u\perp v}$).

Eine Menge von Vektoren ${\displaystyle \{v_{1},...,v_{k}\}}$ heißt Orthonormalsystem (ONS), wenn ${\displaystyle \langle v_{i},v_{j}\rangle =\delta _{ij}}$.

Ist die Menge zusätzlich eine Basis, dann heißt sie Orthonormalbasis (ONB).

Hierbei bezeichnet ${\displaystyle \delta _{ij}}$ das Kronecker-Symbol: ${\displaystyle \delta _{ij}=\left\{{\begin{matrix}1&i=j\\0&i\neq j\end{matrix}}\right.}$.

Ein ONS ist stets linear unabhängig.

Sei ${\displaystyle \{v_{1},...,v_{n}\}}$ eine ONB, dann gelten die folgenden Formeln:

• ${\displaystyle x=\sum _{i=1}^{n}\langle x,v_{i}\rangle v_{i}}$,
• ${\displaystyle |x|^{2}=\sum _{i=1}^{n}\langle x,v_{i}\rangle ^{2}}$,
• ${\displaystyle \langle x,y\rangle =\sum _{i=1}^{n}\langle x,v_{i}\rangle \langle y,v_{i}\rangle }$,
• Bessel-Ungleichung: ${\displaystyle |x|^{2}\geq \sum _{i=1}^{k}\langle x,v_{i}\rangle ^{2}}$; Zusatz: Gleichheit gdw. ${\displaystyle x\in Lin\{v_{1},...,v_{k}\}}$.

Jeder endlich erzeugte Unterraum eines euklidisches Vektorraumes hat eine ONB: Sei ${\displaystyle \{v_{1},...,v_{k}\}}$ linear unabhängig, dann existieren Vektoren ${\displaystyle v'_{i}\in Lin(v_{1},...,v_{i})}$, so dass ${\displaystyle {v'_{1},...,v'_{i}}}$ eine ONB von ${\displaystyle Lin(v_{1},...,v_{i})}$ für ${\displaystyle i=1,...,k}$ ist.

Der Beweis ergibt sich aus dem Orthonormalisierungsverfahren: Induktiv gilt die folgende Formel

${\displaystyle v'_{i+1}:={\frac {\tilde {v}}{|{\tilde {v}}|}},\quad {\tilde {v}}:=v_{i+1}-\langle v_{i+1},v'_{1}\rangle v_{1}'-...-\langle v_{i+1},v'_{i}\rangle v_{i}'}$.

In einem Euklidischen Vektorraum hat jeder Unterraum einen ausgezeichneten komplementären Unterraum, sein orthogonales Komplement:

Sei ${\displaystyle U}$ ein endlich erzeugter Unterraum von ${\displaystyle V}$, dann gilt ${\displaystyle V=U\oplus U^{\perp }}$, wobei das orthogonale Komplement von ${\displaystyle U}$ durch ${\displaystyle U^{\perp }:=\{x|\forall u\in U:\langle x,u\rangle =0\}}$ gebildet wird.

Test: Warum ist ${\displaystyle U^{\perp }}$ ein Unterraum?

Der Beweis ergibt sich aus der eindeutigen Zerlegung jedes Vektors in die Summe von seinem Lot bezüglich ${\displaystyle U}$ aus ${\displaystyle U^{\perp }}$ und seiner orthogonalen Projektion auf ${\displaystyle U}$.

Sei ${\displaystyle u_{1},...,u_{r}}$ eine ONB von ${\displaystyle U}$, dann ist die orthogonale Projektion ${\displaystyle pr_{U}^{\perp }:V\to U}$ durch folgende Formel gegeben: ${\displaystyle pr_{U}^{\perp }(x)=\sum _{i=1}^{r}\langle x,u_{i}\rangle u_{i}}$.

Zur Erinnerung: Zu jeder Zerlegung ${\displaystyle V=U\oplus W}$ gehören zwei Projektionsoperatoren ${\displaystyle pr_{1},pr_{2}\in Hom(V,V)}$ mit den folgenden Eigenschaften:

• ${\displaystyle ker(pr_{1})=im(pr_{2})=W,ker(pr_{2})=im(pr_{1})=U}$,
• ${\displaystyle pr_{i}^{2}=pr_{i}}$,
• ${\displaystyle pr_{i}(x)=x}$ gdw. ${\displaystyle x\in im(pr_{i})}$,
• ${\displaystyle \{0,1\}}$ ist die Menge der Eigenwerte von ${\displaystyle pr_{i}}$.

Sei ${\displaystyle u_{1},...,u_{r}}$ ein ONS in einem endlich erzeugten euklidischen Vektorraum, dann existiert eine orthonormierte Ergänzung zu einer ONB.

Die Ergänzung ergibt sich aus einer ONB von ${\displaystyle U^{\perp }}$, ${\displaystyle U}$ erzeugt durch die Vektoren des gegebenen ONS.
Als besonders wichtige Aussage folgt die eindeutige Lösbarkeit des folgenden Minimalproblems:

Das Minimalproblem ${\displaystyle \{u\in U||x-u|=minimal\}}$ besitzt die eindeutige Lösung ${\displaystyle x_{0}:=pr_{U}^{\perp }(x)}$.

Der Abstand ${\displaystyle d(x,U)}$ entspricht der Länge des Lotes. Dabei ist das Lot das Bild von ${\displaystyle x}$ bei der Projektion auf den zweiten Summanden ${\displaystyle pr_{U^{\perp }}^{\perp }(x)}$.
Anwendungsbeispiel: Methode der kleinsten Quadrate und lineare Ausgleichsrechnung. Ist ein lineares Gleichungssystem nicht lösbar, dann ist die beste Näherungslösung zu bestimmen.

Sei ${\displaystyle Ax=b}$ ein lineares Gleichungssystem, dann ist jede Lösung ${\displaystyle x_{0}}$ der Normalengleichung ${\displaystyle A^{t}Ax=A^{t}b}$ eine Lösung des Minimalproblems: ${\displaystyle |Ax_{0}-b|\leq |Ax-b|}$ für alle ${\displaystyle x}$.

Dabei ist die Normalengleichung stets lösbar, da ${\displaystyle {\mathcal {S}}(A^{t}A)={\mathcal {S}}(A^{t})}$, also insbesondere ${\displaystyle rg(A^{t}A)=rg(A)}$. Die Lösung ist eindeutig, falls ${\displaystyle rg(A)=n}$, ${\displaystyle n}$ - Spaltenzahl. Zum Beweis benötigen wir das folgende

Die Vektoren ${\displaystyle \{a_{1},...,a_{k}\}}$ sind linear unabhängig gdw. die Determinante (Gramsche Determinante) der k-Matrix aus den Skalarprodukten nicht verschwindet ${\displaystyle G(a_{1},...,a_{k}):=\det(\langle a_{i},a_{j}\rangle )\neq 0}$.

Ein linearer Operator auf einem euklidischen Vektorraum, der Längen der Vektoren erhält, heißt orthogonale Abbildung. Eine quadratische Matrix ${\displaystyle A}$ heißt orthogonale Matrix, wenn ${\displaystyle A^{t}=A^{-1}}$.

Eigenschaften von orthogonalen Abbildungen und Matrizen:

• Ein orthogonaler Operator erhält das Skalarprodukt und ist winkeltreu.
• Ein orthogonaler Operator hat höchstens die Eigenwerte ${\displaystyle 1}$ und ${\displaystyle -1}$.
• Ein orthogonaler Operator bildet eine ONB auf eine ONB ab.
• Die Determinante einer orthogonalen Matrix ist ${\displaystyle 1}$ oder ${\displaystyle -1}$.
• Die Menge aller orthogonalen ${\displaystyle (n,n)}$-Matrizen bildet eine Untergruppe (orthogonale Gruppe) ${\displaystyle {\mathcal {O}}_{n}\subset Gl_{n}}$.
• Die Spalten resp. Zeilen einer orthogonalen Matrix bilden eine ONB des Euklidischen Standardraumes.

Sei ${\displaystyle L}$ ein Operator von einem Euklidischen Vektorraum ${\displaystyle V}$ und ${\displaystyle B}$ eine ONB:

${\displaystyle L}$ ist orthogonale Abbildung gdw. die Matrixdarstellung ${\displaystyle M_{B}^{B}(L)}$ eine orthogonale Matrix ist.

Ist ${\displaystyle n}$ ungerade und ${\displaystyle A\in {\mathcal {O}}_{n}}$, dann folgt aus ${\displaystyle |A|=1}$ stets ${\displaystyle |A-I_{n}|=0}$ und aus ${\displaystyle |A|=-1}$ stets ${\displaystyle |A+I_{n}|=0}$.

Beispiele:

• Im ${\displaystyle \mathbb {R} ^{2}}$ sind orthogonale Abbildungen Drehungen um dem Ursprung und orthogonale Spiegelungen an Geraden

durch ${\displaystyle 0}$.

• Die zugehörigen orthogonalen Matrizen sind:

${\displaystyle D_{\varphi }:={\begin{pmatrix}\cos(\varphi )&\sin(\varphi )\\\sin(\varphi )&-\cos(\varphi )\end{pmatrix}}}$ und ${\displaystyle D'_{\varphi }:={\begin{pmatrix}\cos(\varphi )&-\sin(\varphi )\\\sin(\varphi )&\cos(\varphi )\end{pmatrix}}}$.

• Orthogonale Abbildungen im ${\displaystyle \mathbb {R} ^{3}}$ sind Drehungen um eine Achse oder Drehungen um eine Achse mit anschließender orthogonaler Spiegelung an der zur Drehachse orthogonalen Ebene.

Ist ${\displaystyle L}$ orthogonaler Operator und ${\displaystyle U\subset V}$ ein ${\displaystyle L}$-invarianter Unterraum, dann ist auch ${\displaystyle U^{\perp }}$ ${\displaystyle L}$-invariant, d.h. ${\displaystyle L(U^{\perp })\subseteq U^{\perp }}$.

Hinweis: Für jede orthogonale Abbildung gilt: Sind ${\displaystyle r:=\dim(V_{\lambda =1})}$ und ${\displaystyle s:=\dim(V_{\lambda =-1})}$ die Dimensionen der Eigenräume, dann ist ${\displaystyle L}$ eine Verknüpfung von ${\displaystyle a:={\frac {n-r-s}{2}}}$ Drehungen in ${\displaystyle a}$ zueinander orthogonalen Ebenen von ${\displaystyle V}$ und von ${\displaystyle s}$ orthogonalen Spiegelungen an Hyperebenen, die paarweise orthogonal zueinander sind.

Ist der Translationsraum eines reellen affines Raumes mit einem Skalarprodukt versehen, so sprechen wir von einem Euklidischen Punktraum. Hier können Abstände bestimmt und Winkel gemessen werden. Der Abstand zweier Punkte ist die Länge des Verbindungsvektors ${\displaystyle d(P,Q):=|{\vec {PQ}}|}$.

Der Abstand ${\displaystyle d(H_{1},H_{2})}$ zweier (windschiefer) affiner Unterräume ist das Infimum der Abstände zwischen Punkten der beiden Unterräume.

Der Abstand affiner Unterräume ist stets endlich:

In je zwei affinen Unterräumen ${\displaystyle H_{1},H_{2}}$ gibt es zwei Punkte ${\displaystyle P_{1},P_{2}}$ von minimalem Abstand:

${\displaystyle d(P_{1},P_{2})=d(H_{1},H_{2})}$.

Testfrage: Unter welchen Bedingungen sind die Punkte ${\displaystyle P_{i}}$ eindeutig bestimmt?

Im Spezialfall Punkt und Hyperebene kann der Abstand aus der Hesseschen Normalform abgelesen werden.
Eine Hyperebene ${\displaystyle H}$ im euklidischen Standardraum ${\displaystyle \mathbb {R} ^{n}}$ ist Lösungsmenge einer linearen Gleichung ${\displaystyle a_{1}x_{1}+...+a_{n}x_{n}=b}$. Ist der Vektor ${\displaystyle a=(a_{1},...,a_{n})}$ normiert, dann heißt die Gleichung Hessesche Normalform der Hyperebene ${\displaystyle H}$ (evtl. nach Multiplikation der Gleichung mit ${\displaystyle -1}$ gilt stets ${\displaystyle b\geq 0}$ und die Normalform ist eindeutig).

Sei ${\displaystyle P}$ ein Punkt und ${\displaystyle a_{1}x_{1}+...+a_{n}x_{n}=b}$ die Hessesche Normalform der Hyperebene H, dann gilt

${\displaystyle d(P,H)=|\langle a,{\vec {OP}}\rangle |}$.

Testfrage: Welche geometrische Bedeutung besitzen ${\displaystyle a}$ und ${\displaystyle b}$ bzgl. ${\displaystyle H}$ und das Vorzeichen des Skalarproduktes bzgl. der Lage von ${\displaystyle P}$ zu ${\displaystyle H}$?

An dieser Stelle sei auf verwandte Begriffe hingewiesen, die insbesondere in der Funktionalanalysis benutzt werden:

Ein ${\displaystyle K}$-Vektorraum (wobei ${\displaystyle K\subset \mathbb {C} }$) heißt normiert, falls es eine Abbildung (Norm) ${\displaystyle \|\_\|:V\to \mathbb {R} _{+}}$ gibt, die folgenden Regeln genügt:

(1) ${\displaystyle \|x\|>0}$ für alle ${\displaystyle x\neq 0}$; (2) ${\displaystyle \|rx\|=|r|\cdot \|x\|}$; (3) ${\displaystyle \|x+y\|\leq \|x\|+\|y\|}$.

Eine Menge ${\displaystyle M}$ heißt metrischer Raum, falls es eine Abbildung (Abstandsfunktion) ${\displaystyle \rho :M\times M\to \mathbb {R} _{+}}$ gibt, die folgenden Regeln genügt:

(1) ${\displaystyle \rho (a,b)>0}$ für alle ${\displaystyle a\neq b}$; (2) ${\displaystyle \rho (a,b)=\rho (b,a)}$; (3) ${\displaystyle \rho (a,b)\leq \rho (a,c)+\rho (c,b)}$.

Jeder euklidische VR ist normiert, jeder normierte VR ist metrisch durch ${\displaystyle \|x\|:={\sqrt {\langle x,x\rangle }}}$ resp. ${\displaystyle \rho (x,y):=\|x-y\|}$. Die Umkehrungen gelten nicht.

Beispiel: Für jeden Körper ${\displaystyle K}$ definiert der Hamming-Abstand eine Metrik auf ${\displaystyle K^{n}}$ durch

${\displaystyle \rho (x,y):=\#\{i|x_{i}\neq y_{i}\}}$.

Der Hamming-Abstand spielt eine zentrale Rolle bei der Beschreibung effektiver Codes.

Schließlich wollen wir die Begriffsbildungen des euklidischen VR und des Skalarproduktes auf den Fall komplexer Vektorräume ausdehnen. Betrachten wir zunächst den Standardfall: ${\displaystyle \mathbb {C} ^{n}}$ enthält ${\displaystyle \mathbb {R} ^{n}}$ als reellen Unterraum und ist selbst ein reeller VR der Dimension ${\displaystyle 2n}$:

${\displaystyle \mathbb {R} ^{n}\subset \mathbb {C} ^{n}\cong \mathbb {R} ^{2n};\quad x\mapsto x;\quad z=x+iy\mapsto (x,y)}$.

Wir wollen die reelle Standardnorm so auf ${\displaystyle \mathbb {C} ^{n}}$ fortsetzen, dass sie mit den obigen Abbildungen verträglich ist. Damit ergibt sich ${\displaystyle |z|^{2}=x_{1}^{2}+...+x_{n}^{2}+y_{1}^{2}+...+y_{n}^{2}=z_{1}{\overline {z}}_{1}+...+z_{n}{\overline {z}}_{n}=z^{t}\cdot {\overline {z}}}$.

Eine Abbildung ${\displaystyle L:V\to W}$ zwischen komplexen VR heißt semilinear, falls

${\displaystyle L(z+w)=L(z)+L(w)}$ und ${\displaystyle L(\lambda z)={\overline {\lambda }}L(z)}$.

Die Abbildung ’komplexe Konjugation’ auf ${\displaystyle \mathbb {C} ^{n}}$ ist semilinear. Das Standardbeispiel führt auf die folgende Verallgemeinerung des Skalarproduktes im Komplexen:

Ein Paar ${\displaystyle (V,h)}$ eines komplexen Vektorraumes und einer Abbildung ${\displaystyle h:V\times V\to \mathbb {C} }$ heißt unitär, falls ${\displaystyle h}$ folgende Regeln erfüllt:

(1) ${\displaystyle h(u,v)}$ ist linear in ${\displaystyle u}$ und semilinear in ${\displaystyle v}$ (sesquilinear),

(2) ${\displaystyle h(u,v)=h(v,u)}$ (Bedingung (1) + (2) definiert eine Hermitesche Form, speziell ist ${\displaystyle h(u,u)}$ reell),

(3) für ${\displaystyle u\neq 0}$ gilt ${\displaystyle h(u,u)>0}$ (positiv definit).

Bemerkungen:

• Jede Matrix ${\displaystyle H=A+iB\in Mat(n,n;\mathbb {C} )}$ induziert eine sesquilineare Form ${\displaystyle h_{H}}$ auf den ${\displaystyle \mathbb {C} ^{n}}$ durch ${\displaystyle h_{H}(z,w):=z^{t}H{\overline {w}}}$. Dabei entsprechen Realteil bzw. Imaginärteil von ${\displaystyle h_{H}}$ jeweils Bilinearformen auf ${\displaystyle \mathbb {C} ^{2n}}$ induziert durch die Matrizen

${\displaystyle {\begin{pmatrix}A&0\\0&A\end{pmatrix}}}$ bzw. ${\displaystyle {\begin{pmatrix}0&-B\\B&0\end{pmatrix}}}$.

• ${\displaystyle h_{H}}$ ist Hermitesch gdw. ${\displaystyle A}$ symmetrisch und ${\displaystyle B}$ schiefsymmetrisch.
• Ein unitärer VR ist normiert durch ${\displaystyle \|w\|^{2}:=h(w,w)}$.
• Es gilt die Cauchy-Schwarz-Ungleichung. Damit kann der Winkel zwischen Vektoren definiert werden. Die Begriffe ’orthogonal’, ’orthogonales Komplement’ und ’ONB’ sind wörtlich zu übertragen.
• Ebenso kann das Orthonormierungsverfahren im unitären Raum verwendet werden.

Der Verzicht auf die Bedingung der positiven Definitheit führt zu Vektoren der Länge Null und sogar von imaginärer Länge. So gibt das Modell des ${\displaystyle \mathbb {R} ^{4}}$ mit der nichteuklidischen ’Länge’

${\displaystyle |(t,x_{1},x_{2},x_{3})|^{2}:=(ct)^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2},\quad c>0}$

einen mathematischen Hintergrund für die Beschreibung der speziellen Relativitätstheorie und zum Verstehen ihrer Besonderheiten.