\(\mathbb{R}^ n\)-valued finitely additive measures admitting countably additive restrictions preserving the range (Q1260903): Difference between revisions

Let \(\Omega\) be a non-empty set. A bounded finitely additive measure \(\mu: {\mathcal A}\to\mathbb{R}^ n\), where \(\mathcal A\) is an algebra of subsets of \(\Omega\), is called (strongly) continuous if for every \(\varepsilon>0\) there exists a partition \(\{A_ 1,\dots,A_ k\}\) of \(\Omega\) in \(\mathcal A\) such that \(|\mu|(A_ i)<\varepsilon\) for all \(i\). The paper is devoted to proving the following theorem: Let \(| \Omega |\geq{\mathfrak c}\) and let \(m: {\mathcal P}(\Omega)\to \mathbb{R}^ n\) be a bounded finitely additive measure. Then there exists an algebra \({\mathcal F}\subset{\mathcal P}(\Omega)\) such that \(m|{\mathcal F}\) is countably additive and has the same range as \(m\). If, in addition, \(m\) is continuous, then \(\mathcal F\) can be chosen in such a way that \(m|{\mathcal F}\) is also continuous. In the case where \(m\) is non-negative and has closed range the theorem is due to \textit{D. Candeloro} and \textit{A. Martellotti} (1980) for \(n=1\) and to \textit{A. Martellotti} (1988) for \(n=2\). \{Reviewer's remarks: (1) The set \(T\) on p. 168 should be chosen so that \(T\cap B\neq\emptyset\) for all \(B\in{\mathcal B}\backslash\{\emptyset\}\) and \(| T|={\mathfrak c}\). (2) The proof can be simplified by noting that \({\mathcal C}\cap T\) is a compact class in the sense of Marczewski, whence so is \(\mathcal F\). Moreover, Proposition 2.1 can be dispensed with\}.