Kurs:Lineare Algebra/Teil I/18/Klausur mit Lösungen/kontrolle

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	${}\sum$
Punkte	3	3	2	3	3	4	5	10	4	3	5	3	3	5	8	64

Aufgabe (3 Punkte)

Lösung

1. Eine Verknüpfung

   $\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

   heißt assoziativ, wenn für alle ${}x,y,z\in M$ die Gleichheit

   ${}(x\circ y)\circ z=x\circ (y\circ z)\,$

   gilt.

2. Man nennt

   ${}\operatorname {kern} \varphi :={\left\{v\in V\mid \varphi (v)=0\right\}}\,$

   den Kern von ${}\varphi$.

3. Unter dem Homomorphismenraum versteht man

   ${}\operatorname {Hom} _{K}{\left(V,W\right)}={\left\{f:V\rightarrow W\mid f{\text{ lineare Abbildung}}\right\}}\,,$

   versehen mit der Addition, die durch

   ${}(f+g)(v):=f(v)+g(v)\,$

   definiert wird, und der Skalarmultiplikation, die durch

   ${}(\lambda f)(v):=\lambda \cdot f(v)\,$

   definiert wird.

4. Zu einer Familie von Elementen ${}a_{1},a_{2},\ldots ,a_{n}\in R$ in einem kommutativen Ring ${}R$ bezeichnet ${}(a_{1},a_{2},\ldots ,a_{n})$ das von diesen Elementen erzeugte Ideal. Es besteht aus allen Linearkombinationen

   $r_{1}a_{1}+r_{2}a_{2}+\cdots +r_{n}a_{n},$

   wobei ${}r_{1},r_{2},\ldots ,r_{n}\in R$ sind.

5. Die Abbildung

   $\Phi \colon V^{n}=\underbrace {V\times \cdots \times V} _{n{\text{-mal}}}\longrightarrow W$

   heißt alternierend, wenn ${}\Phi$ multilinear ist und wenn folgendes gilt: falls in ${}v=(v_{1},\ldots ,v_{n})$ zwei Einträge übereinstimmen, also ${}v_{i}=v_{j}$ für ein Paar ${}i\neq j$, so ist

   ${}\Phi (v)=0\,.$

6. Den Exponenten des linearen Polynoms ${}X-\lambda$ im charakteristischen Polynom ${}\chi _{\varphi }$ nennt man die algebraische Vielfachheit von ${}\lambda$.

Aufgabe (3 Punkte)

Lösung

1. Zu einem Untervektorraum ${}U\subseteq V$ gibt es einen Untervektorraum ${}W\subseteq V$ derart, dass eine direkte Summenzerlegung

   ${}V=U\oplus W\,$

   vorliegt.
2. Es sei ${}V$ ein endlichdimensionaler ${}K$-Vektorraum mit einer Basis ${}v_{1},\ldots ,v_{n}$. Dann bildet die Dualbasis

   $v_{1}^{*},\ldots ,v_{n}^{*}\in {V}^{*}$

   eine Basis des Dualraums.
3. Es sei ${}\lambda \in K$. Dann besteht zwischen der geometrischen und der algebraischen Vielfachheit die Beziehung

   ${}\dim _{K}{\left(\operatorname {Eig} _{\lambda }{\left(\varphi \right)}\right)}\leq \mu _{\lambda }(\varphi )\,.$

Aufgabe (2 Punkte)

Heinz Ngolo und Mustafa Müller wollen wissen, wie viele Kaulquappen sich im Teich im Wald befinden. Der Teich ist einen Meter tief und ist quadratisch mit einer Seitenlänge von zehn Metern, die Kaulquappen sind darin gleichmäßig verteilt. Heinz hat eine Teekanne dabei, in die ein halber Liter Wasser hineinpasst. Sie trinken den Tee leer und füllen die Kanne mit Teichwasser. Sie zählen, dass in der Kanne genau ${}23$ Kaulquappen sind und schütten alles zurück. Wie viele Kaulquappen befinden sich im Teich?

Lösung

Der Teich enthält ${}100$ Kubikmeter Wasser. In einen Kubikmeter passen ${}1000$ Liter und somit der Inhalt von ${}2000$ Teekannen. In den Teich passen also

${}100\cdot 1000\cdot 2=200000\,$

Teekannen. Somit befinden sich im Teich ca.

${}200000\cdot 23=4600000\,$

Kaulquappen.

Aufgabe (3 (1+1+1) Punkte)

Die Funktionen

$f,g,h\colon \mathbb {R} \longrightarrow \mathbb {R}$

seien durch

${}f(x)=x^{3}+x\,,$

${}g(y)=y^{2}-1\,$

und

${}h(z)=3z+4\,$

gegeben.

1. Berechne ${}g\circ f$.
2. Berechne ${}h\circ g$.
3. Berechne ${}h\circ g\circ f$ auf zwei unterschiedliche Arten.

Lösung

1. Es ist

   ${}{\begin{aligned}{\left(g\circ f\right)}(x)&=g(f(x))\\&=(f(x))^{2}-1\\&={\left(x^{3}+x\right)}^{2}-1\\&=x^{6}+2x^{4}+x^{2}-1.\end{aligned}}$

2. Es ist

   ${}{\begin{aligned}{\left(h\circ g\right)}(y)&=h(g(y))\\&=3(g(y))+4\\&=3{\left(y^{2}-1\right)}+4\\&=3y^{2}-3+4\\&=3y^{2}+1.\end{aligned}}$

3. Es ist einerseits

   ${}{\begin{aligned}(h\circ g\circ f)(x)&=h((g\circ f)(x))\\&=h(x^{6}+2x^{4}+x^{2}-1)\\&=3(x^{6}+2x^{4}+x^{2}-1)+4\\&=3x^{6}+6x^{4}+3x^{2}-3+4\\&=3x^{6}+6x^{4}+3x^{2}+1\end{aligned}}$

   und andererseits

   ${}{\begin{aligned}(h\circ g\circ f)(x)&=(h\circ g)(f(x))\\&=3(f(x))^{2}+1\\&=3(x^{3}+x)^{2}+1\\&=3(x^{6}+2x^{4}+x^{2})+1\\&=3x^{6}+6x^{4}+3x^{2}+1.\end{aligned}}$

Aufgabe (3 Punkte)

Man gebe ein Beispiel für einen Körper ${}K$, eine kommutative Gruppe ${}(V,+,0)$ und eine Abbildung

$K\times V\longrightarrow V,\,(s,v)\longmapsto sv,$

derart, dass diese Struktur alle Vektorraumaxiome außer

$(8)\,\,\,(r+s)u=ru+su$

erfüllt.

Lösung

Es sei ${}K=V=\mathbb {R}$ der Körper der reellen Zahlen. Wir betrachten die „Skalarmultiplikation“

$K\times K\longrightarrow K,\,(r,u)\longmapsto r\bullet u,$

die jedes Paar ${}(r,u)$ auf ${}u$ abbildet, also

${}r\bullet u=u\,.$

Dann ist (für ${}u\neq 0$)

${}(1+1)\bullet u=2\bullet u=u\neq 2u=1\bullet u+1\bullet u\,$

und somit ist diese Skalarmultiplikation nicht distributiv in den Skalaren. Alle anderen Vektorraumaxiome sind hingegen erfüllt. Es ist ja

${}{\begin{aligned}r\bullet (s\bullet u)&=r\bullet u\\&=u\\&=(r\cdot s)u\end{aligned}}$

und

${}{\begin{aligned}r\bullet (u+v)&=u+v\\&=r\bullet u+r\bullet v.\end{aligned}}$

Ferner ist natürlich auch

${}1\bullet u=u\,.$

Aufgabe (4 Punkte)

Beweise den Satz über die Existenz von Basen in einem endlich erzeugten ${}K$- Vektorraum ${}V$.

Lösung

Es sei ${}v_{i}$, ${}i\in I$, ein Erzeugendensystem von ${}V$ mit einer endlichen Indexmenge ${}I$. Wir wollen mit der Charakterisierung aus Satz 7.11 (Lineare Algebra (Osnabrück 2024-2025))  (2) argumentieren. Falls die Familie schon minimal ist, so liegt eine Basis vor. Andernfalls gibt es ein ${}k\in I$ derart, dass die um ${}v_{k}$ reduzierte Familie, also ${}v_{i}$, ${}i\in I\setminus \{k\}$, ebenfalls ein Erzeugendensystem ist. In diesem Fall kann man mit der kleineren Indexmenge weiterargumentieren.
Mit diesem Verfahren gelangt man letztlich zu einer Teilmenge ${}J\subseteq I$ derart, dass ${}v_{i}$, ${}i\in J$, ein minimales Erzeugendensystem, also eine Basis ist.

Aufgabe (5 (1+1+1+1+1) Punkte)

Es sei ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ eine Basis eines ${}K$- Vektorraumes ${}V$. Es seien ${}a_{1},\ldots ,a_{n}\in K$ von ${}0$ verschiedene Elemente.

a) Zeige, dass ${}{\mathfrak {w}}=a_{1}v_{1},a_{2}v_{2},a_{3}v_{3},\ldots ,a_{n}w_{n}$ ebenfalls eine Basis von ${}V$ ist.

b) Bestimme die Übergangsmatrix ${}M_{\mathfrak {v}}^{\mathfrak {w}}$.

c) Bestimme die Übergangsmatrix ${}M_{\mathfrak {w}}^{\mathfrak {v}}$.

d) Berechne die Koordinaten bezüglich der Basis ${}{\mathfrak {v}}$ für denjenigen Vektor, der bezüglich der Basis ${}{\mathfrak {w}}$ die Koordinaten ${}{\begin{pmatrix}1\\2\\3\\\vdots \\n\end{pmatrix}}$ besitzt.

e) Berechne die Koordinaten bezüglich der Basis ${}{\mathfrak {w}}$ für denjenigen Vektor, der bezüglich der Basis ${}{\mathfrak {v}}$ die Koordinaten ${}{\begin{pmatrix}1\\2\\2^{2}\\\vdots \\2^{n}\end{pmatrix}}$ besitzt.

Lösung

a) Es ist

${}v_{i}=a_{i}^{-1}w_{i}\,$

für alle ${}i=1,\ldots ,n$. Daher ist ${}w_{1},\ldots ,w_{n}$ ebenfalls ein Erzeugendensystem von ${}V$ und somit eine Basis, da die Dimension ${}n$ ist und ${}n$ Vektoren vorliegen.

b) In den Spalten von ${}M_{\mathfrak {v}}^{\mathfrak {w}}$ müssen die Koordinaten der Vektoren ${}w_{j}$ bezüglich der Basis ${}v_{i}$ stehen, also ist

${}M_{\mathfrak {v}}^{\mathfrak {w}}={\begin{pmatrix}a_{1}&0&0\\0&\ddots &0\\0&0&a_{n}\end{pmatrix}}\,.$

c) Es ist

${}M_{\mathfrak {w}}^{\mathfrak {v}}={\begin{pmatrix}a_{1}^{-1}&0&0\\0&\ddots &0\\0&0&a_{n}^{-1}\end{pmatrix}}\,.$

d) Die Koordinaten ergeben sich aus

${}M_{\mathfrak {v}}^{\mathfrak {w}}{\begin{pmatrix}1\\2\\\vdots \\n\end{pmatrix}}={\begin{pmatrix}a_{1}&0&0\\0&\ddots &0\\0&0&a_{n}\end{pmatrix}}{\begin{pmatrix}1\\2\\\vdots \\n\end{pmatrix}}={\begin{pmatrix}a_{1}\\2a_{2}\\\vdots \\na_{n}\end{pmatrix}}\,.$

e) Die Koordinaten ergeben sich aus

${}M_{\mathfrak {w}}^{\mathfrak {v}}{\begin{pmatrix}1\\2\\\vdots \\2^{n}\end{pmatrix}}={\begin{pmatrix}a_{1}^{-1}&0&0\\0&\ddots &0\\0&0&a_{n}^{-1}\end{pmatrix}}{\begin{pmatrix}1\\2\\\vdots \\2^{n}\end{pmatrix}}={\begin{pmatrix}a^{-1}\\2a^{-1}\\\vdots \\2^{n}a_{n}^{-1}\end{pmatrix}}\,.$

Aufgabe weiter

Es sei ${}n\in \mathbb {N} _{+}$ und es sei ${}M$ der reelle Vektorraum aller ${}n\times n$- Matrizen.

a) Zeige, dass die Menge ${}S$ der symmetrischen ${}n\times n$-Matrizen ein Untervektorraum von ${}M$ ist.

b) Bestimme die Dimension von ${}S$.

c) Zeige, dass die Menge ${}A$ der antisymmetrischen ${}n\times n$-Matrizen ein Untervektorraum von ${}M$ ist.

d) Bestimme die Dimension von ${}A$.

e) Schreibe die Matrix

${\begin{pmatrix}3&6\\1&2\end{pmatrix}}$

als Summe einer symmetrischen und einer antisymmetrischen Matrix.

f) Zeige, dass ${}M$ die direkte Summe aus ${}S$ und ${}A$ ist.

Lösung

a) Die Nullmatrix ist symmetrisch und antisymmetrisch. Für zwei symmetrische Matrizen ${}T_{1}=(a_{ij})_{ij}$ und ${}T_{2}=(b_{ij})_{ij}$ und Skalare ${}r,s\in \mathbb {R}$ ist

${}rT_{1}+sT_{2}=(ra_{ij}+sb_{ij})_{ij}\,$

offenbar wieder symmetrisch, daher liegt eine Untervektorraum vor.

b) Alle Diagonalmatrizen sind symmetrisch und die Diagonalmatrizen ${}D_{i}$, für die der ${}i$-te Diagonaleintrag eine ${}1$ ist und für die alle anderen Einträge ${}0$ sind, bilden eine Basis davon. Ferner sind für ${}i>j$ die Matrizen ${}E_{ij}$, für die

${}a_{ij}=a_{ji}=1\,$

und alle übrigen Einträge ${}0$ sind, ebenfalls symmetrisch. Diese bilden eine Basis aller symmetrischen Matrizen, wie man sieht, wenn man von allen Matrizen die oberen Dreiecksausschnitte betrachtet. Die Dimension dieses Raumes ist somit

${}n+1+2+\cdots +n-1={\frac {n(n+1)}{2}}\,.$

c) Für eine Linearkombination zweier antisymmetrischer Matrizen wie in a) ist der Eintrag ${}c_{ij}$ gleich

${}ra_{ij}+sb_{ij}=\,$

und der Eintrag ${}c_{ji}$ gleich

${}c_{ji}=ra_{ji}+sb_{ji}=r(-a_{ij})+s(-b_{ij})=-(ra_{ij}+sb_{ij})=-c_{ij}\,,$

daher ergibt dies wieder antisymmetrische Matrizen.

d) Wegen

${}a_{ii}=-a_{ii}\,$

müssen die Diagonaleinträge von antisymmetrischen Matrizen gleich ${}0$ sein. Für ${}i>j$ legt der Eintrag ${}a_{ij}$ den Eintrag ${}a_{ji}$ fest. Für ${}i>j$ seien ${}F_{ij}$ die antisymmetrischen Matrizen mit ${}a_{ij}=1$ und ${}a_{ji}=-1$, wobei alle übrigen Einträge gleich ${}0$ seien. Diese bilden eine Basis des Raumes aller antisymmetrischen Matrizen, dessen Dimension somit ${}{\frac {n(n-1)}{2}}$ ist.

e) Es ist

${}{\begin{pmatrix}3&6\\1&2\end{pmatrix}}={\begin{pmatrix}3&{\frac {7}{2}}\\{\frac {7}{2}}&2\end{pmatrix}}+{\begin{pmatrix}0&{\frac {5}{2}}\\-{\frac {5}{2}}&0\end{pmatrix}}\,.$

f) Es sei ${}T$ eine sowohl symmetrische als auch antisymmetrische Matrix. Dann ist direkt

${}a_{ij}=-a_{ji}=-a_{ij}\,$

und daher ist

${}a_{ij}=0\,.$

Es liegt also die Nullmatrix vor und somit ist

${}S\cap A=0\,.$

Wegen

${}{\frac {n(n+1)}{2}}+{\frac {n(n-1)}{2}}=n^{2}\,$

ist die Summe der Dimensionen der beiden Unterräume gleich der Dimension des Matrizenraumes, daher liegt eine direkte Summenzerlegung

${}M=S\oplus A\,$

vor.

Aufgabe (4 (2+2) Punkte)

Wir betrachten die lineare Abbildung ${}\varphi \colon \mathbb {R} ^{2}\rightarrow \mathbb {R} ^{2}$, die durch die Matrix ${}{\begin{pmatrix}2&5\\3&4\end{pmatrix}}$ gegeben ist.

1. Bestimme das Bild der durch die Gleichung

   ${}3x-7y=0\,$

   gegebenen Geraden.

2. Bestimme das Urbild der durch die Gleichung

   ${}4x-3y=0\,$

   gegebenen Geraden.

Lösung

1. Die Gerade kann man auch als

   ${}\mathbb {R} {\begin{pmatrix}7\\3\end{pmatrix}}={\left\{t{\begin{pmatrix}7\\3\end{pmatrix}}\mid t\in \mathbb {R} \right\}}\,$

   auffassen. Das Bild des erzeugenden Vektors ist

   ${}{\begin{pmatrix}2&5\\3&4\end{pmatrix}}{\begin{pmatrix}7\\3\end{pmatrix}}={\begin{pmatrix}29\\33\end{pmatrix}}\,.$

   Alle Vielfache von ${}{\begin{pmatrix}7\\3\end{pmatrix}}$ werden auf Vielfache von ${}{\begin{pmatrix}29\\33\end{pmatrix}}$ abgebildet, somit ist die Bildgerade gleich

   $\mathbb {R} {\begin{pmatrix}29\\33\end{pmatrix}}.$

2. Wir schreiben die Koordinaten des ersten Raumes als ${}(x,y)$ und die Koordinaten den zweiten Raumes als ${}(u,v)$. Aus der Beziehung

   ${}{\begin{pmatrix}u\\v\end{pmatrix}}={\begin{pmatrix}2&5\\3&4\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}\,$

   ergibt sich

   ${}4u-3v=4(2x+5y)-3(3x+4y)=-x+8y\,.$

   Somit wird die Urbildgerade durch die Gleichung

   ${}-x+8y=0\,$

   beschrieben.

Aufgabe (3 Punkte)

Man gebe ein Beispiel für einen ${}K$- Vektorraum ${}V$ und eine lineare Abbildung ${}\varphi \colon V\rightarrow V$, die injektiv, aber nicht surjektiv ist.

Lösung

Wir betrachten den Vektorraum ${}K^{(\mathbb {N} )}$ mit der Basis ${}e_{n}$, ${}n\in \mathbb {N}$. Wir betrachten die durch den Festlegungssatz gegebene lineare Abbildung, die das Basiselement ${}e_{n}$ auf ${}e_{n+1}$ schickt. Dann wird ${}e_{0}$ nicht getroffen und die Abbildung ist daher nicht surjektiv. Eine Linearkombination ${}\sum a_{n}e_{n}$ wird dabei auf ${}\sum a_{n}e_{n+1}$ abgebildet, und dies ist nur dann ${}0$, wenn alle Koeffizienten ${}0$ sind. Somit ist nach dem Kernkriterium diese lineare Abbildung injektiv.

Aufgabe (5 Punkte)

Beweise die Cramersche Regel zur Lösung eines linearen Gleichungssystems.

Lösung

Für eine invertierbare Matrix ${}M$ ergibt sich die Lösung für das lineare Gleichungssystem ${}Mx=c$, indem man ${}M^{-1}$ anwendet, d.h. es ist ${}x=M^{-1}c$. Unter Verwendung von Satz 17.9 (Lineare Algebra (Osnabrück 2024-2025)) bedeutet dies ${}x={\frac {1}{\det M}}(M^{\operatorname {adj} })c$. Für die ${}j$-te Komponente bedeutet dies

${}x_{j}={\frac {1}{\det M}}{\left(\sum _{k=1}^{n}(-1)^{k+j}(\det M_{kj})\cdot c_{k}\right)}\,.$

Der rechte Faktor ist dabei die Entwicklung der Determinante der Matrix im Zähler nach der ${}j$-ten Spalte.

Aufgabe (3 Punkte)

Berechne das Ergebnis, wenn man im Polynom

$X^{7}-3X^{6}+4X^{4}+5X^{3}+7X^{2}-4X+5$

die Variable ${}X$ durch die ${}3\times 3$- Matrix

${\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}$

ersetzt.

Lösung

Es ist

${}{\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}^{2}={\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}\circ {\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}={\begin{pmatrix}0&0&2\\0&0&0\\0&0&0\end{pmatrix}}\,$

und

${}{\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}^{3}={\begin{pmatrix}0&0&2\\0&0&0\\0&0&0\end{pmatrix}}\circ {\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}={\begin{pmatrix}0&0&0\\0&0&0\\0&0&0\end{pmatrix}}\,.$

Dies gilt auch für die höheren Potenzen. Daher ergibt die Einsetzung

${}{\begin{aligned}7{\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}^{2}-4{\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}+5{\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}&=7{\begin{pmatrix}0&0&2\\0&0&0\\0&0&0\end{pmatrix}}-4{\begin{pmatrix}0&2&4\\0&0&1\\0&0&0\end{pmatrix}}+5{\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}\\&={\begin{pmatrix}5&-8&-2\\0&5&-4\\0&0&5\end{pmatrix}}.\end{aligned}}$

Aufgabe (3 Punkte)

Führe in ${}\mathbb {Z} /(7)[X]$ die Division mit Rest „${}P$ durch ${}T$“ für die beiden Polynome ${}P=2X^{3}+4X^{2}+5$ und ${}T=3X^{2}+X+1$ durch.

Lösung

Es ist

${}2X^{3}+4X^{2}+5={\left(3X^{2}+X+1\right)}{\left(3X+5\right)}+6X\,.$

Aufgabe (5 Punkte)

Es sei ${}\chi _{\varphi }\in \mathbb {R} [X]$ das charakteristische Polynom zu einer linearen Abbildung

$\varphi \colon V\longrightarrow V$

auf einem reellen Vektorraum ${}V$ endlicher Dimension. Kann man daraus das charakteristische Polynom zu den Hintereinanderschaltungen ${}\varphi ^{n}$ bestimmen?

Lösung

Es sei ${}M$ eine beschreibende Matrix. Diese können wir auch über den komplexen Zahlen ${}{\mathbb {C} }$ auffassen, dadurch ändert sich weder das charakteristische Polynom noch die Matrizenmultiplikation. Wir können also über ${}{\mathbb {C} }$ arbeiten. Über ${}{\mathbb {C} }$ ist die Matrix trigonalisierbar, d.h. es gibt eine Basis, bezüglich der die beschreibende Matrix obere Dreiecksgestalt hat, sagen wir

${\begin{pmatrix}\lambda _{1}&\ast &\cdots &\cdots &\ast \\0&\lambda _{2}&\ast &\cdots &\ast \\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda _{d-1}&\ast \\0&\cdots &\cdots &0&\lambda _{d}\end{pmatrix}}.$

Das charakteristische Polynom hat somit die Form

${\left(X-\lambda _{1}\right)}\cdots {\left(X-\lambda _{d}\right)}.$

Die ${}n$-te Potenz dieser Matrix hat die Form

${\begin{pmatrix}\lambda _{1}^{n}&\ast &\cdots &\cdots &\ast \\0&\lambda _{2}^{n}&\ast &\cdots &\ast \\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda _{d-1}^{n}&\ast \\0&\cdots &\cdots &0&\lambda _{d}^{n}\end{pmatrix}}.$

Daher ist deren charakteristisches Polynom gleich

${\left(X-\lambda _{1}^{n}\right)}\cdots {\left(X-\lambda _{d}^{n}\right)}.$

Das charakteristische Polynom der Potenzen hängt also nur vom charakteristischen Polynom der Ausgangsmatrix ab.

Aufgabe (8 Punkte)

Beweise den Satz über die Dimension der Haupträume.

Lösung

Wir schreiben das charakteristische Polynom zu ${}\varphi$ als

${}\chi _{\varphi }=(X-\lambda )^{k}Q\,,$

wobei ${}(X-\lambda )$ in ${}Q$ nicht als Linerarfaktor vorkommt, d.h. ${}k$ ist die algebraische Vielfachheit von ${}\lambda$. Dann sind ${}P=(X-\lambda )^{k}$ und ${}Q$ teilerfremd und nach Lemma 26.10 (Lineare Algebra (Osnabrück 2024-2025)) ist dann

${}V=\operatorname {kern} P(\varphi )\oplus \operatorname {kern} Q(\varphi )\,$

und

$P(\varphi )={\left(\varphi -\lambda \operatorname {Id} \right)}^{k}\colon \operatorname {kern} Q(\varphi )\longrightarrow \operatorname {kern} Q(\varphi )$

ist eine Bijektion. Es ist ferner

${}H:=\operatorname {Haupt} _{\lambda }(\varphi )=\operatorname {kern} P(\varphi )\,,$

wobei die Inklusion ${}\supseteq$ klar ist und die andere Inklusion sich daraus ergibt, dass höhere Potenzen von ${}X-\lambda$ wegen der eben erwähnten Bijektivität auf ${}\operatorname {kern} Q(\varphi )$ keine weiteren Elemente annullieren. Für das charakteristische Polynom gilt wegen der direkten Summenzerlegung nach Lemma 23.7 (Lineare Algebra (Osnabrück 2024-2025)) die Beziehung

${}\chi _{\varphi }=\chi _{1}\cdot \chi _{2}\,,$

wobei ${}\chi _{1}$ das charakteristische Polynom zu ${}\varphi {|}_{H}$ und ${}\chi _{2}$ das charakteristische Polynom zu ${}\varphi {|}_{\operatorname {kern} Q(\varphi )}$ ist. Da ${}(\varphi -\lambda )^{k}$ auf ${}H$ die Nullabbildung ist, ist das Minimalpolynom zu ${}\varphi {|}_{H}$ und damit auch das charakteristische Polynom ${}\chi _{1}$ eine Potenz von ${}(X-\lambda )$, sagen wir

${}\chi _{1}=(X-\lambda )^{d}\,,$

wobei

${}d=\dim _{K}{\left(H\right)}\,$

sei. Insbesondere ist somit ${}d\leq k$, da ${}\chi _{1}$ ein Teiler von ${}\chi _{\varphi }$ ist. Bei ${}d<k$ müsste ${}\lambda$ eine Nullstelle von ${}\chi _{2}$ sein und ${}\lambda$ wäre ein Eigenwert von ${}\varphi {|}_{\operatorname {kern} Q(\varphi )}$. Dies ist aber ein Widerspruch dazu, dass ${}P(\varphi )$ auf diesem Raum eine Bijektion ist.