Kurs:Grundkurs Mathematik/Teil II/1/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}{ 1 }
\renewcommand{\afuenf}{ 3 }
\renewcommand{\asechs}{ 3 }
\renewcommand{\asieben}{ 3 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 3 }
\renewcommand{\aelf}{ 10 }
\renewcommand{\azwoelf}{ 2 }
\renewcommand{\adreizehn}{ 3 }
\renewcommand{\avierzehn}{ 3 }
\renewcommand{\afuenfzehn}{ 4 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 2 }
\renewcommand{\aachtzehn}{ 7 }
\renewcommand{\aneunzehn}{ 64 }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelleachtzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Ein \stichwort {Erzeugendensystem} {} des $K^n$.
}{\stichwort {Elementare Zeilenumformungen} {} an einer $m\times n$-\definitionsverweis {Matrix}{}{} $M$ über einem Körper $K$.
}{Die \stichwort {Transitivität} {} einer \definitionsverweis {Relation}{}{} $R$ auf einer Menge $M$.
}{Das \stichwort {Cauchy-Folgen-Modell} {} für die reellen Zahlen.
}{Die
\stichwort {reelle Exponentialfunktion} {}
zur Basis
\mathl{b >0}{.}
}{Die
\stichwort {Binomialverteilung} {}
zu $p \in [0,1]$ und
\mathl{n \in \N_+}{.}
}
}
{
\aufzaehlungsechs{Die Vektoren
\mathl{v_1 , \ldots , v_n}{} im $K^m$ heißen ein
Erzeugendensystem
des $K^m$, wenn man jeden Vektor
\mathl{w \in K^m}{} als eine
\definitionsverweis {Linearkombination}{}{}
mit den Vektoren
\mathl{v_1 , \ldots , v_n}{} schreiben kann.
}{Unter den elementaren Zeilenumformungen versteht man die Manipulationen:
\aufzaehlungdrei{Vertauschung von zwei Zeilen.
}{Multiplikation einer Zeile mit
\mathl{s \neq 0}{.}
}{Addition des $a$-fachen einer Zeile zu einer anderen Zeile.
}
}{Die Relation $R$ heißt transitiv, wenn aus
\mathl{xRy}{} und
\mathl{yRz}{} stets
\mathl{xRz}{} folgt.
}{Der
\definitionsverweis {Restklassenring}{}{}
\mathl{C/N}{} des Ringes $C$ der rationalen
\definitionsverweis {Cauchy-Folgen}{}{}
modulo des Ideals $N$ der Nullfolgen heißt
Cauchy-Folgen-Modell
der reellen Zahlen.
}{Die
\definitionsverweis {Funktion}{}{}
\maabbeledisp {} {\R} {\R
} {x} {b^x
} {,}
heißt Exponentialfunktion zur Basis $b$.
}{Die endliche Wahrscheinlichkeitsdichte $B_{p,n}$ auf
\mavergleichskette
{\vergleichskette
{M
}
{ = }{{ \{ 1 , \ldots , n \} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{B_{p,n} (k)
}
{ =} { \binom { n } { k } p^k (1-p)^{n-k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
Binomialverteilung
zur Stichprobenlänge $n$ und zur Erfolgswahrscheinlichkeit $p$.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der Charakterisierungssatz für Erzeugendensysteme im
\mathl{K^n}{.}}{Das
\stichwort {Quetschkriterium} {}
für Folgen in einem angeordneten Körper $K$.}{Die Lösungsformel für quadratische Gleichungen (Mitternachtsformel).}
}
{
\aufzaehlungdrei{Es seien
\mathl{v_1= \begin{pmatrix} a_{11} \\\vdots\\ a_{m1} \end{pmatrix}, v_2= \begin{pmatrix} a_{12} \\\vdots\\ a_{m2} \end{pmatrix} , \ldots , v_n = \begin{pmatrix} a_{1n} \\\vdots\\ a_{mn} \end{pmatrix}}{} Vektoren im $K^m$. Dann sind die folgenden Aussagen äquivalent.
\aufzaehlungdrei{Die Vektoren bilden ein Erzeugendensystem des $K^m$.
}{Für jeden Standardvektor $e_i$ gibt es eine Darstellung als Linearkombination
\mavergleichskettedisp
{\vergleichskette
{ e_i
}
{ =} { \sum s_j v_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Für jedes
\mathl{w = \begin{pmatrix} w_1 \\\vdots\\ w_m \end{pmatrix} \in K^m}{} ist das lineare Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ s_1 \begin{pmatrix} a_{11} \\\vdots\\ a_{m1} \end{pmatrix} + s_2 \begin{pmatrix} a_{12} \\\vdots\\ a_{m2} \end{pmatrix} + \cdots + s_n \begin{pmatrix} a_{1n} \\\vdots\\ a_{m n} \end{pmatrix}
}
{ =} { \begin{pmatrix} w_1 \\\vdots\\ w_m \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
lösbar.
}}{Es sei $K$ ein angeordneter Körper, und es seien
\mathkor {} {{ \left( x_n \right) }_{n \in \N }, \, { \left( y_n \right) }_{n \in \N }} {und} {{ \left( z_n \right) }_{n \in \N }} {}
drei Folgen in $K$. Es gelte
\mathdisp {x_n \leq y_n \leq z_n \text { für alle } n \in \N} { }
und
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( z_n \right) }_{n \in \N }} {}
konvergieren beide gegen den gleichen Grenzwert $a$. Dann konvergiert auch
\mathl{{ \left( y_n \right) }_{n \in \N }}{} gegen diesen Grenzwert $a$.}{Es sei
\mavergleichskettedisp
{\vergleichskette
{aX^2+bX+c
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine reelle quadratische Gleichung. Dann gilt folgendes Lösungsverhalten.
\aufzaehlungdrei{Bei
\mavergleichskettedisp
{\vergleichskette
{ b^2 -4ac
}
{ <} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es keine reelle Lösung.
}{Bei
\mavergleichskettedisp
{\vergleichskette
{ b^2 -4ac
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es die eine Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { { \frac{ -b }{ 2a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}{Bei
\mavergleichskettedisp
{\vergleichskette
{ b^2 -4ac
}
{ >} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es die beiden Lösungen
\mavergleichskettedisp
{\vergleichskette
{ x_{1,2}
}
{ =} { { \frac{ \pm \sqrt{ b^2 -4ac } -b }{ 2a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
}
\inputaufgabepunkteloesung
{3}
{
Gibt es eine Lösung
\mathl{(a,b,c) \in \Q}{} für das
\definitionsverweis {lineare Gleichungssystem}{}{}
\mavergleichskettedisp
{\vergleichskette
{ a \begin{pmatrix} 1 \\2\\ 11\\2 \end{pmatrix} + b \begin{pmatrix} 2 \\2\\ 12\\3 \end{pmatrix} + c \begin{pmatrix} 3 \\1\\ 20\\7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 15 \\11\\ 106\\31 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{?}
}
{
\mathl{(2,2,3)}{} ist eine Lösung.
}
\inputaufgabepunkteloesung
{1}
{
Bestimme die Lösungsmenge des Ungleichungssystems
\mavergleichskettedisp
{\vergleichskette
{3x
}
{ \geq} {-8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{7 x
}
{ \leq} { 10
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über $\Q$.
}
{
Die Bedingungen bedeuten
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \geq} { - { \frac{ 8 }{ 3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \leq} { { \frac{ 10 }{ 7 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die Lösungsmenge ist also das Intervall
\mathl{[- { \frac{ 8 }{ 3 } } , { \frac{ 10 }{ 7 } } ]}{.}
}
\inputaufgabepunkteloesung
{3}
{
Es sei $M$ eine Menge mit $n$ Elementen. Bestimme die Anzahl der Relationen auf $M$, die \aufzaehlungdrei{reflexiv }{symmetrisch }{reflexiv und symmetrisch } sind.
}
{
Es sei $M=\{1 , \ldots , n\}$. Eine Relation $R$ ist gegeben durch eine bestimmte Menge von geordneten Paaren
\mathbed {(x,y)} {}
{x,y \in M} {}
{} {} {} {.}
Daher kann man sich eine Relation auf $M$ so vorstellen, dass in einer $n \times n$-Tabelle gewisse Stellen angekreuzt werden und andere nicht.
Bei einer beliebigen Relation gibt es keine weiteren Bedingungen, sodass es $2^{n^2}$ Relationen gibt (das war nicht gefragt).
Bei einer reflexiven Relation muss auf der Diagonalen immer ein Kreuz sein, ansonsten hat man keine Bedingung, es gibt also $n^2-n=n(n-1)$ freie Stellen und daher $2^{n(n-1)}$ reflexive Relationen.
Bei einer symmetrischen Relation hat man oberhalb der Diagonalen (einschließlich dieser) volle Freiheiten (unterhalb der Diagonalen muss sich der Eintrag wiederholen). Da gibt es
\mavergleichskette
{\vergleichskette
{ { \frac{ n^2-n }{ 2 } } +n
}
{ = }{ { \frac{ n^2+n }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Plätze und somit gibt es $2^{ \frac{ n^2+n }{ 2 } }$ symmetrische Relationen.
Bei einer symmetrischen und reflexiven Relation hat man echt oberhalb der Diagonalen volle Wahlfreiheiten. Davon gibt es ${ \frac{ n^2-n }{ 2 } }$ Plätze, sodass es $2^{ \frac{ n^2-n }{ 2 } }$ symmetrische und reflexive Relationen gibt.
}
\inputaufgabepunkteloesung
{3}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{.} Wir betrachten die Abbildung \maabbeledisp {\varphi} {K} { \operatorname{Mat}_{ 2 } (K) } {a} { \begin{pmatrix} a & 0 \\ 0 & 0 \end{pmatrix} } {.} Welche Eigenschaften eines \definitionsverweis {Ringhomomorphismus}{}{} erfüllt die Abbildung $\varphi$, welche nicht?
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi(a+b)
}
{ =} { \begin{pmatrix} a+b & 0 \\ 0 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} a & 0 \\ 0 & 0 \end{pmatrix} + \begin{pmatrix} b & 0 \\ 0 & 0 \end{pmatrix}
}
{ =} { \varphi(a) + \varphi(b)
}
{ } {
}
}
{}{}{,}
die Abbildung ist also mit der Addition verträglich.
Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi(a \cdot b)
}
{ =} { \begin{pmatrix} a \cdot b & 0 \\ 0 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} a & 0 \\ 0 & 0 \end{pmatrix} \cdot \begin{pmatrix} b & 0 \\ 0 & 0 \end{pmatrix}
}
{ =} { \varphi(a) \cdot \varphi(b)
}
{ } {
}
}
{}{}{,}
die Abbildung ist also mit der Multiplikation verträglich.
Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi(1)
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}
}
{ \neq} { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{,}
die Abbildung bildet also nicht die $1$ auf die $1$ ab. Insgesamt liegt kein Ringhomomorphismus vor.
}
\inputaufgabepunkteloesung
{3}
{
Es seien
\mathkor {} {M} {und} {N} {}
\definitionsverweis {endliche Mengen}{}{}
mit $m$ bzw. $n$ Elementen und sei
\maabbdisp {f} {M} {N
} {}
eine
\definitionsverweis {injektive Abbildung}{}{.}
Wie viele Abbildungen
\maabbdisp {g} {N} {M
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{g \circ f
}
{ =} {
\operatorname{Id}_{ M }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es?
}
{
Jedes
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss durch $g$ auf das aufgrund der Injektivität eindeutig bestimmte
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ f(x)
}
{ = }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abgebildet werden. Für die restlichen $n-m$ Elemente in $N$ können die Bilder in $M$ frei gewählt werden. Dies ergibt insgesamt
\mathdisp {m^{n-m}} { }
Möglichkeiten.
}
\inputaufgabepunkteloesung
{3}
{
Berechne von Hand die Approximationen $x_1,x_2,x_3$ im Heron-Verfahren für die Quadratwurzel von $5$ zum Startwert $x_0=3$.
}
{
Das Heron-Verfahren ergibt der Reihe nach
\mavergleichskettedisp
{\vergleichskette
{x_1
}
{ \defeq} { { \frac{ 3+ { \frac{ 5 }{ 3 } } }{ 2 } }
}
{ =} { { \frac{ 7 }{ 3 } }
}
{ } {}
{ } {}
}
{}{}{,}
\mavergleichskettealign
{\vergleichskettealign
{x_2
}
{ \defeq} { { \frac{ { \frac{ 7 }{ 3 } } + { \frac{ 5 }{ \,\, { \frac{ 7 }{ 3 } } \, \, } } }{ 2 } }
}
{ =} { { \frac{ { \frac{ 7 }{ 3 } } + { \frac{ 15 }{ 7 } } }{ 2 } }
}
{ =} { { \frac{ \,\, { \frac{ 49 +45 }{ 21 } } \,\, }{ 2 } }
}
{ =} { { \frac{ 47 }{ 21 } }
}
}
{}
{}{}
und
\mavergleichskettealign
{\vergleichskettealign
{x_3
}
{ \defeq} { { \frac{ { \frac{ 47 }{ 21 } } + { \frac{ 5 }{ \,\, { \frac{ 47 }{ 21 } } \, \, } } }{ 2 } }
}
{ =} { { \frac{ { \frac{ 47 }{ 21 } } + { \frac{ 105 }{ 47 } } }{ 2 } }
}
{ =} { { \frac{ \,\, { \frac{ 2209 + 2205 }{ 987 } } \,\, }{ 2 } }
}
{ =} { { \frac{ 2207 }{ 987 } }
}
}
{}
{}{.}
}
\inputaufgabepunkteloesung
{4}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und es seien
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( y_n \right) }_{n \in \N }} {}
\definitionsverweis {konvergente Folgen}{}{}
in $K$. Zeige, dass die Produktfolge
\mathl{{ \left( x_n \cdot y_n \right) }_{ n \in \N }}{} ebenfalls konvergent mit
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} { \left( x_n \cdot y_n \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} x_n \right) } \cdot { \left( \lim_{n \rightarrow \infty} y_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
}
{
Sei
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Die konvergente Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} ist nach
Lemma 44.8 (Grundkurs Mathematik (Osnabrück 2022-2023))
insbesondere
\definitionsverweis {beschränkt}{}{}
und daher existiert ein
\mavergleichskette
{\vergleichskette
{D
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \betrag { x_n }
}
{ \leq }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Sei
\mathkor {} {x \defeq \lim_{n \rightarrow \infty} x_n} {und} {y \defeq \lim_{n \rightarrow \infty} y_n} {.}
Wir setzen
\mavergleichskette
{\vergleichskette
{C
}
{ \defeq }{\max \{D, \betrag { y } \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aufgrund der Konvergenz gibt es natürliche Zahlen
\mathkor {} {N_1} {und} {N_2} {}
mit
\mathdisp {\betrag { x_n -x } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_1 \text{ und } \betrag { y_n -y } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_2} { . }
Diese Abschätzungen gelten dann auch für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{N
}
{ \defeq }{ \max\{N_1,N_2\}
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese Zahlen gilt daher
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { x_ny_n -xy }
}
{ =} { \betrag { x_ny_n-x_ny+x_n y-xy }
}
{ \leq} {\betrag { x_ny_n-x_ny } + \betrag { x_ny-xy }
}
{ =} { \betrag { x_n } \betrag { y_n-y } + \betrag { y } \betrag { x_n-x }
}
{ \leq} {C \frac{ \epsilon}{2C} + C \frac{ \epsilon}{2C}
}
}
{
\vergleichskettefortsetzungalign
{ =} {\epsilon
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputaufgabepunkteloesung
{3}
{
Bestimme die
\definitionsverweis {rationale Zahl}{}{,}
die im Dezimalsystem durch
\mathdisp {7,103 \overline{4002}} { }
gegeben ist.
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{7{,}103 \overline{4002}
}
{ =} {7{,}103 + 0{,}000 \overline{4002}
}
{ =} { { \frac{ 7103 }{ 1000 } } + { \frac{ 1 }{ 1000 } } \cdot 0{,} \overline{4002}
}
{ =} { { \frac{ 7103 }{ 1000 } } + { \frac{ 1 }{ 1000 } } \cdot 4002 \cdot 0{,} \overline{0001}
}
{ =} { { \frac{ 7103 }{ 1000 } } + { \frac{ 1 }{ 1000 } } \cdot 4002 \cdot { \frac{ 1 }{ 9999 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 7103 \cdot 9999 }{ 9999000 } } + { \frac{ 4002 }{ 9999000 } }
}
{ =} { { \frac{ 71022897 }{ 9999000 } } + { \frac{ 4002 }{ 9999000 } }
}
{ =} { { \frac{ 71026899 }{ 9999000 } }
}
{ =} { { \frac{ 23675633 }{ 3333000 } }
}
}
{}{.}
}
\inputaufgabepunkteloesung
{10}
{
Beweise den Isomorphiesatz für reelle Zahlen.
}
{
Wir können davon ausgehen, dass der eine Körper $M$ das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
\mathl{C/N}{} der reellen Zahlen ist, wobei $C$ den Ring aller rationalen Cauchy-Folgen und $N$ das Ideal der Nullfolgen bezeichnet. Der andere Körper sei mit $K$ bezeichnet. Beide Körper enthalten die rationalen Zahlen und ein Ringhomomorphismus bildet $\Z$ auf $\Z$ und $\Q$ auf $\Q$ ab. Ein Ringhomomorphismus respektiert auch die Quadrate. In einem vollständigen archimedisch angeordneten Körper sind die nichtnegativen Elemente
nach Aufgabe 45.22 (Grundkurs Mathematik (Osnabrück 2022-2023))
genau die Quadrate, deshalb muss ein solcher Ringhomomorphismus auch positive Elemente in positive Elemente überführen. Da man in einem archimedisch angeordneten Körper nach
Aufgabe *****
die Konvergenz mit Stammbrüchen allein überprüfen kann, erhält eine solche Abbildung auch die Konvergenz. Da in $M$ nach Konstruktion und
Lemma 46.8 (Grundkurs Mathematik (Osnabrück 2016-2017))
jedes Element Limes einer rationalen Cauchy-Folge ist, und diese auch in $K$ wegen der Vollständigkeit konvergiert, kann es nur eine solche Abbildung geben. Diese Überlegung zeigt zugleich, wie man die Abbildung $\varphi$ ansetzen muss. Ein Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
werde repräsentiert durch eine rationale Cauchy-Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{.} Diese Folge konvergiert in $K$ gegen ein $y$ und man setzt
\mavergleichskette
{\vergleichskette
{\varphi(x)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies ist wohldefiniert. Wenn man nämlich eine andere $x$ repräsentierende rationale Cauchy-Folge
\mathl{{ \left( x'_n \right) }_{n \in \N }}{} nimmt, so ist die Differenz zu
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine Nullfolge und dann konvergieren
nach Lemma 44.11 (Grundkurs Mathematik (Osnabrück 2016-2017)) (1)
die beiden Folgen in $K$ gegen das gleiche Element.
Aufgrund der Verträglichkeit mit der Konvergenz haben wir das kommutative Diagramm
\mathdisp {\begin{matrix}C & \stackrel{ }{\longrightarrow} & \,\,\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\, M = C/N & \\ & \!\!\! \!\! \psi \searrow & \downarrow \varphi \!\!\! \!\! & \\ & & \! \! K & \!\!\!\!\! \!\!\! , \\ \end{matrix}} { }
wobei $\psi$ eine Cauchy-Folge auf ihren Limes in $K$ abbildet. Nach
Lemma 44.11 (Grundkurs Mathematik (Osnabrück 2016-2017))
ist diese Abbildung ein Ringhomomorphismus. Da die horizontale Abbildung surjektiv ist, ist auch $\varphi$ ein Ringhomomorphismus.
Die Injektivität gilt für jeden Ringhomomorphismus zwischen Körpern, siehe
Aufgabe *****.
Zum Nachweis der Surjektivität von $\varphi$ sei
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Nach
Korollar 28.10 (Grundkurs Mathematik (Osnabrück 2016-2017))
gibt es eine Dezimalbruchfolge, die gegen $y$ konvergiert. Da diese Dezimalbruchfolge eine rationale Cauchy-Folge ist, gehört sie zu $C$ und definiert ein Element in $M$, das durch $\varphi$ auf $y$ abgebildet wird. Insgesamt ist also $\varphi$ ein bijektiver Ringhomomorphismus.
}
\inputaufgabepunkteloesung
{2}
{
Inwiefern sind reelle Zahlen unnötig?
}
{Reelle Zahlen/Nicht nötig/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{3}
{
Bestimme die Anzahl der Tripel
\mathl{(i,j,k) \in \N^3}{} mit
\mavergleichskettedisp
{\vergleichskette
{i+j+k
}
{ =} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Wenn $i$ fixiert ist, so muss
\mavergleichskettedisp
{\vergleichskette
{j+k
}
{ =} {5-i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein. D.h. $j$ läuft zwischen $0$ und
\mathl{5-i}{} und legt dabei $k$ eindeutig fest. Somit gibt es bei fixiertem $i$ genau
\mathl{6-i}{} Möglichkeiten. Da $i=0,1 , \ldots , 5$ ist, gibt es insgesamt also
\mathdisp {6 +5+4+3+2+1= 21} { }
erlaubte Tripel.
}
\inputaufgabepunkteloesung
{3}
{
Führe in $\Z/(7)[X]$ die \definitionsverweis {Division mit Rest}{}{} \anfuehrung{$P$ durch $T$}{} für die beiden \definitionsverweis {Polynome}{}{} \mathkor {} {P=2X^3+4X^2+5} {und} {T=3X^2+X+1} {} durch.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ 2X^3+4X^2+5
}
{ =} { { \left( 3X^2+X+1 \right) } { \left( 3X+5 \right) } +6X
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{4}
{
Wir betrachten die Funktion
\maabbeledisp {f} {\R} {\R
} {x} {x^3-3x +1
} {.}
Bestimme, ausgehend vom Intervall
\mathl{[0,1]}{,} mit der Intervallhalbierungsmethode ein Intervall der Länge
\mathl{1/8}{,} in dem eine Nullstelle von $f$ liegen muss.
}
{
Wegen
\mavergleichskette
{\vergleichskette
{ f(0)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ f(1)
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss nach dem Zwischenwertsatz im Intervall
\mathl{[0,1]}{} eine Nullstelle von $f$ liegen.
Die Intervallmitte ist
\mathl{{ \frac{ 1 }{ 2 } }}{,} dort hat $f$ den Wert
\mavergleichskettedisp
{\vergleichskette
{ f { \left( { \frac{ 1 }{ 2 } } \right) }
}
{ =} { { \left( { \frac{ 1 }{ 2 } } \right) }^3 -3 { \left( { \frac{ 1 }{ 2 } } \right) } +1
}
{ =} { { \frac{ 1-12+8 }{ 8 } }
}
{ =} { - { \frac{ 3 }{ 8 } }
}
{ } {
}
}
{}{}{.}
Dies ist negativ, also muss eine Nullstelle im Intervall
\mathl{[0, { \frac{ 1 }{ 2 } } ]}{} liegen.
Die Intervallmitte von diesem Intervall ist
\mathl{{ \frac{ 1 }{ 4 } }}{,} dort hat $f$ den Wert
\mavergleichskettedisp
{\vergleichskette
{ f { \left( { \frac{ 1 }{ 4 } } \right) }
}
{ =} { { \left( { \frac{ 1 }{ 4 } } \right) }^3 -3 { \left( { \frac{ 1 }{ 4 } } \right) } + 1
}
{ =} { { \frac{ 1-48+64 }{ 64 } }
}
{ =} { { \frac{ 17 }{ 64 } }
}
{ } {
}
}
{}{}{.} Dies ist positiv, also muss eine Nullstelle im Intervall
\mathl{[ { \frac{ 1 }{ 4 } } , { \frac{ 1 }{ 2 } } ]}{} liegen.
Die Intervallmitte von diesem Intervall ist
\mathl{{ \frac{ 3 }{ 8 } }}{,} dort hat $f$ den Wert
\mavergleichskettedisp
{\vergleichskette
{ f { \left( { \frac{ 3 }{ 8 } } \right) }
}
{ =} { { \left( { \frac{ 3 }{ 8 } } \right) }^3 -3 { \left( { \frac{ 3 }{ 8 } } \right) } +1
}
{ =} { { \frac{ 27-576+512 }{ 512 } }
}
{ =} { - { \frac{ 37 }{ 512 } }
}
{ } {
}
}
{}{}{.}
Dies ist negativ, also muss eine Nullstelle im Intervall
\mathl{[ { \frac{ 1 }{ 4 } } , { \frac{ 3 }{ 8 } } ]=[ { \frac{ 2 }{ 8 } } , { \frac{ 3 }{ 8 } } ]}{} liegen. Die Länge dieses Intervalls ist
\mathl{{ \frac{ 1 }{ 8 } }}{.}
}
\inputaufgabepunkteloesung
{4}
{
Beweise die Additionstheoreme für den \definitionsverweis {Sinus}{}{} und den \definitionsverweis {Kosinus}{}{} unter Verwendung von \definitionsverweis {Drehmatrizen}{}{.}
}
{
Die Hintereinanderschaltung der Drehung um den Winkel $x$ und der Drehung um den Winkel $y$ ist die Drehung um den Winkel
\mathl{x+y}{.} Nach
Satz 35.15 (Grundkurs Mathematik (Osnabrück 2022-2023))
wird diese Hintereinanderschaltung durch das Matrixprodukt der beiden Drehmatrizen beschrieben. Somit ist aufgrund einer einfachen Matrizenmultiplikation
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ \begin{pmatrix}
\operatorname{cos} \, (x+y) & - \operatorname{sin} \, (x+y) \\
\operatorname{sin} \, (x+y) & \operatorname{cos} \,(x+y)
\end{pmatrix}
}
{ =} { \begin{pmatrix}
\operatorname{cos} \, x & - \operatorname{sin} \, x \\
\operatorname{sin} \, x & \operatorname{cos} \,x
\end{pmatrix} \circ \begin{pmatrix}
\operatorname{cos} \, y & - \operatorname{sin} \, y \\
\operatorname{sin} \, y & \operatorname{cos} \,y
\end{pmatrix}
}
{ =} { \begin{pmatrix} \cos x \cdot \cos y - \sin x \cdot \sin y & - \cos x \cdot \sin y - \sin x \cdot \cos y \\ \sin x \cdot \cos y + \cos x \cdot \sin y & \cos x \cdot \cos y - \sin x \cdot \sin y \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{.}
Betrachten der Komponenten in der ersten Spalte ergibt die Behauptung.
}
\inputaufgabepunkteloesung
{2}
{
Bestimme die Schnittpunkte des Einheitskreises $E$ mit dem Kreis $K$, der den Mittelpunkt $(1,0)$ und den Radius $2$ besitzt.
}
{
Der Einheitskreis ist die Lösungsmenge der Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2+y^2
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $K$ ist die Lösungsmenge der Gleichung
\mavergleichskettedisp
{\vergleichskette
{ (x-1)^2 +y^2
}
{ =} { x^2-2x +1 +y^2
}
{ =} {4
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn man von der zweiten Gleichung die erste abzieht, so erhält man
\mavergleichskettedisp
{\vergleichskette
{ -2x +1
}
{ =} {3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus der Einheitskreisgleichung folgt daraus, dass
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein muss. Der einzige Schnittpunkt ist also
\mathl{(-1,0)}{}
\zusatzklammer {der in der Tat ein Schnittpunkt ist} {} {.}
}
\inputaufgabepunkteloesung
{7}
{
Lucy Sonnenschein befindet sich im Punkt
\mathl{(0,0)}{.} Sie führt hintereinander und unabhängig voneinander vier Sprünge aus, die jeweils mit gleicher Wahrscheinlichkeit nach links, nach rechts, nach vorne oder nach hinten gehen. Wie hoch ist die Wahrscheinlichkeit, dass sie zum Schluss von ihrem Ausgangspunkt einen Abstand von zumindest $3$ besitzt?
}
{
Die möglichen Sprünge sind
\mathdisp {(1,0),\, (-1,0), \, (0,1), \, (0,-1)} { . }
Diese werden jeweils mit der Wahrscheinlichkeit
\mathl{{ \frac{ 1 }{ 4 } }}{} durchgeführt. Insgesamt gibt es
\mathl{4^4=256}{} Sprungmöglichkeiten,
die alle die gleiche Wahrscheinlichkeit
\mathl{{ \frac{ 1 }{ 256 } }}{} besitzen.
Nach den vier Sprüngen befindet Lucy sich in einem Punkt der Form
\mathl{(a,b)}{,} wobei
\mavergleichskettedisp
{\vergleichskette
{ \betrag { a } + \betrag { b }
}
{ \leq} { 4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei sind $a,b$ ganzzahlig und
\mathl{a+b}{} ist ein Vielfaches von $2$. Mögliche Ergebnisse mit Betragssumme $4$ sind also bis auf Vorzeichen und Permutation
\mathdisp {(4,0),\, (3,1),\, (2,2)} { }
Wegen
\mavergleichskettedisp
{\vergleichskette
{3^2+1^2
}
{ >} {3^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{2^2 +2^2
}
{ =} {8
}
{ <} {9
}
{ } {
}
{ } {
}
}
{}{}{}
haben die beiden ersten einen Abstand vom Nullpunkt größer als
\mathl{>3}{.} Wenn die Betragssumme $0$ oder $2$ ist, so befindet sie sich innerhalb des Kreises mit Radius $3$. Wir müssen also die Wahrscheinlichkeiten bestimmen, dass sie sich zum Schluss in einer Position der Form
\mathl{(3,1)}{} oder der Form
\mathl{(4,0)}{} befindet. Für den zweiten Fall gibt es nur die vier Möglichkeiten
\mathl{( 4 , 0),( -4 , 0),( 0 , 4),(0 , -4)}{,} die nur erreicht werden, wenn genau viermal nur einer der Sprünge gemacht wird. Es gibt also dafür vier Möglichkeiten, und dies tritt mit Wahrscheinlichkeit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 4 }{ 256 } }
}
{ =} { { \frac{ 1 }{ 64 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein. Betrachten wir den ersten Fall. Zunächst gibt es acht mögliche Endpositionen, die zu diesem Fall gehören
\zusatzklammer {nämlich \mathlk{( \pm 3, \pm 1}{} und \mathlk{( \pm 1, \pm 3}{}} {} {.}
Damit Lucy auf
\mathl{(3,1)}{} kommt, muss sie dreimal den
\mathl{(1,0)}{-}Sprung und einmal den
\mathl{(0,1)}{-}Sprung machen. Dafür gibt es vier Möglichkeiten. Somit gibt es insgesamt
\mavergleichskettedisp
{\vergleichskette
{8 \cdot 4
}
{ =} {32
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Möglichkeiten für den ersten Fall, was die Wahrscheinlichkeit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 32 }{ 256 } }
}
{ =} { { \frac{ 1 }{ 8 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet. Die Wahrscheinlichkeit, auf einer Position mit Abstand
\mathl{>3}{} zu landen, ist somit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 8 } } + { \frac{ 1 }{ 64 } }
}
{ =} { { \frac{ 9 }{ 64 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}