# Eigentheorie/2/Einführung/Textabschnitt

Unter einer Achsenspiegelung in der Ebene verhalten sich gewisse Vektoren besonders einfach. Die Vektoren auf der Spiegelungsachse werden auf sich selbst abgebildet, und die dazu senkrechten Vektoren werden auf ihr Negatives abgebildet. Für all diese Vektoren liegt das Bild unter der linearen Abbildung in dem von diesem Vektor aufgespannten eindimensionalen Unterraum. In der Theorie der Eigenwerte und Eigenvektoren untersucht man, ob es zu einer linearen Abbildung Geraden (also eindimensionale Unterräume) gibt, die unter der Abbildung auf sich selbst abgebildet werden. Eine Zielsetzung ist dabei, zu einer gegebenen linearen Abbildung eine Basis zu finden, bezüglich der die beschreibende Matrix möglichst einfach ist.

## Definition

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und
    $\varphi \colon V\longrightarrow V$
eine lineare Abbildung. Dann heißt ein Element $v\in V$, $v\neq 0$, ein Eigenvektor von $\varphi$ (zum Eigenwert $\lambda$), wenn
    $\varphi (v)=\lambda v\,$
mit einem $\lambda \in K$ gilt.
Ein Eigenvektor ist also ein Vektor $v\neq 0$, der zu $\varphi (v)$ linear abhängig ist.

## Definition

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und
    $\varphi \colon V\longrightarrow V$
eine lineare Abbildung. Dann heißt ein Element $\lambda \in K$ ein Eigenwert zu $\varphi$, wenn es einen von $0$ verschiedenen Vektor $v\in V$ mit
    $\varphi (v)=\lambda v\,$
gibt.
Die Menge aller Eigenwerte zu $\varphi$ nennt man, vor allem im funktionalanalytischen Kontext, das Spektrum von $\varphi$.

## Definition

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und
    $\varphi \colon V\longrightarrow V$
eine lineare Abbildung. Zu $\lambda \in K$ nennt man
    $\operatorname {Eig} _{\lambda }{\left(\varphi \right)}:={\left\{v\in V\mid \varphi (v)=\lambda v\right\}}\,$
den Eigenraum von $\varphi$ zum Wert $\lambda$.
Wir erlauben also beliebige Werte (nicht nur Eigenwerte) in der Definition der Eigenräume. Wir werden in Fakt sehen, dass es sich dabei um Untervektorräume handelt. Insbesondere gehört die $0$ zu jedem Eigenraum, obwohl sie kein Eigenvektor ist. Einen eindimensionalen Eigenraum nennen wir auch Eigengerade. Für die meisten (nämlich alle bis auf endlich viele, wenn der Vektorraum endlichdimensional ist) $\lambda$ ist der Eigenraum einfach der Nullraum.
Bei einer Streckung mit dem Streckungsfaktor $a$ ist jeder Vektor $v\neq 0$ ein Eigenvektor zum Eigenwert $a$. Der Eigenraum zum Eigenwert $a$ ist der Gesamtraum. Umgekehrt kann man einen Endomorphismus auf einen Eigenraum (vorne und hinten) einschränken, nämlich die Abbildung
    $\varphi {|}_{\operatorname {Eig} _{\lambda }{\left(\varphi \right)}}\colon \operatorname {Eig} _{\lambda }{\left(\varphi \right)}\longrightarrow \operatorname {Eig} _{\lambda }{\left(\varphi \right)}$
betrachten. Diese Abbildung ist einfach die Streckung mit dem Faktor $\lambda$.
Für Matrizen verwenden wir die entsprechenden Begriffe, die von der zugehörigen linearen Abbildung auf dem $K^{n}$ nahegelegt werden. Ein $n$-Tupel ${\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}$ (nicht das Nulltupel) heißt Eigenvektor zur $n\times n$-Matrix $M$, wenn
    $M{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}=\lambda {\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}\,$
gilt, und $\lambda$ heißt dann Eigenwert der Matrix.

## Beispiel

Wir betrachten die durch eine Diagonalmatrix
    ${\begin{pmatrix}d_{1}&0&\cdots &\cdots &0\\0&d_{2}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&d_{n-1}&0\\0&\cdots &\cdots &0&d_{n}\end{pmatrix}}$
gegebene lineare Abbildung
    $\varphi \colon K^{n}\longrightarrow K^{n},\,e_{i}\longmapsto d_{i}e_{i}.$
Die Diagonaleinträge $d_{i}$ sind Eigenwerte von $\varphi$, und zwar ist der $i$-te Standardvektor $e_{i}$ ein zugehöriger Eigenvektor. Die Eigenräume sind
    ${\begin{aligned}\operatorname {Eig} _{d}{\left(\varphi \right)}&={\left\{v\in K^{n}\mid v{\text{ ist Linearkombination von solchen }}e_{i},{\text{ für die }}d=d_{i}{\text{ ist}}\right\}}\\\,\end{aligned}}$
Diese Räume sind genau dann von $0$ verschieden, wenn $d$ mit einem Diagonaleintrag übereinstimmt. Die Dimension der Eigenräume ist durch die Anzahl gegeben, wie oft der Wert $d$ in der Diagonalen vorkommt. Die Summe dieser Dimensionen ergibt $n$.

## Beispiel

Wir betrachten die durch die Matrix
    $M={\begin{pmatrix}0&5\\1&0\end{pmatrix}}\,$
definierte lineare Abbildung
    $\varphi \colon \mathbb {Q} ^{2}\longrightarrow \mathbb {Q} ^{2},\,{\begin{pmatrix}x\\y\end{pmatrix}}\longmapsto {\begin{pmatrix}0&5\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}5y\\x\end{pmatrix}}.$
Die Frage, ob diese Abbildung Eigenwerte besitzt, führt zur Frage, ob es $\lambda \in \mathbb {Q}$ derart gibt, dass die Gleichung
    ${\begin{pmatrix}0&5\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}=\lambda {\begin{pmatrix}x\\y\end{pmatrix}}\,$
eine nichttriviale Lösung $(x,y)\neq (0,0)$ besitzt. Bei gegebenem $\lambda$ kann dies auf ein lineares Problem zurückgeführt werden, das mit dem Eliminationsalgorithmus einfach gelöst werden kann. Die Frage aber, ob es Eigenwerte überhaupt gibt, führt wegen des variablen „Eigenwertparameters“ $\lambda$ zu einem nichtlinearen Problem. Das obige Gleichungssystem bedeutet ausgeschrieben
    $5y=\lambda x{\text{ und }}x=\lambda y.$
Bei $y=0$ ist auch $x=0$, der Nullvektor ist aber kein Eigenvektor. Es sei also $y\neq 0$. Aus den beiden Gleichungen erhält man die Bedingung
    $5y=\lambda x=\lambda ^{2}y\,,$
woraus $5=\lambda ^{2}$ folgt. Da in $\mathbb {Q}$ die Zahl $5$ keine Quadratwurzel besitzt, gibt es keine Lösung und das bedeutet, dass $\varphi$ keine Eigenwerte und damit auch keine Eigenvektoren besitzt.
Wir fassen nun die Matrix $M$ als eine reelle Matrix auf und untersuchen die zugehörige Abbildung
    $\psi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,{\begin{pmatrix}x\\y\end{pmatrix}}\longmapsto {\begin{pmatrix}0&5\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}5y\\x\end{pmatrix}}.$
Die gleichen Rechnungen führen auf die notwendige Lösungsbedingung $5=\lambda ^{2}$, die jetzt von den beiden reellen Zahlen
    $\lambda _{1}={\sqrt {5}}\,\,{\text{ und }}\,\,\lambda _{2}=-{\sqrt {5}}$
erfüllt wird. Für diese beiden Werte kann man unabhängig voneinander nach Eigenvektoren suchen. Wir betrachten zuerst den Fall $\lambda ={\sqrt {5}}$, was zum linearen Gleichungssystem
    ${\begin{pmatrix}0&5\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\sqrt {5}}{\begin{pmatrix}x\\y\end{pmatrix}}\,$
führt. Dies schreibt man als
    ${\begin{pmatrix}0&5\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}{\sqrt {5}}&0\\0&{\sqrt {5}}\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}\,$
bzw. als lineares Gleichungssystem
    ${\begin{pmatrix}{\sqrt {5}}&-5\\-1&{\sqrt {5}}\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}0\\0\end{pmatrix}}\,.$
Dieses ist einfach lösbar, der Lösungsraum ist eindimensional und
    $v={\begin{pmatrix}{\sqrt {5}}\\1\end{pmatrix}}\,$
ist eine Basislösung.
Für $\lambda =-{\sqrt {5}}$ führen dieselben Umformungen zu einem weiteren linearen Gleichungssystem, für das der Vektor
    $w={\begin{pmatrix}-{\sqrt {5}}\\1\end{pmatrix}}\,$
eine Basislösung ist. Über $\mathbb {R}$ sind also ${\sqrt {5}}$ und $-{\sqrt {5}}$ Eigenwerte und die zugehörigen Eigenräume sind
    $\operatorname {Eig} _{\sqrt {5}}{\left(\psi \right)}={\left\{s{\begin{pmatrix}{\sqrt {5}}\\1\end{pmatrix}}\mid s\in \mathbb {R} \right\}}\,\,{\text{ und }}\,\,\operatorname {Eig} _{-{\sqrt {5}}}{\left(\psi \right)}={\left\{s{\begin{pmatrix}-{\sqrt {5}}\\1\end{pmatrix}}\mid s\in \mathbb {R} \right\}}.$

## Lemma

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum
    $\varphi \colon V\longrightarrow V$
eine lineare Abbildung und $\lambda \in K$. Dann gelten folgende Aussagen.

### Beweis

(1). Wegen $\varphi (0)=0=\lambda 0$ gehört der Nullvektor zu $\operatorname {Eig} _{\lambda }{\left(\varphi \right)}$. Es seien $u,v\in \operatorname {Eig} _{\lambda }{\left(\varphi \right)}$ und sei $w=au+bv$. Dann ist
    $\varphi (w)=a\varphi (u)+b\varphi (v)=a\lambda u+b\lambda v=\lambda (au+bv)=\lambda w\,.$
(2) und (3) folgen direkt aus den Definitionen.
$\Box$