Existence and integral representation of regular extensions of measures
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.