Fahne (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Darstellung einer Vektorraumfolge in Form einer Fahne

Als Fahne wird in der linearen Algebra eine Folge von Vektorräumen aufsteigender Dimension mit einer echten Teilmengenbeziehung bezeichnet. Der Name stammt daher, dass die ersten drei Vektorräume – Punkt, Gerade, Ebene – wie eine gewöhnliche Fahne angeordnet werden können.

Definition[Bearbeiten]

Eine Fahne in einem (meist endlichdimensionalen) Vektorraum V über einem Körper K ist eine endliche Folge (V_0,V_1,\ldots,V_n) von Untervektorräumen von V mit V_0=0 und V_n=V, so dass jeder Unterraum im nachfolgenden echt enthalten ist, d. h.

V_0 \subsetneq V_1 \subsetneq \ldots \subsetneq V_n.

Ist \dim V=n oder äquivalent dazu \dim V_i = i für i=0,\ldots,n, so spricht man von einer vollständigen Fahne. Manche Autoren beschäftigen sich nur mit vollständigen Fahnen und sprechen dann von Fahnen schlechthin.

Beispiele[Bearbeiten]

Ist (v_1,\ldots,v_d) eine Basis von V, so ist durch

V_i=\langle v_k\mid 1\leq k\leq i\rangle_K

eine vollständige Fahne definiert. Das Datum der Fahne ist jedoch schwächer, verschiedene Basen können dieselbe Fahne erzeugen.

Typ von Fahnen[Bearbeiten]

Sind (V_i)_{i=0,\ldots,n} und (W_i)_{i=0,\ldots,n} zwei Fahnen, die aus derselben Anzahl von Unterräumen bestehen und für die

\dim V_i=\dim W_i für i=0,\ldots,n

gilt, so sagt man, dass (V_i)_i und (W_i)_i denselben Typ haben. Die Typen von Fahnen sind durch die Partitionen der Zahl \dim V bestimmt. Zwei Fahnen vom selben Typ gehen stets durch einen Automorphismus von V auseinander hervor.

Verwendung[Bearbeiten]

Ist A ein Endomorphismus von V, und gilt

A\cdot V_i\subseteq V_i, für alle i

so heißt die Fahne unter A invariant oder stabil. Ist die Fahne vollständig, so impliziert die Existenz einer invarianten Fahne, dass es eine Basis von V gibt, bezüglich der A durch eine obere Dreiecksmatrix dargestellt wird (Trigonalisierung). Für allgemeinere Fahnen ergibt sich eine Blockdreiecksform, die durch den Typ der Fahne bestimmt ist.

Verwandte Begriffe[Bearbeiten]

Literatur[Bearbeiten]