Kurs:Analysis (Osnabrück 2013-2015)/Teil I/Arbeitsblatt 1/latex

Aus Wikiversity

\setcounter{section}{1}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

Bestimme für die Mengen
\mathdisp {M=\{a,b,c,d,e\},\, N=\{a,c,e\},\, P=\{b\},\, R = \{b,d,e,f\}} { }
die Mengen \aufzaehlungacht{
\mathl{M \cap N}{,} }{
\mathl{M \cap N \cap P \cap R}{,} }{
\mathl{M \cup R}{,} }{
\mathl{{ \left( N \cup P \right) } \cap R}{,} }{
\mathl{N \setminus R}{,} }{
\mathl{{ \left( M \cup P \right) } \setminus { \left( R \setminus N \right) }}{,} }{
\mathl{{ \left( { \left( P \cup R \right) } \cap N \right) } \cap R}{,} }{
\mathl{{ \left( R \setminus P \right) } \cap { \left( M \setminus N \right) }}{.} }

}
{} {}




\inputaufgabe
{}
{

Es seien $A,\, B$ und $C$ Mengen. Man beweise die folgenden Identitäten. \aufzaehlungneun{
\mavergleichskettedisp
{\vergleichskette
{ A \cup \emptyset }
{ =} { A }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \cap \emptyset }
{ =} { \emptyset }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{A \cap B }
{ =} { B \cap A }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{A \cup B }
{ =} { B \cup A }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \cap (B \cap C) }
{ =} { (A \cap B) \cap C }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \cup (B \cup C) }
{ =} { (A \cup B) \cup C }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \cap (B \cup C) }
{ =} { (A \cap B) \cup (A \cap C) }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \cup (B \cap C) }
{ =} { (A \cup B) \cap (A \cup C) }
{ } { }
{ } { }
{ } { }
} {}{}{,} }{
\mavergleichskettedisp
{\vergleichskette
{ A \setminus (B \cup C) }
{ =} { (A \setminus B) \cap (A \setminus C) }
{ } { }
{ } { }
{ } { }
} {}{}{.} }

}
{} {}




\inputaufgabe
{}
{

Skizziere ein Mengendiagramm, das zu vier Mengen alle möglichen Schnittmengen darstellt.

}
{} {}




\inputaufgabe
{}
{

Skizziere die folgenden Teilmengen im $\R^2$. \aufzaehlungzweireihe {\itemfuenf {${ \left\{ (x,y) \mid x=5 \right\} }$, }{${ \left\{ (x,y) \mid x \geq 4 \text{ und } y =3 \right\} }$, }{${ \left\{ (x,y) \mid y^2 \geq 2 \right\} }$, }{${ \left\{ (x,y) \mid \betrag { x } = 3 \text{ und } \betrag { y } \leq 2 \right\} }$, }{${ \left\{ (x,y) \mid 3x \geq y \text{ und } 5x \leq 2y \right\} }$, } } {\itemfuenf {${ \left\{ (x,y) \mid xy = 0 \right\} }$, }{${ \left\{ (x,y) \mid xy = 1 \right\} }$, }{${ \left\{ (x,y) \mid xy \geq 1 \text{ und } y \geq x^3 \right\} }$, }{${ \left\{ (x,y) \mid 0 = 0 \right\} }$, }{${ \left\{ (x,y) \mid 0 = 1 \right\} }$. } }

}
{Welche geometrische Gestalt haben die Mengen, in deren Beschreibung nur eine \zusatzklammer {oder gar keine} {} {} Variable vorkommt?} {}




\inputaufgabe
{}
{

Beschreibe für je zwei \zusatzklammer {einschließlich dem Fall, dass das Produkt mit sich selbst genommen wird} {} {} der folgenden geometrischen Mengen ihre Produktmenge. \aufzaehlungvier{Eine Kreislinie $K$. }{Ein Geradenstück $I$. }{Eine Gerade $G$. }{Eine Parabel $P$. } Welche Produktmengen lassen sich als eine Teilmenge im Raum realisieren, welche nicht?

}
{} {}




\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 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }

}
{} {}




\inputaufgabegibtloesung
{}
{

Beweise durch Induktion für alle
\mavergleichskette
{\vergleichskette
{ n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n (-1)^{k-1} k^2 }
{ =} { (-1)^{n+1} { \frac{ n(n+1) }{ 2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

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

}
{} {}




\inputaufgabe
{}
{

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

}
{} {}

Die nächste Aufgabe verwendet die folgende Definition.

Zu einer natürlichen Zahl $n$ nennt man die Zahl
\mavergleichskettedisp
{\vergleichskette
{n! }
{ \defeq} { n(n-1)(n-2) \cdots 3 \cdot 2 \cdot 1 }
{ } { }
{ } { }
{ } { }
} {}{}{} die \definitionswort {Fakultät}{} von $n$ \zusatzklammer {sprich $n$ Fakultät} {} {.}





\inputaufgabe
{}
{

Zeige, dass für $n \geq 4$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ 2^n }
{ \leq} {n ! }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}




\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.

}
{} {}




\inputaufgabegibtloesung
{}
{

Zeige mittels vollständiger Induktion für
\mathl{n \geq 1}{} die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n (-1)^k k }
{ =} { \begin{cases} { \frac{ n }{ 2 } } \text{ bei } n \text{ gerade} , \\ - { \frac{ n+1 }{ 2 } } \text{ bei } n \text{ ungerade} \, . \end{cases} }
{ } { }
{ } { }
{ } { }
} {}{}{}

}
{} {}




\inputaufgabe
{}
{

Die Städte
\mathl{S_1, \ldots, S_n}{} seien untereinander durch Straßen verbunden und zwischen zwei Städten gibt es immer genau eine Straße. Wegen Bauarbeiten sind zur Zeit alle Straßen nur in eine Richtung befahrbar. Zeige, dass es trotzdem mindestens eine Stadt gibt, von der aus alle anderen Städte erreichbar sind.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{5}
{

Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen $A,B,C$ Mengen. \aufzaehlungfuenf{Modus Barbara: Aus
\mavergleichskette
{\vergleichskette
{ B }
{ \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ C }
{ \subseteq }{ B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ C }
{ \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Modus Celarent: Aus
\mavergleichskette
{\vergleichskette
{ B \cap A }
{ = }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ C }
{ \subseteq }{ B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ C \cap A }
{ = }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Modus Darii: Aus
\mavergleichskette
{\vergleichskette
{ B }
{ \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ C \cap B }
{ \neq }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ C \cap A }
{ \neq }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Modus Ferio: Aus
\mavergleichskette
{\vergleichskette
{ B \cap A }
{ = }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ C \cap B }
{ \neq }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ C }
{ \not \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Modus Baroco: Aus
\mavergleichskette
{\vergleichskette
{ B }
{ \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ B }
{ \not \subseteq }{ C }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt
\mavergleichskette
{\vergleichskette
{ A }
{ \not \subseteq }{ C }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

}
{} {}




\inputaufgabe
{4}
{

Es seien \mathkor {} {A} {und} {B} {} Mengen. Zeige, dass die folgenden Aussagen zueinander äquivalent sind. \aufzaehlungsechs{
\mavergleichskette
{\vergleichskette
{ A }
{ \subseteq }{B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} }{
\mavergleichskette
{\vergleichskette
{ A \cap B }
{ = }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} }{
\mavergleichskette
{\vergleichskette
{ A \cup B }
{ = }{ B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} }{
\mavergleichskette
{\vergleichskette
{ A \setminus B }
{ = }{ \emptyset }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} }{Es gibt eine Menge $C$ mit
\mavergleichskette
{\vergleichskette
{ B }
{ = }{ A \cup C }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} }{Es gibt eine Menge $D$ mit
\mavergleichskette
{\vergleichskette
{ A }
{ = }{ B \cap D }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

}
{} {}




\inputaufgabe
{3}
{

Es sei
\mavergleichskette
{\vergleichskette
{m }
{ \in }{\N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige durch Induktion die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ (2m+1) \prod_{i = 1}^m (2i-1)^2 }
{ =} { \prod_{k = 1}^m (4k^2-1) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}




\inputaufgabe
{4}
{

Eine $n$-Schokolade ist ein rechteckiges Raster, das durch
\mathl{a -1}{} Längsrillen und
\mathl{b-1}{} Querrillen in
\mavergleichskette
{\vergleichskette
{ n }
{ = }{a \cdot b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{a,b }
{ \in }{\N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} mundgerechte kleinere Rechtecke eingeteilt ist. Ein Teilungsschritt an einer Schokolade ist das vollständige Durchtrennen einer Schokolade längs einer Längs- oder Querrille. Eine vollständige Aufteilung einer Schokolade ist eine Folge von Teilungsschritten \zusatzklammer {an der Ausgangsschokolade oder an einer zuvor erhaltenen Zwischenschokolade} {} {,} deren Endprodukt aus den einzelnen Mundgerechtecken besteht. Zeige durch Induktion, dass jede vollständige Aufteilung einer $n$-Schokolade aus genau
\mathl{n-1}{} Teilungsschritten besteht.

}
{} {}


Kurs:Analysis (Osnabrück 2013-2015)/Teil I | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)