Kurs:Lineare Algebra/Teil I/25/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 2 }
\renewcommand{\avier}{ 2 }
\renewcommand{\afuenf}{ 8 }
\renewcommand{\asechs}{ 1 }
\renewcommand{\asieben}{ 4 }
\renewcommand{\aacht}{ 8 }
\renewcommand{\aneun}{ 5 }
\renewcommand{\azehn}{ 6 }
\renewcommand{\aelf}{ 1 }
\renewcommand{\azwoelf}{ 2 }
\renewcommand{\adreizehn}{ 3 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 3 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 2 }
\renewcommand{\aachtzehn}{ 3 }
\renewcommand{\aneunzehn}{ 64 }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelleachtzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Das \stichwort {Bild} {} einer Abbildung \maabbdisp {F} {L} {M } {.}
}{Ein \stichwort {Vektorraum} {} $V$ über einem Körper $K$.
}{Der \stichwort {Spaltenrang} {} einer $m \times n$-\definitionsverweis {Matrix}{}{} $M$ über einem Körper $K$.
}{Der \stichwort {Dualraum} {} zu einem $K$-\definitionsverweis {Vektorraum}{}{} $V$.
}{Der
\stichwort {Hauptraum} {}
zu einer
\definitionsverweis {linearen Abbildung}{}{}
$\varphi$ auf einem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ und einem Eigenwert
\mathl{\lambda \in K}{.}
}{Eine \stichwort {Jordanmatrix} {} zu einem Eigenwert $\lambda$. }
}
{
\aufzaehlungsechs{Das Bild von $F$ ist die Menge
\mathdisp {{ \left\{ y \in M \mid \text{es gibt ein } x \in L \text{ mit } F(x)= y \right\} }} { . }
}{Unter einem Vektorraum $V$ über $K$ versteht man eine Menge $V$ mit einem ausgezeichneten Element
\mathl{0 \in V}{} und mit zwei Abbildungen
\maabbeledisp {+} {V \times V} {V
} {(u,v)} {u+v
} {,}
und
\maabbeledisp {} {K \times V } {V
} {(s,v) } {s v = s \cdot v
} {,}
derart, dass die folgenden Axiome erfüllt sind
\zusatzklammer {dabei seien
\mathkor {} {r,s \in K} {und} {u,v,w \in V} {} beliebig} {} {:}
\aufzaehlungacht{$u+v = v + u$,
}{$(u+v)+w = u +(v+w)$,
}{$v+0 = v$,
}{Zu jedem $v$ gibt es ein $z$ mit
\mathl{v+z=0}{,}
}{$r(su) = (rs) u$,
}{$r(u+v) = ru + rv$,
}{$(r+s) u = ru + su$,
}{$1 \cdot u = u$.
}
}{Man nennt die
\definitionsverweis {Dimension}{}{}
des von den Spalten
\definitionsverweis {erzeugten Untervektorraums}{}{}
von $K^m$ den (Spalten-)Rang der Matrix $M$.
}{Unter dem Dualraum zu $V$ versteht man den
\definitionsverweis {Homomorphismenraum}{}{}
\mavergleichskettedisp
{\vergleichskette
{ { V }^{ * }
}
{ =} { \operatorname{Hom}_{ K } { \left( V , K \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Man nennt
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Haupt}_{ \lambda } (\varphi)
}
{ =} { \bigcup_{n \in \N} \operatorname{kern} { \left( \varphi - \lambda
\operatorname{Id} \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den
Hauptraum
zu $\varphi$ zum Eigenwert $\lambda$.
}{Unter einer
Jordanmatrix
\zusatzklammer {zum Eigenwert $\lambda$} {} {}
versteht man eine quadratische Matrix der Form
\mathdisp {\begin{pmatrix} \lambda & 1 & 0 & \cdots & \cdots & 0 \\
0 & \lambda & 1 & 0 & \cdots & 0 \\
\vdots & \ddots & \ddots& \ddots & \ddots & \vdots \\
0 & \cdots & 0 & \lambda & 1 & 0 \\
0 & \cdots & \cdots & 0 & \lambda & 1\\
0 & \cdots & \cdots & \cdots & 0 & \lambda
\end{pmatrix}} { . }
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Das \stichwort {Superpositionsprinzip} {} für ein inhomogenes \zusatzklammer {und das zugehörige homogene} {} {} Gleichungssystem über einem Körper $K$.}{Das Injektivitätskriterium für eine lineare Abbildung.}{Der Satz über Eigenwerte zu einem Endomorphismus und einer Matrix.}
}
{
\aufzaehlungdrei{Es sei $K$ ein Körper und
\mathdisp {\begin{matrix} a _{ 1 1 } x _1 + a _{ 1 2 } x _2 + \cdots + a _{ 1 n } x _{ n } & = & c_1 \\ a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & = & c_2 \\
\vdots & \vdots & \vdots \\ a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & = & c_m \end{matrix}} { }
ein inhomogenes lineares Gleichungssystem über $K$ und es sei
\mathdisp {\begin{matrix} a _{ 1 1 } x _1 + a _{ 1 2 } x _2 + \cdots + a _{ 1 n } x _{ n } & = & 0 \\ a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & = & 0 \\ \vdots & \vdots & \vdots \\ a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & = & 0 \end{matrix}} { }
das zugehörige homogene Gleichungssystem. Wenn
\mathl{{ \left( y_1 , \ldots, y_n \right) }}{} eine Lösung des inhomogenen Systems und
\mathl{{ \left( z_1 , \ldots, z_n \right) }}{} eine Lösung des homogenen Systems ist, so ist
\mathl{{ \left( y_1+z_1 , \ldots, y_n+z_n \right) }}{} eine Lösung des inhomogenen Systems.}{Es sei $K$ ein Körper,
\mathkor {} {V} {und} {W} {}
seien $K$-Vektorräume und
\maabbdisp {\varphi} {V} {W
} {}
sei eine $K$-lineare Abbildung. Dann ist $\varphi$ injektiv genau dann, wenn
\mathl{\operatorname{kern} \varphi=0}{} ist.}{Es sei
\maabb {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{}
auf dem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ und es sei
\mavergleichskette
{\vergleichskette
{ \mathfrak{ u }
}
{ = }{ u_1 , \ldots , u_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Basis}{}{}
von $V$. Es sei
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ M^{ \mathfrak{ u } }_{ \mathfrak{ u } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {beschreibende Matrix}{}{}
zu $\varphi$ bezüglich dieser Basis. Dann ist
\mathl{v \in V}{} genau dann ein
\definitionsverweis {Eigenvektor}{}{}
zu $\varphi$ zum
\definitionsverweis {Eigenwert}{}{}
$a$, wenn das
\definitionsverweis {Koordinatentupel}{}{}
zu $v$ bezüglich der Basis ein Eigenvektor zu $M$ zum Eigenwert $a$ ist.}
}
\inputaufgabeklausurloesung
{2}
{
Bei der Onlinepartnervermittlung \anfuehrung{e-Tarzan meets e-Jane}{} verliebt sich alle elf Minuten ein Single. Wie lange \zusatzklammer {in gerundeten Jahren} {} {} dauert es, bis sich alle erwachsenen Menschen in Deutschland \zusatzklammer {ca. $65 000 000$} {} {} verliebt haben, wenn ihnen allein dieser Weg zur Verfügung steht.
}
{
Es benötigt
\mavergleichskettedisp
{\vergleichskette
{65 000 000 \cdot 11
}
{ =} { 715 000000
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Minuten. Ein Jahr besteht aus
\mavergleichskettedisp
{\vergleichskette
{365 \cdot 24 \cdot 60
}
{ =} { 525600
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Minuten. Der benötigte Zeitraum ist somit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 715 000 000 }{ 525600 } }
}
{ =} { { \frac{ 7 150 000 }{ 5256 } }
}
{ \cong} { 1360,35
}
{ } {
}
{ } {
}
}
{}{}{}
Jahre.
}
\inputaufgabeklausurloesung
{2}
{
Gilt für quadratische Matrizen die erste binomische Formel?
}
{
Die erste binomische Formel gilt nicht, da beispielsweise
\mavergleichskettealign
{\vergleichskettealign
{ { \left( \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} +\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} \right) }^2
}
{ =} { \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}^2
}
{ =} { \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}
{}{,}
aber
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}^2 +2 \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} +\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}^2
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} +2 \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} +\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} 2 & 0 \\ 2 & 1 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}
{}{}
gilt.
}
\inputaufgabeklausurloesung
{8}
{
Es sei $V$ ein Vektorraum und
\mathdisp {v_1 , \ldots , v_n} { }
eine Familie von Vektoren in $V$. Zeige, dass die Familie genau dann eine Basis von $V$ bildet, wenn es sich um ein minimales Erzeugendensystem handelt
\zusatzklammer {d.h. sobald man einen Vektor $v_i$ weglässt, liegt kein Erzeugendensystem mehr vor} {} {.}
}
{
Die Familie sei zunächst eine Basis. Dann ist sie insbesondere ein Erzeugendensystem. Nehmen wir einen Vektor, sagen wir $v_1$, aus der Familie heraus. Wir müssen zeigen, dass dann die verbleibende Familie, also
\mathl{v_2 , \ldots , v_n}{} kein Erzeugendensystem mehr ist. Wenn sie ein Erzeugendensystem wäre, so wäre insbesondere $v_1$ als
\definitionsverweis {Linearkombination}{}{}
der Vektoren darstellbar, d.h. man hätte
\mavergleichskettedisp
{\vergleichskette
{v_1
}
{ =} { \sum_{i = 2}^n \lambda_i v_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist aber
\mathdisp {v_1- \sum_{i=2}^n \lambda_i v_i} { }
eine nichttriviale Darstellung der $0$, im Widerspruch zur linearen Unabhängigkeit der Familie.
Es sei nun die Familie ein minimales Erzeugendensystem. Um zu zeigen, dass eine Basis vorliegt, muss also lediglich gezeigt werden, dass die Familie linear unabhängig ist. Nehmen wir an, sie sei nicht linear unabhängig. Dann gibt es eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ a_1v_1 +a_2v_2 + \cdots + a_nv_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei mindestens ein Koeffizient $a_i \neq 0$ ist. Wir behaupten, dass dann auch die um $v_i$ reduzierte Familie noch ein Erzeugendensystem ist im Widerspruch zur Minimalität. Dazu sei $v \in V$ ein beliebiger Vektor, den man als
\mavergleichskettedisp
{\vergleichskette
{v
}
{ =} { b_1v_1 + \cdots + b_iv_i + \cdots + b_nv_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben kann. Wir können $v_i$ schreiben als
\mavergleichskettedisp
{\vergleichskette
{ v_i
}
{ =} { - \frac{a_1}{a_i}v_1 - \cdots - \frac{a_{i-1} }{a_i}v_{i-1} - \frac{a_{i+1} }{a_i}v_{i+1} - \cdots - \frac{a_n}{a_i}v_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit ist
\mavergleichskettealign
{\vergleichskettealign
{v
}
{ =} {b_1v_1 + \cdots + b_iv_i + \cdots + b_nv_n
}
{ =} {b_1v_1 + \cdots + b_i { \left( - \frac{a_1}{a_i}v_1 - \cdots - \frac{a_{i-1} }{a_i}v_{i-1} - \frac{a_{i+1} }{a_i}v_{i+1} - \cdots - \frac{a_n}{a_i}v_n \right) } + \cdots + b_nv_n
}
{ } {
}
{ } {
}
}
{}
{}{,}
woraus ablesbar ist, dass man $v$ auch als Linearkombination der $v_1 , \ldots , v_{i-1}, v_{i+1} , \ldots , v_n$ darstellen kann.
}
\inputaufgabeklausurloesung
{1}
{
Wie lautet die Matrix, die bezüglich der Standardbasis die Vierteldrehung im $\R^2$ gegen den Uhrzeigensinn beschreibt?
}
{
\mathdisp {\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}} { . }
}
\inputaufgabeklausurloesung
{4 (1+1+2)}
{
Die Zeitungen $A,B$ und $C$ verkaufen Zeitungsabos und konkurrieren dabei um einen lokalen Markt mit $8 000$ potentiellen Lesern. Dabei sind innerhalb eines Jahres folgende Kundenbewegungen zu beobachten.
\aufzaehlungvier{Die Abonnenten von $A$ bleiben zu $75\%$ bei $A$, $10\%$ wechseln zu $B$, $0 \%$ wechseln zu $C$ und $15 \%$ werden Nichtleser.
}{Die Abonnenten von $B$ bleiben zu $70\%$ bei $B$, $10\%$ wechseln zu $A$, $10 \%$ wechseln zu $C$ und $10 \%$ werden Nichtleser.
}{Die Abonnenten von $C$ bleiben zu $50\%$ bei $C$, $5\%$ wechseln zu $A$, $20 \%$ wechseln zu $B$ und $25 \%$ werden Nichtleser.
}{Von den Nichtlesern entscheiden sich je $15\%$ für ein Abonnement von
\mathl{A,B}{} oder $C$, die übrigen bleiben Nichtleser.
}
a) Erstelle die Matrix, die die Kundenbewegungen innerhalb eines Jahres beschreibt.
b) In einem bestimmten Jahr haben alle drei Zeitungen je $1500$ Abonnenten und es gibt $3500$ Nichtleser. Wie sieht die Verteilung ein Jahr später aus?
c) Die drei Zeitungen expandieren in eine zweite Stadt, wo es bislang überhaupt keine Zeitungen gibt, aber ebenfalls $8000$ potentielle Leser. Wie viele Leser haben dort die einzelnen Zeitungen \zusatzklammer {und wie viele Nichtleser gibt es noch} {} {} nach drei Jahren, wenn dort die gleichen Kundenbewegungen zu beobachten sind?
}
{
a) Die Matrix, die die Kundenbewegungen
\zusatzklammer {in der Reihenfolge
\mathl{A,B,C}{} und Nichtleser} {} {}
beschreibt, ist
\mathdisp {\begin{pmatrix} 0,75 & 0,1 & 0,05 & 0,15 \\ 0,1 & 0,7 & 0,2 & 0,15 \\ 0 & 0,1 & 0,5 & 0,15 \\ 0,15 & 0,1 & 0,25 & 0,55 \end{pmatrix}} { . }
b) Die Kundenverteilung nach einem Jahr zur Ausgangsverteilung
\mathl{(1500,1500,1500,3500)}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0,75 & 0,1 & 0,05 & 0,15 \\ 0,1 & 0,7 & 0,2 & 0,15 \\ 0 & 0,1 & 0,5 & 0,15 \\ 0,15 & 0,1 & 0,25 & 0,55 \end{pmatrix} \begin{pmatrix} 1500 \\1500\\ 1500\\3500 \end{pmatrix}
}
{ =} {\begin{pmatrix} 1875 \\2025\\ 1425\\2675 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
c) Die Ausgangsverteilung ist
\mathl{(0,0,0,8000)}{,} daher ist die Verteilung nach einem Jahr gleich
\mathl{(1200,1200,1200,4400)}{.}
Nach zwei Jahren ist die Kundenverteilung
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0,75 & 0,1 & 0,05 & 0,15 \\ 0,1 & 0,7 & 0,2 & 0,15 \\ 0 & 0,1 & 0,5 & 0,15 \\ 0,15 & 0,1 & 0,25 & 0,55 \end{pmatrix} \begin{pmatrix} 1200 \\1200\\ 1200\\4400 \end{pmatrix}
}
{ =} {\begin{pmatrix} 1740 \\1860\\ 1380\\3020 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach drei Jahren ist die Kundenverteilung
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} 0,75 & 0,1 & 0,05 & 0,15 \\ 0,1 & 0,7 & 0,2 & 0,15 \\ 0 & 0,1 & 0,5 & 0,15 \\ 0,15 & 0,1 & 0,25 & 0,55 \end{pmatrix} \begin{pmatrix} 1740 \\1860\\ 1380\\3020 \end{pmatrix}
}
{ =} {\begin{pmatrix} 2013 \\2205\\ 1329\\2453 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {}
}
{}
{}{.}
}
\inputaufgabeklausurloesung
{8}
{
Beweise die Dimensionsformel für eine \definitionsverweis {lineare Abbildung}{}{} \maabbdisp {\varphi} {V} {W } {.}
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ \dim_{ K } { \left( V \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{U
}
{ = }{ \operatorname{kern} \varphi
}
{ \subseteq }{ V
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {Kern}{}{}
der Abbildung und
\mavergleichskette
{\vergleichskette
{ k
}
{ = }{ \dim_{ K } { \left( U \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
seine
\definitionsverweis {Dimension}{}{}
\zusatzklammer {$k \leq n$} {} {.}
Es sei
\mathdisp {u_1 , \ldots , u_k} { }
eine
\definitionsverweis {Basis}{}{}
von $U$.
Aufgrund des Basisergänzungssatzes
gibt es Vektoren
\mathdisp {v_1 , \ldots , v_{n-k }} { }
derart, dass
\mathdisp {u_1 , \ldots , u_k, \, v_1 , \ldots , v_{n-k }} { }
eine Basis von $V$ ist. \teilbeweis {Wir behaupten, dass
\mathdisp {w_j = \varphi(v_j), \, j=1 , \ldots , n-k} { , }
eine Basis des Bildes ist.\leerzeichen{}}{}{}
{Es sei
\mavergleichskette
{\vergleichskette
{ w
}
{ \in }{ W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element des Bildes
\mathl{\varphi(V)}{.} Dann gibt es ein
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \varphi(v)
}
{ = }{ w
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dieses $v$ lässt sich mit der Basis als
\mavergleichskettedisp
{\vergleichskette
{ v
}
{ =} { \sum_{i = 1}^{ k } s_i u_i + \sum_{ j = 1 }^{ n-k } t_j v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{w
}
{ =} { \varphi(v)
}
{ =} { \varphi { \left( \sum_{i=1}^{ k } s_i u_i + \sum_{j = 1}^{n-k } t_j v_j \right) }
}
{ =} { \sum_{i = 1}^{ k } s_i \varphi(u_i) + \sum_{j = 1}^{n- k } t_j \varphi (v_j)
}
{ =} { \sum_{j = 1}^{n-k } t_j w_j
}
}
{}
{}{,}
sodass sich $w$ als
\definitionsverweis {Linearkombination}{}{}
der $w_j$ schreiben lässt.
\teilbeweis {}{}{}
{Zum Beweis der
\definitionsverweis {linearen Unabhängigkeit}{}{}
der
\mathbed {w_j} {}
{j=1 , \ldots , n-k} {}
{} {} {} {,}
sei eine Darstellung der Null gegeben,
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { \sum_{j = 1}^{n-k } t_j w_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi { \left( \sum_{j = 1}^{n-k } t_j v_j \right) }
}
{ =} { \sum_{j = 1}^{n-k } t_j \varphi { \left( v_j \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Also gehört
\mathl{\sum_{j=1}^{n-k } t_j v_j}{} zum Kern der Abbildung und daher kann man
\mavergleichskettedisp
{\vergleichskette
{ \sum_{ j = 1 }^{n-k } t_j v_j
}
{ =} { \sum_{ i = 1 }^{ k } s_i u_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Da insgesamt eine Basis von $V$ vorliegt, folgt, dass alle Koeffizienten $0$ sein müssen, also sind insbesondere
\mavergleichskette
{\vergleichskette
{ t_j
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}}
{}
}
\inputaufgabeklausurloesung
{5}
{
Es sei
\maabb {\varphi} {V} {V
} {}
eine
\definitionsverweis {lineare Abbildung}{}{}
auf einem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$. Es sei
\mavergleichskette
{\vergleichskette
{ k
}
{ \leq }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass es genau dann eine
\definitionsverweis {direkte Summenzerlegung}{}{}
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ U \oplus W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\definitionsverweis {invariante Untervektorräume}{}{}
\mavergleichskette
{\vergleichskette
{ U ,W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Dimension $k$ bzw. $n-k$ gibt, wenn es eine
\definitionsverweis {Basis}{}{}
von $V$ gibt, bezüglich der die
\definitionsverweis {beschreibende Matrix}{}{}
von $\varphi$ die Gestalt
\mathdisp {\begin{pmatrix} a_{11} & \ldots & a_{1k} & 0 & \ldots & 0 \\
\vdots & \vdots & \vdots & \vdots & \vdots & \vdots \\
a_{k1} & \ldots & a_{kk} & 0 & \ldots & 0 \\
0 & \ldots & 0 & a_{k+1 k+1} & \ldots & a_{k+1 n} \\
\vdots & \vdots & \vdots & \vdots & \vdots & \vdots\\
0 & \ldots & 0 & a_{n k+1} & \ldots & a_{n n}
\end{pmatrix}} { }
besitzt.
}
{
Es sei zunächst
\mavergleichskette
{\vergleichskette
{V
}
{ = }{U \oplus W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine direkte Zerlegung in invariante Untervektorräume der Dimension $k$ bzw. $n-k$. Wir wählen eine Basis
\mathl{v_1 , \ldots , v_k}{} von $U$ und eine Basis
\mathl{v_{k+1} , \ldots , v_n}{} von $W$, die zusammengenommen eine Basis von $V$ bilden. Wegen der Invarianz ist einerseits
\mavergleichskettedisp
{\vergleichskette
{ \varphi(v_i)
}
{ \in} { U
}
{ =} { \langle v_1 , \ldots , v_k \rangle
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \leq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{\varphi (v_i)
}
{ =} { \sum_{ j = 1}^k a_{ji} v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \leq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{ \varphi(v_i)
}
{ \in} { W
}
{ =} { \langle v_{k+1} , \ldots , v_n \rangle
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{k+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{\varphi (v_i)
}
{ =} { \sum_{ j = k+1}^n a_{ji} v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{k+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher sind in der beschreibenden Matrix von $\varphi$ bezüglich dieser Matrix alle Einträge im $k$-Block links unten und im $n-k$-Block rechts oben gleich $0$.
Wenn umgekehrt eine solche Matrix bezüglich einer Basis
\mathl{v_1 , \ldots , v_n}{} vorliegt, so kann man daraus ablesen, dass
\mavergleichskettedisp
{\vergleichskette
{\varphi (v_i)
}
{ =} { \sum_{ j = 1}^k a_{ji} v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \leq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{\varphi (v_i)
}
{ =} { \sum_{ j = k+1}^n a_{ji} v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{k+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Dies bedeutet, dass
\mavergleichskettedisp
{\vergleichskette
{U
}
{ \defeq} { \langle v_1 , \ldots , v_k \rangle
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{W
}
{ \defeq} {\langle v_{k+1} , \ldots , v_n \rangle
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf sich selbst abgebildet werden. Dies sind also invariante Untervektorräume der gesuchten Dimensionen, und ihre Summe ist direkt, da sie durch disjunkte Teilmengen einer Basis gegeben sind.
}
\inputaufgabeklausurloesung
{6 (4+1+1)}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} { \langle \begin{pmatrix} 5 \\0\\ -6 \end{pmatrix} ,\, \begin{pmatrix} -4 \\3\\ -7 \end{pmatrix} \rangle
}
{ \subseteq} { K^3
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} { \langle \begin{pmatrix} 1 \\5\\ -1 \end{pmatrix} ,\, \begin{pmatrix} -9 \\3\\ 7 \end{pmatrix} \rangle
}
{ \subseteq} { K^3
}
{ } {
}
{ } {
}
}
{}{}{.}
a) Beschreibe den \definitionsverweis {Untervektorraum}{}{} $W$ der $3 \times 3$-\definitionsverweis {Matrizen}{}{,} die den Untervektorraum $U$ in den Untervektorraum $T$ abbilden, als Lösungsraum eines linearen Gleichungssystems.
b) Beschreibe $W$ durch ein eliminiertes Gleichungssystem.
c) Bestimme die Dimension von $W$.
}
{
a) Wir beschreiben zuerst $T$ als Kern einer Linearform. Das lineare Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ x+5y-z
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{-9x+3y+7z
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt auf
\zusatzklammer {
\mathl{7I+II}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{x-19 y
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist
\mathl{\left( 19 , \, 1 , \, 24 \right)}{} eine Lösung und $T$ ist der Kern der durch
\mathl{\left( 19 , \, 1 , \, 24 \right)}{} gegebenen Linearform auf dem $K^3$. Die Bedingung, dass eine
\mathl{3 \times 3}{-}Matrix $M$ den Untervektorraum $U$ nach $T$ abbildet, bedeutet also, dass
\mavergleichskettedisp
{\vergleichskette
{ { \left( \left( 19 , \, 1 , \, 24 \right) \circ M \right) } u
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mathl{u \in U}{} ist, was auf der gegebenen Basis von $U$ überprüft werden kann. Wenn man
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a & b & c \\ d & e & f \\g & h & k \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ansetzt, so müssen die beiden Bedingungen
\mavergleichskettedisp
{\vergleichskette
{ \left( 19 , \, 1 , \, 24 \right) \begin{pmatrix} a & b & c \\ d & e & f \\g & h & k \end{pmatrix} \begin{pmatrix} 5 \\0\\ -6 \end{pmatrix}
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \left( 19 , \, 1 , \, 24 \right) \begin{pmatrix} a & b & c \\ d & e & f \\g & h & k \end{pmatrix} \begin{pmatrix} -4 \\3\\ -7 \end{pmatrix}
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt sein. Die erste Bedingung bedeutet
\mavergleichskettealign
{\vergleichskettealign
{0
}
{ =} { \left( 19a+d+24g , \, 19b +e+24h , \, 19c+f+24k \right) \begin{pmatrix} 5 \\0\\ -6 \end{pmatrix}
}
{ =} { 95a +5d +120g-96c-6f-144k
}
{ } {
}
{ } {
}
}
{}
{}{}
und die zweite Bedingung bedeutet
\mavergleichskettealign
{\vergleichskettealign
{0
}
{ =} { \left( 19a+d+24g , \, 19b +e+24h , \, 19c+f+24k \right) \begin{pmatrix} -4 \\3\\ -7 \end{pmatrix}
}
{ =} { -76a - 4d -96 g+ 57 b +3 e +72 h -133 c -7 f -148 k
}
{ } {
}
{ } {
}
}
{}
{}{.}
b) Da in der ersten Gleichung die Variable $b$ nicht vorkommt, müssen wir nicht weiter eliminieren.
c) Da die beiden Gleichungen linear unabhängig sind, besitzt der Lösungsraum die Dimension $7$.
}
\inputaufgabeklausurloesung
{1}
{
Bestimme die
\definitionsverweis {Determinante}{}{}
zur Matrix
\mathdisp {\begin{pmatrix} 1 & 1 & 0 & 0 & 0 \\ 1 & 1 & 1 & 0 & 0 \\ 0 & 1 & 1 & 1 & 0 \\ 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 & 1 \end{pmatrix}} { . }
}
{
Die Summe der ersten und der vierten und die Summe der zweiten und der fünften Zeile ergeben jeweils
\mathl{(1,1,1,1,1)}{,} daher liegt eine lineare Abhängigkeit vor und die Determinante ist $0$.
}
\inputaufgabeklausurloesung
{2}
{
Definiere eine \definitionsverweis {Gruppe}{}{} mit $4$ Elementen, in der jedes Element zu sich selbst \definitionsverweis {invers}{}{} ist.
}
{
Es sei $K$ der
\definitionsverweis {Körper mit zwei Elementen}{}{,}
aufgefasst als additive Gruppe
\mathl{(K,+,0)}{.} Dann ist
\mavergleichskette
{\vergleichskette
{K^2
}
{ = }{ K \times K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {ein Vektorraum und insbesondere} {} {}
eine Gruppe mit vier Elementen, und für jedes Element gilt
\mavergleichskette
{\vergleichskette
{v+v
}
{ = }{ 2v
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Alle Elemente sind also zu sich selbst invers.
}
\inputaufgabeklausurloesung
{3 (1+2)}
{
\aufzaehlungzwei {Berechne das Produkt
\mathdisp {{ \left( 2-3X+X^2 \right) } \cdot { \left( -5+4X-3 X^2 \right) }} { }
im
\definitionsverweis {Polynomring}{}{}
$\Q[X]$.
} {Berechne das Produkt
\mathdisp {{ \left( 2-3 \sqrt{2} +\sqrt{2}^2 \right) } \cdot { \left( -5+4\sqrt{2}-3 \sqrt{2}^2 \right) }} { }
in $\R$ auf zwei verschiedene Arten.
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (2-3X+X^2) \cdot (-5+4X-3 X^2)
}
{ =} { -10 +8X +15X -6X^2 -5X^2 -12X^2+4X^3 +9X^3 -3X^4
}
{ =} { -10+23X -23X^2+13X^3-3X^4
}
{ } {
}
{ } {
}
}
{}{}{.}
} {Es ist einerseits direkt
\mavergleichskettealign
{\vergleichskettealign
{ ( 2-3 \sqrt{2} +\sqrt{2}^2) \cdot (-5+4\sqrt{2}-3 \sqrt{2}^2 )
}
{ =} { { \left( 4-3 \sqrt{2} \right) } { \left( -11+4 \sqrt{2} \right) }
}
{ =} { -44 - 12 \cdot 2 + (16+33) \sqrt{2}
}
{ =} { -68 + 49 \sqrt{2}
}
{ } {
}
}
{}
{}{.}
Andererseits kann man im Ergebnis von Teil 1 die Variable $X$ durch $\sqrt{2}$ ersetzen und erhält
\mavergleichskettealign
{\vergleichskettealign
{ -10+23 \sqrt{2} -23 \sqrt{2}^2+13 \sqrt{2}^3-3 \sqrt{2}^4
}
{ =} {-10+ 23 \sqrt{2} -23 \cdot 2 +13 \cdot 2 \sqrt{2}-3 \cdot 4
}
{ =} { -68 + 49 \sqrt{2}
}
{ } {
}
{ } {
}
}
{}
{}{.}
}
}
\inputaufgabeklausurloesung
{4}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es sei
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom und
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass $a$ genau dann eine Nullstelle von $P$ ist, wenn $P$ ein Vielfaches des linearen Polynoms
\mathl{X-a}{} ist.
}
{
Wenn $P$ ein Vielfaches von
\mathl{X-a}{} ist, so kann man
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {(X-a)Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem weiteren Polynom $Q$ schreiben. Einsetzen ergibt
\mavergleichskettedisp
{\vergleichskette
{ P(a)
}
{ =} { (a-a) Q(a)
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Im Allgemeinen gibt es
aufgrund der Division mit Rest
eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { (X-a)Q +R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder aber den Grad $0$ besitzt, also so oder so eine Konstante ist. Einsetzen ergibt
\mavergleichskettedisp
{\vergleichskette
{ P(a)
}
{ =} { R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn also
\mavergleichskette
{\vergleichskette
{ P(a)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so muss der Rest
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein, und das bedeutet, dass
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ (X-a)Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
\inputaufgabeklausurloesung
{3}
{
Bestimme, ob die reelle Matrix
\mathdisp {\begin{pmatrix} 9 & 3 & 0 \\ -5 & -1 & 0 \\0 & 0 & 13 \end{pmatrix}} { }
\definitionsverweis {trigonalisierbar}{}{}
und ob sie
\definitionsverweis {diagonalisierbar}{}{}
ist.
}
{
Das
\definitionsverweis {charakteristische Polynom}{}{}
der Matrix ist
\mavergleichskettealign
{\vergleichskettealign
{ \chi_{ }
}
{ =} { \det \begin{pmatrix} X-9 & -3 & 0 \\ 5 & X+1 & 0 \\0 & 0 & X-13 \end{pmatrix}
}
{ =} { ( (X-9)(X+1)+15) (X-13)
}
{ =} { ( X^2-8X+6) (X-13)
}
{ } {
}
}
{}
{}{.}
Den vorderen Faktor schreiben wir als
\mavergleichskettedisp
{\vergleichskette
{ X^2-8X+6
}
{ =} { { \left( X- 4 \right) }^2 - 10
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit besitzt dieses Polynom die beiden Nullstellen
\mavergleichskettedisp
{\vergleichskette
{ \lambda_{1,2}
}
{ =} { \pm \sqrt{10} +4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher besitzt das charakteristische Polynom drei verschiedene Nullstellen und ist somit nach
Korollar 23.12 (Lineare Algebra (Osnabrück 2024-2025))
diagonalisierbar und erst recht trigonalisierbar.
}
\inputaufgabeklausurloesung
{4}
{
Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{} und seien \maabb {\varphi, \psi} {V} {V } {} \definitionsverweis {lineare Abbildungen}{}{,} von denen die \definitionsverweis {charakteristischen Polynome}{}{} bekannt seien. Kann man daraus das charakteristische Polynom von $\varphi \circ \psi$ bestimmen?
}
{
Das kann man nicht. Wir betrachten die beiden
\definitionsverweis {nilpotenten}{}{}
$2 \times 2$-\definitionsverweis {Matrizen}{}{}
\mathdisp {\varphi= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \text{ und } \psi = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}} { . }
Ihr charakteristisches Polynom ist jeweils $X^2$. Ihr Produkt ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \cdot \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
und das charakteristische Polynom davon ist
\mathl{(X -1)X=X^2-X}{.} Wenn man dagegen $\varphi$ zweimal nimmt, also
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \cdot \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}
}
{ = }{\begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist das charakteristische Polynom $X^2$.
}
\inputaufgabeklausurloesung
{2}
{
Es sei
\maabb {\varphi} {V} {V
} {}
eine
\definitionsverweis {nilpotente}{}{}
Abbildung mit
\mavergleichskette
{\vergleichskette
{\varphi^3
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Beschreibe die
\definitionsverweis {Umkehrabbildung}{}{}
von
\mathl{\operatorname{Id}_{ V } + \varphi}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ { \left(
\operatorname{Id}_{ V } + \varphi \right) } { \left(
\operatorname{Id}_{ V }- \varphi + \varphi^2 \right) }
}
{ =} {
\operatorname{Id}_{ V }- \varphi + \varphi^2 + \varphi { \left(
\operatorname{Id}_{ V }- \varphi + \varphi^2 \right) }
}
{ =} {
\operatorname{Id}_{ V }- \varphi + \varphi^2 + \varphi - \varphi^2 + \varphi^3
}
{ =} {
\operatorname{Id}_{ V } + \varphi^3
}
{ =} {
\operatorname{Id}_{ V }
}
}
{}
{}{}
und ebenso in der umgekehrten Reihenfolge, also ist
\mathl{\operatorname{Id}_{ V }- \varphi + \varphi^2}{} die Umkehrabbildung von
\mathl{\operatorname{Id}_{ V } + \varphi}{.}
}
\inputaufgabeklausurloesung
{3}
{
Eine
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {\varphi} {\R^3} {\R^3
} {}
werde bezüglich der Standardbasis durch die
\definitionsverweis {Matrix}{}{}
\mathdisp {\begin{pmatrix} 8 & 2 & 1 \\ 0 & 8 & 3 \\0 & 0 & 8 \end{pmatrix}} { }
beschrieben. Finde eine
\definitionsverweis {Basis}{}{,}
bezüglich der $\varphi$ durch die Matrix
\mathdisp {\begin{pmatrix} 8 & 1 & 0 \\ 0 & 8 & 1 \\0 & 0 & 8 \end{pmatrix}} { }
beschrieben wird.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {\begin{pmatrix} 8 & 2 & 1 \\ 0 & 8 & 3 \\0 & 0 & 8 \end{pmatrix} - 8 \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
}
{ =} {\begin{pmatrix} 0 & 2 & 1 \\ 0 & 0 & 3 \\0 & 0 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 & 2 & 1 \\ 0 & 0 & 3 \\0 & 0 & 0 \end{pmatrix} \circ \begin{pmatrix} 0 & 2 & 1 \\ 0 & 0 & 3 \\0 & 0 & 0 \end{pmatrix}
}
{ =} {\begin{pmatrix} 0 & 0 & 6 \\ 0 & 0 & 0 \\0 & 0 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Vektor
\mathl{\begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}}{} gehört nicht zum Kern von $M^2$, daher kann man aus den sukzessiven Bildern davon eine Basis wie gewünscht herstellen. Es ist
\mavergleichskettedisp
{\vergleichskette
{M \begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 0 & 2 & 1 \\ 0 & 0 & 3 \\0 & 0 & 0 \end{pmatrix} \begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 \\3\\ 0 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{M^2 \begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 6 \\0\\ 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist
\mathdisp {\begin{pmatrix} 6 \\0\\ 0 \end{pmatrix}\, , \begin{pmatrix} 1 \\3\\ 0 \end{pmatrix} \, , \begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}} { }
eine Basis, bezüglich der die jordansche Normalform
\mathdisp {\begin{pmatrix} 8 & 1 & 0 \\ 0 & 8 & 1 \\0 & 0 & 8 \end{pmatrix}} { }
vorliegt.
}