Übungen zur Vorlesung Analysis 1 2. Serie

Wintersemester 2017/18
A. Hinrichs, E. Lindner, M. Ullrich
Übungen zur Vorlesung Analysis 1
2. Serie
Ankreuzen vor der Übung am 12.10.2017
Aufgabe 9 Mengen I
Es seien die folgenden Mengen gegeben:
X1
:= {y ∈ Z : y ist gerade}
X2
:= {y ∈ Z : es gibt ein z ∈ Z mit y2 + z2 ≤ 2}
X3
:= {y ∈ Z : y ist durch 6 teilbar}
X4
:= {y ∈ Z : (y4 + y2 − 2)(y2 − 2y) = 0}
X5
:= {y ∈ Z : 3y2 ist durch 4 teilbar}
Bestimmen Sie X1 ∩ X2 , X3 ∪ X5 , X1 \ X3 und X2 × X4 .
Aufgabe 10 Mengen II
Wir benutzen die gleichen Mengen wie in der vorhergehenden Aufgabe. Für welche i, j ∈ {1, 2, 3, 4, 5}
mit i , j gilt Xi ⊆ X j ?
Aufgabe 11 deMorgansche Regeln
Ist A Teilmenge einer gegebenen Grundmenge X, so schreiben wir kurz A = X \ A für das Komplement
von A in X. Seien A, B Teilmengen einer Grundmenge X. Veranschaulichen Sie sich an einem VennDiagramm die folgenden deMorgan-Regeln und beweisen Sie diese.
(a) A ∩ B = A ∪ B
(b) A ∪ B = A ∩ B
(c) An welchem College studierte deMorgan?
Aufgabe 12 Wahrheitstafeln
Seien A, B, C beliebige Aussagen. Zeigen Sie die folgenden Tautologien mittels Wahrheitstafeln.
(a) A ∨ (B ∧ C) ⇐⇒ (A ∨ B) ∧ (A ∨ C)
(b) ¬(A ∨ B) ⇐⇒ (¬A ∧ ¬B)
Aufgabe 13 Mathematische vs. natürliche Sprache
Verneinen Sie in kurzen und grammatikalisch korrekten Worten folgende Aussagen:
(a) Es gibt ein schwarzes Schaf, das gerne Salat frisst.
(b) Alle Studierenden der Analysis sind intelligent und fleißig.
(c) In der Analysisvorlesung schläft Tom und schaut aus dem Fenster.
Aufgabe 14 Beweisen
Überlegen Sie sich, ob die Antwort auf die folgende Frage ja oder nein lautet:
Ist das Produkt dreier aufeinanderfolgender natürlicher Zahlen immer durch 6 teilbar?
Formulieren Sie einen entsprechenden mathematischen Satz. Was ist die Voraussetzung? Was ist die
Behauptung? Geben Sie einen Beweis dieses Satzes.
Aufgabe 15 Quantoren
Formalisieren Sie die folgenden Sprichwörter und formulieren Sie die Negation der folgenden Aussagen.
(a) Hunde, die bellen, beißen nicht.
(b) Wenn sich zwei streiten, freut sich der Dritte.
Beispiel: Das Sprichwort Alle Wege führen nach Rom kann folgendermaßen formalisiert werden. Sei X
eine betrachtete Menge von Objekten (Städte, Menschen, Tiere, Wege etc.). Sei Weg(x) die Aussage x
ist ein Weg. Sei NachRom(x) die Aussage x führt nach Rom. Dann ist das obige Sprichwort formalisiert
durch
∀x ∈ X : Weg(x) ⇒ NachRom(x)
und die Negation
∃x ∈ X : Weg(x) und nicht NachRom(x)
oder noch ein bißchen formaler
∃x ∈ X : Weg(x) ∧ ¬NachRom(x)
oder in Umgangssprache Mindestens ein Weg führt nicht nach Rom.
Aufgabe 16 geordnete Paare
Man kann
Paare auch rein mengentheoretisch (aber etwas schwerfällig) definieren durch
n geordnete
o
(x, y) := x, {x, y} . Zeigen Sie, dass dann die Forderung
(x1 , y1 ) = (x2 , y2 ) ⇐⇒ x1 = x2 und y1 = y2
tatsächlich gilt.