Approximation of finitely additive functions with values in topological groups (Q380264): Difference between revisions

Let \(\mathcal{A}\) bes a Boolean algebra, \(G\) a Hausdorff commutative topological group, \(a(\mathcal{A}, G) \) the set of all finite additive measures \(\mu: \mathcal{A} \to G\), \(sa(\mathcal{A}, G) \) those elements of \(a(\mathcal{A}, G) \) which are exhaustive, and \(csa(\mathcal{A}, G) \) those elements of \(sa(\mathcal{A}, G) \) which are strongly continuous; let \(\tau_{p}\) denote the topology on \(a(\mathcal{A}, G) \) of pointwise convergence on \(\mathcal{A}\). When \(G\) is a Banach space, \textit{V. M. Klimkin} and \textit{M. G. Svistula}, proved in [Math. Notes 74, No. 3, 385--392 (2003); translation from Mat. Zametki 74, No. 3, 407--415 (2003; Zbl 1056.28008)], that \(csa(\mathcal{A}, G) \) is \(\tau_{p}\)-dense in \(sa(\mathcal{A}, G) \) iff \(\mathcal{A}\) is atomless. In this paper, the authors consider the \(\tau_{p}\)-denseness of \(csa(\mathcal{A}, G) \) in \(a(\mathcal{A}, G) \) when \(G\) is a Hausdorff commutative topological group. One major result is: Suppose \(\mathcal{A}\) is atomless. If the smallest subgroup of \(G\) which contains all one-parameter subgroups is \(G\) itself, then \(csa(\mathcal{A}, G) \) is \(\tau_{p}\)-dense in \(a(\mathcal{A}, G) \). A simple corollary of this is that if \(G\) is a Hausdorff topological real vector space then this condition is satisfied and so \(csa(\mathcal{A}, G) \) is \(\tau_{p}\)-dense in \(a(\mathcal{A}, G) \) for an atomless \(\mathcal{A}\). When \(G\) is complete, some additional results about denseness are proved. Many related properties of topological groups and many interesting additional results and corollaries are also proved.