Schwache Kompaktheit in den Banachschen Räumen. (Q2587233)

Eine Folge \(f_n(x)\) von reellen auf einer Menge \(G\) erklärten Funktionen konvergiert quasigleichmäßig auf \(G\) nach Null, wenn für jedes \(x \in G\) \(f_n(x) \to 0\) und wenn zu jedem \(\varepsilon > 0\) und jeder Zahl \(N\) endlich viele \(n_i > N\) existieren, so daß die Mengen \(U_i\) aller \(x\) mit \(|f_{n_i}(x)| < \varepsilon\) die Menge \(G\) überdecken. -- Es sei \(E\) ein separabler Banachraum. Damit \(G \in E\) schwach kompakt ist, ist notwendig und hinreichend, daß für jede bezüglich \(E\) schwach gegen Null konvergente Folge \(f_n \in E^*\) \(f_n (x)\) quasigleichmäßig auf \(G\) nach Null konvergiert. -- \(U\) sei ein linearer Operator, der \(E\) in einen Teil des separablen Banachraumes \(E_1\) überführt. \(U\) ist dann und nur dann schwach vollstetig, wenn der konjugierte Operator \(f = U^* (g)\) jede bezüglich \(E_1\) schwach konvergente Folge aus \(E_1^*\) in eine bezüglich \(E^{**}\) schwach konvergente Folge in \(E^*\) überführt. Weitere Sätze ähnlicher Art und Spezialfälle werden betrachtet. Ohne Beweise.