Take-aways

  • z.B. oder abzählbar, weil du beginnen könntest, alle Elemente aufzuzählen. Bei z.B. geht das nicht.
  • Unendliche Mengen
    • Equinumerous, wenn es eine Bijektion gibt, Zeichen
      • A und B sind gleich mächtig
    • B dominiert A, wenn es eine Injektion von A nach B gibt, Zeichen
    • countable, wenn equinumerous zu
    • ist eine Äquivalenzrelation
  • Endliche Mengen
    • , wenn
    • Endliche Mengen sind immer countable

Quick-Checks

  • , nicht abzählbar
  • , nicht abzählbar
  • , abzählbar

Arten von Mengen:

  1. Endliche Mengen {1,2}
  2. Unendliche abzählbare Mengen (, , endliche Bitstrings: )
  3. 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