• Keine Ergebnisse gefunden

A := {Fortuna K¨ oln, 1860 M¨ unchen, RB Leipzig, 1899 Hoffenheim, Bonner SC}

N/A
N/A
Protected

Academic year: 2021

Aktie "A := {Fortuna K¨ oln, 1860 M¨ unchen, RB Leipzig, 1899 Hoffenheim, Bonner SC}"

Copied!
4
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Mathematische Grundlagen Prof. Dr. Peter Becker Fachbereich Informatik Wintersemester 2016/17 9. Dezember 2016

Aufgabenblatt 10

Aufgabe 1 (Operationen auf Mengen)

Gegeben seien die folgenden Mengen:

A := {Fortuna K¨ oln, 1860 M¨ unchen, RB Leipzig, 1899 Hoffenheim, Bonner SC}

B := {RB Leipzig, Bonner SC, FC Liverpool}

C := {CF Barcelona}

D := ∅

Bilden Sie die folgenden Mengen: A ∩ B, D ∪ B, B × C, C × B, P (B), D \ C. (3 Punkte) L¨ osung:

A ∩ B = {RB Leipzig, Bonner SC}}

D ∪ B = B = {RB Leipzig, Bonner SC, FC Liverpool}

B × C = {(RB Leipzig, CF Barcelona), (Bonner SC, CF Barcelona), (FC Liverpool, CF Barcelona)}

C × B = {(CF Barcelona, RB Leipzig), (CF Barcelona, Bonner SC), (CF Barcelona, FC Liverpool)}

P (B) = {∅, {RB Leipzig}, {Bonner SC}, {FC Liverpool}, {RB Leipzig, Bonner SC}, {RB Leipzig, FC Liverpool}, {Bonner SC, FC Liverpool},

{RB Leipzig, Bonner SC, FC Liverpool}}

D \ C = ∅

Aufgabe 2 (Verkn¨ upfungseigenschaften)

Es seien A, B, D Mengen. Zeigen Sie:

(a) (A ∩ B)

C

= A

C

∪ B

C

(b) A ∩ (B ∪ D) = (A ∩ B) ∪ (A ∩ D) (c) A × (B ∪ D) = (A × B) ∪ (A × D) (d) A ∪ B = B ⇔ A ⊆ B

Es seien A

1

, . . . , A

n

Mengen. Zeigen Sie:

(e)

n

\

i=1

A

i

!

C

=

n

[

i=1

A

Ci

Hinweis: vollst¨ andige Induktion (je 2 Punkte)

(2)

L¨ osung:

(a)

x ∈ (A ∩ B )

C

⇔ ¬(x ∈ A ∩ B)

⇔ ¬(x ∈ A ∧ x ∈ B)

⇔ ¬(x ∈ A) ∨ ¬(x ∈ B)

⇔ x ∈ A

C

∨ x ∈ B

C

⇔ x ∈ A

C

∪ B

C

(b)

x ∈ A ∩ (B ∪ D) ⇔ x ∈ A ∧ x ∈ B ∪ D

⇔ x ∈ A ∧ (x ∈ B ∨ x ∈ D)

⇔ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ D)

⇔ (x ∈ A ∩ B) ∨ (x ∈ A ∩ D)

⇔ x ∈ (A ∩ B) ∪ (A ∩ D) (c)

(x, y) ∈ A × (B ∪ D) ⇔ x ∈ A ∧ y ∈ B ∪ D

⇔ x ∈ A ∧ (y ∈ B ∨ y ∈ D)

⇔ (x ∈ A ∧ y ∈ B) ∨ (x ∈ A ∧ y ∈ D)

⇔ (x, y) ∈ A × B ∨ (x, y) ∈ A × D

⇔ (x, y) ∈ (A × B) ∪ (A × D) (d) “⇐”: Es gelte A ⊆ B, d. h. ∀x : x ∈ A ⇒ x ∈ B. Damit folgt:

x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B

⇒ x ∈ B ∨ x ∈ B

⇒ x ∈ B Also A ∪ B ⊆ B .

Weiterhin gilt immer B ⊆ A ∪ B (siehe Satz 5.9 (5)).

Also A ∪ B = B.

“⇒”: Wir zeigen diese Richtung mit einem indirekten Beweis, d. h. wir zeigen:

A * B ⇒ A ∪ B 6= B A * B ⇒ ∃x : x ∈ A ∧ x / ∈ B.

Wegen x ∈ A folgt x ∈ A ∪ B.

Also gilt x ∈ A ∪ B ∧ x / ∈ B und somit A ∪ B 6= B.

(e) n = 1:

1

\

i=1

A

i

!

C

= (A

1

)

C

= A

C1

=

1

[

i=1

A

Ci

2

(3)

n → n + 1:

n+1

\

i=1

A

i

!

C

=

A

n+1

n

\

i=1

A

i

| {z }

:=B

C

= (A

n+1

∩ B)

C

(a)

= A

Cn+1

∪ B

C

= A

Cn+1

n

\

i=1

A

i

!

C

I.V.

= A

Cn+1

n

[

i=1

A

Ci

=

n+1

[

i=1

A

Ci

Aufgabe 3 (Beweis f¨ ur Mengengleichheit)

(a) Zeigen Sie:

{7m − 8|m ∈ Z } = {7m + 13|m ∈ Z }

(3 Punkte) (b) F¨ ur i ∈ N sei A

i

= {x ∈ R |1 −

1i

≤ x ≤ 2 +

1i

}. Zeigen Sie:

\

i=1

A

i

= {x ∈ R |1 ≤ x ≤ 2}

Hinweis: Dies ist der Beweis zu Beispiel 5.8. (4 Punkte) L¨ osung:

(a)

x ∈ {7m − 8|m ∈ Z } ⇔ ∃m ∈ Z : x = 7m − 8

⇔ ∃m ∈ Z : x = 7m − 21 + 21 − 8

⇔ ∃m ∈ Z : x = 7m − 3 · 7 + 13

⇔ ∃m ∈ Z : x = 7(m − 3) + 13

⇔ ∃m

0

∈ Z : x = 7m

0

+ 13

⇔ x ∈ {7m + 13|m ∈ Z } (b) “⊇”:

x ∈ {x ∈ R |1 ≤ x ≤ 2} ⇒ x ≥ 1 ∧ x ≤ 2

⇒ x ≥ 1 − 1

i ∧ x ≤ 2 + 1

i f¨ ur alle i ∈ N

⇒ x ∈ A

i

f¨ ur alle i ∈ N

⇒ x ∈

\

i=1

A

i

3

(4)

“⊆”: Diese Richtung zeigen wir indirekt, d. h. wir zeigen:

x / ∈ {x ∈ R |1 ≤ x ≤ 2} ⇒ x / ∈

\

i=1

A

i

Sei x ∈ R . Aus x / ∈ {x ∈ R |1 ≤ x ≤ 2} folgt x < 1 ∨ x > 2.

1. x > 2

Dann gilt x − 2 > 0. W¨ ahle i ∈ N mit i >

x−21

. i > 1

x − 2 ⇒ x − 2 > 1 i

⇒ x > 2 + 1 i

⇒ x / ∈ A

i

⇒ x / ∈

\

i=1

A

i

2. x < 1

Dann gilt 1 − x > 0. W¨ ahle i ∈ N mit i >

1−x1

. i > 1

1 − x ⇒ 1 − x > 1 i

⇒ x − 1 < − 1 i

⇒ x < 1 − 1 i

⇒ x / ∈ A

i

⇒ x / ∈

\

i=1

A

i

4

Referenzen

ÄHNLICHE DOKUMENTE

Peter Becker Fachbereich Informatik Wintersemester

Peter Becker Fachbereich Informatik Wintersemester 2016/17 1... Induktionsschritt:

Peter Becker Fachbereich Informatik Wintersemester 2016/17 9..

• Geben Sie deutlich lesbar Ihre Matrikelnummer an (Namen sind optional). • Heften Sie Ihre Bl¨

Peter Becker Fachbereich Informatik Wintersemester 2016/17 15..

Peter Becker Fachbereich Informatik Wintersemester 2015/16 17.. November 2015 in

Ottaviano (Publius Vergilius Maro, Bucolica et Georgica, herausgegeben von Silvia Ottaviano und Gian Biagio Conte, Berlin 2013). Die erste Sitzung wird am 19. Dies wusste

Modul 04-026-1001 Grundlagen Methode und Sprache (1. Semester) V Einführung in das Studium der Dr. Semester) V Kaiserzeitliche römische Epik Dr.. Semester) V