Hauptvektor

Der Hauptraum ist ein Begriff aus der linearen Algebra und eine Verallgemeinerung des Eigenraums. Haupträume spielen eine große Rolle beim Aufstellen der jordanschen Normalform und der Berechnung einer zugehörigen Basis.

Definition des Hauptraums

Ist $F \colon V \to V$ eine lineare Abbildung aus einem endlichdimensionalen Vektorraum V in sich selbst, λ ein Eigenwert von F und bezeichnet r die algebraische Vielfachheit des Eigenwertes λ, dann nennt man den Kern der r-fachen Hintereinanderausführung von (F − λ) Hauptraum zum Eigenwert λ, d. h.

$\operatorname{Hau} (F, \lambda) := \{v \in V \mid (F - \lambda)^r v = 0\}$.

Der Hauptraum wird also von genau den Vektoren v aufgespannt, für die (F − λ)^rv = 0 gilt. Insbesondere ist der Eigenraum zu einem Eigenwert ein Unterraum des Hauptraums zu diesem Eigenwert.

Hauptvektor

Die Elemente des Hauptraums werden manchmal auch Hauptvektoren genannt. Diesen Hauptvektoren kann man eine Stufe oder einen Level zuordnen. Sei F ein Endomorphismus und λ ein Eigenwert des Endomorphismus. Ein Vektor v heißt Hauptvektor der Stufe p, wenn

(F − λE)^pv = 0

aber

$(F-\lambda E)^{p-1} v \neq 0$

gilt. Die Eigenvektoren sind somit Hauptvektoren der Stufe 1.

Sei v_{p − 1} ein Hauptvektor der Stufe p − 1, so kann man den Hauptvektor der Stufe p berechnen, indem man das lineare Gleichungssystem

(F − λE)v_p = v_{p − 1}

löst.

Satz über die Hauptraumzerlegung

Es sei F ein Endomorphismus, und sein charakteristisches Polynom

$\chi_F(t) = \pm \prod_{j=1}^k(t-\lambda_j)^{r_j}$

zerfalle vollständig in Linearfaktoren mit paarweise verschiedenen $\lambda_1 \ldots \lambda_k \in K$. Dann gilt:

1. Der Hauptraum ist F-invariant, das heißt $F\left(\operatorname{Hau}(F,\lambda_i)\right) \subset \operatorname{Hau}(F,\lambda_i)$.
2. Die Dimensionen der Haupträume stimmen mit den Vielfachheiten der Nullstellen des charakteristischen Polynoms überein, also $\dim\left(\operatorname{Hau}(F,\lambda_i)\right) = r_i$.
3. Die Haupträume bilden eine direkte Zerlegung von V. Es gilt also $V = \operatorname{Hau}(F,\lambda_1) \oplus \cdots \oplus \operatorname{Hau}(F,\lambda_k)$.
4. Der Endomorphismus F besitzt eine Zerlegung F = F_D + F_N. Darin ist F_D diagonalisierbar, F_N ist nilpotent, und es gilt $F_D \circ F_N = F_N \circ F_D$.

Literatur

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