Operator measures and integration operators (Q1928401)

Let \(X\) and \(Y\) be a real Banach spaces. Denote by \(\left( \Omega ,\Sigma ,\mu \right) \) a complete finite measure space and by \(\mathcal{L}^{\infty }\left( \Sigma ,X\right) \) the Banach space of all bounded strongly \(\Sigma\)-measurable functions \(f:\Omega \rightarrow X\) equipped with the supremum norm. The function \(f:\Omega \rightarrow X\) is called \(\mu\)-measurable if, for some strongly \(\Sigma \)-measurable functions \(g:\Omega \rightarrow X\), we have \(f\left( \omega \right) =g\left( \omega \right) \) for \(\mu \)-a.e. \( \omega \in \Omega .\) The symbol \(\mathcal{L}^{\infty }\left( \mu ,X\right) \) stands for the space of \(\mu \)-measurable functions \(f:\Omega \rightarrow X\) equipped with the seminorm \(\left\| f\right\| _{\infty }=\text{ess} \sup_{\omega \in \Omega }\left\| f\left( \omega \right) \right\| _{X}\). The present paper is a continuation of [\textit{M. Nowak}, J. Math. Anal. Appl. 388, No. 1, 393--403 (2012; Zbl 1248.47035)], where operators \(T:\mathcal{L} ^{\infty }\left( \Sigma ,X\right) \rightarrow Y\) have been considered. In the present paper, the author investigates some analogous aspects for operators \(T: \mathcal{L}^{\infty }\left( \mu ,X\right) \rightarrow Y\). He introduces the notion of \(\mu -\sigma \)-smooth and \(\mu \)-absolutely continuous operators. A \(\left( \left\| \cdot \right\| _{\infty },\left\| \cdot \right\| _{Y}\right) \)-continuous linear operator \(T:\mathcal{L}^{\infty }\left( \mu ,X\right) \rightarrow Y\) is called (i) \(\mu -\sigma \)-smooth if, for all sequences \(\left( f_{n}\right) \) in \(\mathcal{L}^{\infty }\left( \mu ,X\right) \) with \( \left\| f_{n}\left( \omega \right) \right\| _{X}\rightarrow 0\) \(\mu \)-a.e and \(\sup_{n}\left\| f_{n}\right\| _{\infty }<\infty \), we have \(\left\| T\left( f_{n}\right) \right\| _{Y}\rightarrow 0\), (ii) \(\mu \)-absolutely continuous if \(\lim_{\mu \left( A\right) \rightarrow 0}\left\| T\left( \mathbf{1}_{A}f\right) \right\| _{Y}=0\) for all \(f\in \mathcal{L}^{\infty }\left( \mu ,X\right) .\) The author proves in Theorem 2.2 that these two notions are equivalent. Next, in Proposition 3.6, he presents an integral representation of a \(\mu -\sigma \)-smooth operator \(T:\mathcal{L}^{\infty }\left( \mu ,X\right) \rightarrow Y\). Namely, \(T\left( f\right) =\int_{\Omega }fdm_{T}\) for all \( f\in \mathcal{L}^{\infty }\left( \mu ,X\right) \), where \(m_{T\text{ }}:\Sigma \rightarrow \mathcal{L}\left( X,Y\right) \) is the representing measure of \(T, \) that is, \(m_{T}\left( A\right) \left( x\right) :=T\left( \mathbf{1} _{A}\otimes x\right) \) for \(A\in \Sigma \) and \(x\in X\). The author also gives an integral representation of \(\mu -\sigma \)-smooth functionals on \(\mathcal{L}^{\infty }\left( \mu ,X\right) \) in terms of weak\( ^{\ast }\)-measurable \(X^{\ast }\)-valued functions on \(\Omega \) (Proposition 3.10). The last section is devoted to study weak-star sequential compactness in the space \(\text{bvca}_{\mu }\left( \Sigma ,X^{\ast }\right) \) of all countably additive vector measures \(\upsilon :\Sigma \rightarrow X^{\ast }\) with bounded variation satisfying \(\upsilon \left( A\right) =0\) if \(\mu \left( A\right) =0\).