Inhalt

Im ersten Teil der Vorlesung werden wir auf das Standardmodell der Euklidischen Geometrie eingehen. Dies beinhaltet insbesondere affine Koordinatensysteme und affine Abbildungen. Dieser "analytische" Teil soll im weiteren Verlauf der Vorlesung als Anschauung dienen. Es wird ein Grundverständnis der zugrundeliegenden algebraische Strukturen wie Körper und Vektorräume vorausgesetzt.

Den längeren Teil der Vorlesung werden wir uns im Anschluss mit der "synthetischen Geometrie" befassen. Die (moderne) synthetische Geometrie geht von axiomatisch formulierten "geometrischen" Grundsätzen aus, die die geometrischen Objekte, Punkte, Geraden, Ebenen usw. implizit durch ihre Beziehungen zueinander definieren, und untersucht die logischen Abhängigkeiten zwischen unterschiedlich formulierten Axiomensystemen.

Grundlage unserer Betrachtung wird Hilberts Axiomensystem der Euklidischen Geometrie sein. Diese Axiome kann man in folgende Klassen einteilen:

• Inzidenzaussagen (z.B." Je zwei verschiedene Punkte liegen auf einer Geraden" )
• Anordnungsaussagen (z.B. "Der Punkt C liegt zwischen den Punkten A und B" )
• Kongruenzaussagen (z.B. " zwei Strecken sind gleichlang " )
• Parallelitätsaussagen (z.B. " zwei Geraden sind parallel " )

Zur vertiefenden Anschauung und zum Verständnis wird der eigenständige Gebrauch der interaktiven Geometriesoftware Cinderella (www.cinderella.de) empfohlen.