Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Arbeitsblatt 4/latex

\setcounter{section}{4}

\zwischenueberschrift{Aufwärmaufgaben}

\inputaufgabe
{}
{

Es sei $S$ eine Menge und
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} { \operatorname{Abb} \, { \left( S , S \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} sei versehen mit der \definitionsverweis {Hintereinanderschaltung von Abbildungen}{}{} als \definitionsverweis {Verknüpfung}{}{.} Ist die Verknüpfung \definitionsverweis {assoziativ}{}{,} \definitionsverweis {kommutativ}{}{,} gibt es ein \zusatzklammer {eindeutiges} {} {} \definitionsverweis {neutrales Element}{}{,} für welche
\mavergleichskette
{\vergleichskette
{ F }
{ \in }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt es ein \definitionsverweis {inverses Element}{}{?}

}
{} {}

\inputaufgabe
{}
{

Es sei $M$ die Menge der Abbildungen einer zweielementigen Menge in sich selbst, also
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} { { \left\{ F :\{0,1\} \rightarrow \{0,1\} \mid F \text{ Abbildung} \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Benenne die Elemente aus $M$ und lege eine Wertetabelle für die Verknüpfung auf $M$ an, die durch die Hintereinanderschaltung von Abbildungen definiert ist.

}
{} {}

\inputaufgabegibtloesung
{}
{

Zeige, das zwei Mengen $\N_1$ und $\N_2$, die beide die \definitionsverweis {Dedekind-Peano-Axiome}{}{} erfüllen, zueinander isomorph sind. Man gebe also eine bijektive Abbildung
\mathl{\N_1 \rightarrow \N_2}{} an, die $0_1$ in $0_2$ überführt und die die Nachfolgeabbildungen respektiert.

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei
\mathl{(\N,0,^\prime)}{} ein \definitionsverweis {Dedekind-Peano-Modell}{}{} der natürlichen Zahlen. Zeige, dass die Addition durch die Bedingungen
\mathdisp {x + 0 =x \text { für alle } x \in \N \text{ und } x + y' = (x + y )' \text { für alle } x,y \in \N} { }
eindeutig bestimmt ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Addition}{}{} auf den natürlichen Zahlen \definitionsverweis {kommutativ}{}{} und \definitionsverweis {assoziativ}{}{} ist und dass die Abziehregel \zusatzklammer {d.h., dass aus $n+k=m+k$ für ein $k$ stets $n= m$ folgt} {} {} gilt.

}
{} {}

\inputaufgabe
{}
{

Es sei $(\N,0,')$ ein \definitionsverweis {Dedekind-Peano-Modell}{}{} der natürlichen Zahlen. Zeige, dass die Multiplikation durch die Bedingungen
\mathdisp {x \cdot 0=0 \text { für alle } x \in \N \text{ und } x \cdot y' = x \cdot y +x \text { für alle } x,y \in \N} { }
eindeutig bestimmt ist.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(\N,0,^\prime)}{} ein \definitionsverweis {Dedekind-Peano-Modell}{}{} der natürlichen Zahlen und $n \in \N$. Zeige durch Induktion, dass die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \{0 , \ldots , n^\prime\} }
{ =} {\{0 , \ldots , n\}\cup \{n^\prime\} }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {(Zur Erinnerung: $\{0, \ldots ,n\} = { \left\{ k \in \N \mid k \leq n \right\} }$.)}

\inputaufgabe
{}
{

Es seien \mathkor {} {M} {und} {N} {} zwei disjunkte \definitionsverweis {endliche Mengen}{}{.} Zeige, dass die Anzahl der \zusatzklammer {disjunkten} {} {} Vereinigung $M \cup N$ gleich der Summe der beiden Anzahlen der beiden Mengen ist.

}
{} {}

\inputaufgabe
{}
{

Es seien \mathkor {} {M} {und} {N} {} endliche Mengen. Zeige, dass die \definitionsverweis {Produktmenge}{}{} $M \times N$ ebenfalls endlich ist, und dass die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ { \# \left( M \times N \right) } }
{ =} { { \# \left( M \right) } \cdot { \# \left( N \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

\inputaufgabe
{}
{

Beweise durch Induktion die folgenden Formeln. \aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i }
{ =} { \frac{n(n+1)}{2} }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^2 }
{ =} { \frac{n(n+1)(2n+1)}{6} }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^3 }
{ =} { { \left( \frac{n(n+1)}{2} \right) }^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }

}
{} {}

\inputaufgabe
{}
{

Zeige, dass mit der einzigen Ausnahme
\mavergleichskette
{\vergleichskette
{ n }
{ = }{ 3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ 2^n }
{ \geq} {n^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{}
{

Es sei
\mathl{(\N,0,^\prime)}{} ein \definitionsverweis {Dedekind-Peano-Modell}{}{} der natürlichen Zahlen. Zeige, dass für $x,y \in \N$ die Beziehung $x \leq y$ genau dann gilt, wenn es ein $z \in \N$ gibt mit $y=x+z$.

}
{} {}

\inputaufgabe
{}
{

Es sei $(\N,0,')$ ein \definitionsverweis {Dedekind-Peano-Modell}{}{} der natürlichen Zahlen mit der in Definition 4.10 festgelegten Multiplikation. Zeige die folgenden Aussagen. \aufzaehlungsieben{
\mavergleichskettedisp
{\vergleichskette
{ 0 \cdot n }
{ =} { 0 }
{ =} { n \cdot 0 }
{ } { }
{ } { }
} {}{}{} für alle $n$.}{
\mavergleichskettedisp
{\vergleichskette
{ 1 \cdot n }
{ =} { n }
{ =} { n \cdot 1 }
{ } { }
{ } { }
} {}{}{} für alle $n$, d.h.
\mavergleichskette
{\vergleichskette
{ 1 }
{ = }{ 0' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist das \definitionsverweis {neutrale Element}{}{} für die Multiplikation. }{
\mavergleichskettedisp
{\vergleichskette
{ k' \cdot n }
{ =} { k \cdot n + n }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ n,k }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Die Multiplikation ist \definitionsverweis {kommutativ}{}{.} }{Die Multiplikation ist \definitionsverweis {assoziativ}{}{.} }{Aus einer Gleichung
\mavergleichskette
{\vergleichskette
{ n \cdot k }
{ = }{ m \cdot k }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ k }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ n }
{ = }{ m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {\stichwort {Kürzungsregel} {}} {} {.} }{Für beliebige
\mavergleichskette
{\vergleichskette
{ k,m,n }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ k \cdot (m+n) }
{ =} { k \cdot m + k \cdot n }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {Distributivgesetz} {} {.} }

}
{} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Albrecht_Dürer_-_Melencolia_I_(detail).jpg} }
\end{center}
\bildtext {Ausschnitt aus Albrecht Dürers Melencolia I.} }

\bildlizenz { Albrecht Dürer - Melencolia I (detail).jpg } {Albrecht Dürer} {} {Commons} {PD} {}

\inputaufgabe
{}
{

Es sei $n \in \N$. Ein \anfuehrung{magisches Quadrat}{} zur Seitenlänge $n$ ist eine Anordnung der natürlichen Zahlen $1,2,3, \ldots , n^2-1,n^2$ in ein $n \times n$-Quadrat derart, dass die Summe aller Zeilen, die Summe aller Spalten und die Summe der beiden Diagonalen konstant ist. Welcher Wert ist das?

Formuliere mittels Abbildungen, was ein magisches Quadrat ist, und drücken Sie die Summenbedingungen mit dem Summenzeichen und geeigneten Indexmengen aus.

}
{} {}

\inputaufgabe
{}
{

Wir sagen, dass zwei magische Quadrate \mathkor {} {Q_1} {und} {Q_2} {} äquivalent sind, wenn sie durch eine Folge aus Drehungen oder Spiegelungen ineinander überführt werden können \zusatzklammer {dies ist in der Tat eine Äquivalenzrelation} {} {.} Zeige, dass alle magischen Quadrate zur Seitenlänge $3$ untereinander äquivalent sind. Wie viele Elemente enthält die Quotientenmenge und wie viele die Äquivalenzklassen?

}
{} {}

\inputaufgabegibtloesung
{}
{

Beweise durch Induktion, dass die Summe von aufeinanderfolgenden ungeraden Zahlen \zusatzklammer {beginnend bei $1$} {} {} stets eine Quadratzahl ist.

}
{} {}

\inputaufgabe
{}
{

Die Folge $a_n, \, n \in \N$, sei rekursiv durch
\mathdisp {a_1=1 \text{ und } a_n = \sum_{k=1}^{n-1} k a_k \text{ für } n \geq 2} { }
definiert. Zeige, dass für $n \geq 2$
\mavergleichskettedisp
{\vergleichskette
{a_n }
{ =} {\frac{1}{2} n ! }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

\inputaufgabe
{}
{

Beweise durch Induktion die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ 1 \cdot 2^2 \cdot 3^3 \cdots n^n }
{ \leq} { n^\frac{n(n+1)}{2} }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}