Kurs:Lineare Algebra/Teil I/17/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}{ 9 }
\renewcommand{\afuenf}{ 4 }
\renewcommand{\asechs}{ 6 }
\renewcommand{\asieben}{ 3 }
\renewcommand{\aacht}{ 4 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 2 }
\renewcommand{\aelf}{ 6 }
\renewcommand{\azwoelf}{ 3 }
\renewcommand{\adreizehn}{ 5 }
\renewcommand{\avierzehn}{ 3 }
\renewcommand{\afuenfzehn}{ 4 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 65 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Ein \stichwort {neutrales Element} {}
\mathl{e \in M}{} zu einer \definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {.}
}{Die \stichwort {direkte Summe} {} zu einer Familie
\mathbed {V_i} {}
{i \in I} {}
{} {} {} {,}
von
$K$-\definitionsverweis {Vektorräumen}{}{.}
}{Ein \stichwort {Fehlstand} {} zu einer \definitionsverweis {Permutation}{}{}
\maabbdisp {\pi} { { \{ 1 , \ldots , n \} } } { { \{ 1 , \ldots , n \} } } {.}
}{Das \stichwort {Minimalpolynom} {} zu einer \definitionsverweis {linearen Abbildung}{}{} \maabbdisp {f} {V} {V } {} auf einem \definitionsverweis {endlichdimensionalen}{}{} $K$-\definitionsverweis {Vektorraum}{}{} $V$.
}{Eine \stichwort {diagonalisierbare} {} \definitionsverweis {lineare Abbildung}{}{} \maabbdisp {\varphi} {V} {V } {} auf einem $K$-\definitionsverweis {Vektorraum}{}{} $V$.
}{Eine
\stichwort {affin unabhängige} {}
Familie von Punkten
\mathl{P_1 , \ldots , P_n}{} in einem
\definitionsverweis {affinen Raum}{}{}
$E$.
}
}
{
\aufzaehlungsechs{Es sei eine Menge $M$ mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
gegeben. Dann heißt ein Element
\mathl{e \in M}{} neutrales Element der Verknüpfung, wenn für alle
\mathl{x \in M}{} die Gleichheit
\mathdisp {x \circ e = x =e \circ x} { }
gilt.
}{Man nennt die Menge
\mavergleichskettedisp
{\vergleichskette
{ \bigoplus_{i \in I} V_i
}
{ =} { { \left\{ (v_i)_{ i \in I} \mid v_i \in V_i , \, v_i \neq 0 \text{ für nur endlich viele } i \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die direkte Summe der $V_i$.
}{Ein Indexpaar
\mavergleichskettedisp
{\vergleichskette
{i
}
{ <} {j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt ein Fehlstand zu $\pi$, wenn
\mavergleichskette
{\vergleichskette
{ \pi (i)
}
{ > }{ \pi (j)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Das eindeutig bestimmte
\definitionsverweis {normierte}{}{}
\definitionsverweis {Polynom}{}{}
\mathl{\mu_f\in K[X]}{} minimalen
\definitionsverweis {Grades}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \mu_f(f)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt das
\stichwort {Minimalpolynom} {}
von $f$.
}{Der Endomorphismus $\varphi$ heißt \stichwort {diagonalisierbar} {,} wenn $V$ eine
\definitionsverweis {Basis}{}{}
aus
\definitionsverweis {Eigenvektoren}{}{}
zu $\varphi$ besitzt.
}{Man nennt die Punktfamilie affin-unabhängig, wenn eine Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n a_i P_i
}
{ =} {\sum_{i = 1}^n b_i P_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n a_i
}
{ =} {\sum_{i = 1}^n b_i
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
nur bei
\mavergleichskettedisp
{\vergleichskette
{a_i
}
{ =} {b_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{i=1 , \ldots , n}{} möglich ist.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die Lösungsmenge zu einem linearen Gleichungssystem in Dreiecksgestalt über einem Körper $K$.}{Der \stichwort {Determinantenmultiplikationssatz} {.}}{Der Satz von \stichwort {Cayley-Hamilton} {.}}
}
{
\aufzaehlungdrei{Es sei ein inhomogenes lineares Gleichungssystem über einem Körper $K$ in Dreiecksgestalt
\mathdisp {\begin{matrix}
a_{11} x_1 & + a_{12} x_2 & \ldots & +a_{1m} x_m & \ldots & + a_{1 n} x_{n} & = & c_1 \\
0 & a_{22} x_2 & \ldots & \ldots & \ldots & + a_{2 n} x_{n} & = & c_2 \\
\vdots & \ddots & \ddots & \vdots & \vdots & \vdots & = & \vdots \\
0 & \ldots & 0 & a_{mm} x_m & \ldots & +a_{m n} x_n & = & c_m \\
\end{matrix}} { }
gegeben, wobei vorne die Diagonalelemente alle ungleich $0$ seien. Dann stehen die Lösungen
\mathl{(x_1 , \ldots , x_m, x_{m+1} , \ldots , x_n)}{} in Bijektion zu den Tupeln
\mathl{( x_{m+1} , \ldots , x_n) \in K^{n-m}}{.}}{Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathl{n \in \N_+}{.} Dann gilt für Matrizen
\mathl{A,B \in \operatorname{Mat}_{ n } (K)}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \det \left( A \circ B \right)
}
{ =} { \det A \cdot \det B
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{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}
{
Beweise den Satz über das inverse Element in einer Gruppe
\mathl{(G, \circ ,e)}{.}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{x \circ y
}
{ =} { y \circ x
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x \circ z
}
{ =} { z \circ x
}
{ =} {e
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { y \circ e
}
{ =} { y \circ ( x \circ z )
}
{ =} { ( y \circ x) \circ z
}
{ =} { e \circ z
}
}
{
\vergleichskettefortsetzung
{ =} { z
}
{ } {}
{ } {}
{ } {}
}{}{.}
}
\inputaufgabeklausurloesung
{9 (1+1+7)}
{
Aus den Rohstoffen $R_1,R_2$ und $R_3$ werden verschiedene Produkte
\mathl{P_1,P_2,P_3,P_4}{} hergestellt. Die folgende Tabelle gibt an, wie viel von den Rohstoffen jeweils nötig ist,
um die verschiedenen Produkte herzustellen
\zusatzklammer {jeweils in geeigneten Einheiten} {} {.}
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ $R_1$ }
\renewcommand{\leitzeilezwei}{ $R_2$ }
\renewcommand{\leitzeiledrei}{ $R_3$ }
\renewcommand{\leitzeilevier}{ $$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $P_1$ }
\renewcommand{\leitspaltezwei}{ $P_2$ }
\renewcommand{\leitspaltedrei}{ $P_3$ }
\renewcommand{\leitspaltevier}{ $P_4$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 6 }
\renewcommand{\aeinsxzwei}{ 2 }
\renewcommand{\aeinsxdrei}{ 3 }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 4 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 2 }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 5 }
\renewcommand{\adreixdrei}{ 2 }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 2 }
\renewcommand{\avierxzwei}{ 1 }
\renewcommand{\avierxdrei}{ 5 }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxdrei
a) Erstelle eine Matrix, die aus einem Vierertupel von Produkten die benötigten Rohstoffe berechnet.
b) Die folgende Tabelle zeigt, wie viel von welchem Produkt in einem Monat produziert werden soll.
\wertetabellevierausteilzeilen { }
{\mazeileundvier { P_1 } { P_2 } { P_3 } {P_4 } }
{ }
{\mazeileundvier {6} {4} {7} {5} }
Welche Rohstoffmengen werden dafür benötigt?
c) Die folgende Tabelle zeigt, wie viel von welchem Rohstoff an einem Tag angeliefert wird.
\wertetabelledreiausteilzeilen { }
{\mazeileunddrei { R_1 } {R_2 } {R_3 } }
{ }
{\mazeileunddrei {12} {9} {13} }
Welche Produkttupel kann man daraus ohne Abfall produzieren?
}
{
a) Die Matrix ist
\mathdisp {\begin{pmatrix} 6 & 4 & 0 & 2 \\ 2 & 1 & 5 & 1 \\ 3 & 2 & 2 & 5 \end{pmatrix}} { , }
da in der $i$-ten Spalte die für das $i$-te Produkt benötigte Rohstoffmenge stehen muss.
b) Die benötigte Rohstoffmenge ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 6 & 4 & 0 & 2 \\ 2 & 1 & 5 & 1 \\ 3 & 2 & 2 & 5 \end{pmatrix} \begin{pmatrix} 6 \\4\\ 7\\5 \end{pmatrix}
}
{ =} { \begin{pmatrix} 36 + 16 +10 \\ 12 +4 + 35 +5 \\ 18 + 8 + 14 + 25 \end{pmatrix}
}
{ =} { \begin{pmatrix} 62 \\ 56\\ 65 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{.}
c) Es geht um das lineare Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 6 & 4 & 0 & 2 \\ 2 & 1 & 5 & 1 \\ 3 & 2 & 2 & 5 \end{pmatrix} \begin{pmatrix} x \\y\\ z\\w \end{pmatrix}
}
{ =} { \begin{pmatrix} 6x+4y+ 2w \\ 2x+ y+5z +w\\ 3x + 2y +2z + 5w \end{pmatrix}
}
{ =} { \begin{pmatrix} 12 \\ 9 \\ 13 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{,}
das wir zunächst ohne Berücksichtigung der Tatsache lösen, dass nur nichtnegative Tupel sinnvoll interpretiert werden können. Wir ziehen vom $5$-fachen der dritten Zeile das Doppelte der zweiten Zeile ab und erhalten
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 6x+4y+ 2w \\ 2x+ y+5z +w\\ 11 x + 8 y + 23 w \end{pmatrix}
}
{ =} { \begin{pmatrix} 12 \\ 9 \\ 47 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Jetzt ziehen wir von der dritten Zeile das Doppelte der ersten Zeile ab und erhalten
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 6x+4y+ 2w \\ 2x+ y+5z +w\\ - x + 19 w \end{pmatrix}
}
{ =} { \begin{pmatrix} 12 \\ 9 \\ 23 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit
\mavergleichskettedisp
{\vergleichskette
{w
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhalten wir die eindeutige Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {-23
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { 3 + { \frac{ 69 }{ 2 } }
}
{ =} { { \frac{ 75 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ z
}
{ =} { { \frac{ 9 }{ 5 } } - { \frac{ 1 }{ 5 } } \cdot { \frac{ 75 }{ 2 } } + { \frac{ 46 }{ 5 } }
}
{ =} { { \frac{ 18 - 75 + 92 }{ 10 } }
}
{ =} { { \frac{ 7 }{ 2 } }
}
{ } {}
}
{}{}{.}
Mit
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhalten wir die eindeutige Lösung
\mavergleichskettedisp
{\vergleichskette
{w
}
{ =} { { \frac{ 23 }{ 19 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { 3 - { \frac{ 23 }{ 38 } }
}
{ =} { { \frac{ 91 }{ 38 } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ z
}
{ =} { { \frac{ 9 }{ 5 } } - { \frac{ 1 }{ 5 } } \cdot { \frac{ 91 }{ 38 } } - { \frac{ 1 }{ 5 } } \cdot { \frac{ 23 }{ 19 } }
}
{ =} { { \frac{ 342 -91 - 46 }{ 190 } }
}
{ =} { { \frac{ 205 }{ 190 } }
}
{ =} { { \frac{ 41 }{ 38 } }
}
}
{}{}{.}
Alle Lösungen des linearen Gleichungssystems haben somit die Form
\mathdisp {\begin{pmatrix} 0 \\ { \frac{ 91 }{ 38 } } \\ { \frac{ 41 }{ 38 } }\\ { \frac{ 23 }{ 19 } } \end{pmatrix} + s { \left( \begin{pmatrix} -23 \\ { \frac{ 75 }{ 2 } } \\ { \frac{ 7 }{ 2 } }\\ 0 \end{pmatrix} - \begin{pmatrix} 0 \\ { \frac{ 91 }{ 38 } } \\ { \frac{ 41 }{ 38 } }\\ { \frac{ 23 }{ 19 } } \end{pmatrix} \right) }} { }
mit
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir berücksichtigen jetzt noch, dass von diesen Lösungen des linearen Gleichungssystems nur diejenigen sinnvoll interpretiert werden können, bei denen von jedem Produkt eine nichtnegative Menge produziert wird. Dies ergibt vier Abschätzungen, die Bedingungen an $s$ festlegen. Wegen der ersten Zeile muss
\mavergleichskette
{\vergleichskette
{s
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein und damit ist auch die vierte Zeile erfüllt. Die zweite Zeile führt auf die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 91 }{ 38 } } + s { \left( { \frac{ 75 }{ 2 } } - { \frac{ 91 }{ 38 } } \right) }
}
{ =} {{ \frac{ 91 }{ 38 } } + s { \left( { \frac{ 1334 }{ 38 } } \right) }
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ s
}
{ \geq} { - { \frac{ 91 }{ 1334 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die dritte Zeile führt auf die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 41 }{ 38 } } + s { \left( { \frac{ 7 }{ 2 } } - { \frac{ 41 }{ 38 } } \right) }
}
{ =} {{ \frac{ 41 }{ 38 } } + s { \left( { \frac{ 92 }{ 38 } } \right) }
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ s
}
{ \geq} { - { \frac{ 41 }{ 92 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit alle Einträge nichtnegativ sind, muss der Parameter aus
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \geq} {s
}
{ \geq} { - { \frac{ 91 }{ 1334 } }
}
{ } {
}
{ } {
}
}
{}{}{}
gewählt werden. Die aus den gegebenen Rohstoffmengen produzierbare Tupel sind also
\mathdisp {\begin{pmatrix} 0 \\ { \frac{ 91 }{ 38 } } \\ { \frac{ 41 }{ 38 } }\\ { \frac{ 23 }{ 19 } } \end{pmatrix} + s { \left( \begin{pmatrix} -23 \\ { \frac{ 75 }{ 2 } } \\ { \frac{ 7 }{ 2 } }\\ 0 \end{pmatrix} - \begin{pmatrix} 0 \\ { \frac{ 91 }{ 38 } } \\ { \frac{ 41 }{ 38 } }\\ { \frac{ 23 }{ 19 } } \end{pmatrix} \right) }} { }
mit
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ [ - { \frac{ 91 }{ 1334 } } ,0]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{4 (1+3)}
{
Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \operatorname{Abb} \, { \left( \R , \R \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die mit der stellenweisen Addition $+$ von Funktionen eine
\definitionsverweis {kommutative Gruppe}{}{}
ist. Auf dieser Menge bildet die
\definitionsverweis {Hintereinanderschaltung}{}{}
von Abbildungen $\circ$ eine
\definitionsverweis {assoziative Verknüpfung}{}{}
mit der
\definitionsverweis {Identität}{}{}
als
\definitionsverweis {neutralem Element}{}{.}
\aufzaehlungzwei {Zeige, dass das Distributivgesetz in der Form
\mavergleichskettedisp
{\vergleichskette
{(f+g) \circ h
}
{ =} { f \circ h +g \circ h
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
} {Zeige, dass das Distributivgesetz in der Form
\mavergleichskettedisp
{\vergleichskette
{ h \circ (f+g)
}
{ =} { h \circ f + h \circ g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nicht gilt.
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettealign
{\vergleichskettealign
{((f+g) \circ h) (x)
}
{ =} { (f+g)(h(x))
}
{ =} { f(h(x)) + g(h(x))
}
{ =} { (f \circ h) (x) + (g \circ h)(x)
}
{ } {
}
}
{}
{}{}
für alle
\mathl{x \in \R}{,} somit ist
\mavergleichskettedisp
{\vergleichskette
{ (f+g) \circ h
}
{ =} { f \circ h + g \circ h
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für beliebige
\mathl{f,g,h \in \operatorname{Abb} \, { \left( \R , \R \right) }}{.}
} {Es sei $h$ die Quadratabbildung, also
\mavergleichskettedisp
{\vergleichskette
{h(x)
}
{ =} {x^ 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und es sei
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} {g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die identische Abbildung, also
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {g(x)
}
{ =} {x
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist einerseits
\mavergleichskettealign
{\vergleichskettealign
{ ( h \circ (f+g) )(1)
}
{ =} { h( (f+g)(1) )
}
{ =} { h( f(1) +g(1))
}
{ =} { h( 1+1)
}
{ =} { h(2)
}
}
{
\vergleichskettefortsetzungalign
{ =} {4
}
{ } {}
{ } {}
{ } {}
}
{}{}
und andererseits
\mavergleichskettealign
{\vergleichskettealign
{ ( h \circ f+ h \circ g )(1)
}
{ =} { ( h \circ f)(1) + (h \circ g )(1)
}
{ =} { h( f(1)) +h(g(1))
}
{ =} { h( 1) +h(1)
}
{ =} { 1+1
}
}
{
\vergleichskettefortsetzungalign
{ =} { 2
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ h \circ (f+g)
}
{ \neq} { h \circ f + h \circ g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
\inputaufgabeklausurloesung
{6}
{
Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
und seien
\mathl{U_1 , \ldots , U_n}{}
\definitionsverweis {Untervektorräume}{}{}
von $V$, deren Summe $V$ ergibt. Zeige, dass diese Summe genau dann
\definitionsverweis {direkt}{}{}
ist, wenn die Dimensionsbeziehung
\mavergleichskettedisp
{\vergleichskette
{ \dim_{ K } { \left( V \right) }
}
{ =} { \sum_{i = 1}^n \dim_{ K } { \left( U_i \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{
Es sei zunächst die Summe direkt. Wir führen Induktion über $n$, wobei der Induktionsanfang klar ist. Es sei die Dimensionsaussage für ein $n$ schon bewiesen, und es liegen $n+1$ Untervektorräume vor. Die ersten $n$ Untervektorräume davon erfüllen dann ebenfalls die Durchschnittsbedingung, d.h. ihre Summe ist direkt und es gilt nach Induktionsvoraussetzung
\mavergleichskettedisp
{\vergleichskette
{ \dim_{ K } { \left( U_1 + \cdots + U_n \right) }
}
{ =} { \sum_{i = 1}^n \dim_{ K } { \left( U_i \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da auch
\mavergleichskettedisp
{\vergleichskette
{ U_{n+1} \cap { \left( \sum_{j = 1}^n U_j \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, folgt nach
Satz 9.7 (Lineare Algebra (Osnabrück 2017-2018))
die Gleichung
\mavergleichskettealign
{\vergleichskettealign
{ \dim_{ K } { \left( U_1 + \cdots + U_n + U_{n+1} \right) }
}
{ =} { \dim_{ K } { \left( U_1 + \cdots + U_n \right) } + \dim_{ K } { \left( U_{n+1} \right) }
}
{ =} { { \left( \sum_{i = 1}^n \dim_{ K } { \left( U_i \right) } \right) } + \dim_{ K } { \left( U_{n+1} \right) }
}
{ =} { \sum_{i = 1}^{n+1} \dim_{ K } { \left( U_i \right) }
}
{ } {
}
}
{}
{}{.}
Zum Beweis der Umkehrung nehmen wir an, dass
\mavergleichskettedisp
{\vergleichskette
{ U_{i} \cap { \left( \sum_{j \neq i} U_j \right) }
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist für ein $i$. Wir wenden
Satz 9.7 (Lineare Algebra (Osnabrück 2017-2018))
auf $U_i$ und
\mavergleichskette
{\vergleichskette
{W
}
{ = }{\sum_{j \neq i} U_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an und erhalten
\mavergleichskettealign
{\vergleichskettealign
{ \dim_{ K } { \left( \sum_{j } U_j \right) }
}
{ =} { \dim_{ K } { \left( U_i +\sum_{ j \neq i } U_j \right) }
}
{ =} { \dim_{ K } { \left( U_i \right) } + \dim_{ K } { \left( \sum_{ j \neq i } U_j \right) } - \dim_{ K } { \left( U_i \cap \sum_{j \neq i} U_j \right) }
}
{ >} {\dim_{ K } { \left( U_i \right) } + \dim_{ K } { \left( \sum_{ j \neq i } U_j \right) }
}
{ \geq} {\dim_{ K } { \left( U_i \right) } + \sum_{ j \neq i } \dim_{ K } { \left( U_j \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} {\sum_{ j = 1 }^n \dim_{ K } { \left( U_j \right) }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Somit kann die Dimensionsbedingung nicht gelten.
}
\inputaufgabeklausurloesung
{3}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {Vektorräume}{}{}
über $K$ der
\definitionsverweis {Dimension}{}{}
\mathkor {} {n} {bzw.} {m} {.}
Es sei
\maabbdisp {\varphi} {V} {W
} {}
eine
\definitionsverweis {lineare Abbildung}{}{,}
die bezüglich zweier
\definitionsverweis {Basen}{}{}
durch die
\definitionsverweis {Matrix}{}{}
\mavergleichskette
{\vergleichskette
{ M
}
{ \in }{ \operatorname{Mat}_{ m \times n } (K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beschrieben werde. Zeige, dass $\varphi$ genau dann
\definitionsverweis {surjektiv}{}{}
ist, wenn die Spalten der Matrix ein
\definitionsverweis {Erzeugendensystem}{}{}
von $K^m$ bilden.
}
{
Wir betrachten das kommutative Diagramm
\mathdisp {\begin{matrix} K^n & \stackrel{ \Psi_ \mathfrak{ v } }{\longrightarrow} & V & \\ \!\!\!\!\! M^{ \mathfrak{ v } }_{ \mathfrak{ w } } ( \varphi) \downarrow & & \downarrow \varphi \!\!\!\!\! & \\ K^m & \stackrel{ \Psi_ \mathfrak{ w } }{\longrightarrow} & W . & \!\!\!\!\! \\ \end{matrix}} { }
Da die Koordinatenabbildungen biljektiv sind, ist $\varphi$ genau dann surjektiv, wenn
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{ M^{ \mathfrak{ v } }_{ \mathfrak{ w } } (\varphi)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
surjektiv ist. Der Bildvektor des $j$-ten Standardvektors $e_j$ unter $M$ ist die $j$-te Spalte von $M$ und der Bildraum zu $M$ ist der von den Spalten erzeugte Untervektorraum. Somit ist die Surjektivität äquivalent dazu, dass die Spalten ein Erzeugendensystem des $K^m$ bilden.
}
\inputaufgabeklausurloesung
{4}
{
Zeige, dass die drei reellen Matrizen
\mathdisp {\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} ,\, \begin{pmatrix} - { \frac{ 1 }{ 2 } } & - { \frac{ \sqrt{3} }{ 2 } } \\ { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix} ,\, \begin{pmatrix} - { \frac{ 1 }{ 2 } } & { \frac{ \sqrt{3} }{ 2 } } \\ - { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix}} { }
bezüglich der
\definitionsverweis {Matrizenmultiplikation}{}{}
eine
\definitionsverweis {Gruppe}{}{}
bilden.
}
{
Zur Abkürzung sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} - { \frac{ 1 }{ 2 } } & - { \frac{ \sqrt{3} }{ 2 } } \\ { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ist
\mavergleichskettealign
{\vergleichskettealign
{M^2
}
{ =} {M \circ M
}
{ =} {\begin{pmatrix} - { \frac{ 1 }{ 2 } } & - { \frac{ \sqrt{3} }{ 2 } } \\ { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix} \circ \begin{pmatrix} - { \frac{ 1 }{ 2 } } & - { \frac{ \sqrt{3} }{ 2 } } \\ { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix}
}
{ =} { \begin{pmatrix} { \frac{ 1 }{ 4 } } - { \frac{ 3 }{ 4 } } & { \frac{ \sqrt{3} }{ 4 } } + { \frac{ \sqrt{3} }{ 4 } } \\ - { \frac{ \sqrt{3} }{ 4 } } - { \frac{ \sqrt{3} }{ 4 } } & - { \frac{ 3 }{ 4 } } +{ \frac{ 1 }{ 4 } } \end{pmatrix}
}
{ =} { \begin{pmatrix} - { \frac{ 1 }{ 2 } } & { \frac{ \sqrt{3} }{ 2 } } \\ - { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix}
}
}
{}
{}{,}
und dies ist die dritte der angeführten Matrizen. Ferner ist
\mavergleichskettealign
{\vergleichskettealign
{M^3
}
{ =} {M \circ M^2
}
{ =} { \begin{pmatrix} - { \frac{ 1 }{ 2 } } & - { \frac{ \sqrt{3} }{ 2 } } \\ { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix} \circ \begin{pmatrix} - { \frac{ 1 }{ 2 } } & { \frac{ \sqrt{3} }{ 2 } } \\ - { \frac{ \sqrt{3} }{ 2 } } & - { \frac{ 1 }{ 2 } } \end{pmatrix}
}
{ =} { \begin{pmatrix} { \frac{ 1 }{ 4 } } + { \frac{ 3 }{ 4 } } & 0 \\ 0 & { \frac{ 3 }{ 4 } } + { \frac{ 1 }{ 4 } } \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
}
}
{
\vergleichskettefortsetzungalign
{ =} {E
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Daher sind sämtliche Produkte, die man aus den drei Matrizen bilden kann, wieder eine der Matrizen. Die Matrizenmultiplikation ist also eine Verknüpfung auf der gegebenen Menge. Die Verknüpfung ist assoziativ, da dies ganz allgemein für die Matrizenmultiplikation gilt. Die Einheitsmatrix ist das neutrale Element der Verknüpfung, und nach obiger Rechnung sind
\mathkor {} {M} {und} {M^2} {}
invers zueinander.
}
\inputaufgabeklausurloesung
{4}
{
Beweise den Determinantenmultiplikationssatz für den Spezialfall, wo die linke der beteiligten Matrizen eine Diagonalmatrix ist.
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} d_{11} & 0 & \cdots & \cdots & 0 \\ 0 & d_{22} & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & d_{ n-1\, n-1} & 0 \\ 0 & \cdots & \cdots & 0 & d_{ n n} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Diagonalmatrix und
\mavergleichskettedisp
{\vergleichskette
{N
}
{ =} { (a_{ij})_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine beliebige quadratische Matrix. Die Produktmatrix ist
\mavergleichskettedisp
{\vergleichskette
{MN
}
{ =} { (b_{ij})_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{b_{ij}
}
{ =} { d_{ii} a_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
es wird also einfach jede Zeile von $N$ mit dem entsprechenden Diagonalelement multipliziert. Die Diagonalmatrix $M$ ist das Produkt der Diagonalmatrizen $D_i$, bei denen der $i$-te Diagonaleintrag gleich $d_{ii}$ ist und sonst jeder Diagonaleintrag gleich $1$ ist. Wir können also zum Beweis des Determinantenmultiplikationssatzes in diesem Fall annehmen, dass $M$ selbst von dieser Bauart ist. Dann entsteht
\mathl{MN}{} aus $N$ dadurch, dass eine bestimmte Zeile mit einer Zahl $s$ multipliziert wird und die anderen Zeilen unverändert übernommen werden. Die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \det MN
}
{ =} { s \det N
}
{ =} { \det M \det N
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich dann einfach aus
der Multilinearität
der Determinante.
}
\inputaufgabeklausurloesung
{2}
{
Löse das
\definitionsverweis {lineare Gleichungssystem}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 6 & 4 \\ 5 & 2 \end{pmatrix} \begin{pmatrix} x_1 \\x_2 \end{pmatrix}
}
{ =} { \begin{pmatrix} 8 \\3 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit Hilfe der
Cramerschen Regel.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{x_1
}
{ =} { { \frac{ \det \begin{pmatrix} 8 & 4 \\ 3 & 2 \end{pmatrix} }{ \det \begin{pmatrix} 6 & 4 \\ 5 & 2 \end{pmatrix} } }
}
{ =} { { \frac{ 4 }{ -8 } }
}
{ =} {- { \frac{ 1 }{ 2 } }
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x_2
}
{ =} { { \frac{ \det \begin{pmatrix} 6 & 8 \\ 5 & 3 \end{pmatrix} }{ \det \begin{pmatrix} 6 & 4 \\ 5 & 2 \end{pmatrix} } }
}
{ =} { { \frac{ -22 }{ -8 } }
}
{ =} { { \frac{ 11 }{ 4 } }
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{6}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$ und sei $P \in K[X]$ ein Polynom, das eine Zerlegung in Linearfaktoren besitze. Es sei $T$ ein
\definitionsverweis {Teiler}{}{}
von $P$. Zeige, dass $T$ ebenfalls eine Zerlegung in Linearfaktoren besitzt, wobei die Vielfachheit eines Linearfaktors
\mathl{X-a}{} in $T$ durch seine Vielfachheit in $P$ beschränkt ist.
}
{
Wir arbeiten mit normierten Polynomen und schreiben
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {(X-a_1)^{n_1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit verschiedenen $a_i$ und führen Induktion über den Grad $d=\sum_{j=1}^r n_j$ von $P$. Die Teilbarkeitsbeziehung bedeutet die Existenz eines Polynoms $Q$ mit
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {QT
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit ist insbesondere
\mavergleichskettedisp
{\vergleichskette
{ T(a_1) \cdot Q(a_1)
}
{ =} { P(a_1)
}
{ =} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Nichtnullteilereigenschaft in einem Körper gilt
\mathkor {} {T(a_1) = 0} {oder} {Q(a_1) = 0} {.}
Nach
Lemma 19.8 (Lineare Algebra (Osnabrück 2017-2018))
bedeutet dies, dass
\mathkor {} {T} {oder} {Q} {}
von $X-a_1$ geteilt wird. Im zweiten Fall schreiben wir
\mavergleichskettealign
{\vergleichskettealign
{ (X-a_1)^{n_1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} {(X-a_1) (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T Q' (X-a_1)
}
{ } {
}
{ } {
}
}
{}
{}{.}
Aufgrund der Nichtnullteilereigenschaft im Polynomring folgt daraus
\mavergleichskettedisp
{\vergleichskette
{P'
}
{ =} { (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T Q'
}
{ } {
}
{ } {
}
}
{}{}{}
und wir können auf $P'$ die Induktionsvoraussetzung anwenden. Im ersten Fall ist
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} {T' (X-a_1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus sich
\mavergleichskettedisp
{\vergleichskette
{ (X-a_1) (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { (X-a_1) T' Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{P'
}
{ =} { (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T' Q
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt. Die Induktionsvoraussetzung angewendet auf $P'$ bedeutet, dass $T'$ in Linearfaktoren zerfällt und dass nur Linearfaktoren aus $P'$ mit einer Vielfachheit vorkommen, die durch die Vielfachheit von $P'$ beschränkt ist. Da die Vielfachheiten zu
\mathl{X-a_j}{} in $P$ und in $P'$ für
\mathl{j \geq 2}{} übereinstimmen und die Vielfachheit von
\mathl{X-a_1}{} sich um $1$ reduziert, dies aber auch beim Übergang von $T$ nach $T'$ zutrifft, folgt die Aussage.
}
\inputaufgabeklausurloesung
{3}
{
Zeige, dass ein \definitionsverweis {kommutativer Ring}{}{} genau dann ein \definitionsverweis {Körper}{}{} ist, wenn er genau zwei \definitionsverweis {Ideale}{}{} enthält.
}
{
Wenn $R$ ein Körper ist, so gibt es das Nullideal und das Einheitsideal, die voneinander verschieden sind. Es sei $I$ ein von $0$ verschiedenes Ideal in $R$. Dann enthält $I$ ein Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das eine
\definitionsverweis {Einheit}{}{}
ist. Damit ist
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ xx^{-1}
}
{ \in }{ I
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ I
}
{ = }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei umgekehrt $R$ ein kommutativer Ring mit genau zwei Idealen. Dann kann $R$ nicht der Nullring sein. Es sei nun $x$ ein von $0$ verschiedenes Element in $R$. Das von $x$ erzeugte
\definitionsverweis {Hauptideal}{}{}
$Rx$ ist $\neq 0$ und muss daher mit dem anderen Ideal, also mit dem Einheitsideal übereinstimmen. Das heißt insbesondere, dass
\mavergleichskette
{\vergleichskette
{ 1
}
{ \in }{ Rx
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Das bedeutet also
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ xr
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so dass $x$ eine Einheit ist.
}
\inputaufgabeklausurloesung
{5}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {\begin{pmatrix} d_1 & \ast & \cdots & \cdots & \ast \\ 0 & d_2 & \ast & \cdots & \ast \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & d_{ n-1} & \ast \\ 0 & \cdots & \cdots & 0 & d_{ n } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {obere Dreiecksmatrix}{}{.}
Zeige direkt
\zusatzklammer {ohne charakteristisches Polynom} {} {,}
dass ein Diagonalelement von $M$ ein
\definitionsverweis {Eigenwert}{}{}
zu $M$ sein muss.
}
{
Es sei $a$ ein Diagonalelement und es sei $k$ der kleinste Index mit
\mavergleichskettedisp
{\vergleichskette
{ d_k
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir müssen zeigen, dass es einen Vektor
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { \begin{pmatrix} x_1 \\ \vdots\\ x_n \end{pmatrix}
}
{ \neq} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{Mx
}
{ =} {ax
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt. Wir zeigen die Existenz eines solchen Vektors mit
\mavergleichskettedisp
{\vergleichskette
{x_k
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x_i
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ > }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit sind die $i$-ten Zeilen zu
\mavergleichskette
{\vergleichskette
{Mx
}
{ = }{ax
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ > }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt. Die unteren Zeilen werden
\zusatzklammer {wir schreiben
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {(d_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{d_{ii}
}
{ = }{d_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
zum Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{d_1x_1 + \cdots + d_{1 k} x_k
}
{ =} { d_k x_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{d_2x_2 + \cdots + d_{2 k} x_k
}
{ =} { d_k x_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mavergleichskettedisp
{\vergleichskette
{d_{k-1}x_{k-1} + d_{k-1 \, k} x_k
}
{ =} { d_k x_{k-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ d_k x_k
}
{ =} { d_k x_k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. zum linearen Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{( d_1x_1 -d_k) + \cdots + d_{1 k} x_k
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{(d_2x_2-d_k) + \cdots + d_{2 k} x_k
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mavergleichskettedisp
{\vergleichskette
{(d_{k-1}-d_k) x_{k-1} + d_{k-1 \, k} x_k
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ (d_k -d_k)x_k
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die letzte Gleichung ist stets, also insbesondere mit
\mavergleichskette
{\vergleichskette
{x_k
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt. Da
\mavergleichskettedisp
{\vergleichskette
{d_i
}
{ \neq} {d_k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist für
\mavergleichskette
{\vergleichskette
{i
}
{ < }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ist in diesem Gleichungssystem in Dreiecksgestalt der Anfangsterm
\mavergleichskettedisp
{\vergleichskette
{d_i -d_k
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ < }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von $0$ verschieden. Nach
Satz 5.10
kann man also
\mavergleichskette
{\vergleichskette
{x_k
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu einer Lösung ergänzen.
}
\inputaufgabeklausurloesung
{3}
{
Zeige, dass die
\definitionsverweis {Matrix}{}{}
\mathdisp {\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}} { }
über $\Q$
\definitionsverweis {diagonalisierbar}{}{}
ist.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} 1 \\1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 \\1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} 1 \\-1 \end{pmatrix}
}
{ =} { \begin{pmatrix} -1 \\1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher sind
\mathkor {} {\begin{pmatrix} 1 \\1 \end{pmatrix}} {und} {\begin{pmatrix} 1 \\-1 \end{pmatrix}} {}
Eigenvektoren zu den Eigenwerten
\mathkor {} {1} {bzw.} {-1} {.}
Somit bilden sie eine Basis aus Eigenvektoren und daher ist $\varphi$ diagonalisierbar.
}
\inputaufgabeklausurloesung
{4}
{
Beweise den Satz über die jordansche Normalform.
}
{
Da $\varphi$ trigonalisierbar ist, können wir
Satz 26.14 (Lineare Algebra (Osnabrück 2017-2018))
anwenden. Es gibt also eine direkte Summenzerlegung
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} { \operatorname{Haupt}_{ \lambda_1 } (\varphi) \oplus \cdots \oplus \operatorname{Haupt}_{ \lambda_m } (\varphi)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Haupträume
$\varphi$-\definitionsverweis {invariant}{}{}
sind. Indem wir die Situation auf den einzelnen
\definitionsverweis {Haupträumen}{}{}
analysieren, können wir davon ausgehen, dass $\varphi$ nur einen Eigenwert $\lambda$ besitzt und
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} { \operatorname{Haupt}_{ \lambda } (\varphi)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Es ist dann
\mavergleichskettedisp
{\vergleichskette
{\psi
}
{ =} {\varphi- \lambda
\operatorname{Id}_{ V }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {nilpotent}{}{.}
Daher gibt es nach
Korollar 27.12 (Lineare Algebra (Osnabrück 2017-2018))
eine Basis, bezüglich der $\psi$ die Gestalt
\mathdisp {\begin{pmatrix} 0 & c_1 & 0 & \cdots & \cdots & 0 \\
0 & 0 & c_2 & 0 & \cdots & 0 \\
\vdots & \ddots & \ddots& \ddots & \ddots & \vdots \\
0 & \cdots & 0 & 0 & c_{n-2} & 0 \\
0 & \cdots & \cdots & 0 & 0 & c_{n-1}\\
0 & \cdots & \cdots & \cdots & 0 & 0
\end{pmatrix}} { }
besitzt, wobei die $c_i$ gleich $0$ oder gleich $1$ sind. Bezüglich dieser Basis hat
\mavergleichskettedisp
{\vergleichskette
{\varphi
}
{ =} { \psi + \lambda
\operatorname{Id}_{ V }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Gestalt
\mathdisp {\begin{pmatrix} \lambda & c_1 & 0 & \cdots & \cdots & 0 \\
0 & \lambda & c_2 & 0 & \cdots & 0 \\
\vdots & \ddots & \ddots& \ddots & \ddots & \vdots \\
0 & \cdots & 0 & \lambda & c_{n-2} & 0 \\
0 & \cdots & \cdots & 0 & \lambda & c_{n-1}\\
0 & \cdots & \cdots & \cdots & 0 & \lambda
\end{pmatrix}} { . }
}
\inputaufgabeklausurloesung
{4}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{} und seien \mathkor {} {E} {und} {F} {} \definitionsverweis {affine Räume}{}{} über den $K$-\definitionsverweis {Vektorräumen}{}{} \mathkor {} {V} {bzw.} {W} {.} Zeige, dass zu einer bijektiven \definitionsverweis {affin-linearen}{}{} Abbildung \maabbdisp {\psi} {E} {F } {} auch die \definitionsverweis {Umkehrabbildung}{}{} affin-linear ist.
}
{
Nach Voraussetzung gibt es eine
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {\varphi} {V} {W
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{\psi( P+ v)
}
{ =} { \psi(P) + \varphi(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskettedisp
{\vergleichskette
{\varphi(v)
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt
\mavergleichskettedisp
{\vergleichskette
{\psi( P+ v)
}
{ =} { \psi(P)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was aufgrund der Bijektivität von $\psi$ direkt
\mavergleichskettedisp
{\vergleichskette
{P+v
}
{ =} {P
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ v
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet. Daher ist $\varphi$ injektiv. Zu
\mathl{w \in W}{} gibt es zu einem Punkt
\mathl{P\in E}{} wegen der Surjektivität von $\psi$ ein
\mathl{R \in E}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \psi (R)
}
{ =} { \psi(P) + w
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi ( \overrightarrow{ R P } )
}
{ =} {w
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $\varphi$ ist auch surjektiv. Mit der linearen Umkehrfunktion $\varphi^{-1}$ gilt
\mavergleichskettedisp
{\vergleichskette
{ \psi^{-1} ( Q + w )
}
{ =} { \psi^{-1} (Q) + \varphi^{-1}(w)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mathl{Q \in F}{} und
\mathl{w \in W}{.} Die bijektive Abbildung $\psi$ ergibt nämlich die Identität
\mavergleichskettealign
{\vergleichskettealign
{ \psi( \psi^{-1} ( Q + w ) )
}
{ =} {Q+w
}
{ =} { \psi( \psi^{-1} (Q)) +\varphi( \varphi^{-1}(w) )
}
{ =} { \psi( \psi^{-1} (Q) + \varphi^{-1}(w))
}
{ } {}
}
{}
{}{.}
}