Isomorphic embeddings and strongly additive measures (Q1884779)

Let \({\mathcal A}\) be an algebra of subsets of \(\Omega\), \(X\) be a (real) Banach space and \(\mu:{\mathcal A}\to X\) be finitely additive. When \(\| \mu(A_i)\| \longrightarrow0\) whenever \((A_i)\) is a pairwise disjoint sequence from \({\mathcal A}\), we say that \(\mu\) is strongly additive. A theorem of \textit{L. Drewnowski} [Stud. Math. 57, 209--215 (1976; Zbl 0351.46008)] asserts that a strongly additive vector valued measure on a \(\sigma\)-algebra is nearly countably additive, whereas a theorem due to \textit{J. Diestel} and \textit{B. Faires} [Trans. Am. Math. Soc. 198, 253--271 (1974; Zbl 0297.46034)] asserts that a non strongly additive vector valued measure is far from being countably additive (the conclusion is related to the existence of an embedding of \(\ell^\infty\) in \(X\), when \(\Sigma\) is a \(\sigma\)-algebra). Here, the authors present miscellaneous new results on strong and countably additivity. In the first part, this is done in the context of spaces of operators. For instance, Theorem 2.3 asserts: Suppose that \(E\) and \(F\) are separable Banach spaces, \(\Sigma\) is a \(\sigma\)-algebra and \(\mu:\Sigma\to L(E,F)\) is bounded and finitely additive. If \((A_i)\) is a pairwise disjoint sequence from \(\Sigma\), then there is a subsequence \((A_{i_j})\) so that \(\mu:\sigma(A_{i_j})\to L(E,F)\) is countably additive in the strong operator topology. As a corollary, one may recover the theorem of Drewnowski. In the second part, the framework is the Banach lattices. Some characterizations of strong additivity are obtained. For instance, Theorem 3.5 states that, if \(E\) is Banach lattice, then (i) \(E\) is a \(KB\) space (i.e., an increasing and norm bounded sequence is necessarily norm convergent) if and only if every bounded and finitely additive \(E\)-valued measure is strongly additive; (ii) every bounded and finitely additive \(E^\ast\)-valued measure is strongly additive if and only if \(\ell^1\) is lattice embeddable in \(E\); (iii) \(E\) is reflexive if and only if every bounded and finitely additive \(E\)-valued measure is strongly additive and every bounded and finitely additive \(E^\ast\)-valued measure is strongly additive. Some other results are linked to the notion of exhaustivity.