Kurs:Lineare Algebra/Teil I/29/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}{ 1 }
\renewcommand{\afuenf}{ 5 }
\renewcommand{\asechs}{ 3 }
\renewcommand{\asieben}{ 8 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 5 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 6 }
\renewcommand{\adreizehn}{ 2 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 2 }
\renewcommand{\asechzehn}{ 0 }
\renewcommand{\asiebzehn}{ 3 }
\renewcommand{\aachtzehn}{ 3 }
\renewcommand{\aneunzehn}{ 60 }
\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{Ein \stichwort {Körper} {} $K$.
}{Ein \stichwort {inverses Element} {} zu einem Element
\mathl{x \in M}{} bezüglich einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
mit einem
\definitionsverweis {neutralen Element}{}{}
\mathl{e \in M}{.}
}{\stichwort {Ähnliche} {}
Matrizen
\mathl{M,N \in \operatorname{Mat}_{ n } (K)}{.}
}{Eine \stichwort {Determinantenfunktion} {} \maabbdisp {\triangle} {V^n} {K } {,} wobei $V$ ein $n$-\definitionsverweis {dimensionaler}{}{} \definitionsverweis {Vektorraum}{}{} über einem \definitionsverweis {Körper}{}{} $K$ ist.
}{Die \stichwort {Permutationsgruppe} {} zu einer Menge $M$.
}{Ein \stichwort {Eigenwert} {} zu einer \definitionsverweis {linearen Abbildung}{}{} \maabbdisp {\varphi} {V} {V } {} auf einem $K$-\definitionsverweis {Vektorraum}{}{} $V$. }
}
{
\aufzaehlungsechs{Ein Körper $K$ ist ein
\definitionsverweis {kommutativer Ring}{}{,}
wenn
\mathl{K \neq 0}{} ist und wenn jedes von $0$ verschiedene Element in $K$ ein multiplikatives Inverses besitzt.
}{Zu
\mathl{x \in M}{} heißt
\mathl{y \in M}{} inverses Element, wenn die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { e
}
{ =} {y \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Die Matrizen
\mathl{M,N}{} heißen
ähnlich,
wenn es eine
\definitionsverweis {invertierbare Matrix}{}{}
$B$ mit
\mavergleichskette
{\vergleichskette
{M
}
{ = }{B N B^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}{Die
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\triangle} {V^n} {K
} {}
heißt \stichwort {Determinantenfunktion} {,} wenn die beiden folgenden Bedingungen erfüllt sind.
\aufzaehlungzwei {$\triangle$ ist multilinear.
} {$\triangle$ ist alternierend.
}
}{Man nennt die Menge
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Aut} \, (M)
}
{ =} {\operatorname{Perm} \, (M)
}
{ =} { { \left\{ \varphi:M \longrightarrow M \mid \varphi \text{ bijektiv} \right\} }
}
{ } {
}
{ } {
}
}
{}{}{}
der bijektiven Selbstabbildungen die Permutationsgruppe zu $M$.
}{Ein Element
\mathl{\lambda \in K}{} heißt ein Eigenwert zu $\varphi$, wenn es einen von $0$ verschiedenen Vektor
\mathl{v \in V}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi(v)
}
{ =} {\lambda v
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die Elimination auf Dreiecksgestalt für ein inhomogenes lineares Gleichungssystem über einem Körper $K$.}{Der Satz über die Beschreibung einer linearen Abbildung mit Linearformen.}{Der Satz von \stichwort {Cayley-Hamilton} {.}}
}
{
\aufzaehlungdrei{Jedes
\zusatzklammer {inhomogene} {} {}
lineare Gleichungssystem über einem Körper $K$ lässt sich durch elementare Umformungen und durch das Weglassen von überflüssigen Gleichungen in ein
\definitionsverweis {äquivalentes lineares Gleichungssystem}{}{}
der Stufenform
\mathdisp {\begin{matrix}
b_{1s_1} x_{s_1} & + b_{1 s_1 +1} x_{s_1+1} & \ldots & \ldots & \ldots & \ldots & \ldots & +b_{1 n} x_{n} & = & d_1 \\
0 & \ldots & 0 & b_{2 s_2} x_{s_2} & \ldots & \ldots & \ldots & + b_{2 n} x_{n} & = & d_2 \\
\vdots & \ddots & \ddots & \vdots & \vdots & \vdots & \vdots & \vdots & = & \vdots \\
0 & \ldots & \ldots & \ldots & 0 & b_{m {s_m} } x_{s_m} & \ldots & +b_{m n} x_n & = & d_m \\
( 0 & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & 0 & = & d_{m+1} )
\end{matrix}} { }
überführen, bei dem alle Startkoeffizienten
\mathl{b_{1s_1}, b_{2 s_2} , \ldots , b_{m s_m}}{} von $0$ verschieden sind.}{Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {Vektorräume}{}{}
über $K$, wobei $W$
\definitionsverweis {endlichdimensional}{}{}
sei. Es sei
\maabbdisp {\varphi} {V} {W
} {}
eine lineare Abbildung. Dann gibt es Vektoren
\mathl{w_1 , \ldots , w_n \in W}{} und
\definitionsverweis {Linearformen}{}{}
\mathl{f_1 , \ldots , f_n}{} auf $V$ mit
\mavergleichskettedisp
{\vergleichskette
{\varphi
}
{ =} { f_1w_1 +f_2w_2 + \cdots + f_nw_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei $M$ eine
$n \times n$-\definitionsverweis {Matrix}{}{}
über $K$. Es sei
\mathdisp {\chi_{ M } = X^n+c_{n-1} X^{n-1} + \cdots +c_1X+c_0} { }
das
\definitionsverweis {charakteristische Polynom}{}{}
zu $M$.
Dann gilt
\mathdisp {\chi_{ M }\, (M) = M^n +c_{n-1} M^{n-1} + \cdots +c_1M+c_0 =0} { . }
}
}
\inputaufgabeklausurloesung
{2}
{
Anna kann sich nicht zwischen Heinrich und Konrad entscheiden, deshalb lässt sie sich vom Zufall leiten. Sie wohnt an einer U-Bahn-Station der Linie $5$, die von Heinsheim nach Konsau fährt. Heinrich wohnt in Heinsheim und Konrad in Konsau. Wenn Anna Lust auf ein Date hat, geht sie einfach zu ihrer Station und nimmt die erstbeste U-Bahn, die gerade kommt. Die U-Bahnen fahren in beide Richtungen im Zehn-Minuten-Takt und die U-Bahnen nach Heinsheim fahren
\mathl{:\!01, :\!11, :\!21}{} etc. Nach einiger Zeit stellt Anna fest, dass sie Konrad viermal so häufig besucht wie Heinrich. Wann fahren die U-Bahnen nach Konsau ab?
}
{
Die Wahrscheinlichkeit, dass als erstes eine U-Bahn nach Konsau kommt, muss viermal so groß sein wie die Wahrscheinlichkeit, dass zuerst eine U-Bahn nach Heinsheim kommt. Deshalb muss in einem Zehn-Minuten-Intervall acht Minuten lang eine U-Bahn nach Konsau die nächste sein
\zusatzklammer {und zwei Minuten lang eine U-Bahn nach Heinsheim} {} {.}
Die U-Bahnen nach Konsau fahren also
\mathl{:\!09, :\!19, :\!29}{} etc. ab.
}
\inputaufgabeklausurloesung
{1}
{
Was bedeutet das Wort \anfuehrung{linear}{} in der Linearen Algebra?
}
{Lineare Algebra/Linear/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{5 (1+1+3)}
{
\aufzaehlungdrei{Löse das folgende Minisudoku
\mathdisp {\begin{pmatrix} - & - & 2 & - \\ 3 & - & - & 4 \\ - & - & - & - \\ - & 4 & - & 1 \end{pmatrix}} { . }
}{Begründe, dass das Minisudoku aus (1) nur eine Lösung besitzt.
}{Welche mathematischen Beweisverfahren finden sich als typische Argumentationsschemata beim Lösen eines Sudokus wieder?
}
}
{
\aufzaehlungdrei{
\mathdisp {\begin{pmatrix} 4 & 1 & 2 & 3 \\ 3 & 2 & 1 & 4 \\ 1 & 3 & 4 & 2 \\ 2 & 4 & 3 & 1 \end{pmatrix}} { . }
}{Wir gehen von
\mathdisp {\begin{pmatrix} - & - & 2 & - \\ 3 & - & - & 4 \\ - & - & - & - \\ - & 4 & - & 1 \end{pmatrix}} { }
aus. In der dritten Stelle der zweiten Zeile muss eine $1$ sein und somit muss rechts oben eine $3$ stehen. Dies ergibt
\mathdisp {\begin{pmatrix} - & - & 2 & 3 \\ 3 & - & 1 & 4 \\ - & - & - & - \\ - & 4 & - & 1 \end{pmatrix}} { . }
An der vierten Stelle der dritten Zeile muss eine $2$ stehen. In der vierten Zeile muss an der dritten Stelle eine $3$ und somit in der vierten Zeile an der ersten Stelle eine $2$ stehen. Dies ergibt
\mathdisp {\begin{pmatrix} - & - & 2 & 3 \\ 3 & - & 1 & 4 \\ - & - & - & 2 \\ 2 & 4 & 3 & 1 \end{pmatrix}} { . }
Dies erzwingt
\mathdisp {\begin{pmatrix} - & - & 2 & 3 \\ 3 & 2 & 1 & 4 \\ - & - & 4 & 2 \\ 2 & 4 & 3 & 1 \end{pmatrix}} { . }
An der zweiten Stelle der ersten Zeile muss eine $1$ stehen, dies ergibt dann die eindeutige Lösung
\mathdisp {\begin{pmatrix} 4 & 1 & 2 & 3 \\ 3 & 2 & 1 & 4 \\ 1 & 3 & 4 & 2 \\ 2 & 4 & 3 & 1 \end{pmatrix}} { . }
}{
\aufzaehlungdrei{Direkter Beweis: Durch Betrachten der schon gefundenen Zahlen erschließt man, welche Zahl in ein bestimmtes Feld gesetzt werden muss.
}{Beweis durch Fallunterscheidung: Man weiß, dass in einem gewissen Feld nur noch zwei Zahlen, sagen wir $a$ oder $b$ möglich sind. Wenn man nun in beiden Fällen, dass es sich um $a$ oder um $b$ handelt, jeweils erschließen kann, dass in einem bestimmten anderen Feld die Zahl $c$ stehen muss, so steht diese Zahl fest.
}{Beweis durch Widerspruch: Man weiß, dass in einem gewissen Feld nur noch zwei Zahlen, sagen wir $a$ oder $b$ möglich sind. Man nimmt nun an, dass es sich um $a$ handelt. Wenn man nun erschließen kann, dass sich daraus an irgendeiner Stelle ein Widerspruch ergibt, so kann die Belegung durch $a$ nicht gelten und $b$ ist richtig.
}
}
}
\inputaufgabeklausurloesung
{3}
{
Drücke in $\R^3$ den Vektor
\mathdisp {(0,0,1)} { }
als
\definitionsverweis {Linearkombination}{}{}
der Vektoren
\mathdisp {(2,3,0), (4,-1,2) \text{ und } (1,2,1)} { }
aus.
}
{
Es geht darum, das lineare Gleichungssystem
\mathdisp {\begin{matrix}
2 x
+4 y
+ z & = & 0 \\
3 x
\, \, \, \, - y
+2 z & = & 0 \\
+2 y
+ z & = & 1 \,
\end{matrix}} { }
zu lösen. Wir eliminieren mit Hilfe der zweiten Gleichung die Variable $y$ aus der ersten und dritten Gleichung. Das resultierende System ist
\mathdisp {\begin{matrix}
14 x
\, \, \, \, \, \, \, \,
+9 z & = & 0 \\
3 x
\, \, \, \, - y
+2 z & = & 0 \\
6 x
\, \, \, \, \, \, \, \,
+5 z & = & 1 \, .
\end{matrix}} { }
Wir eliminieren nun
die Variable $x$, aus der dritten Gleichung
\mathdisp {\begin{matrix}
42 x
\, \, \, \, \, \, \, \,
27 z & = & 0 \\
3 x
\, \, \, \, - y
+2 z & = & 0 \\
6 x
\, \, \, \, \, \, \, \,
+5 z & = & 7 \, .
\end{matrix}} { }
Wir können jetzt dieses System lösen. Es ist
\mathdisp {z={ \frac{ 7 }{ 8 } }} { , }
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {-{ \frac{ 9 }{ 16 } }
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 1 }{ 16 } }
}
{ } {}
{ } {}
{ } {}
}
{}{}{.}
Also ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}
}
{ =} { -{ \frac{ 9 }{ 16 } } \begin{pmatrix} 2 \\3\\ 0 \end{pmatrix} +{ \frac{ 1 }{ 16 } } \begin{pmatrix} 4 \\-1\\ 2 \end{pmatrix} +{ \frac{ 7 }{ 8 } } \begin{pmatrix} 1 \\2\\ 1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{8}
{
Beweise das Basisaustauschlemma.
}
{
\teilbeweis {Wir zeigen zuerst, dass die neue Familie ein Erzeugendensystem ist.\leerzeichen{}}{}{}
{Zunächst kann man wegen
\mathdisp {w = \sum_{i=1}^n s_i v_i} { }
und
\mathl{s_k \neq 0}{} den Vektor $v_k$ als
\mathdisp {v_k =\frac{1}{ s_k}w - \sum_{i=1}^{k-1} \frac{ s_i}{ s_k} v_i - \sum_{i=k+1}^{n} \frac{ s_i}{ s_k} v_i} { }
schreiben. Es sei nun
\mathl{u \in V}{} beliebig vorgegeben. Dann kann man schreiben
\mavergleichskettealign
{\vergleichskettealign
{ u
}
{ =} {\sum_{i = 1}^n t_i v_i
}
{ =} {\sum_{i = 1}^{k-1} t_i v_i + t_k v_k + \sum_{i = k+1}^n t_i v_i
}
{ =} {\sum_{i = 1}^{k-1} t_i v_i + t_k { \left( \frac{1}{ s_k}w - \sum_{i = 1}^{k-1} \frac{ s_i}{ s_k} v_i - \sum_{i = k+1}^{n} \frac{ s_i}{ s_k} v_i \right) } + \sum_{i = k+1}^n t_i v_i
}
{ =} {\sum_{i = 1}^{k-1} { \left( t_i - t_k \frac{ s_i}{ s_k} \right) } v_i + \frac{ t_k }{ s_k}w + \sum_{i = k+1}^n { \left( t_i - t_k \frac{ s_i}{ s_k} \right) } v_i
}
}
{}
{}{.}}
{}
\teilbeweis {}{}{}
{Zum Nachweis der
\definitionsverweis {linearen Unabhängigkeit}{}{} nehmen wir zwecks Notationsvereinfachung
\mathl{k=1}{} an. Es sei
\mathdisp {t_1w + \sum_{i=2}^n t_iv_i= 0} { }
eine Darstellung der Null. Dann ist
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { t_1w + \sum_{i = 2}^n t_iv_i
}
{ =} { t_1 { \left( \sum_{i = 1}^n s_i v_i \right) } + \sum_{i = 2}^n t_iv_i
}
{ =} { t_1 s_1v_1 + \sum_{i = 2}^n { \left( t_1 s_i+ t_i \right) } v_i
}
{ } {
}
}
{}{}{.} Aus der linearen Unabhängigkeit der Ausgangsfamilie folgt insbesondere
\mathl{t_1 s_1=0}{,} und wegen
\mathl{s_1 \neq 0}{} ergibt sich
\mathl{t_1=0}{.} Deshalb ist
\mathl{\sum_{i=2}^n t_iv_i= 0}{} und daher gilt
\mathl{t_i=0}{} für alle $i$.}
{}
}
\inputaufgabeklausurloesung
{3}
{
Heidi Gonzales beschließt, sich eine Woche lang ausschließlich von Heidelbeeren zu ernähren, und ihre Nahrungszufuhr gleichmäßig über ihre Wachzeit
\zusatzklammer {16 Stunden pro Tag} {} {}
zu verteilen. Ihr täglicher Kalorienbedarf liegt bei
\mathl{2000}{} kcal und $100$ Gramm Heidelbeeren enthalten $42$ kcal. Eine mittlere Heidelbeere wiegt $1,5$ Gramm. In welchem Abstand muss sie sich eine Heidelbeere einwerfen?
}
{
Heidi muss pro Tag
\mathl{2000:42 \sim 47,6}{} mal
\mathl{100}{} Gramm Heidelbeeren essen, also
\mathl{4,76}{} Kilogramm. Wegen
\mathl{4760:1,5 \sim 3173}{} sind das
\mathl{3173}{} Heidelbeeren pro Tag. Die $16$ Stunden haben
\mathl{16 \cdot 3600 = 57600}{} Sekunden. Es ist
\mathl{57600:3173 \sim 18,15}{.} Sie muss also alle $18,15$ Sekunden eine Heidelbeere essen.
}
\inputaufgabeklausurloesung
{5}
{
Bestimme eine
\definitionsverweis {Basis}{}{}
des
\definitionsverweis {Urbildes}{}{}
von
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} { \Q \begin{pmatrix} 7 \\1\\ 12 \end{pmatrix}
}
{ \subseteq} { \Q^3
}
{ } {
}
{ } {
}
}
{}{}{}
zur
\definitionsverweis {linearen Abbildung}{}{}
\maabbeledisp {} {\Q^4} {\Q^3} {
\begin{pmatrix} x \\y\\ z\\w \end{pmatrix} } { \begin{pmatrix} 1 & 2 & 3 & -1 \\ 0 & -1 & 3 & 2 \\ 4 & 1 & 0 & 4 \end{pmatrix} \begin{pmatrix} x \\y\\ z\\w \end{pmatrix}
} {.}
}
{
Wir betrachten das inhomogene lineare Gleichungssystem
\mathdisp {\begin{matrix}
x &
+2 y &
+3 z &
\, \, \, \, - w & = & 7s \\
&
\, \, \, \, - y &
+3 z &
+2 w & = & s \\
4 x &
+ y &
\, \, \, \, \, \, \, \, &
+4 w & = & 12s \, .
\end{matrix}} { }
Wir ersetzen die dritte Gleichung durch -4I-7II+III und erhalten das äquivalente System
\mathdisp {\begin{matrix}
x &
+2 y &
+3 z &
\, \, \, \, - w & = & 7s \\
&
\, \, \, \, - y &
+3 z &
+2 w & = & s \\
&
\, \, \, \, \, \, \, \, &
-33 z &
-6 w & = & -23s \, .
\end{matrix}} { }
Daraus sieht man insbesondere, dass die Lösungsmenge zweidimensional ist. Man sieht außerdem, dass der Kern der Abbildung selbst eindimensional ist und aus
der Dimensionsformel
folgt, dass die Abbildung surjektiv ist, insbesondere liegt also jeder Punkt von $T$ im Bild. Um linear unabhängige Elemente der Lösungsmenge zu erhalten setzen wir zunächst
\mavergleichskette
{\vergleichskette
{s
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{w
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und erhalten
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ - { \frac{ 2 }{ 11 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 16 }{ 11 } }
}
{ } {}
{ } {}
{ } {}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ - { \frac{ 15 }{ 11 } }
}
{ }{}
{ }{}
{ }{}
}
{}{}{.}
Wenn wir
\mavergleichskette
{\vergleichskette
{s
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{w
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen, erhalten wir
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ { \frac{ 23 }{ 33 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 12 }{ 11 } }
}
{ } {}
{ } {}
{ } {}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ { \frac{ 30 }{ 11 } }
}
{ }{}
{ }{}
{ }{}
}
{}{}{.}
Eine Basis des Urbildes ist daher durch die beiden Vektoren $\begin{pmatrix} -{ \frac{ 15 }{ 11 } } \\{ \frac{ 16 }{ 11 } }\\ -{ \frac{ 2 }{ 11 } }\\ 1 \end{pmatrix}$ und $\begin{pmatrix} { \frac{ 30 }{ 11 } } \\{ \frac{ 12 }{ 11 } }\\ { \frac{ 23 }{ 33 } }\\0 \end{pmatrix}$ gegeben.
}
\inputaufgabeklausurloesung
{4}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{} und es seien \mathkor {} {V} {und} {W} {} \definitionsverweis {endlichdimensionale}{}{} $K$-\definitionsverweis {Vektor\-räume}{}{.} Zeige, dass \mathkor {} {V} {und} {W} {} genau dann zueinander \definitionsverweis {isomorph}{}{} sind, wenn ihre \definitionsverweis {Dimension}{}{} übereinstimmt.
}
{
Wir nehmen zunächst an, dass $V$ und $W$ isomorph sind, dass also eine bijektive lineare Abbildung \maabbdisp {\varphi} {V} {W
} {} existiert.
Es sei
\mathl{w_1, \ldots , w_n}{} eine Basis von $W$. Aufgrund der Surjektivität von $\varphi$ existieren Elemente
\mathl{v_1, \ldots , v_n}{} in $V$ mit
\mathl{\varphi(v_i)=w_i}{.}
Es sei
\mathl{a_1v_1+\cdots+ a_nv_n = 0}{} eine Darstellung der 0. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{0
}
{ =} { \varphi(0)
}
{ =} { \varphi(a_1v_1+\cdots+ a_nv_n)
}
{ =} { a_1\varphi(v_1)+\cdots+ a_n\varphi(v_n)
}
{ =} { a_1w_1+\cdots+ a_nw_n
}
}
{}
{}{;}
weil
\mathl{w_1, \ldots , w_n}{} linear unabhängig sind, sind alle Koeffizienten 0. Daraus schließen wir, dass
\mathl{v_1, \ldots , v_n}{} linear unabhängig sind und wegen Satz 7.11 (Lineare Algebra (Osnabrück 2017-2018)) (4) ist die Dimension von $V$ damit mindestens so hoch wie die von $W$. Mithilfe der Umkehrabbildung zu $\varphi$ können wir ebenso zeigen, dass die Dimension von $W$ mindestens so hoch ist, wie die von $V$. Also sind die Vektorräume gleichdimensional.
Nehmen wir umgekehrt an, dass die Dimensionen der Vektorräume übereinstimmen, und seien Basen
\mathl{v_1, \ldots , v_n}{} von $V$ und
\mathl{w_1, \ldots , w_n}{} von $W$ gegeben. Dann werden durch die Zuordnungen
\mathl{\varphi(v_i)=w_i}{} bzw.
\mathl{\psi(w_i)=v_i}{} gemäß Satz 10.10 (Lineare Algebra (Osnabrück 2017-2018)) lineare Abbildungen definiert. Diese sind zueinander invers (man kann dies auf Basen nachprüfen und auf den gewählten Basen ist dies trivial), also sind $V$ und $W$ isomorph.
}
\inputaufgabeklausurloesung
{3}
{
Bestätige den
Determinantenmultiplikationssatz
für die beiden Matrizen
\mathdisp {A = \begin{pmatrix} 2 & 1 & 3 \\ 0 & 0 & 1 \\-1 & 2 & 1 \end{pmatrix} \text{ und } B = \begin{pmatrix} 5 & 3 & 7 \\ 0 & 4 & 1 \\0 & -1 & 1 \end{pmatrix}} { . }
}
{
Die Determinante von $A$ ist
\mavergleichskettedisp
{\vergleichskette
{ \det \begin{pmatrix} 2 & 1 & 3 \\ 0 & 0 & 1 \\-1 & 2 & 1 \end{pmatrix}
}
{ =} { -1 -4
}
{ =} { -5
}
{ } {
}
{ } {
}
}
{}{}{}
und die Determinante von $B$ ist
\mavergleichskettedisp
{\vergleichskette
{ \det \begin{pmatrix} 5 & 3 & 7 \\ 0 & 4 & 1 \\0 & -1 & 1 \end{pmatrix}
}
{ =} { 20 +5
}
{ =} { 25
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Produkt der beiden Matrizen ist
\mavergleichskettedisp
{\vergleichskette
{ AB
}
{ =} { \begin{pmatrix} 2 & 1 & 3 \\ 0 & 0 & 1 \\-1 & 2 & 1 \end{pmatrix} \circ \begin{pmatrix} 5 & 3 & 7 \\ 0 & 4 & 1 \\0 & -1 & 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 10 & 7 & 18 \\ 0 & -1 & 1 \\-5 & 4 & -4 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Determinante davon ist
\mavergleichskettealign
{\vergleichskettealign
{ \det AB
}
{ =} { \det \begin{pmatrix} 10 & 7 & 18 \\ 0 & -1 & 1 \\-5 & 4 & -4 \end{pmatrix}
}
{ =} { 40 -35-90-40
}
{ =} { -125
}
{ } {}
}
{}
{}{.}
Dies stimmt mit dem Produkt der beiden einzelnen Determinanten überein.
}
\inputaufgabeklausurloesung
{6}
{
Beweise den Satz über die Beziehung zwischen der adjungierten Matrix und der Determinante.
}
{
\teilbeweis {}{}{}
{Es sei
\mathl{M=(a_{ij})_{ij}}{.} Die Koeffizienten der adjungierten Matrix seien
\mathdisp {b_{ik} =(-1)^{i+k} \det M_{ki}} { . }
Die Koeffizienten des Produktes
\mathl{(M^{ \operatorname{adj} }) \cdot M}{} sind
\mavergleichskettedisp
{\vergleichskette
{c_{ij}
}
{ =} { \sum_{ k = 1 }^{ n } b_{ik} a_{kj}
}
{ =} { \sum_{ k = 1 }^{ n } (-1)^{i+k} a_{kj} \det M_{ki}}
{ } {
}
{ } {
}
}
{}{}{.} Bei
\mathl{j=i}{} ist dies
\mathl{\det M}{,} da es sich bei dieser Summe um die Entwicklung der Determinante nach der $j$-ten Spalte handelt. Es sei
\mathl{j \neq i}{} und es sei $N$ die Matrix, die aus $M$ entsteht, wenn man in $M$ die $i$-te Spalte durch die $j$-te Spalte ersetzt. Wenn man $N$ nach der $i$-ten Spalte entwickelt, so ist dies
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { \det N
}
{ =} { \sum_{ k = 1 }^{ n } (-1)^{i+k} a_{kj} \det M_{ki}
}
{ =} { c_{ij}
}
{ } {
}
}
{}{}{.}
Also sind diese Koeffizienten $0$, und damit stimmt die erste Gleichung.}
{}
\teilbeweis {}{}{}
{Die zweite Gleichung ergibt sich ebenso, wobei man die Entwicklung der Determinante nach den verschiedenen Zeilen ausnutzen muss.}
{}
}
\inputaufgabeklausurloesung
{2}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{\varphi(x)
}
{ =} { 3x^2-7x+5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bestimme
\mathl{\varphi { \left( u^2-2v \right) }}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ \varphi{ \left( u^2-2v \right) }
}
{ =} { 3 { \left( u^2-2v \right) }^2 -7{ \left( u^2-2v \right) }+5
}
{ =} { 3 { \left( u^4- 4u^2v +4v^2 \right) } -7{ \left( u^2-2v \right) }+5
}
{ =} { 3 u^4 -12 u^2v +12v^2 -7 u^2+14 v +5
}
{ } {
}
}
{}
{}{.}
}
\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 + \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$. Ihre Summe ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
und das charakteristische Polynom davon ist
\mathl{X^2 -1}{.} Wenn man dagegen $\varphi$ zweimal nimmt, also
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}
}
{ = }{\begin{pmatrix} 0 & 2 \\ 0 & 0 \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist dies ebenfalls nilpotent, und das charakteristische Polynom ist $X^2$.
}
\inputaufgabeklausurloesung
{2}
{
Bestimme in $\Z$ mit Hilfe des euklidischen Algorithmus den \definitionsverweis {größten gemeinsamen Teiler}{}{} von $1071$ und $1029$.
}
{
Der größte gemeinsame Teiler von 1071 und 1029 wird mit dem Euklidischen Algorithmus wie folgt berechnet:
\mavergleichskettedisp
{\vergleichskette
{ 1071
}
{ =} {1 \cdot 1029 + 42
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{1029
}
{ =} {24 \cdot 42 + 21
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{42
}
{ =} {2 \cdot 21 + 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der größte gemeinsame Teiler von 1071 und 1029 ist somit 21.
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{3}
{
Bestimme, ob die reelle Matrix
\mathdisp {\begin{pmatrix} 4 & 3 & 0 \\ -5 & -1 & 0 \\0 & 0 & 11 \end{pmatrix}} { }
\definitionsverweis {trigonalisierbar}{}{}
und ob sie
\definitionsverweis {diagonalisierbar}{}{}
ist.
}
{
Das charakteristische Polynom der Matrix ist
\mavergleichskettealign
{\vergleichskettealign
{ \chi_{ }
}
{ =} { \det \begin{pmatrix} X-4 & -3 & 0 \\ 5 & X+1 & 0 \\0 & 0 & X-11 \end{pmatrix}
}
{ =} { ( (X-4)(X+1)+15) (X-11)
}
{ =} { ( X^2-3X+11) (X-11)
}
{ } {
}
}
{}
{}{.}
Den vorderen Faktor schreiben wir als
\mavergleichskettedisp
{\vergleichskette
{ X^2-3X+11
}
{ =} { { \left( X- { \frac{ 3 }{ 2 } } \right) }^2 - { \frac{ 9 }{ 4 } } +11
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daran erkennt man, dass dieses Polynom keine reelle Nullstelle besitzt und somit nicht in Linearfaktoren zerfällt. Also ist die Matrix nicht trigonalisierbar und somit auch nicht diagonalisierbar.
}
\inputaufgabeklausurloesung
{3}
{
Beschreibe die
\definitionsverweis {affine Gerade}{}{}
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { { \left\{ \begin{pmatrix} 1 \\7\\ 2 \end{pmatrix} + s \begin{pmatrix} -1 \\2\\ 4 \end{pmatrix} \mid s \in \R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als
\definitionsverweis {Urbild}{}{}
über $(1,0)$ einer
\definitionsverweis {affinen Abbildung}{}{}
\maabb {\psi} {\R^3} {\R^2
} {.}
}
{
Der Richtungsvektor $\begin{pmatrix} -1 \\2\\ 4 \end{pmatrix}$ gehört jeweils zum
\definitionsverweis {Kern}{}{}
der beiden
\definitionsverweis {linear unabhängigen}{}{} \definitionsverweis {Linearformen}{}{}
\mathkor {} {\left( 2 , \, 1 , \, 0 \right)} {und} {\left( 0 , \, 2 , \, -1 \right)} {.}
Daher machen wir den Ansatz
\mavergleichskettedisp
{\vergleichskette
{\psi \begin{pmatrix} x \\y\\ z \end{pmatrix}
}
{ =} { \begin{pmatrix} 2x+y+a \\2y-z+b \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für den Aufpunkt
\mathl{\begin{pmatrix} 1 \\7\\ 2 \end{pmatrix}}{} ergibt sich die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ \psi \begin{pmatrix} 1 \\7\\ 2 \end{pmatrix}
}
{ =} { \begin{pmatrix} 9+a \\12+b \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 \\0 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist
\mavergleichskette
{\vergleichskette
{a
}
{ = }{-8
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{-12
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{\psi \begin{pmatrix} x \\y\\ z \end{pmatrix}
}
{ =} { \begin{pmatrix} 2x+y-8 \\2y-z-12 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine affine Abbildung mit Urbild über 1 wie gewünscht.
}