Fahne (Mathematik)

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

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

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

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

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

• Die Menge aller Automorphismen von $V$, die eine gegebene Fahne stabilisieren, bildet eine parabolische Untergruppe von $\mathrm{GL}(V)$.
• Die Menge aller Fahnen eines Typs wird als Fahnenmannigfaltigkeit bezeichnet. Da $\mathrm{GL}(V)$ transitiv auf der Menge aller Fahnen eines Typs operiert, lassen sich Fahnenmannigfaltigkeiten als homogene Räume von $\mathrm{GL}(V)$ darstellen.

Literatur

• Gerd Fischer: Lineare Algebra, Vieweg-Verlag, ISBN 3-528-97217-3.