Weak compactness in \(L_ \infty(\mu,X)\) (Q1340841)

The author gives a characterization of relatively weakly compact subsets of \(L_\infty (\mu, X)\), where \(X\) is a Banach space and the underlying set is \(\Omega\) with measure \(\mu\) and measurable sets \(\Sigma\). The result is analogous to the result given in \textit{J. Diestel}, \textit{W. M. Ruess} and \textit{W. Schachermayer} [Proc. Am. Math. Soc. 118, No. 2, 447- 453 (1993; Zbl 0785.46037] for \(L_p (\Omega, \Sigma, \mu, X)\) when \(1\leq p< \infty\). The measure space is a positive and finite measure space. There are four equivalent conditions; I will state one and refer to the paper for the other three. A set \(K\) is relatively weakly compact iff for all \((f_n )_{n\in \mathbb{N}} \subseteq K\), there exists a subsequence \((f_{n_m} )_{m\in \mathbb{N}} \subseteq L_\infty (\mu, X)\), a function \(f\in L_\infty (\mu, X)\), a subset \(N\subseteq \Omega\), with \(\mu (N) =0\), such that \[ \forall \omega\in \Omega\setminus N, f_{n_m} (\omega)\to f(\omega) \quad \text{weakly} \] and for all sequences \((x^*_j) \subseteq B(X^*)\), \((\omega_j) \subseteq \Omega \setminus N\), there exist subsequences \((x^*_{j_k})\), \((\omega_{j_k})\) such that \[ \lim_{m\to \infty} \lim_{k\to\infty} \langle (f_{n_m}- f) (\omega_{j_k}), x^*_{j_k} \rangle =0. \] Here \(X^*\) is the dual of \(X\) and \(B(X^*)\) denotes the unit ball of the space \(X^*\). He also gives a characterization of weakly null sequences in \(L_1 (\mu, X)^*\) and in \(L_\infty (\mu, X)\) which are similar. For example, let \((f_n )_{n\in \mathbb{N}} \subseteq L_1 (\mu, X)^*\) be a bounded sequence. Then \(f_n\) converges weakly to 0 iff there exists a weakly compact subset \(K\subseteq c_0\) and a measurable set \(N\) with measure \(\mu (N)=0\), such that \((|\langle f_n (\omega), x^{**} \rangle |)_{n\in \mathbb{N}} \in K\) for all \(\omega\in \Omega \setminus N\), \(x^{**}\in B(X^{**})\). The same result holds for \(L_\infty (\mu, X)\) if \(x^{**}\in B(X^{**})\) is replaced by \(x^*\in B(X^*)\).