On uncountable unions and intersections of measurable sets.
For the functor of upper semicontinuous capacities in the category of compact Hausdorff spaces and two of its subfunctors, we prove open mapping theorems. These are counterparts of the open mapping theorem for the probability measure functor proved by Ditor and Eifler.
Let and be algebras of subsets of a set with , and denote by the set of all quasi-measure extensions of a given quasi-measure on to . We give some criteria for order boundedness of in , in the general case as well as for atomic . Order boundedness implies weak compactness of . We show that the converse implication holds under some assumptions on , and or alone, but not in general.
Let and be algebras of subsets of a set with , and denote by the set of all quasi-measure extensions of a given quasi-measure on to . We show that is order bounded if and only if it is contained in a principal ideal in if and only if it is weakly compact and is contained in a principal ideal in . We also establish some criteria for the coincidence of the ideals, in , generated by and .