On continuity of general exhaustive set functions (Q1762807): Difference between revisions

To study the properties of group-valued measures, \textit{L. Drewnowski}, in a series of papers [``Topological rings of sets, continuous set functions, integration''. I, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 20, 269--276 (1972; Zbl 0249.28004), II, ibid., 277--286 (1972; Zbl 0249.28005), III, ibid., 439--445 (1972; Zbl 0249.28006)], defined and studied the properties of group-valued exhaustive, additive set functions and \( [0, \infty]\)-valued exhaustive submeasures. The authors, in this paper, extend that definition to set functions taking values in general topological spaces. In this paper \( \Omega \) is a set, \( \mathcal U \) a collection of subsets of \( \Omega \), \(X\) a topological space, and \( \mu: \mathcal U \to X\), a mapping from \( \mathcal U \) to \(X\). \(\mu\) is called \(\sigma\)-smooth if for any sequence \( \{ A_{n} \} \subset \mathcal U \) with \( A_{n} \downarrow A \in \mathcal U \), \( \mu( A_{n}) \to \mu( A) \); if \(\emptyset \in \mathcal U \), then \(\mu\) is called exhaustive if for any mutually disjoint sequence \( \{ A_{n} \} \subset \mathcal U \), we have \( \mu( A_{n}) \to \mu(\emptyset) \); for any \( A \in \mathcal U \), \(\mu\) is said to be continuous from below at \(A \) if for any sequence \( \{ A_{n} \} \subset \mathcal U \) with \( A_{n} \uparrow A \), one gets \( \mu( A_{n}) \to \mu( A) \); for any \( A \in \mathcal U \), \(\mu\) is said to be continuous at `\(A\)' if for any sequence \( \{ A_{n} \} \subset \mathcal U \) with \( \chi_{A_{n}} \to \chi_{A}\), pointwise, we have \( \mu( A_{n}) \to \mu( A) \). The main result of the paper is: Let \((X, \mathcal T)\) be a topological space, \( \mathcal U \) a ring and \( \mu: \mathcal U \to (X, \mathcal T)\) an exhaustive set function. Suppose there is a weaker topology \( {\mathcal T}_{0} \) on \(X\) such that \( \mu(\emptyset) \) has a \({\mathcal T}\)-nbd base consisting of \( {\mathcal T}_{0} \)-sequentially closed sets. Also assume that \( \mu : \mathcal U \to (X, {\mathcal T}_{0}) \) is continuous from below. Then (a) \(\mu : \mathcal U \to (X, \mathcal T) \) is \(\sigma\)-smooth; (b) if \( \mathcal U \) is a \(\sigma\)-ring then \(\mu : \mathcal U \to (X,\mathcal T)\) is continuous at \( \emptyset\).