On a Suffi cient Condition for Exhaustive Topological Measures
The focus of the work is centered on the question of relation between exhaustivity and countable additivity for functions of sets, given on the algebra of sets B. This algebra contains the system F, which is closed with respect to the fi nite sums and countable intersections of sets and which contains both empty set and the whole space X. A function of sets is called exhaustive whenever its values on a disjunctive sequence tend to zero. The following is the main result of the work. Theorem. Let function of sets possess the following density property: for any  > 0 and set A  B there exists K  F such that  (AK )AK is the symmetric difference of sets. Let  be a dense measure on B. Then, if  is a countable additive measure on B then  is an exhaustive measure on B.