Kurs:Lineare Algebra I/Normalform von Operatoren, Diagonalisierbarkeit

Aus Wikiversity

Unter einer Normalform verstehen wir in der linearen Algebra in der Regel eine möglichst einfache (und weitestgehend eindeutige) Form der Matrixdarstellung eines Objektes. Was konkret unter ’einer einfachen Form’ zu verstehen ist, gehört meist zur Fragestellung dazu. Oft gibt man sich eine Form vor und fragt, welche Objekte oder ob alle Objekte in dieser Form dargestellt werden können.

Beispiel: Normalform einer linearen Abbildung.

Zu $L \in Hom(V,W)$ , $\dim(V) = n$ und $\dim(W) = m$ , gibt es Basen $B$ von $V$ und $C$ von $W$ , so dass

$M^B_C(L) = \begin{pmatrix} \mathbb{E}_r & 0 \\ 0 & 0 \end{pmatrix}$ , $r = \dim(im(L))$ .

Dieses Beispiel gilt natürlich auch für den Fall $(V = W)$ . Solche linearen Abbildungen $L : V \to V$ werden Endomorphismen oder Operatoren genannt. Diese sollen näher untersucht werden. Allerdings ist es hier nicht sinnvoll, zwei verschiedene Basen gleichzeitig in einem Vektorraum zu betrachten. Deshalb formulieren wir das Normalformproblem für Operatoren (eines endlich erzeugten Vektorraumes):

Auf welche Form kann die Matrixdarstellung $M_B^B (L)$ eines Operators $L \in Hom(V; V )$ bei geeigneter Basiswahl gebracht werden?

In der Sprache der Matrizen bedeutet dies: Zu einer quadratischen Matrix $A \in Mat(n, n;K)$ suchen wir eine reguläre Matrix $C \in Gl_n$ , so dass $C - 1 A C$ eine einfache Gestalt hat. Diese Relation zwischen den Matrizen trägt einen Namen:

[Bearbeiten] Definition 5.1

Zwei quadratische Matrizen $A,A' \in Mat(n, n;K)$ heißen konjugiert, falls $A' = C - 1 A C$ und $C \in Gl_n(K)$ .

Die Konjugiertheit ist eine Äquivalenzrelation auf der Menge der quadratischen Matrizen. Insbesondere zerfällt $M a t (n, n; K)$ in eine disjunkte Vereinigung von Äquivalenzklassen (hier Konjugationsklassen genannt), deren Elemente jeweils die verschiedenen Matrixdarstellungen eines Operators sind. Das Finden einer Normalform bedeutet hier, aus jeder Konjugationsklasse einen eindeutig bestimmten Vertreter (zumindest eindeutig bis auf endlich viele z.B. Umordnungen) einer bestimmten Gestalt zu finden. Es gibt verschiedene Antworten auf das Normalformproblem für Operatoren. Im Unterschied zu dem obigen Beispiel wird die Antwort auch vom Körper $K$ anhängen bzw. werden einige Normalformen nur für bestimmte Operatoren existieren. Zunächst werden wir nur die einfachen Fälle behandeln: Diagonalform und Dreiecksform (Schur-Normalform). Im nächsten Semester werden wir eine vollständige Antwort in den Varianten der Jordan-Normalform kennenlernen.

[Bearbeiten] Eigenvektoren und Eigenwerte

Stets sei $L \in Hom(V, V)$ ein Operator (lineare Abbildung) und $V$ ein $n$ -dimensionaler $K$ -Vektorraum. Alle Begriffe und Aussagen des folgenden Abschnittes können ebenso gut für quadratische Matrizen $A \in Mat(n, n;K)$ formuliert werden, indem wir $A$ als Operator $L_A : x \mapsto Ax$ auf $K n$ auffassen.

[Bearbeiten] Definition 5.2

$\lambda \in K$ heißt Eigenwert eines Operators $L$ , falls ein Vektor $v \neq 0$ aus $V$ existiert, so dass $L (v) = λ v$ . Ein solcher Vektor $v$ heißt Eigenvektor von $L$ zum Eigenwert $λ$ . Die Menge aller Eigenvektoren zu $λ$ (einschließlich der Nullvektors) bildet den Eigenraum $V : = {v | L (v) = v}$ .

Offensichtlich ist jeder Eigenraum ein Vektorunterraum, da $V_\lambda= \ker(L - id_V )$ bzw. (für eine Matrix $A$ ) $V_\lambda = \mathcal{H}_0(A-\lambda \mathbb{E}_n)$ . Nach Definition ist $\lambda \in K$ Eigenwert gdw. $V \neq \{0\}$ . Beispiele: Für $n = 2, K = \mathbb{R}, L = L_A, A \in Mat(2, 2)$ betrachten wir folgende Spezialfälle.

a) Diagonalmatrix $A = \begin{pmatrix} a & 0 \\ 0 & a \end{pmatrix}$ : Einziger Eigenwerte ist $\lambda = a; V = \mathbb{R}^2$ .

b) Diagonalmatrix $A = \begin{pmatrix} a & 0 \\ 0 & d \end{pmatrix}$ , $a \neq d$ : Zwei Eigenwerte

λ 1 = a

,

λ 2 = d

mit Eigenvektoren

e 1

bzw.

e 2

.

c) Dreiecksmatrix $A = \begin{pmatrix} a & 0 \\ c & a \end{pmatrix}$ , $c \neq 0$ : Einziger Eigenwert ist $\lambda = a; V = \mathbb{R}^2$ .

d) Dreiecksmatrix $A = \begin{pmatrix} a & b \\ 0 & d \end{pmatrix}$ , $b \neq 0$ , $a \neq d$ : Eigenwerte sind

λ 1 = a

und

λ 2 = d

; zugehörige Eigenvektoren sind $e_1 = \begin{pmatrix} 1 \\ 0 \end{pmatrix}$ und $v_2 = \begin{pmatrix} b \\ d - a \end{pmatrix}$ .

e) Symmetrische Matrix $A = \begin{pmatrix} a & b \\ b & d \end{pmatrix}$ , $b \neq 0$ : Es gibt stets zwei verschiedene Eigenwerte $\lambda_{1,2} = \frac {a + d \pm \sqrt{(a - d)^2 + 4b^2}}{2}$ .

f) Schiefsymmetrische Matrix $A = \begin{pmatrix} a & b \\ b & d \end{pmatrix}$ , $b \neq 0$ : Es gibt zwei verschiedene (reelle) Eigenwerte $\lambda_{1,2} = \frac {a + d \pm \sqrt{(a - d)^2 + 4b^2}}{2}$ gdw.

| a - d | > | 2 b |

.

g) Drehmatrix $A = \begin{pmatrix} \cos(\varphi) & -\sin(\varphi) \\ \sin(\varphi) & \cos(\varphi) \end{pmatrix}$ , $\varphi \neq k \pi$ : Es gibt keine (reellen) Eigenwerte und damit keine Eigenvektoren. Dies ist ebenso aus geometrischen Gründen einsichtig.

Diese Beispiele ergeben offenbar keine vollständige Fallunterscheidung.

[Bearbeiten] Satz 5.3

Eigenvektoren zu verschiedenen Eigenwerten sind linear unabhängig.

[Bearbeiten] Corollar 5.4

(1) Ein Operator besitzt höchstens $n = \dim(V )$ Eigenwerte.

(2) Hat ein Operator $n = \dim(V )$ verschiedene Eigenwerte, so gibt es eine Basis aus Eigenvektoren.

Für eine Matrix lassen sich die zugehörigen Eigenwerte durch das Verschwinden von Determinanten charakterisieren:

[Bearbeiten] Satz 5.5

Für $A \in Mat(n, n;K)$ gilt: $\lambda \in K$ ist Eigenwert von $A \Leftrightarrow \det(A - \lambda\mathbb{E}) = 0$ .

Dies kann mittels der Matrixdarstellung auf Operatoren erweitert werden.

[Bearbeiten] Definition 5.6

Das charakteristische Polynom eines Operators $\begin{matrix} L \end{matrix}$ bezüglich einer Basis $\begin{matrix} B \end{matrix}$ von $\begin{matrix} V \end{matrix}$ ist die Determinante: $\chi_L(T) := \det(M_B^B (L) - T \mathbb{E})$ .

Bemerkungen:

$\begin{matrix} \chi_L(T) \end{matrix}$ ist unabhängig von der Wahl einer Basis $\begin{matrix} B \end{matrix}$ in $\begin{matrix} V \end{matrix}$ .
$\begin{matrix} \chi_L(T) \end{matrix}$ ist ein Polynom vom Grad $\begin{matrix} n \end{matrix}$ mit Koeffizienten aus $\begin{matrix} K \end{matrix}$ .
Der höchste Term von $\begin{matrix} \chi_L(T) \end{matrix}$ ist $\begin{matrix} (-1)^nT^n \end{matrix}$ , der absolute Term ist $\det(M_B^B (L)) =: \det(L)$ .

Beispiele: $A = (a_{ij}) \in Mat(n, n)$ .

n = 2

:

χ A (T) = T 2 - (a 11 + a 22) T + det(A)

.

n = 3

: $\chi_A(T) = -T^3 + (a_{11} + a_{22} + a_{33})T^2 - (a^\#_{11} + a^\#_{22} + a^\#_{33})T + \det(A)$ .

Generell ist der Koeffizient $c i$ von $T i$ im charakteristischen Polynom $χ L (T)$ von der Form $( - 1) i$ multipliziert mit der Summe aller Hauptminoren von $M_B^B (L)$ der Ordnung $i$ . Ein Hauptminor ist eine Unterdeterminante der Matrix, die durch Streichen von Zeilen und Spalten mit gleichem Index entsteht, hier also von jeweils $(n - i)$ Zeilen und Spalten.

[Bearbeiten] Lemma 5.7

Ein Skalar $\lambda \in K$ ist Eigenwert von $\begin{matrix} L \end{matrix}$ gdw. $\begin{matrix} \lambda \end{matrix}$ ist Nullstelle des charakteristischen Polynoms $\begin{matrix} \chi_L(\lambda) = 0 \end{matrix}$ .

[Bearbeiten] Einschub: Aussagen zu Nullstellen von Polynomen

[Bearbeiten] Definition 5.8

Mit $K[T] = \{f(T) = \sum^n_{i=0} a_iT^i | n \in \mathbb{N}; a_i \in K\}$ bezeichnen wir die Menge aller Polynome in der Variablen $\begin{matrix} T \end{matrix}$ mit Koeffizienten im Körper $\begin{matrix} K \end{matrix}$ .

Polynome können addiert und multipliziert werden. Addition und Multiplikation (mit Konstanten) induzieren auf $\begin{matrix} K[T] \end{matrix}$ die Struktur eines K-Vektorraumes. Die konstanten Polynome (von Grad 0) identifizieren wir mit dem Körper $\begin{matrix} K \end{matrix}$ . Der Grad eines Polynoms ist die höchste Potenz von $\begin{matrix} T \end{matrix}$ : $\deg f := \max\{ k | ak \neq 0\}$ . In $\begin{matrix} K[T] \end{matrix}$ gilt die Teilbarkeitslehre (wie in $\mathbb{Z}$ ; wird später allgemein behandelt), insbesondere gibt es eine Division mit Rest:

[Bearbeiten] Satz 5.9 (Division mit Rest)

Zu je zwei Polymonen $f, g \in K[T], g \neq 0$ , gibt es stets eindeutig bestimmte Polynome $q, r \in K[T]$ mit $\begin{matrix} f = qg + r \end{matrix}$ , wobei $\begin{matrix} \deg(r) < \deg(g) \end{matrix}$ oder $\begin{matrix} r = 0 \end{matrix}$ .

[Bearbeiten] Corollar 5.10

(1) $\lambda \in K$ ist Nullstelle von $\begin{matrix} f(T) \end{matrix}$ gdw. $\begin{pmatrix} T - \lambda \end{pmatrix}$ teilt $\begin{matrix} f(T) \end{matrix}$ , d.h. $\begin{matrix} f(T) = (T - \lambda)h(T) \end{matrix}$ für ein $h(T) \in K[T]$ .

(2) Ein Polynom vom Grad $\begin{matrix} n \end{matrix}$ besitzt höchstens $\begin{matrix} n \end{matrix}$ Nullstellen.

(3) $k(\lambda) := \max\{k | (T - \lambda)^k\ teilt\ f(T)\}$ heißt Vielfachheit der Nullstelle $\begin{matrix} \lambda \end{matrix}$ von $\begin{matrix} f(T) \end{matrix}$ .

An dieser Stelle formulieren wir:

[Bearbeiten] Satz 5.10i (Fundamentalsatz der Algebra)

Jedes nichtkonstante Polynom $f(T) \in \mathbb{C}[T]$ hat eine Nullstelle in $\mathbb{C}$ , somit ist $\mathbb{C}$ algebraisch abgeschlossen.

Daraus kann gefolgert werden, dass jeder Körper in einem algebraisch abgeschlossenen Körper liegt.

[Bearbeiten] Corollar 5.11

(1) Jedes Polynom positiven Grades $f(T) \in \mathbb{C}[T]$ besitzt eine eindeutige Faktorisierung in lineare Polynome: $f(T) = c(T - \lambda_1)^{k_1} \cdot ... \cdot (T - \lambda_r)^{k_r}$ ; $\deg(f) = \sum k_i$ ; $c, \lambda_1, ..., \lambda_r \in \mathbb{C}$ .

(2) Jedes Polynom positiven Grades $f(T) \in \mathbb{R}[T]$ besitzt eine eindeutige Faktorisierung in lineare oder quadratische Polynome: $f(T) = c(T - \lambda_1)^{k_1} \cdot ... \cdot (T - \lambda_r)^{k_r} (T^2 + a_1T + b_1)^{s_1} \cdot ... \cdot (T^2 + a_lT + b_l)^{s_l}$ ; $\deg(f) = \sum k_i + 2 \sum s_j$ ; $a^2_j - 4b_j < 0$ ; $c, \lambda_i, a_j , b_j \in \mathbb{R}$ .

Beim Auffinden rationaler Nullstellen von rationalen Polynomen hilft die folgende Überlegung, die auf einen Test endlich vieler Zahlen hinausläuft.

[Bearbeiten] Lemma 5.12

Sei $\begin{matrix} f(T) = a_nT^n+...+a_1T +a_0 \end{matrix}$ ein Polynom mit ganzzahligen Koeffizienten. Ist $\lambda = \frac {p}{q} \in \mathbb{Q}$ eine rationale Nullstelle von $\begin{matrix} f(T) \end{matrix}$ , dann ist $\begin{matrix} p \end{matrix}$ ein Teiler von $\begin{matrix} a_0 \end{matrix}$ und $\begin{matrix} q \end{matrix}$ ein Teiler von $\begin{matrix} a_n \end{matrix}$ .

Warum ist der Fall von ganzzahligen Polyomen keine Beschränkung der beschriebenen Situation?

[Bearbeiten] Diagonalisierbare Operatoren

[Bearbeiten] Definition 5.13

Ein Operator $\begin{matrix} L \end{matrix}$ heißt diagonalisierbar, wenn es eine Basis in $\begin{matrix} V \end{matrix}$ gibt, so dass die zugehörige Matrix $M^B_B (L)$ Diagonalgestalt besitzt.

Nicht jeder Operator ist diagonalisierbar. Nach der folgenden Charakterisierung kann es zwei Ursachen dafür geben.

[Bearbeiten] Satz 5.14

Die folgenden Bedingungen sind äquivalent:

(1) $\begin{matrix} L \end{matrix}$ ist diagonalisierbar,

(2) $\begin{matrix} V \end{matrix}$ hat eine Basis aus Eigenvektoren von $\begin{matrix} L \end{matrix}$ ,

(3) $\begin{matrix} L(T) \end{matrix}$ faktorisiert $\begin{matrix} K[T] \end{matrix}$ in lineare Polynome und die Vielfachheiten der Nullstellen sind die Dimensionen der zugehörigen Eigenräume.

[Bearbeiten] Corollar 5.15

Die Dimension eines Eigenraumes $\dim(V)$ ist beschränkt durch die algebraische Vielfachheit der Nullstelle $\begin{matrix} \lambda \end{matrix}$ im charakteristischen Polynom $\begin{matrix} L(T) \end{matrix}$ .

Beschränken wir uns auf den Fall, dass alle Nullstellen von $\begin{matrix} L(T) \end{matrix}$ aus $\begin{matrix} K \end{matrix}$ sind, d.h. $\begin{matrix} L(T) \end{matrix}$ zerfällt in $\begin{matrix} K[T] \end{matrix}$ in ein Produkt von Linearfaktoren. Dies ist beispielsweise über dem Körper $\mathbb{C}$ immer erfüllt. Dann ist ein Operator genau dann nicht diagonalisierbar, wenn die Dimension eines Eigenraumes kleiner als die Vielfachheit des zugehörigen Eigenwertes im charakteristischen Polynom ist. Ein solcher Operator lässt sich stets noch mit einer Dreiecksmatrix darstellen.

[Bearbeiten] Satz 5.16 (Schur-Normalform)

Zerfällt das charakteristische Polynom $\begin{matrix} L(T) \end{matrix}$ � vollständig in ein Produkt von Linearfaktoren, dann gibt es eine Basis $\begin{matrix} B \end{matrix}$ von $\begin{matrix} V \end{matrix}$ , so dass $M^B_B (L)$ eine obere Dreiecksmatrix ist mit den Eigenwerten auf der Hauptdiagonale.