Sur les ensembles régulièrement fermés et faiblement compacts dans l'espace du type \((B)\). (Q2596511): Difference between revisions

Sätze aus einer früheren Note (\textit{V. Gantmakher, V. Šmulian}, C. R. Acad. Sci. URSS (2) 17 (1937), 91-94; F. d. M. \(63_{\text I}\), 350) erfahren hier eine gewisse Abrundung: Eine Teilmenge \(M\) eines Raumes \(E\) vom Typ \((B)\) ist dann und nur dann schwach kompakt, wenn jede Teilfolge \(\{x_n\}\) von \(M\) ``im Mittel'' konvergiert, d. h., ein \(x^*\subset E\) existiert mit \(\varliminf f(x_n)\leqq f(x^*)\leqq\varlimsup f(x_n)\) für jedes \(f\subset \overline{E}\). -- Ein separabler Teilraum von \(\overline{E}\) ist dann und nur dann regulär abgeschlossen, wenn seine Einheitskugel schwach kompakt ist. -- Die Bedingung, daß die Einheitskugel von \(E\) schwach kompakt sei, ist gleichwertig mit jeder der folgenden Aussagen: (1) Ein beliebig vorgegebenes abzählbares System von Gleichungen \(f_\nu (x) = C_\nu\) hat eine Lösung \(x = x_0\subset E\) mit \(|x_0|\leqq\mu\), wenn und nur wenn \(\left|\sum\limits_1^n C_\nu\lambda_\nu\right|\leqq\mu\left|\sum\limits_1^n f_\nu\lambda_\nu\right|\) gilt für beliebige \(\lambda_1,\ldots,\lambda_n\) und \(n\). (2) Jeder abgeschlossene separable lineare Teilraum von \(\overline E\) ist regulär abgeschlossen.