Lineare Abbildung/Trigonalisierbar/Charakterisierungen/1/Fakt/Beweis2

Beweis

Von (1) nach (2). Es sei $v_{1}, \dots, v_{n}$ eine Basis, bezüglich der die beschreibende Matrix zu $φ$ obere Dreiecksgestalt besitzt. Dann folgt durch direkte Interpretation der Matrix, dass die Untervektorräume

V_{i} := ⟨ v_{1}, \dots, v_{i} ⟩

$φ$ -invariant sind und somit eine invariante Fahne vorliegt.

Von (2) nach (1). Es sei

0 = V_{0} \subset V_{1} \subset \dots \subset V_{n - 1} \subset V_{n} = V

eine $φ$ -invariante Fahne. Aufgrund des Basisergänzungssatzes gibt es eine Basis $v_{1}, \dots, v_{n}$ von $V$ mit

V_{i} = ⟨ v_{1}, \dots, v_{i} ⟩ .

Da die Fahne invariant ist, gilt

φ (v_{i}) = b_{1 i} v_{1} + b_{2 i} v_{2} + \dots + b_{i i} v_{i} .

Bezüglich dieser Basis besitzt die beschreibende Matrix zu $φ$ somit obere Dreiecksgestalt.

Von (1) nach (3). Das charakteristische Polynom von $φ$ ist gleich dem charakteristischen Polynom $χ_{M}$ , wobei $M$ eine beschreibende Matrix bezüglich einer beliebigen Basis ist. Wir können also annehmen, dass $M$ eine obere Dreiecksmatrix ist. Dann ist nach Fakt das charakteristische Polynom das Produkt der Linearfaktoren zu den Diagonaleinträgen.

Aus (3) folgt (4), da das Minimalpolynom nach Fakt ein Teiler des charakteristischen Polynoms ist.

Von (4) nach (1). Wir beweisen die Aussage durch Induktion nach $n$ , wobei die Fälle

n = 0, 1

klar sind. Nach Voraussetzung und nach Fakt besitzt $φ$ einen Eigenwert und damit auch einen Eigenvektor. Nach Fakt gibt es einen $(n - 1)$ -dimensionalen Untervektorraum

V_{n - 1} \subset V,

der $φ$ -invariant ist. Es sei $v_{1}, \dots, v_{n - 1}$ eine Basis von $V_{n - 1}$ , die wir durch $v_{n} \in V ∖ V_{n - 1}$ zu einer Basis von $V$ ergänzen. Bezüglich dieser Basis wird $φ$ durch eine Matrix der Gestalt

(\begin{matrix} a_{11} & \dots & a_{1, n - 1} & a_{1 n} \\ ⋮ & ⋱ & ⋮ & ⋮ \\ a_{n - 1, 1} & \dots & a_{n - 1, n - 1} & a_{n - 1, n} \\ 0 & \dots & 0 & a_{n n} \end{matrix})

beschrieben. Die $(n - 1) \times (n - 1)$ -Untermatrix oben links beschreibt dabei die (beidseitige) Einschränkung $φ |_{V_{n - 1}}$ von $φ$ auf $V_{n - 1}$ bezüglich der gegebenen Basis. Nach Fakt ist das Minimalpolynom von $φ |_{V_{n - 1}}$ ein Teiler des Minimalpolynoms von $φ$ und zerfällt daher wie dieses in Linearfaktoren. Nach Induktionsvoraussetzung ist $φ |_{V_{n - 1}}$ trigonalisierbar und damit auch $φ$ selbst.

Zur bewiesenen Aussage