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.
Übung
- Übungsblatt, Abgabetermin: 25. Oktober 2006.
- Übungsblatt, Abgabetermin: 6. November 2006.
- Übungsblatt, Abgabetermin: 13. November 2006.
- Übungsblatt, Abgabetermin: 20. November 2006.
- Übungsblatt, Abgabetermin: 27. November 2006.
- Übungsblatt, Abgabetermin: 4. Dezember 2006.
- Übungsblatt, Abgabetermin: 11. Dezember 2006.
- Übungsblatt, Abgabetermin: 18. Dezember 2006.
- Übungsblatt, Abgabetermin: 8. Januar 2007.
- Übungsblatt, Abgabetermin: 15. Januar 2007.
- Übungsblatt, Abgabetermin: 22. Januar 2007.
- Übungsblatt, Abgabetermin: 29. Januar 2007.
- Übungsblatt, Abgabetermin: 5. Februar 2007.
Last changed: February 2, 2007