Schema der koeuklidischen Geometrie der Ebene. (Q2599647)

In einer unbegrenzten Kreiszylinderfläche werden die Schnitte durch die Ebenen und Geraden eines Bündels betrachtet, dessen Scheitel \(O\) der Achse des Zylinders angehört; ausgeschlossen werden die Schnitte mit den die Zylinderachse enthaltenden Ebenen des Bündels. Als ``Punkt'' wird der Schnitt einer Geraden des Bündels mit der Zylinderfläche, als ``Gerade'' der Schnitt mit einer Ebene des Bündels bezeichnet. Die Zylinderfläche wird auf eine Ebene abgewickelt. Als \(x\)-Achse wird in dieser Ebene der abgewickelte Schnitt mit der durch \(O\) gelegten Normalebene zur Achse des Zylinders und als \(y\)-Achse eine beliebige Erzeugende der Zylinderfläche genommen. Dann sind die Punkte der ``koeuklidischen'' Geometrie der Ebene die durch die Ausdrücke \(x=k\pm \dfrac {\pi }{2}\), \(y=\pm h\) dargestellten Punktpaare und die Geraden die durch die Funktion \(y = A\,\cos \,x + B\,\sin \,x\) dargestellten Kurven (\(k, h, A, B\) veränderliche Parameter). Verf. beweist, daß seine koeuklidische Geometrie der gewöhnlichen euklidischen Geometrie der Ebene äquivalent ist, wenn man die Punkte der koeuklidischen Geometrie den Geraden der euklidischen und die Geraden der koeuklidischen Geometrie den Punkten der euklidischen Geometrie zuordnet. In der koeuklidischen Geometrie geht durch zwei Punkte mit derselben Abszisse keine Gerade. Zwei solche Punkte werden ``parallel'' genannt. Dann entspricht dem euklidischen Parallelenaxiom das Axiom: \ In einer Geraden \(a\), die den Punkt \(A\) nicht enthält, gibt es einen und nur einen zu \(A\) parallelen Punkt \(A'\). Verf. führt die duale Äquivalenz der beiden Geometrien noch weiter aus.