Kurs:Lineare Algebra/Teil I/22/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}{ 3 }
\renewcommand{\avier}{ 5 }
\renewcommand{\afuenf}{ 6 }
\renewcommand{\asechs}{ 8 }
\renewcommand{\asieben}{ 3 }
\renewcommand{\aacht}{ 2 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 3 }
\renewcommand{\aelf}{ 4 }
\renewcommand{\azwoelf}{ 2 }
\renewcommand{\adreizehn}{ 6 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 4 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 64 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{K}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {Hintereinanderschaltung} {} der Abbildungen \maabbdisp {F} {L} {M } {} und \maabbdisp {G} {M} {N } {.}
}{Die \stichwort {Matrizenmultiplikation} {.}
}{Der von einer Familie von Vektoren
\mathl{v_i,\, i \in I}{,} aus einem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$
\stichwort {aufgespannte Untervektorraum} {.}
}{Der
\stichwort {Homomorphismenraum} {}
\mathl{\operatorname{Hom}_{ K } { \left( V , W \right) }}{} zu
$K$-\definitionsverweis {Vektorräumen}{}{}
\mathkor {} {V} {und} {W} {.}
}{Ein \stichwort {Gruppenhomomorphismus} {} zwischen \definitionsverweis {Gruppen}{}{} \mathkor {} {(G, \circ, e_G)} {und} {(H, \circ, e_H)} {.}
}{Ein \stichwort {affiner Raum} {} über einem $K$-\definitionsverweis {Vektorraum}{}{} $V$. }
}
{
\aufzaehlungsechs{Die Abbildung
\maabbeledisp {G \circ F} {L} {N
} {x} {G(F(x))
} {,}
heißt die Hintereinanderschaltung der Abbildungen
\mathkor {} {F} {und} {G} {.}
}{Es sei $K$ ein
\definitionsverweis {Körper}{}{} und es sei $A$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
und $B$ eine $n\times p$-Matrix über $K$. Dann ist das Matrixprodukt
\mathdisp {AB} { }
diejenige
\mathl{m\times p}{-}Matrix, deren Einträge durch
\mavergleichskettedisp
{\vergleichskette
{ c_{ik}
}
{ =} {\sum_{j = 1}^n a_{ij} b_{jk}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sind.
}{Man nennt
\mavergleichskettedisp
{\vergleichskette
{ \langle v_i ,\, i \in I \rangle
}
{ =} { { \left\{ \sum_{i \in J} s_i v_i \mid s_i \in K , \, J \subseteq I \text{ endliche Teilmenge} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den von der Familie aufgespannten Untervektorraum.
}{Unter dem Homomorphismenraum versteht man
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Hom}_{ K } { \left( V , W \right) }
}
{ =} {{ \left\{ f:V \rightarrow W \mid f \text{ lineare Abbildung} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
versehen mit der Addition, die durch
\mavergleichskettedisp
{\vergleichskette
{ (f+g)(v)
}
{ \defeq} {f(v) +g(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert wird, und der Skalarmultiplikation, die durch
\mavergleichskettedisp
{\vergleichskette
{ (\lambda f)(v)
}
{ \defeq} {\lambda \cdot f(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert wird.
}{Eine
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\psi} {G} {H
} {}
heißt Gruppenhomomorphismus, wenn die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \psi( g \circ g')
}
{ =} { \psi (g) \circ \psi (g')
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{g,g' \in G}{} gilt.
}{Ein
affiner Raum
über einem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ ist
\zusatzklammer {die leere Menge oder} {} {}
eine nichtleere Menge $E$ zusammen mit einer Abbildung
\maabbeledisp {} {V \times E} {E
} {(v,P)} { P+v
} {,}
die den drei Bedingungen
\aufzaehlungdrei{
\mathl{P+0= P}{} für alle
\mathl{P \in E}{,}
}{
\mathl{(P+v)+w=P+(v+w)}{} für alle
\mathl{v,w \in V}{} und
\mathl{P \in E}{,}
}{ Zu je zwei Punkten
\mathl{P,Q \in E}{} gibt es genau einen Vektor
\mathl{v \in V}{} mit
\mathl{Q=P+v}{,}
}
genügt.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über den Zusammenhang zwischen der Verknüpfung linearer Abbildungen und der Matrizenmultiplikation \zusatzklammer {genaue Formulierung mit Basen} {} {.}}{Der Satz über die Vertauschungseigenschaft bei einer alternierenden Abbildung.}{Der Satz über die Nullstellen von Minimalpolynom und charakteristischem Polynom.}
}
{
\aufzaehlungdrei{Bei der Korrespondenz zwischen linearen Abbildungen und Matrizen
entsprechen sich die Hintereinanderschaltung
von linearen Abbildungen und die Matrizenmultiplikation.
Damit ist folgendes gemeint: es seien
\mathl{U,V,W}{}
Vektorräume über einem Körper $K$ mit Basen
\mathdisp {\mathfrak{ u } = u_1 , \ldots , u_p , \, \mathfrak{ v } = v_1 , \ldots , v_n \text{ und } \mathfrak{ w } = w_1 , \ldots , w_m} { . }
Es seien
\mathdisp {\psi:U \longrightarrow V \text{ und } \varphi: V \longrightarrow W} { }
lineare Abbildungen. Dann gilt für die beschreibenden Matrizen von
\mathl{\psi,\, \varphi}{} und der Hintereinanderschaltung
\mathl{\varphi \circ \psi}{} die Beziehung
\mathdisp {M^{ \mathfrak{ u } }_{ \mathfrak{ w } } (\varphi \circ \psi ) = ( M^{ \mathfrak{ v } }_{ \mathfrak{ w } } (\varphi) ) \circ ( M^{ \mathfrak{ u } }_{ \mathfrak{ v } }(\psi) )} { . }
}{Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
$V$ und $W$ seien
$K$-\definitionsverweis {Vektorräume}{}{}
und sei
\mathl{n \in \N}{.} Es sei
\maabbdisp {\Phi} {V^n = \underbrace{V \times \cdots \times V}_{n\text{-mal} } } {W
} {}
eine
\definitionsverweis {alternierende Abbildung}{}{.}
Dann gilt
\mavergleichskettedisp
{\vergleichskette
{\Phi(v_1 , \ldots , v_{r-1} , v_r, v_{r+1} , \ldots , v_{s-1} , v_s, v_{s+1} , \ldots , v_n )
}
{ =} { - \Phi(v_1 , \ldots , v_{r-1} , v_s, v_{r+1} , \ldots , v_{s-1} , v_r, v_{s+1} , \ldots , v_n )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
\definitionsverweis {Vektorraum}{}{}
über einem
\definitionsverweis {Körper}{}{}
$K$ und es sei
\maabbdisp {f} {V} {V
} {}
eine
\definitionsverweis {lineare Abbildung}{}{.}
Dann besitzt das
\definitionsverweis {charakteristische Polynom}{}{}
$\chi_{ f }$ und das
\definitionsverweis {Minimalpolynom}{}{}
\mathl{\mu_f}{} die gleichen Nullstellen.}
}
\inputaufgabeklausurloesung
{3}
{
Löse das lineare Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{4x-5y+7z
}
{ =} {-3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{-2 x+4y+3z
}
{ =} {9
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {-2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Wir setzen die dritte Gleichung in die beiden ersten Gleichungen ein und erhalten
\mavergleichskettedisp
{\vergleichskette
{ -5y+7z
}
{ =} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{4y +3z
}
{ =} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir addieren das Vierfache der ersten mit dem Fünffachen der zweiten Gleichung und erhalten
\mavergleichskettedisp
{\vergleichskette
{ 43 z
}
{ =} { 45
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { { \frac{ 45 }{ 43 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 5-3z }{ 4 } }
}
{ =} { { \frac{ 215 - 135 }{ 172 } }
}
{ =} { { \frac{ 80 }{ 172 } }
}
{ =} { { \frac{ 20 }{ 43 } }
}
}
{}{}{.}
Die einzige Lösung des Gleichungssystems ist somit
\mathdisp {\left( -2 , \, { \frac{ 20 }{ 43 } } , \, { \frac{ 45 }{ 43 } } \right)} { . }
}
\inputaufgabeklausurloesung
{5}
{
Bestimme die \definitionsverweis {Übergangsmatrizen}{}{} \mathkor {} {M^{ \mathfrak{ u } }_{ \mathfrak{ v } }} {und} {M^{ \mathfrak{ v } }_{ \mathfrak{ u } }} {} für die \definitionsverweis {Standardbasis}{}{} $\mathfrak{ u }$ und die durch die Vektoren \mathlistdisp {v_1 = \begin{pmatrix} 1 \\4\\ 5 \end{pmatrix}} {} {v_2 = \begin{pmatrix} 0 \\1\\ 2 \end{pmatrix}} {und} {v_3 = \begin{pmatrix} -1 \\1\\ 0 \end{pmatrix}} {} gegebene Basis $\mathfrak{ v }$ im $\R^3$.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{M^{ \mathfrak{ v } }_{ \mathfrak{ u } }
}
{ =} { \begin{pmatrix} 1 & 0 & -1 \\ 4 & 1 & 1 \\5 & 2 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für die umgekehrte Übergangsmatrix müssen wir diese Matrix invertieren. Es ist
\matabellezweifuenf {\leitzeilezwei {} {} } {\mazeileundzwei { \begin{pmatrix} 1 & 0 & -1 \\ 4 & 1 & 1 \\5 & 2 & 0 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & -1 \\ 0 & 1 & 5 \\0 & 2 & 5 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ - 4 & 1 & 0 \\-5 & 0 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & -1 \\ 0 & 1 & 5 \\0 & 0 & -5 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ -4 & 1 & 0 \\3 & -2 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & -1 \\ 0 & 1 & 5 \\0 & 0 & 1 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ -4 & 1 & 0 \\ - { \frac{ 3 }{ 5 } } & { \frac{ 2 }{ 5 } } & - { \frac{ 1 }{ 5 } } \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix} } { \begin{pmatrix} { \frac{ 2 }{ 5 } } & { \frac{ 2 }{ 5 } } & -{ \frac{ 1 }{ 5 } } \\ -1 & -1 & 1 \\ - { \frac{ 3 }{ 5 } } & { \frac{ 2 }{ 5 } } & - { \frac{ 1 }{ 5 } } \end{pmatrix}
} }
Es ist also
\mavergleichskettedisp
{\vergleichskette
{ M^{ \mathfrak{ u } }_{ \mathfrak{ v } }
}
{ =} { \begin{pmatrix} { \frac{ 2 }{ 5 } } & { \frac{ 2 }{ 5 } } & -{ \frac{ 1 }{ 5 } } \\ -1 & -1 & 1 \\ - { \frac{ 3 }{ 5 } } & { \frac{ 2 }{ 5 } } & - { \frac{ 1 }{ 5 } } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{6}
{
Man gebe ein Beispiel für einen
\definitionsverweis {Körper}{}{}
$K$, eine
\definitionsverweis {kommutative Gruppe}{}{}
\mathl{(V , +, 0)}{} und eine Abbildung
\maabbeledisp {} {K \times V} {V
} { (s,v)} { s v
} {,}
derart, dass diese Struktur alle
\definitionsverweis {Vektorraumaxiome}{}{}
außer
\mathdisp {(7) \,\, \, r(u+v) = ru +rv} { }
erfüllt.
}
{
Wir betrachten den Körper ${\mathbb C}$ und die additive Gruppe
\mathl{{\mathbb C}^2}{.} Als \anfuehrung{Skalarmultiplikation}{}
\maabbdisp {} {{\mathbb C} \times {\mathbb C}^2} { {\mathbb C}^2
} {}
betrachten wir die durch
\mavergleichskettedisp
{\vergleichskette
{ r \bullet \left( x , \, y \right)
}
{ \defeq} { \begin{cases} \left( rx , \, ry \right) , \text{ falls } x \neq 0 \, , \\ \left( 0 , \, \overline{ r } y \right) , \text{ falls } x = 0 \, , \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene Abbildung, wobei $\overline{ r }$ die
\definitionsverweis {komplexe Konjugation}{}{}
von $r$ bezeichnet
\zusatzklammer {wir schreiben $\bullet$ um zu betonen, dass es sich um eine untypische Operation handelt} {} {.}
Zum Nachweis der Assoziativität der Multiplikation sei
\mavergleichskette
{\vergleichskette
{u
}
{ = }{ \left( x , \, y \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathl{r,s \in {\mathbb C}}{.} Bei
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettealign
{\vergleichskettealign
{ (rs) \bullet u
}
{ =} { (rs) \bullet \left( x , \, y \right)
}
{ =} { \left( rsx , \, rsy \right)
}
{ =} { r \bullet \left( sx , \, sy \right)
}
{ =} { r \bullet (s \bullet \left( x , \, y \right) )
}
}
{
\vergleichskettefortsetzungalign
{ =} { r \bullet (s \bullet u)
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei die mittlere Gleichung sowohl bei
\mavergleichskette
{\vergleichskette
{s
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als auch bei
\mavergleichskette
{\vergleichskette
{s
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Bei
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettealign
{\vergleichskettealign
{ (rs) \bullet u
}
{ =} { (rs) \bullet \left( 0 , \, y \right)
}
{ =} { \left( 0 , \, \overline{ rs } y \right)
}
{ =} { \left( 0 , \, \overline{ r } \cdot \overline{ s } y \right)
}
{ =} { r \bullet \left( 0 , \, \overline{ s } y \right)
}
}
{
\vergleichskettefortsetzungalign
{ =} { r \bullet (s \bullet \left( 0 , \, y \right) )
}
{ =} { r \bullet (s \bullet u )
}
{ } {}
{ } {}
}
{}{.}
Zum Nachweis der Distributivität in den Skalaren ist bei
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettealign
{\vergleichskettealign
{ (r+s) \bullet \left( x , \, y \right)
}
{ =} { \left( (r+s)x , \, (r+s)y \right)
}
{ =} { \left( rx+sx , \, ry+sy \right)
}
{ =} { \left( rx , \, ry \right) +\left( sx , \, sy \right)
}
{ =} { r \bullet \left( x , \, y \right) +s \bullet \left( x , \, y \right)
}
}
{}
{}{,}
und bei
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettealign
{\vergleichskettealign
{ (r+s) \bullet \left( 0 , \, y \right)
}
{ =} { \left( 0 , \, \overline{ (r+s) } y \right)
}
{ =} { \left( 0 , \, { \left( \overline{ r }+ \overline{ s } \right) } y \right)
}
{ =} { \left( 0 , \, \overline{ r } y+ \overline{ s } y \right)
}
{ =} { r \bullet \left( 0 , \, y \right) +s \bullet \left( 0 , \, y \right)
}
}
{}
{}{.}
Es sei nun
\mavergleichskettedisp
{\vergleichskette
{u
}
{ =} { \left( 1 , \, { \mathrm i} \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ v
}
{ =} { \left( -1 , \, { \mathrm i} \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{u+v
}
{ =} { \left( 0 , \, 2{ \mathrm i} \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist einerseits
\mavergleichskettealign
{\vergleichskettealign
{ { \mathrm i} \bullet { \left( u+v \right) }
}
{ =} { { \mathrm i} \bullet \left( 0 , \, 2 { \mathrm i} \right)
}
{ =} { \left( 0 , \, \overline{ { \mathrm i} } 2{ \mathrm i} \right)
}
{ =} { \left( 0 , \, 2 \right)
}
{ } {
}
}
{}
{}{}
und andererseits
\mavergleichskettealign
{\vergleichskettealign
{ { \mathrm i} \bullet u+ { \mathrm i} \bullet v
}
{ =} {{ \mathrm i} \bullet \left( 1 , \, { \mathrm i} \right) + { \mathrm i} \bullet \left( -1 , \, { \mathrm i} \right)
}
{ =} { \left( { \mathrm i} , \, -1 \right) + \left( - { \mathrm i} , \, -1 \right)
}
{ =} { \left( 0 , \, - 2 \right)
}
{ } {
}
}
{}
{}{.}
Somit ist diese Multiplikation nicht distributiv in den Vektoren.
Ferner ist wegen
\mavergleichskettedisp
{\vergleichskette
{1
}
{ =} { \overline{ 1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
stets
\mavergleichskettedisp
{\vergleichskette
{1 \bullet u
}
{ =} {u
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{8}
{
Beweise den Basisaustauschsatz.
}
{
Wir führen Induktion über $k$, also über die Anzahl der Vektoren in der Familie. Bei
\mavergleichskette
{\vergleichskette
{ k
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nichts zu zeigen. Es sei die Aussage für $k$ schon bewiesen und seien
\mathl{k+1}{} linear unabhängige Vektoren
\mathdisp {u_1 , \ldots , u_k, u_{k+1}} { }
gegeben. Nach Induktionsvoraussetzung, angewandt auf die
\zusatzklammer {ebenfalls linear unabhängigen} {} {} Vektoren
\mathdisp {u_1 , \ldots , u_k} { }
gibt es eine Teilmenge
\mavergleichskette
{\vergleichskette
{ J
}
{ = }{ \{ i_1, i_2 , \ldots , i_k \}
}
{ \subseteq }{ \{1 , \ldots , n \}
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass die Familie
\mathdisp {u_1 , \ldots , u_k, b_i, i \in I \setminus J} { , }
eine Basis von $V$ ist. Wir wollen auf diese Basis
das Austauschlemma
anwenden. Da eine Basis vorliegt, kann man
\mavergleichskettedisp
{\vergleichskette
{ u_{k+1}
}
{ =} { \sum_{j = 1}^k c_j u_j + \sum_{ i \in I \setminus J} d_i b_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben.
Wären hierbei alle Koeffizienten
\mavergleichskette
{\vergleichskette
{ d_i
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,} so ergäbe sich sofort ein Widerspruch zur linearen Unabhängigkeit der
\mathbed {u_j} {}
{j=1 , \ldots , k+1} {}
{} {} {} {.}
Es gibt also ein
\mavergleichskette
{\vergleichskette
{ i
}
{ \in }{ I \setminus J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ d_i
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir setzen
\mavergleichskette
{\vergleichskette
{ i_{k+1}
}
{ \defeq }{ i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist
\mavergleichskette
{\vergleichskette
{ J'
}
{ = }{ \{ i_1, i_2 , \ldots , i_k, i_{k+1} \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\mathl{(k+1)}{-}elementige Teilmenge von
\mathl{{ \{ 1 , \ldots , n \} }}{.} Nach dem Austauschlemma kann man den Basisvektor
\mathkor {} {b_{i_{k+1} }} {durch} {u_{k+1}} {}
ersetzen und erhält die neue Basis
\mathdisp {u_1 , \ldots , u_k, u_{k+1}, b_i, i \in I \setminus J'} { . }
Der Zusatz folgt sofort, da eine $k$-elementige Teilmenge einer $n$-elementigen Menge vorliegt.
}
\inputaufgabeklausurloesung
{3}
{
Bestimme, welche der folgenden elementargeometrischen Abbildungen linear, welche diagonalisierbar und welche trigonalisierbar sind.
\aufzaehlungvier{Die Achsenspiegelung durch die durch
\mavergleichskette
{\vergleichskette
{ 4x-7y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebene Achse.
}{Die Verschiebung um den Vektor
\mathl{\left( 5 , \, -3 \right)}{.}
}{Die Drehung um $30$ Grad gegen den Uhrzeigersinn um den Ursprung.
}{Die Punktspiegelung mit dem Punkt
\mathl{(1,0)}{} als Zentrum.
}
}
{
\aufzaehlungvier{Da die Gerade durch den Nullpunkt geht, ist diese Achsenspiegelung linear. Die Achse ist der Eigenraum zum Eigenwert $1$, die dazu senkrechte Gerade durch den Nullpunkt ist der Eigenraum zum Eigenwert $-1$, mit zwei Eigenwerten ist die Abbildung diagonalisierbar und insbesondere trigonalisierbar. }{Bei dieser Verschiebung wird der Nullpunkt bewegt, somit ist die Abbildung nicht linear. }{Eine Drehung um den Ursprung ist stets linear. Da um $30$ Grad gedreht wird, wird keine Gerade auf sich selbst abgebildet. Somit gibt es keine Eigenwerte und die Abbildung ist nicht trigonalisierbar und schon gar nicht diagonalisierbar. }{Da der Nullpunkt bewegt wird, ist die Abbildung nicht linear. }
}
\inputaufgabeklausurloesung
{2}
{
Bestimme den Rang der Matrix
\mathdisp {\begin{pmatrix} 1 & 1 & 0 & 0 \\ 1 & 1 & 1 & 0 \\ 0 & 1 & 1 & 1 \\ 0 & 0 & 1 & 1 \end{pmatrix}} { . }
}
{
Die zweite Zeile minus die erste Zeile ergibt den Standardvektor $e_3$, die dritte Zeile minus die vierte Zeile ergibt $e_2$. Die erste Zeile minus $e_2$ ergibt $e_1$ und die vierte Zeile minus $e_3$ ergibt $e_4$. Der durch die Zeilen erzeugte Untervektorraum ist also vierdimensional und somit ist der Rang gleich $4$.
}
\inputaufgabeklausurloesung
{4}
{
Es sei $M$ eine untere Dreiecksmatrix. Zeige, ausgehend von der Definition der Determinante, dass die Determinante von $M$ das Produkt der Diagonaleinträge ist \zusatzklammer {es darf verwendet werden, dass die Determinante zu einer Matrix mit einer Nullzeile gleich $0$ ist} {} {.}
}
{
Wie führen Induktion nach $n$, wobei $M$ eine
$n \times n$-\definitionsverweis {Matrix}{}{}
sei. Der Induktionsanfang für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist klar, sei die Aussage für alle unteren Dreiecksmatrizen der Länge $n-1$ schon bewiesen. Die Determinantenformel sagt
\mavergleichskettealign
{\vergleichskettealign
{ \det M
}
{ =} { \sum_{i =1}^n (-1)^{i+1} a_{i1} \det M_i
}
{ =} { a_{11} \det M_1 + \sum_{i =2}^n (-1)^{i+1} a_{i1} \det M_i
}
{ } {
}
{ } {
}
}
{}
{}{.}
Für
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die erste Zeile von $M$ ohne den ersten Eintrag eine Zeile von $M_i$, und zwar ist dies eine Nullzeile, da ja $M$ eine untere Dreiecksmatrix ist. Daher sind die Determinanten zu den
\mathbed {M_i} {}
{i \geq 2} {}
{} {} {} {,}
gleich $0$ und die hintere Summe in der obigen Formel ist $0$. Hingegen ist $M_1$ wieder eine untere Dreiecksmatrix und ihre Determinante ist nach Induktionsvoraussetzung gleich
\mathl{a_{22} \cdots a_{nn}}{.} Also ist
\mavergleichskettedisp
{\vergleichskette
{ \det M
}
{ =} {a_{11} \cdot a_{22} \cdots a_{nn}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{3}
{
Es sei
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass es gleich viele gerade und ungerade Permutationen auf
\mathl{{ \{ 1 , \ldots , n \} }}{} gibt.
}
{
Wegen der Voraussetzung gibt es eine Transposition $\tau$, die wir fixieren. Es sei $G$ die Menge der geraden und $U$ die Menge der ungeraden Permutationen. Wir betrachten die Abbildung \maabbeledisp {} {G} {U } {\pi} { \pi \circ \tau } {.} Dies ist eine wohldefinierte Abbildung aufgrund der Tatsache, dass das Signum ein Gruppenhomomorphismus ist und dass das Signum einer Transposition gleich $-1$ ist. Die Abbildung ist bijektiv, und zwar ist die Multiplikation mit $\tau$ von rechts die Umkehrabbildung. Also besitzen \mathkor {} {G} {und} {U} {} die gleiche Anzahl an Elementen.
}
\inputaufgabeklausurloesung
{4}
{
Formuliere und beweise die \stichwort {Lösungsformel für eine quadratische Gleichung} {}
\mavergleichskettedisp
{\vergleichskette
{ ax^2+bx+c
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathbed {a,b,c \in \R} {}
{a \neq 0} {}
{} {} {} {.}
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ x_{1,2}
}
{ =} { { \frac{ \pm \sqrt{ b^2 -4ac } -b }{ 2a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
vorausgesetzt, der Wurzelausdruck
\mathl{b^2-4ac}{} ist nichtnegativ. Dies sieht man so: Die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ax^2+bx+c
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{x^2+ { \frac{ b }{ a } } x + { \frac{ c }{ a } }
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was mittels quadratischem Ergänzen äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{ { \left( x + { \frac{ b }{ 2a } } \right) }^2 - { \frac{ b^2 }{ 4a^2 } } + { \frac{ c }{ a } }
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Umstellen und Erweitern liefert
\mavergleichskettedisp
{\vergleichskette
{ { \left( x + { \frac{ b }{ 2a } } \right) }^2
}
{ =} { { \frac{ b^2 }{ 4a^2 } } - { \frac{ c }{ a } }
}
{ =} { { \frac{ b^2 }{ 4a^2 } } - { \frac{ 4ac }{ 4a^2 } }
}
{ =} {{ \frac{ b^2-4ac }{ 4a^2 } }
}
{ } {
}
}
{}{}{.}
Dies ist äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{ x + { \frac{ b }{ 2a } }
}
{ =} { { \frac{ \pm \sqrt{ b^2-4ac} }{ 2a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit zu
\mavergleichskettedisp
{\vergleichskette
{x_{1,2}
}
{ =} { { \frac{ \pm \sqrt{ b^2-4ac}-b }{ 2a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{2 (1+1)}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
\mathl{a \in K}{} und
\mathl{P\in K[X]}{} ein Polynom mit
\mavergleichskette
{\vergleichskette
{P(a)
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\aufzaehlungzwei {Zeige, dass
\mathl{X-a}{} und $P$
\definitionsverweis {teilerfremd}{}{}
sind.
} {Es sei
\mathl{k \in \N_+}{.} Zeige, dass
\mathl{(X-a)^k}{} und $P$ teilerfremd sind.
}
}
{
\aufzaehlungzwei {Der einzige normierte Teiler von
\mathl{X-a}{} von positivem Grad ist
\mathl{X-a}{} selbst. Da $a$ keine Nullstelle von $P$ ist, folgt
nach Lemma 19.8 (Lineare Algebra (Osnabrück 2024-2025)),
dass
\mathl{X-a}{} kein Teiler von $P$ ist. Die einzigen gemeinsamen Teiler sind somt die konstanten Polynome $\neq 0$, was die Teilerfremdheit bedeutet.
} {Die einzigen normierten Teiler von
\mathl{(X-a)^k}{} sind
\mathl{(X-a)^\ell}{} mit
\mathl{\ell \leq k}{.} Deshalb folgt die Teilerfremdheit aus Teil (1).
}
}
\inputaufgabeklausurloesung
{6 (2+3+1)}
{
Wir betrachten die lineare Abbildung
\maabbdisp {\varphi} {{\mathbb C}^3} {{\mathbb C}^3
} {,}
die bezüglich der Standardbasis durch die Matrix
\mavergleichskettedisp
{\vergleichskette
{A
}
{ =} { \begin{pmatrix} 1 & 2 & 1+2 { \mathrm i} \\ 0 & 3{ \mathrm i} & { \mathrm i} \\0 & 0 & 1- { \mathrm i} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
beschrieben wird.
a) Bestimme das charakteristische Polynom und die Eigenwerte von $A$.
b) Berechne zu jedem Eigenwert einen Eigenvektor.
c) Stelle die Matrix für $\varphi$ bezüglich einer Basis aus Eigenvektoren auf.
}
{
a) Das charakteristische Polynom ist
\mavergleichskettealign
{\vergleichskettealign
{ \chi_{ A }
}
{ =} { \det \begin{pmatrix} x-1 & -2 & -1-2 { \mathrm i} \\ 0 & x-3 { \mathrm i} & - { \mathrm i} \\0 & 0 & x-1+{ \mathrm i} \end{pmatrix}
}
{ =} { (x-1)(x- 3{ \mathrm i} )(x-1+ { \mathrm i} )
}
{ =} { x^3 -(2+2 { \mathrm i} ) x^2 + (4+5 { \mathrm i} ) x+ -3-3 { \mathrm i}
}
{ } {}
}
{}
{}{}
und die Eigenwerte von $A$ sind $1, 3{ \mathrm i} ,1+ { \mathrm i}$.
b) Wir bestimmen für jeden Eigenwert einen Eigenvektor.
\mathl{x=1}{:}
Wir müssen ein nichttriviales Element im Kern von
\mathdisp {\begin{pmatrix} 0 & -2 & -1-2{ \mathrm i} \\ 0 & 1-3 { \mathrm i} & - { \mathrm i} \\0 & 0 & { \mathrm i} \end{pmatrix}} { }
bestimmen. Da gehört
\mathl{\begin{pmatrix} 1 \\0\\ 0 \end{pmatrix}}{} dazu.
\mathl{x=3 { \mathrm i}}{:}
Dies führt auf
\mathdisp {\begin{pmatrix} -1+3 { \mathrm i} & -2 & -1-2 { \mathrm i} \\ 0 & 0 & - { \mathrm i} \\0 & 0 & -1-4 { \mathrm i} \end{pmatrix} \begin{pmatrix} a \\b\\ c \end{pmatrix} = \begin{pmatrix} 0 \\0\\ 0 \end{pmatrix}} { . }
Wir wählen
\mathl{c=0}{} und
\mathl{a=2}{} und erhalten
\mathl{b=-1+ 3 { \mathrm i}}{,} also ist
\mathdisp {\begin{pmatrix} 2 \\-1+3 { \mathrm i} \\ 0 \end{pmatrix}} { }
ein Eigenvektor zum Eigenwert $3 { \mathrm i}$.
\mathl{x=1- { \mathrm i}}{:}
Dies führt auf
\mathdisp {\begin{pmatrix} { \mathrm i} & -2 & -1-2 { \mathrm i} \\ 0 & 1-2 { \mathrm i} & -i \\0 & 0 & 0 \end{pmatrix} \begin{pmatrix} a \\b\\ c \end{pmatrix} = \begin{pmatrix} 0 \\0\\ 0 \end{pmatrix}} { . }
Mit
\mathl{c= 1-2 { \mathrm i}}{} und
\mathl{b= { \mathrm i}}{} ist die mittlere Zeile erfüllt. Die erste Zeile wird dann zu
\mathdisp {( { \mathrm i} )a -2 { \mathrm i} +(-1-2 { \mathrm i} )(1-2 { \mathrm i} ) = 0} { }
und daher ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} { 2-5 { \mathrm i}
}
{ } {
}
{ } {}
{ } {}
}
{}{}{.}
Somit ist
\mathdisp {\begin{pmatrix} 2-5 { \mathrm i} \\ { \mathrm i} \\ 1-2 { \mathrm i} \end{pmatrix}} { }
ein Eigenvektor zum Eigenwert $1- { \mathrm i}$.
c) Bezüglich einer Basis aus Eigenvektoren besitzt die beschreibende Matrix die Gestalt
\mathdisp {\begin{pmatrix} 1 & 0 & 0 \\ 0 & 3 { \mathrm i} & 0 \\0 & 0 & 1- { \mathrm i} \end{pmatrix}} { . }
}
\inputaufgabeklausurloesung
{4 (2+1+1)}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
$K$-\definitionsverweis {Vektorraum}{}{.}
Es sei
\maabbdisp {\varphi} {V} {V
} {}
eine
\definitionsverweis {nilpotente}{}{}
\definitionsverweis {lineare Abbildung}{}{.} Der
\definitionsverweis {Kern}{}{}
von $\varphi$ sei eindimensional. Es sei
\mavergleichskettedisp
{\vergleichskette
{ V_i
}
{ =} { \operatorname{kern} \varphi^i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $s$ die minimale Zahl mit
\mavergleichskettedisp
{\vergleichskette
{\varphi^s
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungdrei{Zeige, dass alle
\mathbed {V_i} {}
{1 \leq i \leq s} {}
{} {} {} {,}
eine
\definitionsverweis {direkte Zerlegung}{}{}
\mavergleichskettedisp
{\vergleichskette
{V_i
}
{ =} { V_{i-1} \oplus U_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $U_i$ eindimensional haben.
}{Zeige, dass die Einschränkungen
\maabbdisp {\varphi} {U_i } { V_{i-1}
} {}
für
\mavergleichskette
{\vergleichskette
{ 1
}
{ < }{ i
}
{ < }{ s
}
{ }{
}
{ }{
}
}
{}{}{}
bijektiv sind.
}{Zeige, dass $s$ mit der Dimension von $V$ übereinstimmt.
}
}
{Nilpotente Abbildung/Kern eindimensional/Surjektivität/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{4}
{
Wie viele \definitionsverweis {jordansche Normalformen}{}{} \zusatzklammer {bis auf \definitionsverweis {Ähnlichkeit}{}{}} {} {} zu $4 \times 4$-Matrizen gibt es, bei denen in der Diagonalen der konstante Wert $c$ steht?
}
{
Die jordanschen Normalformen von der gesuchten Form haben jedenfalls die Gestalt
\mathdisp {\begin{pmatrix} c & & 0 & 0 \\ 0 & c & & 0 \\ 0 & 0 & c & \\ 0 & 0 & 0 & c \end{pmatrix}} { , }
wobei an den Freistellen eine $0$ oder eine $1$ stehen kann. Wir behaupten, dass die Matrizen
\mathdisp {\begin{pmatrix} c & 0 & 0 & 0 \\ 0 & c & 0 & 0 \\ 0 & 0 & c & 0 \\ 0 & 0 & 0 & c \end{pmatrix} \, , \begin{pmatrix} c & 1 & 0 & 0 \\ 0 & c & 0 & 0 \\ 0 & 0 & c & 0 \\ 0 & 0 & 0 & c \end{pmatrix} \, , \begin{pmatrix} c & 1 & 0 & 0 \\ 0 & c & 1 & 0 \\ 0 & 0 & c & 0 \\ 0 & 0 & 0 & c \end{pmatrix} \, ,\begin{pmatrix} c & 1 & 0 & 0 \\ 0 & c & 0 & 0 \\ 0 & 0 & c & 1 \\ 0 & 0 & 0 & c \end{pmatrix} \, ,\begin{pmatrix} c & 1 & 0 & 0 \\ 0 & c & 1 & 0 \\ 0 & 0 & c & 1 \\ 0 & 0 & 0 & c \end{pmatrix}} { }
eine vollständige Liste der nichtähnlichen Matrizen in jordanscher Normalform sind. Die beiden Matrizen
\mathdisp {\begin{pmatrix} c & 0 & 0 & 0 \\ 0 & c & 1 & 0 \\ 0 & 0 & c & 0 \\ 0 & 0 & 0 & c \end{pmatrix} \text{ und } \begin{pmatrix} c & 0 & 0 & 0 \\ 0 & c & 0 & 0 \\ 0 & 0 & c & 1 \\ 0 & 0 & 0 & c \end{pmatrix}} { }
sind zur zweiten Matrix der Liste ähnlich, da sie ebenso aus zwei Einerblöcken und einem Zweierblock bestehen. Die Matrix
\mathdisp {\begin{pmatrix} c & 0 & 0 & 0 \\ 0 & c & 1 & 0 \\ 0 & 0 & c & 1 \\ 0 & 0 & 0 & c \end{pmatrix}} { }
ist zur dritten Matrix ähnlich, da sie ebenfalls aus einem Dreierblock und einem Einerblock besteht. Die fünf angegebenen Matrizen sind paarweise zueinander unähnlich, da die Anzahl der Jordanblöcke und ihre Größe eine Invariante der Abbildung ist.
}
\inputaufgabeklausurloesung
{4}
{
Beweise den Festlegungssatz für affine Abbildungen.
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ i_0
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gibt nach
Satz 10.10 (Lineare Algebra (Osnabrück 2024-2025))
eine eindeutig bestimmte
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {\varphi} { V } { W
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi ( \overrightarrow{ P_{i_0} P_i } )
}
{ =} { \overrightarrow{ Q_{i_0} Q_i }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
für alle
\mavergleichskette
{\vergleichskette
{ i
}
{ \in }{ I \setminus \{i_0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \psi(R)
}
{ =} { Q_{i_0} + \varphi ( \overrightarrow{ P_{i_0} R } )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine affin-lineare Abbildung mit der gewünschten Eigenschaft. Umgekehrt ist eine solche affine Abbildung $\psi$ durch den linearen Anteil und durch den Wert an einem einzigen Punkt eindeutig festgelegt, sodass
\mavergleichskettedisp
{\vergleichskette
{ \psi_0
}
{ =} { \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein muss.
}