Lineare Abbildung/Trigonalisierbar/Charakterisierungen/1/Fakt/Beweis/Aufgabe/Lösung

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

${}V_{i}:=\langle v_{1},\ldots ,v_{i}\rangle \,$

${}\varphi$-invariant sind und somit eine invariante Fahne vorliegt.

Von (2) nach (1). Es sei

${}0=V_{0}\subset V_{1}\subset \ldots \subset V_{n-1}\subset V_{n}=V\,$

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

${}V_{i}=\langle v_{1},\ldots ,v_{i}\rangle \,.$

Da die Fahne invariant ist, gilt

${}\varphi (v_{i})=b_{1i}v_{1}+b_{2i}v_{2}+\cdots +b_{ii}v_{i}\,.$

Bezüglich dieser Basis besitzt die beschreibende Matrix zu ${}\varphi$ obere Dreiecksgestalt.

Von (1) nach (3). Das charakteristische Polynom von ${}\varphi$ ist gleich dem charakteristischen Polynom ${}\chi _{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 (2). Wir beweisen die Aussage durch Induktion nach ${}n$, wobei die Fälle

${}n=0,1\,$

klar sind. Nach Voraussetzung und nach Fakt und Fakt besitzt ${}\varphi$ einen Eigenwert. Nach Fakt gibt es einen ${}(n-1)$-dimensionalen Untervektorraum

${}V_{n-1}\subset V\,,$

der ${}\varphi$-invariant ist. Nach Fakt ist das Minimalpolynom der Einschränkung ${}\varphi {|}_{V_{n-1}}$ ein Teiler des Minimalpolynoms von ${}\varphi$ und zerfällt daher wie dieses in Linearfaktoren. Nach Induktionsvoraussetzung gibt es eine ${}\varphi {|}_{V_{n-1}}$-invariante Fahne

${}V_{1}\subset V_{2}\subset \ldots \subset V_{n-2}\subset V_{n-1}\,,$

und somit ist dies auch eine ${}\varphi$-invariante Fahne.

Zur gelösten Aufgabe