Convexity in topological affine planes (Q2464359)

Die Verfasser beweisen die Standardsätze der Konvexitätstheorie in topologischen affinen Ebenen \(E\), wobei sie dabei in den Grünbaummodellen dieser Ebenen arbeiten. Den aufwendigsten Beweis verlangt der Trennungssatz, nach welchem zwei disjunkte kompakte konvexe Mengen in \(E\) durch eine Gerade von \(E\) voneinander getrennt werden können. Die Sätze von Radon und Helly werden wie in der Euklidischen Ebene bewiesen, für den Satz von Carathéodory werden subtilere Argumente gebraucht. Als Korollare des Satzes von Carathéodory folgen der Satz von Kirchberger sowie die Tatsache, dass die konvexe Hülle einer kompakten Menge in \(E\) kompakt ist. Darüber hinaus wird gezeigt, dass jede kompakte konvexe Menge in \(E\) die konvexe Hülle ihrer Extremalpunkte ist.