Endomorphismus/Nilpotent/Jordanzerlegung/Textabschnitt

Für einen nilpotenten Endomorphismus $φ$ auf einem Vektorraum $V$ ist

V = {Haupt}_{0} (φ),

es gibt also nur einen Hauptraum, und dieser ist der Gesamtraum. Wir werden jetzt zeigen, dass man eine beschreibende Matrix weiter (über die Dreiecksgestalt hinaus) verbessern kann.

Beispiel

Eine Matrix der Form

M = (\begin{matrix} 0 & a \\ 0 & 0 \end{matrix})

mit $a \neq 0$ hat bezüglich der Basis $a e_{1}$ und $e_{2}$ die Gestalt

(\begin{matrix} 0 & 1 \\ 0 & 0 \end{matrix}) .

Lemma

Es sei $K$ ein Körper und es sei $V$ ein endlichdimensionaler $K$ -Vektorraum. Es sei

φ : V ⟶ V

eine nilpotente lineare Abbildung. Es sei

φ^{s} = 0

und $s$ minimal mit dieser Eigenschaft.

Dann besteht zwischen den Untervektorräumen

$V_{i} := kern φ^{i}$

die Beziehung

$φ^{- 1} (V_{i}) = V_{i + 1}$

und die Inklusionen

$V_{i} \subset V_{i + 1}$

sind echt für $i < s$ .

Beweis

Es sei $v \in V$ . Dann ist $v \in V_{i + 1} = kern φ^{i + 1}$ äquivalent zu $φ (v) \in V_{i} = kern φ^{i}$ , was die erste Behauptung bedeutet. Für die zweite Behauptung sei

V_{i} = V_{i + 1}

für ein $i < s$ angenommen. Durch Anwendung von $φ^{- 1}$ ergibt sich

V_{i + 1} = φ^{- 1} (V_{i}) = φ^{- 1} (V_{i + 1}) = V_{i + 2} .

In dieser Weise erhält man

V_{i} = V_{i + 1} = V_{i + 2} = \dots = V_{s} = V

im Widerspruch zur Minimalität von $s$ .

◻

Lemma

Es sei $K$ ein Körper und es sei $V$ ein endlichdimensionaler $K$ -Vektorraum. Es sei

φ : V ⟶ V

eine nilpotente lineare Abbildung.

Dann gibt es eine Basis $v_{1}, \dots, v_{n}$ von $V$ mit

$φ (v_{j}) = v_{j - 1}$

oder

$φ (v_{j}) = 0 .$

Beweis

Es sei

φ^{s} = 0

und $s$ minimal mit dieser Eigenschaft. Wir betrachten die Untervektorräume

V_{i} := kern φ^{i} .

Es sei $U_{s}$ ein direktes Komplement zu $V_{s - 1}$ , also

V = V_{s - 1} \oplus U_{s} .

Es ist

φ (U_{s}) \cap V_{s - 2} = 0,

da die Elemente $\neq 0$ aus $U_{s}$ unter $φ^{s - 1}$ nicht auf $0$ abgebildet werden. Daher gibt es einen Untervektorraum $U_{s - 1}$ von $V_{s - 1}$ mit

V_{s - 1} = V_{s - 2} \oplus U_{s - 1}

und mit

φ (U_{s}) \subseteq U_{s - 1} .

In dieser Weise erhält man Untervektorräume $U_{i} \subseteq V_{i}$ mit

V_{i} = V_{i - 1} \oplus U_{i}

und mit

φ (U_{i}) \subseteq U_{i - 1} .

Ferner ist

V = U_{1} \oplus \dots \oplus U_{s},

da ja jeweils die vorhergehende direkte Summenzerlegung zunehmend verfeinert wird. Des weiteren ist $φ$ eingeschränkt^[1] auf $U_{i}$ mit $i \geq 2$ injektiv. Zu $v \in U_{i} \cap kern φ = U_{i} \cap V_{1} \subseteq U_{i} \cap V_{i - 1}$ ist ja wegen der Direktheit

v = 0 .

Wir konstruieren nun eine Basis wie gewünscht. Dazu wählen wir zuerst eine Basis $𝔲_{s}$ von $U_{s}$ . Das (linear unabhängige) Bild $φ (𝔲_{s})$ ergänzen wir zu einer Basis $𝔲_{s - 1}$ von $U_{s - 1}$ und so weiter. Die Vereinigung dieser Basen ist dann eine Basis von $V$ . Die Basiselemente aus $𝔲_{i}$ für $i \geq 2$ werden nach Konstruktion auf andere Basiselemente abgebildet und die Basiselemente aus $𝔲_{1}$ auf $0$ . Um eine Reihenfolge der Basis festzulegen, wählen wir ein Basiselement aus $𝔲_{s}$ , gefolgt von all seinen sukzessiven Bildern, sodann ein weiteres Basiselement aus $𝔲_{s}$ , gefolgt von all seinen sukzessiven Bildern, bis $𝔲_{s}$ aufgebraucht ist. Dann arbeitet man $𝔲_{s - 1}$ in der gleichen Weise ab. In einem letzten Schritt vertauscht man die Reihenfolge der soeben konstruierten Basiselemente.

◻

Korollar

Es sei $K$ ein Körper und es sei $V$ ein endlichdimensionaler $K$ -Vektorraum. Es sei

φ : V ⟶ V

eine nilpotente lineare Abbildung.

Dann gibt es eine Basis von $V$ , bezüglich der die beschreibende Matrix die Gestalt

$(\begin{matrix} 0 & c_{1} & 0 & \dots & \dots & 0 \\ 0 & 0 & c_{2} & 0 & \dots & 0 \\ ⋮ & ⋱ & ⋱ & ⋱ & ⋱ & ⋮ \\ 0 & \dots & 0 & 0 & c_{n - 2} & 0 \\ 0 & \dots & \dots & 0 & 0 & c_{n - 1} \\ 0 & \dots & \dots & \dots & 0 & 0 \end{matrix})$

besitzt, wobei die $c_{i}$ gleich $0$ oder gleich $1$ sind.

D.h., dass $φ$ auf jordansche Normalform gebracht werden kann.

Beweis

Dies folgt direkt aus Fakt.

◻

Bei einer nilpotenten Abbildung auf einem zweidimensionalen Vektorraum $V$ handelt es sich um die Nullabbildung oder um eine nilpotente Abbildung mit einem eindimensionalen Kern. Im letzteren Fall erhält man für jedes Element $v \in V ∖ kern φ$ eine Basis $φ (v), v$ (in dieser Reihenfolge), bezüglich der die beschreibende Matrix die Gestalt $(\begin{matrix} 0 & 1 \\ 0 & 0 \end{matrix})$ besitzt. Bei zunehmender Dimension werden die Möglichkeiten zunehmend zahlreicher und komplexer, wir besprechen abschließend typische Beispiele in der Dimension drei.

Beispiel

Wir wollen Fakt auf

M = (\begin{matrix} 0 & 2 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix})

anwenden. Es ist

M^{2} = (\begin{matrix} 0 & 2 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix}) \cdot (\begin{matrix} 0 & 2 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix}) = (\begin{matrix} 0 & 0 & 10 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{matrix})

und

M^{3} = 0 .

Somit ist

V_{1} = kern M = ⟨ e_{1} ⟩, V_{2} = kern M^{2} = ⟨ e_{1}, e_{2} ⟩ und V_{3} = K^{3} .

Es ist

V_{3} = V_{2} \oplus ⟨ e_{3} ⟩,

sodass wir

U_{3} = ⟨ e_{3} ⟩

wählen können. Es ist

M e_{3} = (\begin{matrix} 3 \\ 5 \\ 0 \end{matrix}) \in V_{2} .

Somit ist

V_{2} = V_{1} \oplus U_{2}

mit

U_{2} = ⟨ (\begin{matrix} 3 \\ 5 \\ 0 \end{matrix}) ⟩ .

Schließlich ist

M^{2} e_{3} = M (\begin{matrix} 3 \\ 5 \\ 0 \end{matrix}) = (\begin{matrix} 0 & 2 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix}) (\begin{matrix} 3 \\ 5 \\ 0 \end{matrix}) = (\begin{matrix} 10 \\ 0 \\ 0 \end{matrix}) .

Daher ist

(\begin{matrix} 10 \\ 0 \\ 0 \end{matrix}), (\begin{matrix} 3 \\ 5 \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix})

eine Basis wie gewünscht.

Die inverse Matrix zu

B = (\begin{matrix} 10 & 3 & 0 \\ 0 & 5 & 0 \\ 0 & 0 & 1 \end{matrix})

ist

(\begin{matrix} \frac{1}{10} & - \frac{3}{50} & 0 \\ 0 & \frac{1}{5} & 0 \\ 0 & 0 & 1 \end{matrix})

und es ist

\begin{matrix} B^{- 1} M B & = (\begin{matrix} \frac{1}{10} & - \frac{3}{50} & 0 \\ 0 & \frac{1}{5} & 0 \\ 0 & 0 & 1 \end{matrix}) (\begin{matrix} 0 & 2 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix}) (\begin{matrix} 10 & 3 & 0 \\ 0 & 5 & 0 \\ 0 & 0 & 1 \end{matrix}) \\ = (\begin{matrix} \frac{1}{10} & - \frac{3}{50} & 0 \\ 0 & \frac{1}{5} & 0 \\ 0 & 0 & 1 \end{matrix}) (\begin{matrix} 0 & 10 & 3 \\ 0 & 0 & 5 \\ 0 & 0 & 0 \end{matrix}) \\ = (\begin{matrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{matrix}) . \end{matrix}

Beispiel

Wir wollen Fakt auf

M = (\begin{matrix} 0 & 0 & 3 \\ 0 & 0 & 7 \\ 0 & 0 & 0 \end{matrix})

anwenden. Es ist

M^{2} = 0 .

Somit ist

V_{1} = kern M = ⟨ e_{1}, e_{2} ⟩ und V_{2} = K^{3} .

Es ist

V_{2} = V_{1} \oplus ⟨ e_{3} ⟩,

sodass wir

U_{2} = ⟨ e_{3} ⟩

wählen können. Es ist

M e_{3} = (\begin{matrix} 3 \\ 7 \\ 0 \end{matrix}) \in V_{1} .

Somit ist

V_{1} = ⟨ (\begin{matrix} 3 \\ 7 \\ 0 \end{matrix}), e_{1} ⟩ = U_{1} .

Daher ist

(\begin{matrix} 1 \\ 0 \\ 0 \end{matrix}), (\begin{matrix} 3 \\ 7 \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix})

eine Basis wie gewünscht. In dieser Basis wird die lineare Abbildung durch die Matrix

(\begin{matrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{matrix})

beschrieben.

Beispiel

Wir wollen Fakt auf

M = (\begin{matrix} 0 & 3 & 7 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{matrix})

anwenden. Es ist

M^{2} = 0 .

Somit ist

V_{1} = kern M = ⟨ e_{1}, 7 e_{2} - 3 e_{3} ⟩ und V_{2} = K^{3} .

Es ist

V_{2} = V_{1} \oplus ⟨ e_{3} ⟩,

sodass wir

U_{2} = ⟨ e_{3} ⟩

wählen können. Es ist

M e_{3} = (\begin{matrix} 7 \\ 0 \\ 0 \end{matrix}) \in V_{1} .

Somit ist

V_{1} = ⟨ (\begin{matrix} 7 \\ 0 \\ 0 \end{matrix}), 7 e_{2} - 3 e_{3} ⟩ = U_{1} .

Daher ist

(\begin{matrix} 0 \\ 7 \\ - 3 \end{matrix}), (\begin{matrix} 7 \\ 0 \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix})

eine Basis wie gewünscht. In dieser Basis wird die lineare Abbildung durch die Matrix

(\begin{matrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{matrix})

beschrieben.

↑ Die Einschränkung als Abbildung nach $V$ . Die $U_{i}$ sind im Allgemeinen nicht $φ$ -invariant.

[1] Die Einschränkung als Abbildung nach $V$ . Die $U_{i}$ sind im Allgemeinen nicht $φ$ -invariant.

[1]