Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil I/Vorlesung 28/kontrolle

„If it works, it's out of date“

David Bowie

Ein Zerlegungssatz

Satz Satz 28.1 ändern

Es sei

$\varphi \colon V\longrightarrow V$

ein trigonalisierbarer ${}K$- Endomorphismus auf dem endlichdimensionalen ${}K$- Vektorraum ${}V$.

Dann gibt es eine Zerlegung

${}\varphi =\varphi _{\rm {diag}}+\varphi _{\rm {nil}}\,,$

wobei ${}\varphi _{\rm {diag}}$ diagonalisierbar und ${}\varphi _{\rm {nil}}$ nilpotent ist, und zusätzlich

${}\varphi _{\rm {diag}}\circ \varphi _{\rm {nil}}=\varphi _{\rm {nil}}\circ \varphi _{\rm {diag}}\,$

gilt.

Beweis

Nach Satz 26.12 ist

${}V=H_{1}\oplus \cdots \oplus H_{m}\,,$

wobei die ${}H_{i}$ die Haupträume zu den Eigenwerten ${}\lambda _{i}$ seien, und es ist

${}\varphi =\varphi _{1}\oplus \cdots \oplus \varphi _{m}\,$

mit ${}\varphi _{i}=\varphi {|}_{H_{i}}$. Es sei

$p_{i}\colon V\longrightarrow V$

die Hintereinanderschaltung ${}V\rightarrow H_{i}\rightarrow V$, d.h. ${}p_{i}$ ist insbesondere eine Projektion. Wir setzen

${}\varphi _{\rm {diag}}:=\lambda _{1}p_{1}+\cdots +\lambda _{m}p_{m}\,.$

Diese Abbildung ist offenbar diagonalisierbar, auf ${}H_{i}$ ist es die Multiplikation mit ${}\lambda _{i}$. Es sei

${}\varphi _{\rm {nil}}:=\varphi -\varphi _{\rm {diag}}\,.$

Die Nilpotenz dieser Abbildung kann man auf den ${}H_{i}$ einzeln überprüfen, und dort ist

${}{\left(\varphi -\varphi _{\rm {diag}}\right)}{|}_{H_{i}}=\varphi _{i}-{\left(\varphi _{\rm {diag}}\right)}{|}_{H_{i}}=\varphi _{i}-\lambda _{i}\operatorname {Id} _{H_{i}}\,,$

also nilpotent. Ferner kommutieren ${}\varphi _{j}$ und ${}p_{i}$, da ${}p_{i}$ auf ${}H_{i}$ die Identität ist und auf ${}H_{j}$, ${}j\neq i$, die Nullabbildung. Damit kommutieren auch die direkten (skalaren) Summen davon und damit kommutieren ${}\varphi$ und ${}\varphi _{\rm {diag}}$, also auch ${}\varphi _{\rm {diag}}$ und ${}\varphi -\varphi _{\rm {diag}}=\varphi _{\rm {nil}}$.

$\Box$

Unter den im Satz angegebenen Bedingungen ist diese Zerlegung sogar eindeutig.

Definition Referenznummer erstellen

Ein Endomorphismus

$\varphi \colon V\longrightarrow V$

auf einem ${}K$- Vektorraum heißt unipotent, wenn

${}\varphi =\operatorname {Id} _{V}+\psi \,$

mit einer nilpotenten Abbildung ${}\psi$ ist.

Bei einer unipotenten Abbildung ist der diagonalisierbare Anteil im Sinne der oben beschriebenen kanonischen Zerlegung besonders einfach, es handelt sich um die Identität.

Jordansche Normalform

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}\lambda \in K$. Unter einer Jordanmatrix (zum Eigenwert ${}\lambda$) versteht man eine quadratische Matrix der Form

${\begin{pmatrix}\lambda &1&0&\cdots &\cdots &0\\0&\lambda &1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda &1&0\\0&\cdots &\cdots &0&\lambda &1\\0&\cdots &\cdots &\cdots &0&\lambda \end{pmatrix}}.$

Wenn man eine solche Jordanmatrix als lineare Abbildung ${}\varphi$ des Standardraumes ${}K^{n}$ in sich interpretiert, so ist

$\varphi (e_{1})=\lambda e_{1}{\text{ und }}\varphi (e_{k})=\lambda e_{k}+e_{k-1}{\text{ für alle }}k\geq 2.$

Insbesondere ist ${}e_{1}$ ein Eigenvektor zum Eigenwert ${}\lambda$. Eine einfache Überlegung zeigt, dass es keine dazu linear unabhängigen Eigenvektoren geben kann (siehe Aufgabe 28.17). Die Eigenschaft rechts ist äquivalent zur Bedingung

${}e_{k-1}=(\varphi -\lambda \cdot \operatorname {Id} )(e_{k})\,$

für ${}k\geq 2$. Als Eigenvektor ist ${}e_{1}$ ein erzeugendes Element des Kerns der Abbildung ${}\psi :=\varphi -\lambda \operatorname {Id}$, und die anderen Standardvektoren ${}e_{k}$ ergeben sich sukzessive als Urbild von ${}e_{k-1}$ unter ${}\psi$.

Definition Referenznummer erstellen

Eine quadratische Matrix der Form

${\begin{pmatrix}J_{1}&0&\cdots &\cdots &0\\0&J_{2}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&J_{k-1}&0\\0&\cdots &\cdots &0&J_{k}\end{pmatrix}},$

wobei die ${}J_{i}$ Jordanmatrizen sind, heißt Matrix in jordanscher Normalform.

Die dabei auftretenden Jordanmatrizen heißen Jordanblöcke der Matrix. Ihre Eigenwerte können verschieden oder gleich sein. In der Matrix

${\begin{pmatrix}2&1&0&0&0&0\\0&2&0&0&0&0\\0&0&4&1&0&0\\0&0&0&4&1&0\\0&0&0&0&4&0\\0&0&0&0&0&2\end{pmatrix}}$

gibt es drei Jordanblöcke, nämlich

${\begin{pmatrix}2&1\\0&2\end{pmatrix}},\,{\begin{pmatrix}4&1&0\\0&4&1\\0&0&4\end{pmatrix}}{\text{ und }}{\begin{pmatrix}2\end{pmatrix}}$

zu den Eigenwerten ${}2,4$ und nochmal ${}2$.

Wir kommen zum Satz über die jordansche Normalform für trigonalisierbare Endomorphismen.

Satz Satz 28.5 ändern

Zu jedem trigonalisierbaren Endomorphismus

$\varphi \colon V\longrightarrow V$

auf einem endlichdimensionalen ${}K$- Vektorraum ${}V$

gibt es eine Basis, bezüglich der die beschreibende Matrix jordansche Normalform besitzt.

Beweis

Da ${}\varphi$ trigonalisierbar ist, können wir Satz 26.12 anwenden. Es gibt also eine direkte Summenzerlegung

${}V=\operatorname {Haupt} _{\lambda _{1}}(\varphi )\oplus \cdots \oplus \operatorname {Haupt} _{\lambda _{m}}(\varphi )\,,$

wobei die Haupträume ${}\varphi$- invariant sind. Indem wir die Situation auf den einzelnen Haupträumen analysieren, können wir davon ausgehen, dass ${}\varphi$ nur einen Eigenwert ${}\lambda$ besitzt und

${}V=\operatorname {Haupt} _{\lambda }(\varphi )\,$

ist. Es ist dann

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

nilpotent. Daher gibt es nach Korollar 27.12 eine Basis, bezüglich der ${}\psi$ die Gestalt

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

besitzt, wobei die ${}c_{i}$ gleich ${}0$ oder gleich ${}1$ sind. Bezüglich dieser Basis hat

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

die Gestalt

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

$\Box$

Jede obere Dreiecksmatrix ist also ähnlich zu einer Matrix in jordanscher Normalform. Über den komplexen Zahlen kann man jede Matrix auf jordansche Normalform bringen. Wenn eine Matrix in jordanscher Normalform vorliegt, so kann man direkt den diagonalisierbaren und den nilpotenten Anteil im Sinne von Satz 28.1 ablesen: Die Diagonale liefert den diagonalisierbaren Anteil und die Einträge, die echt oberhalb der Diagonalen liegen, liefern den nilpotenten Anteil (dies ist im Allgemeinen für obere Dreiecksmatrizen nicht richtig).

Verfahren  

Wir beschreiben, wie man zu einer linearen trigonalisierbaren Abbildung eine Basis findet, bezüglich der die beschreibende Matrix in jordanscher Normalform ist. Dazu bestimmt man zu jedem Eigenwert ${}\lambda \in K$ den minimalen Exponenten ${}s$ mit

${}\operatorname {kern} {\left(\varphi -\lambda \operatorname {Id} \right)}^{s}=\operatorname {kern} {\left(\varphi -\lambda \operatorname {Id} \right)}^{s+1}\,.$

Dieser Kern ist der Hauptraum zu ${}\lambda$. Man setzt

${}V_{i}=\operatorname {kern} {\left(\varphi -\lambda \operatorname {Id} \right)}^{i}\subseteq \operatorname {Haupt} _{\lambda }(\varphi )\,$

für ${}i=1,\ldots ,s$. Dies ergibt eine Kette

${}V_{1}=\operatorname {Eig} _{}{\left(\lambda \right)}\subseteq V_{2}\subset \cdots \subset V_{s-1}\subset V_{s}=\operatorname {Haupt} _{\lambda }(\varphi )\,.$

Man wählt nun aus ${}V_{s}\setminus V_{s-1}$ einen Vektor ${}u$. Die Vektoren

$u,(\varphi -\lambda \operatorname {Id} )(u),(\varphi -\lambda \operatorname {Id} )^{2}(u),\ldots ,(\varphi -\lambda \operatorname {Id} )^{s-1}(u)$

bilden eine Basis für einen Jordan-Block. Wenn diese Basis schon den ganzen Hauptraum abdeckt, ist man fertig. Andernfalls sucht man in ${}V_{s}\setminus V_{s-1}$ einen weiteren, zu ${}u$ und ${}V_{s-1}$ linear unabhängigen Vektor und nimmt wieder sämtliche sukzessiven Bilder hinzu. Wenn ${}V_{s}\setminus V_{s-1}$ ausgeschöpft ist, schaut man, ob ${}V_{s-1}\setminus V_{s-2}$ bereits abgedeckt ist, u.s.w. Wenn der Hauptraum zu ${}\lambda$ ausgeschöpft ist, macht man mit dem nächsten Eigenwert weiter.

Unter gewissen Umständen kann man auch mit einer Basis des Eigenraumes anfangen. Wenn beispielsweise der Eigenraum zu ${}\lambda$ eindimensional ist, so kann man einen Eigenvektor ${}v$ zu ${}\lambda$ wählen und dazu sukzessive Urbilder unter ${}\varphi -\lambda \operatorname {Id} _{V}$ finden, also

${}v={\left(\varphi -\lambda \operatorname {Id} _{V}\right)}(v')\,$

lösen, dann

${}v'={\left(\varphi -\lambda \operatorname {Id} _{V}\right)}(v^{\prime \prime })\,$

u.s.w.

Wenn beispielsweise der Eigenraum ${}k$-dimensional und der Hauptraum ${}(k+1)$-dimensional, so muss man nur für einen Eigenvektor ein Urbild unter ${}\varphi -\lambda \operatorname {Id} _{V}$ finden.

Beispiel Referenznummer erstellen

Wir betrachten die Matrix

${}M={\begin{pmatrix}2&2&1\\0&2&3\\0&0&2\end{pmatrix}}\,$

und wollen sie auf jordansche Normalform bringen. Es ist ${}u=e_{1}={\begin{pmatrix}1\\0\\0\end{pmatrix}}$ ein Eigenvektor zum Eigenwert ${}2$. Es ist

${}A:=M-2E_{3}={\begin{pmatrix}0&2&1\\0&0&3\\0&0&0\end{pmatrix}}\,,$

sodass es keinen weiteren linear unabhängigen Eigenvektor gibt. Wir interessieren uns für das lineare Gleichungssystem ${}e_{1}=Av$. Daraus ergibt sich sofort (aus der zweiten Zeile) ${}v_{3}=0$ und somit ${}2v_{2}=1$ (${}v_{1}$ können wir frei als ${}0$ wählen). Also setzen wir ${}v={\begin{pmatrix}0\\{\frac {1}{2}}\\0\end{pmatrix}}$. Schließlich brauchen wir eine Lösung für ${}v=Aw$. Dies führt auf ${}w={\begin{pmatrix}0\\-{\frac {1}{12}}\\{\frac {1}{6}}\end{pmatrix}}$. Für die durch die Matrix ${}M$ beschriebene lineare Abbildung gilt somit

$Mu=2u,\,Mv=2v+u,\,Mw=2w+v,$

sodass die Abbildung bezüglich dieser Basis durch

${\begin{pmatrix}2&1&0\\0&2&1\\0&0&2\end{pmatrix}}$

beschrieben wird. Diese Matrix ist eine Jordanmatrix und insbesondere in jordanscher Normalform.

Beispiel Referenznummer erstellen

Wir betrachten die Matrix

${}M={\begin{pmatrix}2&0&0\\0&2&3\\0&0&2\end{pmatrix}}\,$

und wollen sie auf jordansche Normalform bringen. Es sind ${}u=e_{1}={\begin{pmatrix}1\\0\\0\end{pmatrix}}$ und ${}v=e_{2}={\begin{pmatrix}0\\1\\0\end{pmatrix}}$ linear unabhängige Eigenvektoren zum Eigenwert ${}2$. Es ist

${}A:=M-2E_{3}={\begin{pmatrix}0&0&0\\0&0&3\\0&0&0\end{pmatrix}}\,,$

sodass ${}u$ und ${}v$ den Eigenraum aufspannen. Ein Eigenvektor muss das Bild eines Vektors unter der Matrix ${}A$ sein. In der Tat besitzt das lineare Gleichungssystem

${}e_{2}=Aw\,$

die Lösung ${}w={\begin{pmatrix}0\\0\\{\frac {1}{3}}\end{pmatrix}}$.

Für die durch die Matrix ${}M$ beschriebene lineare Abbildung gilt somit

$Mu=2u,\,Mv=2v,\,Mw=2w+v,$

sodass die Abbildung bezüglich dieser Basis durch

${\begin{pmatrix}2&0&0\\0&2&1\\0&0&2\end{pmatrix}}$

beschrieben wird. Diese Matrix ist in jordanscher Normalform mit den Jordanblöcken ${}(2)$ und ${}{\begin{pmatrix}2&1\\0&2\end{pmatrix}}$.

Beispiel Referenznummer erstellen

Wir betrachten die Matrix

${}M={\begin{pmatrix}3&1&0&4\\0&-1&2&1\\0&0&-1&0\\0&0&0&3\end{pmatrix}}\,$

und wollen sie auf jordansche Normalform bringen. Hier gibt es zwei Eigenwerte und somit zwei zweidimensionale Haupträume, die getrennt behandelt werden können. Es ist

${}M-3E_{4}={\begin{pmatrix}0&1&0&4\\0&-4&2&1\\0&0&-4&0\\0&0&0&0\end{pmatrix}}\,,$

somit gehört ${}{\begin{pmatrix}1\\0\\0\\0\end{pmatrix}}$ zum Kern. Die Determinante der Untermatrix rechts oben ist nicht ${}0$, daher ist der Rang der Matrix gleich ${}3$ und der Kern ist eindimensional. Die zweite Potenz ist

${}{\begin{aligned}{\begin{pmatrix}0&1&0&4\\0&-4&2&1\\0&0&-4&0\\0&0&0&0\end{pmatrix}}^{2}&={\begin{pmatrix}0&1&0&4\\0&-4&2&1\\0&0&-4&0\\0&0&0&0\end{pmatrix}}{\begin{pmatrix}0&1&0&4\\0&-4&2&1\\0&0&-4&0\\0&0&0&0\end{pmatrix}}\\&={\begin{pmatrix}0&-4&2&1\\0&16&-16&-4\\0&0&16&0\\0&0&0&0\end{pmatrix}},\end{aligned}}$

ein neues Kernelement ist ${}{\begin{pmatrix}0\\1\\0\\4\end{pmatrix}}$. Es ist also

${}\operatorname {Haupt} _{3}(M)=\langle {\begin{pmatrix}1\\0\\0\\0\end{pmatrix}},\,{\begin{pmatrix}0\\1\\0\\4\end{pmatrix}}\rangle \,.$

Wegen

${}{\begin{pmatrix}0&1&0&4\\0&-4&2&1\\0&0&-4&0\\0&0&0&0\end{pmatrix}}{\begin{pmatrix}0\\1\\0\\4\end{pmatrix}}={\begin{pmatrix}17\\0\\0\\0\end{pmatrix}}\,$

können die Vektoren ${}{\begin{pmatrix}17\\0\\0\\0\end{pmatrix}}$ und ${}{\begin{pmatrix}0\\1\\0\\4\end{pmatrix}}$ zum Aufstellen des ersten Jordanblockes verwendet werden.

Es ist

${}M+1E_{4}={\begin{pmatrix}4&1&0&4\\0&0&2&1\\0&0&0&0\\0&0&0&4\end{pmatrix}}\,,$

somit gehört ${}{\begin{pmatrix}1\\-4\\0\\0\end{pmatrix}}$ zum Kern. Der Rang der Matrix ist wieder gleich ${}3$ und der Kern ist eindimensional. Die zweite Potenz ist

${}{\begin{aligned}{\begin{pmatrix}4&1&0&4\\0&0&2&1\\0&0&0&0\\0&0&0&4\end{pmatrix}}^{2}&={\begin{pmatrix}4&1&0&4\\0&0&2&1\\0&0&0&0\\0&0&0&4\end{pmatrix}}{\begin{pmatrix}4&1&0&4\\0&0&2&1\\0&0&0&0\\0&0&0&4\end{pmatrix}}\\&={\begin{pmatrix}16&4&2&33\\0&0&0&4\\0&0&0&0\\0&0&0&16\end{pmatrix}},\end{aligned}}$

ein neues Kernelement ist ${}{\begin{pmatrix}0\\1\\-2\\0\end{pmatrix}}$. Es ist also

${}\operatorname {Haupt} _{-1}(M)=\langle {\begin{pmatrix}1\\-4\\0\\0\end{pmatrix}},\,{\begin{pmatrix}0\\1\\-2\\0\end{pmatrix}}\rangle \,.$

Wegen

${}{\begin{pmatrix}4&1&0&4\\0&0&2&1\\0&0&0&0\\0&0&0&4\end{pmatrix}}{\begin{pmatrix}0\\1\\-2\\0\end{pmatrix}}={\begin{pmatrix}1\\-4\\0\\0\end{pmatrix}}\,$

können die Vektoren ${}{\begin{pmatrix}1\\-4\\0\\0\end{pmatrix}}$ und ${}{\begin{pmatrix}0\\1\\-2\\0\end{pmatrix}}$ zum Aufstellen des zweiten Jordanblockes verwendet werden. Insgesamt besitzt also ${}M$ bezüglich der Basis

${\begin{pmatrix}17\\0\\0\\0\end{pmatrix}}\,,{\begin{pmatrix}0\\1\\0\\4\end{pmatrix}}\,,{\begin{pmatrix}1\\-4\\0\\0\end{pmatrix}}\,,{\begin{pmatrix}0\\1\\-2\\0\end{pmatrix}}$

die jordansche Normalform

${\begin{pmatrix}3&1&0&0\\0&3&0&0\\0&0&-1&1\\0&0&0&-1\end{pmatrix}}.$

Endomorphismen endlicher Ordnung

In Lemma 24.10 haben wir gesehen, dass Permutationsmatrizen über ${}{\mathbb {C} }$ diagonalisierbar sind. Dies gilt über ${}{\mathbb {C} }$ für alle Endomorphismen endlicher Ordnung.

Lemma Referenznummer erstellen

Jede invertierbare Matrix ${}M\in \operatorname {GL} _{n}\!{\left({\mathbb {C} }\right)}$, die endliche Ordnung besitzt,

ist diagonalisierbar.

Beweis

Die Matrix ist trigonalisierbar und besitzt nach Satz 28.5 eine jordansche Normalform. Wir zeigen, dass die einzelnen Jordanblöcke

${\begin{pmatrix}\lambda &1&0&\cdots &\cdots &0\\0&\lambda &1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda &1&0\\0&\cdots &\cdots &0&\lambda &1\\0&\cdots &\cdots &\cdots &0&\lambda \end{pmatrix}}$

trivial sind. Wegen der endlichen Ordnung muss ${}\lambda$ eine Einheitswurzel sein. Durch Multiplikation mit ${}\lambda ^{-1}E_{n}$ können wir davon ausgehen, dass eine Matrix der Form

${\begin{pmatrix}1&a&0&\cdots &\cdots &0\\0&1&a&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&1&a&0\\0&\cdots &\cdots &0&1&a\\0&\cdots &\cdots &\cdots &0&1\end{pmatrix}}$

(mit $a\neq 0$) vorliegt. Wenn dies keine ${}1\times 1$-Matrix ist, so gibt es zwei Vektoren ${}u,v$, wobei ${}u$ ein Eigenvektor ist und ${}v$ auf ${}v+au$ abgebildet wird. Die ${}k$-te Iteration der Matrix schickt dann ${}v$ auf ${}v+kau$ und dies ist nicht ${}v$, im Widerspruch zur endlichen Ordnung.

$\Box$

Fußnoten