Eine neue Liniengeometrie in der Ebene. (Q1489618)

``Wählt man als Raumelement die Gerade, so hat man in der projektiven ebenen Geometrie die Gesamtheit der reellen eigentlichen Geraden durch eine einzige unendlich ferne oder uneigentliche Gerade abzuschließen. Dann gilt ausnahmelos der Satz: Zwei getrennte Punkte besitzen stets eine einzige Verbindungsgerade. Der Pol der uneigentlichen Geraden in bezug auf einen irreduziblen Kegelschnitt ist der Mittelpunkt usw. Es drängt sich nun die Frage auf, ob diese Ergänzung des Kontinuums der eigentlichen reellen Geraden die einzig mögliche ist, oder ob der projektiven Liniengeometrie noch eine andere Geometrie an die Seite gestellt werden kann, in der uneigentliche Elemente anders definiert werden. Wir werden sehen, daß es in der Tat eine solche Geometrie gibt; die zweifach ausgedehnte Mannigfaltigkeit aller reellen eigentlichen Geraden oder, wie wir dann sagen werden, Strahlen wird dabei durch eine einfach ausgedehnte Mannigfaltigkeit von uneigentlichen Strahlen abgeschlossen. Wir wollen die Grundzüge dieser neuen Geometrie entwickeln, wobei es zweckmäßig erscheint, auch das Verfahren, welches die uneigentliche Gerade der projektiven Liniengeometrie liefert, ausführlich auseinanderzusetzen. Alles folgende bezieht sich nur auf das reelle Gebiet.''