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

Aufwärmaufgaben

Aufgabe

Es seien ${}A,\,B$ und ${}C$ Mengen. Man beweise die folgenden Identitäten.

${}A\cup \emptyset =A\,,$
${}A\cap \emptyset =\emptyset \,,$
${}A\cap B=B\cap A\,,$
${}A\cup B=B\cup A\,,$
${}A\cap (B\cap C)=(A\cap B)\cap C\,,$
${}A\cup (B\cup C)=(A\cup B)\cup C\,,$
${}A\cap (B\cup C)=(A\cap B)\cup (A\cap C)\,,$
${}A\cup (B\cap C)=(A\cup B)\cap (A\cup C)\,,$
${}A\setminus (B\cup C)=(A\setminus B)\cap (A\setminus C)\,.$

Aufgabe

Skizziere die folgenden Teilmengen im ${}\mathbb {R} ^{2}$ .

${}{\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 \vert {x}\vert =3{\text{ und }}\vert {y}\vert \leq 2\right\}}$ ,
${}{\left\{(x,y)\mid 3x\geq y{\text{ und }}5x\leq 2y\right\}}$ ,
${}{\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 (oder gar keine) Variable vorkommt?

Aufgabe

Beschreibe für je zwei (einschließlich dem Fall, dass das Produkt mit sich selbst genommen wird) der folgenden geometrischen Mengen ihre Produktmenge.

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?

Aufgabe

Eine Funktion

f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto f(x),

heißt streng wachsend, wenn für alle ${}x_{1},x_{2}\in \mathbb {R}$ mit ${}x_{1}<x_{2}$ auch ${}f(x_{1})<f(x_{2})$ gilt. Zeige, dass eine streng wachsende Funktion ${}f$ injektiv ist.

Es sei ${}M$ eine Menge und ${}a,b\in M$ zwei verschiedene Elemente. Definiere durch eine Fallunterscheidung eine Bijektion von ${}M$ nach ${}M$ , die ${}a$ und ${}b$ vertauscht, und sonst alle Elemente unverändert lässt.

(Eine solche Abbildung heißt Transposition).

Aufgabe

Bestimme die Hintereinanderschaltungen ${}\varphi \circ \psi$ und ${}\psi \circ \varphi$ für die Abbildungen ${}\varphi ,\psi \colon \mathbb {R} \rightarrow \mathbb {R}$ , die durch

\varphi (x)=x^{4}+3x^{2}-2x+5\,\,{\text{  und }}\,\,\psi (x)=2x^{3}-x^{2}+6x-1

definiert sind.

Aufgabe

Man gebe Beispiele für Abbildungen

\varphi ,\psi \colon \mathbb {N} \longrightarrow \mathbb {N}

derart, dass ${}\varphi$ injektiv, aber nicht surjektiv ist, und dass ${}\psi$ surjektiv, aber nicht injektiv ist.

Aufgabe *

Es seien ${}L,M,N$ Mengen und

f:L\longrightarrow M{\text{ und }}g:M\longrightarrow N

Abbildungen mit der Hintereinanderschaltung

g\circ f\colon L\longrightarrow N,\,x\longmapsto g(f(x)).

Zeige: Wenn ${}g\circ f$ injektiv ist, so ist auch ${}f$ injektiv.

In der folgenden Aufgabe wird zu zwei Mengen ${}S$ und ${}T$ die Menge der Abbildungen von ${}S$ nach ${}T$ verwendet, also

\operatorname {Abb} \,{\left(S,T\right)}={\left\{f:S\rightarrow T\mid f{\text{ Abbildung}}\right\}}.

Aufgabe

Es seien ${}M,N,L$ Mengen. Stifte eine Bijektion zwischen

\operatorname {Abb} \,{\left(M\times N,L\right)}\,\,{\text{  und }}\,\,\operatorname {Abb} \,{\left(M,\operatorname {Abb} \,{\left(N,L\right)}\right)}.

Man mache sich diese Situation für ${}M=N=[0,1]$ und ${}L=\mathbb {R}$ klar.

Aufgabe

Der Pferdepfleger hat einen Korb voller Äpfel und geht auf die Weide, um die Äpfel an die Pferde zu verteilen. Danach geht jedes Pferd in seine Lieblingskuhle und macht dort einen großen Pferdeapfel. Modelliere den Vorgang mit geeigneten Mengen und Abbildungen. Man mache sich die Begriffe injektiv, surjektiv, Bild und Urbild an diesem Beispiel klar. Kann die Gesamtabbildung surjektiv sein, wenn es 10 Äpfel, 6 Pferde und 8 Kuhlen gibt?

Aufgaben zum Abgeben

Aufgabe (5 Punkte)

Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen ${}A,B,C$ Mengen.

Modus Barbara: Aus ${}B\subseteq A$ und ${}C\subseteq B$ folgt ${}C\subseteq A$ .
Modus Celarent: Aus ${}B\cap A=\emptyset$ und ${}C\subseteq B$ folgt ${}C\cap A=\emptyset$ .
Modus Darii: Aus ${}B\subseteq A$ und ${}C\cap B\neq \emptyset$ folgt ${}C\cap A\neq \emptyset$ .
Modus Ferio: Aus ${}B\cap A=\emptyset$ und ${}C\cap B\neq \emptyset$ folgt ${}C\not \subseteq A$ .
Modus Baroco: Aus ${}B\subseteq A$ und ${}B\not \subseteq C$ folgt ${}A\not \subseteq C$ .

Aufgabe (4 Punkte)

Es seien ${}A$ und ${}B$ Mengen. Zeige, dass die folgenden Aussagen zueinander äquivalent sind.

${}A\subseteq B$ ,
${}A\cap B=A$ ,
${}A\cup B=B$ ,
${}A\setminus B=\emptyset$ ,
Es gibt eine Menge ${}C$ mit ${}B=A\cup C$ ,
Es gibt eine Menge ${}D$ mit ${}A=B\cap D$ .

Aufgabe (3 Punkte)

Man beschreibe eine Bijektion zwischen ${}\mathbb {N}$ und ${}\mathbb {Z}$ .

Aufgabe (2 Punkte)

Es seien ${}L,M,N$ Mengen und

f:L\longrightarrow M{\text{ und }}g:M\longrightarrow N

Abbildungen mit der Hintereinanderschaltung

g\circ f\colon L\longrightarrow N,\,x\longmapsto g(f(x)).

Zeige: Wenn ${}g\circ f$ surjektiv ist, so ist auch ${}g$ surjektiv.

Zeige durch ein Beispiel, dass die Umkehrung nicht gilt.

Aufgabe (2 Punkte)

Es sei ${}G$ eine Menge. Stifte eine Bijektion zwischen

{\mathfrak {P}}\,(G)\,\,{\text{  und }}\,\,\operatorname {Abb} \,{\left(G,\{0,1\}\right)}.

In der Beantwortung der folgenden Frage dürfen die reellen Zahlen ${}\mathbb {R}$ und Grundtatsachen über stetige Funktionen naiv verwendet werden. Man mache sich aber schon jetzt Gedanken, welche Gesetzmäßigkeiten man verwendet. Man frage sich auch, wie die Antworten aussehen, wenn man ${}\mathbb {R}$ durch die rationalen Zahlen ${}\mathbb {Q}$ ersetzt.

Aufgabe (3 Punkte)

Wir betrachten die Abbildung

f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto f(x)=x^{2}+2x-3.

Bestimme das Bild des Intervalls ${}[0,1]={\left\{x\in \mathbb {R} \mid 0\leq x\leq 1\right\}}$ , von ${}\{3\}$ , von ${}\mathbb {R}$ und von ${}\mathbb {R} _{\geq 0}={\left\{x\in R\mid x\geq 0\right\}}$ .

Bestimme das Urbild von ${}\{0\}$ , von ${}[0,1]$ , von ${}\{3\}$ , von ${}\mathbb {R}$ , von ${}\mathbb {R} _{\leq 0}$ und von ${}\mathbb {R} _{\geq 0}$ .