Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 42/kontrolle

Normale Endomorphismen

Nach Satz 34.2 besitzt eine Isometrie über ${}{\mathbb {C} }$ eine Orthonormalbasis aus Eigenvektoren und nach Satz 41.11 besitzt eine selbstadjungierte Abbildung (über ${}\mathbb {R}$ oder ${}{\mathbb {C} }$) ebenfalls eine Orthonormalbasis aus Eigenvektoren. Wir suchen nach einer Verallgemeinerung dieser beiden Aussagen über ${}{\mathbb {C} }$. Das Ergebnis ist der Spektralsatz für normale Endomorphismen, siehe Satz 42.9. Da es sich dabei um eine äquivalente Formulierung für die Existenz einer Orthonormalbasis aus Eigenvektoren handelt, ist eine weitere Verallgemeinerung nicht möglich.

Definition Referenznummer erstellen

Lineare Abbildungen

$\varphi ,\psi \colon V\longrightarrow V$

auf einem ${}K$- Vektorraum heißen vertauschbar, wenn

${}\psi \circ \varphi =\varphi \circ \psi \,$

gilt.

Definition Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$. Ein Endomorphismus

$\varphi \colon V\longrightarrow V$

heißt normal, wenn ${}\varphi$ und der adjungierte Endomorphismus ${}{\hat {\varphi }}$ vertauschbar sind.

Es muss also

${}\varphi \circ {\hat {\varphi }}={\hat {\varphi }}\circ \varphi \,$

gelten. Ein selbstadjungierter Endomorphismus ist trivialerweise normal. Bei einer Isometrie ${}\varphi$ ist der adjungierte Endomorphismus nach Beispiel 41.2 gleich ${}\varphi ^{-1}$, und somit ist eine Isometrie ebenfalls normal. Wenn der Endomorphismus ${}\varphi$ bezüglich einer Orthonormalbasis durch die Matrix ${}M$ gegeben ist, so lautet die Normalitätsbedingung

${}M{{\overline {M}}^{\text{tr}}}={{\overline {M}}^{\text{tr}}}M\,.$

Beispiel Referenznummer erstellen

In der zweidimensionalen Situation lautet die Normalitätsbedingung

${}{\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}{\overline {a}}&{\overline {c}}\\{\overline {b}}&{\overline {d}}\end{pmatrix}}={\begin{pmatrix}{\overline {a}}&{\overline {c}}\\{\overline {b}}&{\overline {d}}\end{pmatrix}}{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\,,$

was für die Einträge übersetzt zu den beiden Bedingungen

${}b{\overline {b}}=c{\overline {c}}\,$

und

${}a{\overline {c}}+b{\overline {d}}={\overline {a}}b+{\overline {c}}d\,$

führt. Neben Diagonalmatrizen und Drehmatrizen haben beispielsweise reelle Matrizen der Form

${\begin{pmatrix}a&b\\-b&a\end{pmatrix}}$

diese Eigenschaft.

Beispiel Referenznummer erstellen

Die lineare Abbildung

$\varphi \colon {\mathbb {K} }^{n}\longrightarrow {\mathbb {K} }^{n}$

besitze eine Orthonormalbasis (bezüglich des Standardskalarproduktes) ${}u_{1},\ldots ,u_{n}$ aus Eigenvektoren, d.h. die beschreibende Matrix besitzt die Diagonalgestalt

${\begin{pmatrix}\lambda _{1}&0&\cdots &\cdots &0\\0&\lambda _{2}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda _{n-1}&0\\0&\cdots &\cdots &0&\lambda _{n}\end{pmatrix}}.$

Dann wird der adjungierte Endomorphismus nach Beispiel 41.4 durch die komplex-konjugierte Matrix

${\begin{pmatrix}{\overline {\lambda }}_{1}&0&\cdots &\cdots &0\\0&{\overline {\lambda }}_{2}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&{\overline {\lambda }}_{n-1}&0\\0&\cdots &\cdots &0&{\overline {\lambda }}_{n}\end{pmatrix}}$

beschrieben. Diese beiden Matrizen sind offenbar vertauschbar, d.h. es liegt ein normaler Endomorphismus vor.

Die dritte Eigenschaft des folgenden Lemmas erklärt die Bezeichnung „normal“.

Lemma Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$ und sei

$\varphi \colon V\longrightarrow V$

ein Endomorphismus. Dann sind folgende Eigenschaften äquivalent.

1. ${}\varphi$ ist normal.
2. Für alle ${}v,w\in V$ gilt

   ${}\left\langle {\hat {\varphi }}(v),{\hat {\varphi }}(w)\right\rangle =\left\langle \varphi (v),\varphi (w)\right\rangle \,.$

3. Für alle ${}v\in V$ gilt

   ${}\Vert {{\hat {\varphi }}(v)}\Vert =\Vert {\varphi (v)}\Vert \,.$

Beweis

Es ist

${}\left\langle \varphi (v),\varphi (w)\right\rangle =\left\langle v,{\hat {\varphi }}(\varphi (w))\right\rangle =\left\langle v,({\hat {\varphi }}\circ \varphi )(w))\right\rangle \,$

und unter Verwendung von Lemma 41.7  (3) ist

${}\left\langle {\hat {\varphi }}(v),{\hat {\varphi }}(w)\right\rangle =\left\langle v,\varphi ({\hat {\varphi }}(w))\right\rangle =\left\langle v,(\varphi \circ {\hat {\varphi }})(w))\right\rangle \,.$

Wenn ${}\varphi$ und ${}{\hat {\varphi }}$ vertauschen, so gilt also auch

${}\left\langle {\hat {\varphi }}(v),{\hat {\varphi }}(w)\right\rangle =\left\langle \varphi (v),\varphi (w)\right\rangle \,$

für beliebige ${}v,w\in V$. Wenn dies umgekehrt gilt, so ist

${}\left\langle v,({\hat {\varphi }}\circ \varphi )(w))\right\rangle =\left\langle v,(\varphi \circ {\hat {\varphi }})(w))\right\rangle \,$

für alle ${}v\in V$ und daher sind die Endomorphismen vertauschbar. Daher sind (1) und (2) äquivalent. Von (2) nach (3) ist eine Einschränkung. Umgekehrt kann man aus (3) auch (2) gewinnen, da man das Skalarprodukt gemäß der Polarisationsformel aus der Norm erhalten kann.

$\Box$

Lemma Lemma 42.6 ändern

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$ und sei

$\varphi \colon V\longrightarrow V$

ein Endomorphismus.

Dann ist ein Untervektorraum ${}U\subseteq V$ genau dann ${}\varphi$- invariant, wenn das orthogonale Komplement ${}U^{\perp }$ invariant unter ${}{\hat {\varphi }}$ ist.

Beweis

Es sei ${}U$ invariant unter ${}\varphi$. Es sei ${}u\in U$ und ${}v\in U^{\perp }$. Dann ist

${}\left\langle u,{\hat {\varphi }}(v)\right\rangle =\left\langle \varphi (u),v\right\rangle =0\,.$

Die Umkehrung ergibt sich daraus, dass die Situation wegen Korollar 32.13  (3) und Lemma 41.7  (3) symmetrisch ist.

$\Box$

Lemma Lemma 42.7 ändern

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$ und sei

$\varphi \colon V\longrightarrow V$

ein normaler Endomorphismus.

Dann ist

${}\operatorname {kern} \varphi =\operatorname {kern} {\hat {\varphi }}\,.$

Beweis

Siehe Aufgabe 42.6.

$\Box$

Lemma Lemma 42.8 ändern

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$ und sei

$\varphi \colon V\longrightarrow V$

ein normaler Endomorphismus. Dann gelten folgende Aussagen.

1. ${}\lambda \in {\mathbb {K} }$ ist ein Eigenwert von ${}\varphi$ genau dann, wenn ${}{\overline {\lambda }}$ ein Eigenwert von ${}{\hat {\varphi }}$ ist.
2. Ein Vektor ${}v\in V$ ist ein Eigenvektor zum Eigenwert ${}\lambda$ genau dann, wenn ${}v$ ein Eigenvektor zu ${}{\hat {\varphi }}$ zum Eigenwert${}{\overline {\lambda }}$ ist.

Beweis

Es sei

${}\psi :=\varphi -\lambda \operatorname {Id} _{V}\,,$

dessen Kern der Eigenraum von ${}\varphi$ zum Eigenwert ${}\lambda$ ist. Der adjungierte Endomorphismus zu ${}\psi$ ist unter Verwendung von Lemma 41.7

${}{\hat {\psi }}={\hat {\varphi }}-{\left(\lambda \operatorname {Id} _{V}\right)}^{\hat {}}={\hat {\varphi }}-{\overline {\lambda }}{\left(\operatorname {Id} _{V}\right)}^{\hat {}}={\hat {\varphi }}-{\overline {\lambda }}\operatorname {Id} _{V}\,.$

Nach Aufgabe 42.22 ist auch ${}\psi$ normal und nach Lemma 42.7 ist somit

${}\operatorname {Eig} _{\lambda }{\left(\varphi \right)}=\operatorname {kern} {\left(\varphi -\lambda \operatorname {Id} _{V}\right)}=\operatorname {kern} {\left({\hat {\varphi }}-{\overline {\lambda }}\operatorname {Id} _{V}\right)}=\operatorname {Eig} _{\overline {\lambda }}{\left({\hat {\varphi }}\right)}\,.$

$\Box$

Satz Satz 42.9 ändern

Es sei ${}V$ ein endlichdimensionaler komplexer Vektorraum mit Skalarprodukt ${}\left\langle -,-\right\rangle$ und sei

$\varphi \colon V\longrightarrow V$

ein Endomorphismus.

Dann ist ${}\varphi$ genau dann normal, wenn es eine Orthonormalbasis aus Eigenvektoren zu ${}\varphi$ gibt.

Beweis

Es sei zunächst ${}u_{1},\ldots ,u_{n}$ eine Orthonormalbasis von ${}V$, wobei die ${}u_{i}$ Eigenvektoren zu ${}\varphi$ seien. Die beschreibende Matrix ${}M$ ist dann eine Diagonalmatrix, deren Diagonaleinträge die Eigenwerte sind. Nach Lemma 41.6 wird der adjungierte Endomorphismus durch die konjugiert-transponierte Matrix beschrieben. Daher ist diese ebenfalls eine Diagonalmatrix und damit mit ${}M$ vertauschbar. Also ist ${}\varphi$ normal.

Die Umkehrung beweisen wir durch Induktion über die Dimension von ${}V$. Es sei also ${}\varphi$ normal. Der eindimensionale Fall ist klar. Aufgrund des Fundamentalsatzes der Algebra gibt es einen Eigenvektor ${}v\in V$ von ${}\varphi$, den wir als normiert annehmen können. Nach Lemma 42.8  (2) ist ${}v$ auch ein Eigenvektor zu ${}{\hat {\varphi }}$. Daraus folgt mit Lemma 42.6, dass ${}W={\mathbb {C} }v^{\perp }$ invariant unter ${}\varphi$ ist. Die Einschränkung von ${}\varphi$ auf ${}W$ ist wieder normal und die Induktionsvoraussetzung liefert die Behauptung.

$\Box$

Die vorstehende Aussage ist im Reellen nicht richtig, wie jede Drehung (mit Ausnahme der Identität und der Halbdrehung) zeigt.

Hauptachsentransformation

Wir wenden nun die Ergebnisse der letzten Vorlesung auf hermitesche Formen an. Man spricht von Hauptachsentransformation, wobei sich dieser Begriff wohl erst in der nächsten Vorlesung klärt. Da wir im Komplexen arbeiten, erwähnen wir kurz, dass sich die Begriffe positiv definit, negativ definit und Typ, die wir für eine reell-symmetrische Bilinearform definiert haben, direkt auf komplex-hermitesche Sesquilinearformen übertragen. Auch der Sylvestersche Trägheitssatz gilt mit dem gleichen Beweis entsprechend, ebenso das Minorenkriterium.

Satz Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler komplexer Vektorraum mit einer hermiteschen Sesquilinearform ${}\left\langle -,-\right\rangle$ vom Typ ${}(p,q)$.

Dann ist die Gramsche Matrix von ${}\left\langle -,-\right\rangle$ bezüglich einer jeden Orthogonalbasis eine Diagonalmatrix mit ${}p$ positiven reellen und ${}q$ negativen reellen Einträgen.

Daraus folgt auch unmittelbar, dass wenn man mit einer reell-symmetrischen Bilinearform auf dem ${}\mathbb {R} ^{n}$ startet und diese als hermitesche Sesquilinearform auf dem ${}{\mathbb {C} }^{n}$ auffasst, der reelle Typ mit dem komplexen Typ übereinstimmt. Der große Vorteil der komplexen Situation ist, dass der Fundamentalsatz der Algebra zur Verfügung steht, was die Existenz von Eigenwerten sichert. Selbst wenn man wie in Lemma 41.10 weiß, dass alle Eigenwerte reell sind, so wird deren Existenz erst über die komplexen Zahlen gesichert.

Satz Satz 42.11 ändern

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt und es sei ${}\Psi$ eine hermitesche Form auf ${}V$, die dem selbstadjungierten Endomorphismus

$\varphi \colon V\longrightarrow V$

im Sinne von Lemma 41.12 entspricht. Es sei ${}(p,q)$ der Typ von ${}\Psi$.

Dann ist ${}p$ die Anzahl der positiven Eigenwerte und ${}q$ die Anzahl der negativen Eigenwerte von ${}\varphi$, wobei man diese Anzahl mit der (algebraischen oder geometrischen) Vielfachheit nehmen muss.

Beweis

Nach Lemma 41.10 zerfällt das charakteristische Polynom von ${}\varphi$ in reelle Linearfaktoren. Es seien ${}\lambda _{1},\ldots ,\lambda _{r}$ die positiven Nullstellen und ${}\lambda _{r+1},\ldots ,\lambda _{s}$ die negativen Nullstellen. Nach Satz 41.11 liegt eine direkte, bezüglich des Skalarproduktes orthogonale Summenzerlegung

$V=\operatorname {Eig} _{\lambda _{1}}{\left(\varphi \right)}\oplus \cdots \oplus \operatorname {Eig} _{\lambda _{r}}{\left(\varphi \right)}\oplus \operatorname {Eig} _{\lambda _{r+1}}{\left(\varphi \right)}\oplus \cdots \oplus \operatorname {Eig} _{\lambda _{s}}{\left(\varphi \right)}\oplus \operatorname {Eig} _{0}{\left(\varphi \right)}\,$

vor (wobei ${}\operatorname {Eig} _{0}{\left(\varphi \right)}$ der Nullraum sein kann). Für Vektoren ${}v_{i}$ und ${}v_{j}$ aus verschiedenen Eigenräumen ist

${}\Psi (v_{i},v_{j})=\left\langle \varphi (v_{i}),v_{j}\right\rangle =\left\langle \lambda _{i}v_{i},v_{j}\right\rangle =\lambda _{i}\left\langle v_{i},v_{j}\right\rangle =0\,,$

sodass die Eigenräume auch bezüglich der Form ${}\Psi$ orthogonal sind. Für

${}v=v_{1}+\cdots +v_{r}\neq 0\,$

mit ${}v_{i}\in \operatorname {Eig} _{\lambda _{i}}{\left(\varphi \right)}$ ist

${}{\begin{aligned}\Psi (v,v)&=\Psi (v_{1},v_{1})+\cdots +\Psi (v_{r},v_{r})\\&=\Psi _{\varphi }(v_{1},v_{1})+\cdots +\Psi _{\varphi }(v_{r},v_{r})\\&=\left\langle \varphi (v_{1}),v_{1}\right\rangle +\cdots +\left\langle \varphi (v_{r}),v_{r}\right\rangle \\&=\left\langle \lambda _{1}v_{1},v_{1}\right\rangle +\cdots +\left\langle \lambda _{r}v_{r},v_{r}\right\rangle \\&=\lambda _{1}\left\langle v_{1},v_{1}\right\rangle +\cdots +\lambda _{r}\left\langle v_{r},v_{r}\right\rangle \\&>0.\end{aligned}}$

Auf diesem Unterraum ist also die eingeschränkte Form positiv definit, sodass

${}p\geq \sum _{i=1}^{r}\dim _{K}{\left(\operatorname {Eig} _{\lambda _{i}}{\left(\varphi \right)}\right)}\,$

ist. Wäre ${}p$ echt größer als diese Dimension, so würde es einen ${}p$-dimensionalen Untervektorraum ${}W\subseteq V$ derart geben, dass die Einschränkung von ${}\Psi$ darauf positiv definit ist und so, dass nach Korollar 9.8

${}W\cap {\left(\operatorname {Eig} _{\lambda _{r+1}}{\left(\varphi \right)}\oplus \cdots \oplus \operatorname {Eig} _{\lambda _{s}}{\left(\varphi \right)}\oplus \operatorname {Eig} _{0}{\left(\varphi \right)}\right)}\neq 0\,$

ist. Dies ergibt direkt einen Widerspruch, da auf dem rechten Raum die Form ${}\Psi$ negativ semidefinit ist. Also ist

${}p=\sum _{i=1}^{r}\dim _{K}{\left(\operatorname {Eig} _{\lambda _{i}}{\left(\varphi \right)}\right)}\,.$

Die Argumentation für ${}q$ verläuft gleich.

$\Box$

Wir können nun den Beweis zum Eigenwertkriterium für den Typ einer reell-symmetrischen Bilinearform nachtragen. Dieser ergibt sich unmittelbar aus Satz 42.11.

Der folgende Satz heißt Satz über die Hauptachsentransformation.

Satz Satz 42.12 ändern

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$- Vektorraum mit Skalarprodukt und es sei ${}\Psi$ eine hermitesche Form auf ${}V$.

Dann gibt es eine Orthonormalbasis von ${}V$ (bezüglich des Skalarproduktes), die eine Orthogonalbasis bezüglich ${}\Psi$ ist.

Beweis

Nach Lemma 41.12  (2) und Lemma 41.12  (4) ist

${}\Psi =\Psi _{\varphi }\,$

für einen selbstadjungierten Endomorphismus

$\varphi \colon V\longrightarrow V.$

Nach Satz 41.11 gibt es eine Orthonormalbasis ${}v_{1},\ldots ,v_{n}$ aus Eigenvektoren zu ${}\varphi$ mit den Eigenwerten ${}\lambda _{i}$. Für diese Basis gilt

${}\Psi (v_{i},v_{j})=\Psi _{\varphi }(v_{i},v_{j})=\left\langle \varphi (v_{i}),v_{j}\right\rangle =\left\langle \lambda _{i}v_{i},v_{j}\right\rangle =\lambda _{i}\left\langle v_{i},v_{j}\right\rangle \,.$

Daher liegt auch eine Orthogonalbasis bezüglich ${}\Psi$ vor.

$\Box$

In diesem Zusammenhang heißen die Eigengeraden von ${}\varphi$ auch Hauptachsen von ${}\Psi _{\varphi }$ und die Eigenwerte auch Hauptwerte.