Take-aways
- z.B. oder abzählbar, weil du beginnen könntest, alle Elemente aufzuzählen. Bei z.B. geht das nicht.
- Unendliche Mengen
- Endliche Mengen
- , wenn
- Endliche Mengen sind immer countable
Quick-Checks
- , nicht abzählbar
- , nicht abzählbar
- , abzählbar
Arten von Mengen:
- Endliche Mengen {1,2}
- Unendliche abzählbare Mengen (, , endliche Bitstrings: )
- Unendliche überabzählbare Mengen: , und
ist abzählbar, damit gemeint sind alle endlichen Folgen aus 0 und 1, also 0, 1, 01, 10, 001, 1110 ist unabzählbar, damit gemeint sind alle unendlichen Folgen aus 0 uns 1, also 0101010101… unendlich halt
Beweise
Beweis, Abzählbarkeit der Menge S:
- Finde abzählbare Menge A, z.B.
- Muss mit Lemma begründet werden z.B. ist abzählbar
- Finde injektive Funktion
- Beweise, dass f injektiv ist
- Beweise, dass gilt für alle
Beweis, dass S überabzählbar ist:
- Finde überabzählbare Menge B, z.B. (vom TA empfohlen)
- Finde injektive Funktion
- Beweise, dass f injektiv ist
- Beweise, für alle
Beweise equinumerity (Gleichmächtigkeit): A ~ B
-
Finde bijektive Funktion
-
Beweise, dass f injektiv und surjektiv ist
→ Aufgabe Zig aus der Übung (scroll down)
Überabzählbarkeit
Cantors Diagonalisierung