scientific article; zbMATH DE number 139875
[For the entire collection see Zbl 0747.00029.] Let \(\mathfrak P\) be a Boolean ring, let \(\mathfrak R\) be a subring of \(\mathfrak P\) and let \(\mathfrak C\) be a subset of \(\mathfrak P\). Moreover, let \(G\) be a commutative complete Hausdorff topological group and let \(\mu: {\mathfrak R}\to G\) be an \(s\)-bounded (finitely additive) measure. The authors say that \(\mu\) is \({\mathfrak C}\)-regular if for every \(R\in{\mathfrak R}\) and every 0-neighbourhood \(U\) in \(G\) there exist \(C\in{\mathfrak C}\) and \(S\in{\mathfrak R}\) such that \(S\leq C\leq R\) and \(\mu(T)\in U\) whenever \(T\in{\mathfrak R}\) and \(T\leq R\backslash S\). (For \(G=\mathbb{R}\) and \(\mu\geq 0\) this condition is due to Marczewski; cf. the preceding review.) Let \(\mathfrak K\) be an \({\mathfrak R}\)-dominated sublattice of \(\mathfrak P\), i.e., for every \(K\in{\mathfrak K}\) there exists \(R\in{\mathfrak R}\) with \(K\leq R\). The authors say that \(\mu\) is \({\mathfrak K}\)-diffuse if for every \(K\in{\mathfrak K}\) and every 0- neighbourhood \(U\) in \(G\) there exists \(R\in{\mathfrak R}\) with \(K\leq R\) and \(\mu(T)\in U\) whenever \(T\in{\mathfrak R}\) and \(T\leq R\). (A version of this condition for positive measures is due to the first author [Z. Wahrscheinlichkeitstheor. Verw. Gebiete 15, 57-96 (1970; Zbl 0191.342)].) One of the main results of the paper under review is the following decomposition theorem: If \(\mu\) is \({\mathfrak C}\)-regular and for every \(C\in{\mathfrak C}\) and \(K\in{\mathfrak K}\) we have \(C\land K\in{\mathfrak K}\), then there exist two uniquely determined \(s\)-bounded measures \(\nu,\lambda: {\mathfrak R}\to G\) with the properties: (1) \(\mu=\nu+\lambda\). (2) \(\nu\) admits an extension to an \(s\)-bounded \(G\)-valued measure on the subring \(\mathfrak A\) of \(\mathfrak P\) generated by \({\mathfrak R}\cup{\mathfrak K}\); (3) \(\lambda\) is \({\mathfrak K}\)-diffuse. The proof is based on some results concerning Fréchet-Nikodým topologies on Boolean rings, including T. Traynor's Lebesgue type decomposition theorem. The authors also establish some additional properties of \(\nu\) and \(\lambda\); in particular, an explicit formula for \(\nu\) is given. The theorem is applied in the case where \({\mathfrak P}={\mathfrak B}(X)\), the Borel \(\sigma\)-algebra of a topological space \(X\) and \(\mathfrak K\) is the system of all \({\mathfrak R}\)- dominated closed compact subsets of \(X\). One can then replace \(\mathfrak A\) by \({\mathfrak B}(X)\) in (2). From their decomposition theorem the authors derive an analogous theorem for a semifinite measure \(\mu: {\mathfrak R}\to[0,\infty]\), which generalizes some results of the first author, op. cit., Satz (5.6) and Satz (5.7). As an additional tool, they use a representation of \(\mu\) in the form: \(\mu=\sum_{i\in I} \mu_ i\), where \(\mu_ i: {\mathfrak R}\to [0,\infty)\) is a measure and \(\mu_ i\) and \(\sum_{j\in I\backslash\{i\}}\mu_ j\) are singular for every \(i\in I\). This representation is established by means of Weber's results on the completion of \(({\mathfrak R},\tau)\), where \(\tau\) is the finest \(s\)-bounded Fréchet-Nikodým topology on \(\mathfrak R\). Finally, the authors extend to the Boolean setting a generalization of D. Bierlein's extension theorem due to the second author [Arch. Math. 34, 157-159 (1980; Zbl 0422.28006)] and derive from it a version for \(\sigma\)-additive measures with values in \([0,\infty]\). Reviewer's remarks: (1) In connection with Corollary 2.5 it is worth- while to mention a paper by \textit{W. Filter} and \textit{K. Weber} [Colloq. Math. 56, 91-97 (1988)]. (2) In view of Example 3.1.19, the proof of Theorem 3.3.1 requires a modification, which consists in observing that \(\mu_ \infty\) admits a \((\{0,\infty\}\)-valued) \(\sigma\)-additive extension to \(\mathfrak A\) and appealing to Theorem 3.1.15 instead of Corollary 3.1.17. (3) Reference [Da 91] is apparently an unpublished (?) paper by \textit{K.-P. Dalgas} [``A generalization of an extension theorem of Bierlein (1983)].
- On compactness and extreme points of some sets of quasi-measures and measures
- A definition and some properties of group-valued measure
- scientific article; zbMATH DE number 3844059 (Why is no real title available?)
- scientific article; zbMATH DE number 4208434 (Why is no real title available?)
- scientific article; zbMATH DE number 56818 (Why is no real title available?)
- The regular component of a group-valued set function
- scientific article; zbMATH DE number 832159 (Why is no real title available?)
- On the property of decomposability of functions of k-valued logic related to summation of n-dependent random variables in a finite Abelian group
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028215)
