On regularly convex sets. (Q2582314)

Es wird eine Neubegründung der von \textit{M. Krein} u. \textit{V. Šmulian} (Ann. Math. Princeton, (2) 41 (1940), 556-583; F. d. M. 66, 533 (JFM 66.0533.*)) gegebenen Theorie der regulär konvexen Mengen gegeben. Es wird folgende Dualität bewiesen: \(X\) sei eine Teilmenge des Banachraumes \(E\). \(X^*\) sei die Menge aller \(f\in\overline E\) mit \(\sup\limits_{x\in X} f(x)\leqq 1\). Analog sei für \(F\subseteqq \overline E\) die Menge aller \(x \in E\) mit \(\sup\limits_{f\in F} f(x) \leqq 1\) mit \(F'\) bezeichnet. Es ist \(X^{*\prime}\) die Abschließung im Sinn der Metrik der konvexen Hülle von \(X\) und dem Nullvektor \(0, F'^*\) ist die Abschließung im Sinn der schwachen Topologie in \(\overline E\) von \(F\) und 0. Ist \(F \supseteqq 0\) regulär konvex, so ist \(F'\) stark abgeschlossen konvex und \(\supseteqq 0\), \(F'^* = F\). Geht man von einer stark abgeschlossenen und konvexen Menge \(X\supseteqq 0\) aus, so ist analog \(X^*\supseteqq 0\) und regulär konvex und \(X'^* = X\). Ferner wird folgender Satz von \textit{Krein} und \textit{Milman} (Studia math., Léopol, 9 (1940), 133-138; F. d. M. 66, 533 (JFM 66.0533.*)) neu bewiesen: Ist die beschränkte Menge \(F \subseteqq \overline E\) regulär konvex, so hat \(F\) extreme Punirte \(f_0\), d. h. Punkte, für die \(f_0\neq \frac12(g + h)\) ist, \(g,h\in F\), \(g\neq f_0\), \(h\neq f_0\).