Ein Beitrag zur Baire-Kategorie-Theorie.
Let ℒ be a δ-lattice in a set X, and let ν be a measure on a sub-σ-algebra of σ(ℒ). It is shown that ν extends to an ℒ-regular measure on σ(ℒ) provided ν*|ℒ is σ-smooth at ∅ and ν*(L) = inf ν*(U)|X ∖ U ∈ ℒ, Usupset L for all L ∈ ℒ. Moreover, a Choquet type representation theorem is proved for the set of all such extensions.
It has been an open question since 1997 whether, and under what assumptions on the underlying space, extreme topological measures are dense in the set of all topological measures on the space. The present paper answers this question. The main result implies that extreme topological measures are dense on a variety of spaces, including spheres, balls and projective planes.