Einbettung von topologischen Raumgeometrien auf \(R^ 3\) in den reellen affinen Raum (Q789006): Difference between revisions

A topological space geometry \({\mathcal R}\) is given by a family \({\mathfrak L}\) of 1-manifolds (lines) and a family \({\mathcal E}\) of 2-manifolds (planes) in a point set \(M\approx {\mathbb{R}}^ 3\) satisfying a few natural incidence and continuity axioms, see \textit{D. Betten} [Simon Stevin 55, 221-235 (1981; Zbl 0477.51012) (condition (6) in the review should read: The set of pairs of interesting lines is open in the set of all coplanar pairs)]. The authors show that Desargues' theorem holds in \({\mathcal R}\) whenever all necessary intersection points exist. They can then use ideas of H. Busemann to prove that \({\mathcal R}\) is isomorphic to the geometry in a convex subset \(K\subseteq {\mathbb{R}}^ 3\) (with the ordinary lines and planes). Moreover, Aut \({\mathcal R}\) is a Lie group of dimension at most 12. It is induced by all collineations of \(P_ 3{\mathbb{R}}\) which map K onto itself.