Outer measure analysis of topological lattice properties

Setiawati Wibisono

doi:10.1155/s0161171297000380

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.

Highlights

Let X be an arbitrary nonempty set and. a lattice of subsets of X with O, X E Jt() denotes the algebra generated by and M() the set of nontrivial, finite, nonnegative, finitely additive measures on Jt()
In the case of two lattices 121, E2 with 121 c 129., 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
Extending the work done in [3,4], we further investigate the interplay of these outer measures with the various subsets of M() as well as with lattice topological properties

Summary

INTRODUCTION

A lattice of subsets of X with O, X E Jt() denotes the algebra generated by and M() the set of nontrivial, finite, nonnegative, finitely additive measures on Jt(). Extending the work done in [3,4], we further investigate the interplay of these outer measures with the various subsets of M() as well as with lattice topological properties. This is carried out under the assumption of regularity on one of the outer measures. Further related matters can be found in [2,3,4]

BACKGROUND

LATTICE SEPARATION