Outer measure analysis of topological lattice properties

Abstract

Let X be a set and ℒ a lattice of subsets of X such that ∅, X ∈ ℒ. A(ℒ) is the algebra generated by ℒ, M(ℒ) the set of nontrivial, finite, normegative, finitely additive measures on A(ℒ) and I(ℒ) those elements of M(ℒ) which just assume the values zero and one. Various subsets of M(ℒ) and I(ℒ) are included which display smoothness and regularity properties.We consider several outer measures associated with dements of M(ℒ) and relate their behavior to smoothness and regularity conditions as well as to various lattice topological properties. In addition, their measurable sets are fully investigated. In the case of two lattices ℒ1, ℒ2, with ℒ1 ⊂ ℒ2, we present consequences of separation properties between the pair of lattices in terms of these outer measures, and further demonstrate the extension of smoothness conditions on ℒ1 to ℒ2.