On Leibniz's definition of planes. (Q2584123)

Es sei \(\mathfrak R\) ein metrischer Raum. Mit \(m (A, B)\) werde die Menge aller Punkte \(X\in \mathfrak R\) bezeichnet, welche von \(A\) und \(B\) gleiche Entfernung besitzen: \(\| A, X\| = \|B, X\|\). (Vgl. die Leibnizsche Definition der Ebene.) Es wird bewiesen: I) Ist \(\mathfrak R\) konvex, nach außen konvex und hat jede beschränkte Punktfolge aus \(\mathfrak R\) einen Häufungspunkt (Bolzano-Weierstraß), so ist \(\mathfrak R\) kongruent zu einem euklidischen oder hyperbolischen Raume endlicher Dimension, falls in \(m (A, B)\) mit irgend zwei Punkten \(X\), \(Y\), wobei \(X \not = Y\), jede ``Gerade'' durch \(X\) und \(Y\) enthalten ist. Dabei wird unter einer ``Geraden'' (in \(\mathfrak R\)) jede zur euklidischen Gerade kongruente Teilmenge von \(\mathfrak R\) verstanden; die Konvexität bzw. Konvexität nach außen von \(\mathfrak R\) fordert zu beliebigen \(X\), \(Y \in \mathfrak R\) mit \(X \not = Y\) die Existenz eines \(Z \in \mathfrak R\) bzw. \(V\), \(W \in \mathfrak R\) 9l mit \newline \(\|X, Z \|+ \|Z, Y\|= \|X, Y \|\) bzw. mit \(\| V, X \| + \| X, Y\| = \| V, Y \|\)\newline und \(\| X, Y \| + \| Y, W \| = \| X, W\|\) (\(Z\not = X, Y\), ebenso \(V\) und \(W\not = X, Y\)). \newline 2) Gilt in \(\mathfrak R\) der Bolzano-Weierstraßsche Satz und lassen sich zwei beliebige verschiedene Punkte aus \(\mathfrak R\) durch genau eine ``Gerade'' verbinden, existiert ferner die ``volle Drehungsgruppe um jede Gerade'', so ist \(\mathfrak R\) kongruent zu einem euklidischen oder hyperbolischen Raume endlicher Dimension. Diese Rotationen existieren immer, wenn zwei beliebige kongruente Punkttripel aus \(\mathfrak R\) durch eine entfernungstreue eindeutige Abbildung des Raumes \(\mathfrak R\) in sich ineinander überführbar sind.