No label defined (Q4500565)

Let \(X\) be a locally convex vector space and let \(\Sigma\) be an algebra of subsets of a set \(\Omega\). \(\mu\) is a vector-valued measure: \(\Sigma\to X\) and \(\mu\) is called bounded if \(\{\mu(A); A\in \Sigma\}\) is a bounded set in \(X\). If \(X\) is a Banach space, properties of bounded measures are investigated in \textit{J. Diestel} and \textit{J. Uhl jun.} [``Vector Measures'', Providence (1977; Zbl 0369.46039)] and \textit{B. L. D. Thorp} [J. Lond. Math. Soc. 44, 201-209 (1969; Zbl 0174.17902)]. The authors obtain the following in a general locally convex vector space: Theorem: For a measure \(\mu:\Sigma\to X\), the following conditions are equivalent: (1) \(\mu\) is bounded, i.e., \(\{\mu(A):A\in \Sigma\}\) is bounded. (2) For every pairwise disjoint \(\{A_j\}\subseteq \Sigma\) and \(\{t_j\}\in c_0\), i.e., \(t_j\to 0\) in \(\mathbb{C}\), the sequence \(\{\sum^n_{j=1} t_j\mu(A_j)\}^\infty_{n=1}\) is Cauchy. (3) For every pairwise disjoint \(\{A_j\}\subseteq \Sigma\), the series \(\sum^\infty_{j=1} \mu(A_j)\) is weakly unconditionally Cauchy, i.e., \(\sum^\infty_{j=1}|f(\mu(A_j))|<+\infty\) for all \(f\in X'\). (4) For every pairwise disjoint \(\{A_j\}\subseteq \Sigma\), \(\mu(A_j)\to 0\) weakly. (5) For every pairwise disjoint \(\{A_j\}\subseteq \Sigma\), \({1\over j^j}\mu(A_j)\to 0\) weakly. (6) For every pairwise disjoint \(\{A_j\}\subseteq\Sigma\), \(\{{1\over j^j}\mu(A_j)\}^\infty_{j=1}\) is bounded.