Kurs:Vorkurs Mathematik (Osnabrück 2009)/Arbeitsblatt 2

Aufgabe

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

1. ${}A\cup \emptyset =A\,,$

2. ${}A\cap \emptyset =\emptyset \,,$

3. ${}A\cap B=B\cap A\,,$

4. ${}A\cup B=B\cup A\,,$

5. ${}A\cap (B\cap C)=(A\cap B)\cap C\,,$

6. ${}A\cup (B\cup C)=(A\cup B)\cup C\,,$

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

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

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

Aufgabe

Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen ${}A,B,C$ Mengen. Man formuliere auch die einzelnen Mengenbeziehungen mittels Quantoren.

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

Welche dieser Aussagen kann man durch Betrachten von Komplementen auf andere zurückführen?

Aufgabe

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

1. ${}A\subseteq B$,
2. ${}A\cap B=A$,
3. ${}A\cup B=B$,
4. ${}A\setminus B=\emptyset$,
5. Es gibt eine Menge ${}C$ mit ${}B=A\cup C$,
6. Es gibt eine Menge ${}D$ mit ${}A=B\cap D$.

Aufgabe

Man gebe für die folgenden Teilmengen der natürlichen Zahlen quantorenlogische Beschreibungen.

1. Die Menge der geraden Zahlen,
2. Die Menge der Zahlen, die durch vier teilbar sind,
3. Die Menge der ungeraden Zahlen,
4. Die Menge der Quadratzahlen,
5. Die Menge der Primzahlen,
6. Die Menge der Zahlen, die als Summe von drei Quadratzahlen geschrieben werden können.

Aufgabe

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

1. ${}{\left\{(x,y)\mid x=5\right\}}$,
2. ${}{\left\{(x,y)\mid x\geq 4{\text{ und }}y=3\right\}}$,
3. ${}{\left\{(x,y)\mid y^{2}\geq 2\right\}}$,
4. ${}{\left\{(x,y)\mid \vert {x}\vert =3{\text{ und }}\vert {y}\vert \leq 2\right\}}$,
5. ${}{\left\{(x,y)\mid 3x\geq y{\text{ und }}5x\leq 2y\right\}}$,
6. ${}{\left\{(x,y)\mid xy=0\right\}}$,
7. ${}{\left\{(x,y)\mid xy=1\right\}}$,
8. ${}{\left\{(x,y)\mid xy\geq 1{\text{ und }}y\geq x^{3}\right\}}$,
9. ${}{\left\{(x,y)\mid 0=0\right\}}$,
10. ${}{\left\{(x,y)\mid 0=1\right\}}$.

Welche geometrische Gestalt haben die Mengen, in deren Beschreibung nur eine (oder gar keine) Variable vorkommt?

Aufgabe

Betrachte die folgenden Mengendiagramme. Welche möglichen Schnittmengen der beteiligten Mengen werden in diesen geometrisch repräsentiert, welche nicht?

Aufgabe

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

Aufgabe

Finde für die folgenden drei Mengen

$\{1,3,5,7,9,\ldots \},\,\{1,2,4,8,16,\ldots \},\,\{9,99,999,9999,99999,\ldots \}$

(die alle die Form ${}\{a_{1},a_{2},a_{3},a_{4},a_{5},\ldots \}$ besitzen)

jeweils ein Polynom

$P(k)=c_{0}+c_{1}k+c_{2}k^{2}+c_{3}k^{3}+c_{4}k^{4}$

(mit Koeffizienten ${}c_{j}\in \mathbb {Q}$) mit

$P(1)=a_{1},\,P(2)=a_{2},\,P(3)=a_{3},\,P(4)=a_{4},\,P(5)=a_{5}.$

Man mache sich die Situation zunächst für die ersten ein, zwei, drei Elemente der Auflistung klar.

Aufgabe

Finde Parallelen zwischen Aussagen- und Quantorenlogik einerseits und Mengentheorie andererseits.

Aufgabe

Betrachte die „Definition“

Ein Hinz ist ein Kunz, dessen Schlonz ein Ranz ist,

und nehmen wir an, dass es sich um eine sinnvolle Definition handelt. Beantworte folgende Fragen.

1. Welcher Begriff wird neu eingeführt, welche sind schon bekannt?
2. Besitzt jeder Kunz einen Schlonz?
3. Besitzt jeder Hinz einen Schlonz?
4. Ist jeder Hinz ein Kunz?
5. Ist jeder Kunz ein Hinz?
6. Ist der Schlonz von jedem Kunz ein Ranz?
7. Ist der Schlonz von jedem Hinz ein Ranz?
8. Ist jeder Hinz ein Ranz?
9. Kann es einen Schlonz geben, der nicht zu einem Kunz gehört?
10. Wie kann man die Vermutung widerlegen, dass jeder Kunz ein Hinz ist?

Aufgabe

Es sei ${}M$ eine Menge von Aussagenvariablen und ${}S$ die damit definierte formale Sprache, also die Menge aller formalen Ausdrücke, die man von ${}M$ ausgehend mittels den Junktoren ${}\neg ,\wedge ,\vee ,\rightarrow ,\leftrightarrow$ und mit Klammern „sinnvoll“ basteln kann. Man gebe eine präzise induktive Definition für die Menge ${}S$.

(Man mache sich zunächst an Beispielen klar, was zu ${}S$ gehören soll und was nicht. Für Informatiker: man schreibe ein Computerprogramm, das aus ${}M$ alle Elemente von ${}S$ generiert.)