Weakly compact sets in \(L^{\infty }(\mu,E)\) (Q444893)

In the 90s, \textit{G. Schlüchtermann} [J. Funct. Anal. 125, No. 2, 379--388 (1994; Zbl 0828.46036); Stud. Math. 116, No. 3, 271--281 (1995; Zbl 0851.46024)] and \textit{J. Diestel, W. M. Ruess} and \textit{W. Schachermayer} [Proc. Am. Math. Soc. 118, No. 2, 447--453 (1993; Zbl 0785.46037)] provided a description of weakly compact sets in the space of Bochner integrable functions, \(L^{\infty}(\mu,E)\) and \(L^1(\mu,E)\), for a Banach space \(E\). Nearly 20 years later, in this nice paper, the author uses lifting arguments to provide simpler proofs of these results. Consider a finite, complete measure space \((X,{\mathcal A},\mu)\) along with a lifting \(\rho\). This gives a topology \(\tau_{\rho}\) on \(X\) making it an extremely disconnected Baire space and when you remove a null set from \(X\), the relative topology has the same property and first category sets are null sets. Thus, via Osgood's theorem, after removing a suitable null set \(Q\), a vector-valued bounded measurable function can be treated as a continuous function. Now the idea is to relate (Lemma 1) weak convergence in \(C_b((X-Q) \times E^{\ast}_1)\) (where \(E^\ast_1\) is the dual unit ball with the weak\(^{\ast}\)-topology) with pointwise convergence of suitable functions on a compact set. This allows the author to prove (Theorem 2) that a bounded set \(K \subset L^\infty(E)\) is relatively weakly compact if and only if for any sequence \(\{f_n\} \subset K\), there are a subsequence (still denoted by \(\{f_n\}\)), \(\mu\)-null set \(Q\), \(f \in L^\infty(E)\) such that for any sequence \(\{(x_i,h_i)\} \subset (X-Q) \times E^\ast_1\), there is a subsequence (still denoted by \(\{(x_i,h_i)\})\), such that \(\lim_{n \rightarrow \infty} \lim_{i \rightarrow \infty}h_i ((f_n - f)(x_i)) = 0\).