Embedding geometric lattices with topology (Q1078803): Difference between revisions

[Das Referat bezieht sich auf diese und die vorhergehende Arbeit.] In dieser zweiten Arbeit wird der folgende Hauptsatz bewiesen: Sei \(G\) ein nicht-diskreter topologischer \(n\)-Raum mit \(n\geq 3\), dessen Geraden mindestens 3 Punkte enthalten. Dann gibt es eine starke Einbettung [vgl. \textit{W. M. Kantor}, J. Comb. Theory, Ser. A 17, 173--195 (1974; Zbl 0302.06018)] von \(G\) als offene Teilmenge in einen topologischen projektiven Raum der Dimension \(n\) (über einem topologischen Körper). Zum Beweis wird zunächst gezeigt, daß das Intervall \([p,1]\) für jeden Punkt \(p\) ein desarguesscher projektiver Raum der Dimension \(n-1\) ist ((3.3)). Das Einbettungsproblem für \(G\) wird auf ein lokales Problem reduziert ((4.3)), und dieses wird durch eine ''Zwei-Tafel-Projektion'' gelöst. Als Korollar erhält man (4.6): Ist \(G_ 0\) lokalkompakt und zusammenhängend, so ist \(G\) isomorph zu einer offenen Teilgeometrie eines projektiven Raumes der Dimension \(n\) über \(\mathbb R\), \(\mathbb C\) oder \(\mathbb H\), und der reelle Fall ist dadurch gekennzeichnet, daß die Geraden lokal homöomorph zu \(\mathbb R\) sind. Zum reellen Fall vgl. auch die geometrische Konvexitätstheorie bei \textit{J. Cantwell} [Bull. Inst. Math., Acad. Sin. 2, 289--307 (1974; Zbl 0293.52001)] und [ibid. 6, 303--311 (1978; Zbl 0402.52001)] sowie \textit{J. Cantwell} und \textit{D. C. Kay} [Trans. Am. Math. Soc. 246, 211--230 (1978; Zbl 0402.52002)].