Mengenlehre I

Dozenten/Tutoren

Zeit und Ort

Vorlesung: Montag 14:00-16:00 und Mittwoch 13:00-15:00 Zeichensaal.
Übungsgruppe I: Dienstag 16:00-18:00 SRF.
Übungsgruppe II Donnerstag 12:00-14:00 SRF.

Inhalt

Die Zermelo-Fraenkelsche Mengenlehre (ZFC) axiomatisiert die Relation "x ist ein Element von y", x in y. Die gewöhnlichen mathematischen Begriffe lassen sich in dieser Theorie durch in-Formeln dergestalt formalisieren, dass sich in ZFC die Grundeigenschaften der betrachteten Begriffe beweisen lassen. In diesem Sinne leistet die Zermelo-Fraenkelsche Mengenlehre eine Grundlegung der Mathematik. Das System ZFC ist allerdings unvollständig, es gibt in-Sätze, die sich in ZFC nicht entscheiden lassen. Insbesondere ist die Cantorsche Kontinuumshypothese, die eine Aussage über die Kardinalität der Menge der reellen Zahlen macht, von den Zermelo-Fraenkelschen Axiomen unabhängig.

Die Vorlesung beginnt mit der Einführung der mengentheoretischen Axiome und der Entwicklung der Theorie der Ordinal- und Kardinalzahlen. Im zweiten Teil wird die Cohensche Erzwingungstechnik (Forcing) zur Konstruktion von verschiedenen Modellen der ZFC-Axiome eingeführt. Diese soll auf axiomatische Fragen über die Kontinuumshypothese und das Auswahlaxiom angewendet werden.

Im Sommersemester 2007 wird die Vorlesung mit einer Vorlesung Mengenlehre II und einem Seminar zur Mengenlehre fortgesetzt werden.

Materialien für ein Skriptum: Teil 1 Teil 2 Teil 3

Übung

  1. Übungsblatt, Abgabetermin: 25. Oktober 2006.
  2. Übungsblatt, Abgabetermin: 6. November 2006.
  3. Übungsblatt, Abgabetermin: 13. November 2006.
  4. Übungsblatt, Abgabetermin: 20. November 2006.
  5. Übungsblatt, Abgabetermin: 27. November 2006.
  6. Übungsblatt, Abgabetermin: 4. Dezember 2006.
  7. Übungsblatt, Abgabetermin: 11. Dezember 2006.
  8. Übungsblatt, Abgabetermin: 18. Dezember 2006.
  9. Übungsblatt, Abgabetermin: 8. Januar 2007.
  10. Übungsblatt, Abgabetermin: 15. Januar 2007.
  11. Übungsblatt, Abgabetermin: 22. Januar 2007.
  12. Übungsblatt, Abgabetermin: 29. Januar 2007.
  13. Übungsblatt, Abgabetermin: 5. Februar 2007.

Last changed: February 2, 2007