Strong barrelledness properties in \(\ell ^{\infty}_ 0(X,{\mathcal A})\) and bounded finite additive measures (Q1263037): Difference between revisions

M. Valdivia has shown that if \(\{E_{m_ 1}\), \(m_ 1=1,2,...\}\) is an increasing sequence of subspaces of \(\ell^{\infty}_ 0(X,{\mathcal A})\) covering \(\ell^{\infty}_ 0(X,{\mathcal A})\), then there is some positive integer \(p_ 1\) such that \(E_{p_ 1}\) is a barrelled dense subspace of \(\ell^{\infty}_ 0(X,{\mathcal A}).\) Here we find that if \(\{E_{m_ 1m_ 2...m_ i}\}^{\infty}_{m_ i=1}\) is an increasng sequence of subspaces of \(E_{m_ 1m_ 2...m_{i-1}}\) covering \(E_{m_ 1m_ 2...m_ i}\), for \(2\leq i\leq s\), then there exists \(E_{p_ 1p_ 2...p_ s}\) which is barrelled and dense in \(\ell^{\infty}_ 0(X,{\mathcal A}).\) We apply this result to the dual space \(\ell^{\infty}_ 0(X,{\mathcal A})'=H({\mathcal A})\) of the strongly bounded finite additive measures defined in (X,\({\mathcal A})\), showing that if \(\{\) \({\mathcal A}_{m_ 1}\}^{\infty}_{m_ 1=1}\) is an increasing sequence of subsets of \({\mathcal A}\) covering \({\mathcal A}\) and \(\{\) \({\mathcal A}_{m_ 1m_ 2...m_ j}\}^{\infty}_{m_ j=1}\) is an increasing sequence of subsets of \({\mathcal A}_{m_ 1m_ 2...m_{j-1}}\) covering \({\mathcal A}_{m_ 1m_ 2...m_{j-1}}\), for \(j=2,...,s\), then there exist s natural numbers \(p_ 1,p_ 2,...,p_ s\) such that if the sequence \(\{\mu_ n\}^{\infty}_{n=1}\) verifies that \(\{\mu_ n(A)\}^{\infty}_{n=1}\) is a Cauchy sequence for every \(A\in {\mathcal A}_{p_ 1p_ 2...p_ s}\), then there exists a \(\mu\in H({\mathcal A})\) such that \(\{\mu_ n(A)\}^{\infty}_{n=1}\) converges to \(\mu\) (A) for every \(A\in {\mathcal A}\). If, additionally, the subset \({\mathcal A}_{p_ 1p_ 2...p_ s}\) is a \(\sigma\)-algebra, then the linear mapping from H(\({\mathcal A})\) into H(\({\mathcal A}_{p_ 1p_ 2...p_ s})\) defined by the restriction is an isometry onto. Some other boundedness properties are obtained.