Some notes on the separation of convex sets. (Q2580902)

Zwei konvexe Mengen \(A\), \(B\) eines Banachraumes werden durch eine Ebene getrennt, wenn es ein lineares Funktional \(f(x)\) gibt mit \(f(x)\geq c\) für \(x\in A\) und \(f(x)\leq c\) für \(x\in B\). In Verallgemeinerung von Sätzen von \textit{S. Mazur} [Studia Math., Lwów, 4, 70--84 (1933; JFM 59.1074.01)] und \textit{M. Eidelheit} [Studia Math., Lwów, 6, 104--111 (1936; JFM 62.1235.02)] wird bewiesen: Ist \(A\) offen und \(B\) beliebig, so gibt es eine trennende Ebene. Ist \(A\) eine abgeschlossene und beschränkte Teilmenge eines reflexiven Raumes und \(B\) beliebig, so gibt es eine trennende Ebene. Ferner wird im Hilbertschen Raum eine konvexe abgeschlossene Teilmenge und eine Gerade angegeben, zu denen es keine trennende Ebene gibt. Ferner gibt Verf. in einem Banachraum ein Beispiel zweier beschränkter konvexer Teilmengen, von denen eine abgeschlossen ist ohne trennende Ebene. Schließlich wird gezeigt, daß jeder unendlichdimensionale Banachraum die Vereinigung zweier disjunkter konvexer überall dichter Mengen ist.