Eigenraum

Eigenraum ist ein Begriff aus der linearen Algebra. Er bezeichnet den von den Eigenvektoren zu einem bestimmten Eigenwert eines Endomorphismus aufgespannten Untervektorraum.

Eine Verallgemeinerung ist der Hauptraum; ist die algebraische Vielfachheit zu einem Eigenwert 1, so sind Eigenraum und Hauptraum gleich.

Definition

Sei V ein Vektorraum über einem Körper K und $\varphi \in End(V)$ ein Endomorphismus. E(λ) heißt dann der Eigenraum zum Eigenwert λ von φ.

$\begin{matrix} E(\lambda)&:=&\mathrm{Kern}(\varphi - \lambda id_V) \\ \ &=&\left\{ x \in V | \varphi (x)= \lambda x \right\} \\ \ &=&\left\{ x \in V | x \neq 0, \ \varphi(x) = \lambda x \right\} \cup \left\{ 0 \right\} \end{matrix}$

Man sagt dann auch, $E\left(\lambda\right)\subset V$ ist invariant bezüglich des Endomorphismus φ oder $E\left(\lambda\right)$ ist ein φ-invarianter Untervektorraum von V. Die Elemente x von $E\left(\lambda\right)$ sind dann die Eigenvektoren zum Eigenwert λ von φ.

Geometrische Vielfachheit

Die Dimension des Eigenraums $E \left (\lambda\right)$ wird als geometrische Vielfachheit von λ bezeichnet. Sie ist dabei stets mindestens 1 und höchstens gleich der algebraischen Vielfachheit von λ.

Eigenschaften

• Existiert ein Eigenwert λ = 0 von φ, so ist der zugehörige Eigenraum $E\left(\lambda\right)$ gleich dem Kern von φ. Denn $\operatorname{Kern}\left(\varphi\right)=\left\{x\in V | \varphi\left(x\right)=0\right\}$ und nach Definition des Eigenraumes: $E\left(0\right)=\left\{x\in V | \varphi\left(x\right)=0x=0\right\}$.

• Die Summe von Eigenräumen $E\left(\lambda\right)$ zu n verschiedenen Eigenwerten λ ist direkt:

$\bigcap_{i=1}^n E(\lambda _i) = 0 \Rightarrow V \supseteq W = E(\lambda _1) \oplus ... \oplus E(\lambda _n)$

• Gilt im obigen Fall V = W, so besitzt V eine Basis aus Eigenvektoren. In diesem Fall ist die Matrix A von $\varphi\in\operatorname{End}\left(V\right)$ bezüglich einer Basis von V diagonalisierbar, das heißt die Matrix A' von φ bezüglich der Basis von V aus Eigenvektoren hat Diagonalgestalt. In der Hauptdiagonalen von A' stehen dann die Eigenwerte von φ:

$A'= \begin{pmatrix} \lambda _1 & 0 & \cdots & 0 \\ 0 & \ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots & 0 \\ 0 & \cdots & 0 & \lambda_n \end{pmatrix}$

• Ist $\varphi \in\operatorname{End}(V)$ selbstadjungiert, so sind die Eigenräume zu verschiedenen Eigenwerten paarweise zueinander orthogonal.

Siehe auch

• Lineare Abbildung
• Vektorraum

Literatur

• Gerd Fischer: Lineare Algebra. Eine Einführung für Studienanfänger. 17. aktualisierte Auflage. Vieweg + Teubner, Wiesbaden 2010, ISBN 978-3-8348-0996-4, (Studium. Grundkurs Mathematik).