Measure characterization and properties of normal and regular lattices (Q810652)

Let X be a non-empty set and let \({\mathcal L}\) be a lattice of subsets of X containing \(\emptyset\) and X. Then (1) \({\mathcal L}\) is a delta lattice if \({\mathcal L}\) is closed under countable intersections; (2) \({\mathcal L}\) is disjunctive if \(x\in X,\) \(L_ 1\in {\mathcal L}\) and \(x\not\in L_ 1\) imply that there exists \(L_ 2\in {\mathcal L}\) such that \(x\in L_ 2\) and \(L_ 1\cap L_ 2=\emptyset;\) (3) \({\mathcal L}\) is normal if \(L_ 1,L_ 2\in {\mathcal L}\) and \(L_ 1\cap L_ 2=\emptyset\) imply that there exist \(L_ 3,L_ 4\in {\mathcal L}\) such that \(L_ 1\subseteq X\setminus L_ 3,\) \(L_ 2\subseteq X\setminus L_ 4\) and \((X\setminus L_ 3)\cap (X\setminus L_ 4)=\emptyset;\) (4) \({\mathcal L}\) is regular if \(x\in X,\) \(L_ 1\in {\mathcal L}\) and \(x\not\in L_ 1\) imply that there exist \(L_ 2,L_ 3\in {\mathcal L}\) such that \(x\in X\setminus L_ 3,\) \(L_ 1\subseteq X\setminus L_ 4\) and \((X\setminus L_ 2)\cap (X\setminus L_ 3)=\emptyset;\) (5) A real-valued function f defined on X is \({\mathcal L}\)-continuous if \(f^{-1}(C)\in {\mathcal L}\) for all closed subsets C of \({\mathbb{R}}\); (6) We write \(Z({\mathcal L})=\{f^{-1}(0): f\) is an \({\mathcal L}\)- continuous function\}; (7) The symbol I(\({\mathcal L})\) denotes the set of all \(\{0,1\}\)-valued finitely additive set functions defined on the algebra \({\mathcal A}({\mathcal L})\) generated by \({\mathcal L}\); (8) An element \(\mu \in I({\mathcal L})\) is \({\mathcal L}\)-regular if \(\mu (A)=\sup \{\mu (L): L\in {\mathcal L}\) and \(L\subseteq A\}\) for all \(A\in {\mathcal A}({\mathcal L});\) (9) The symbol \(I^{\sigma}_ R({\mathcal L})\) denotes the set of all \({\mathcal L}\)- regular and countably additive elements of I(\({\mathcal L})\). It is easy to see that Z(\({\mathcal L})\) is a lattice of subsets of X contained in \({\mathcal L}\) and the set \(W_{\sigma}({\mathcal L})=\{\{\mu \in I^{\sigma}_ R({\mathcal L}): \mu (L)=1\}: L\in {\mathcal L}\}\) is a lattice of subsets of \(I^{\sigma}_ R({\mathcal L})\). If \({\mathcal L}_ 1\) and \({\mathcal L}_ 2\) are two lattices of subsets of X such that \({\mathcal L}_ 1\subseteq {\mathcal L}_ 2\), then \({\mathcal L}_ 1\) separates \({\mathcal L}_ 2\) if \(L_ 0,L_ 1\in {\mathcal L}_ 2\) and \(L_ 0\cap L_ 2=\emptyset\) imply that there exist \(L_ 1,L_ 3\in {\mathcal L}_ 1\) such that \(L_ 0\subseteq L_ 1,\) \(L_ 2\subseteq L_ 3\) and \(L_ 1\cap L_ 3=\emptyset.\) Now the main results of the paper under review can be stated as follows: Theorem A: let \({\mathcal L}\) be a delta lattice of subsets of X. Then \({\mathcal L}\) is normal if and only if the following two conditions are satisfied: a) If \(L\in {\mathcal L}\) and \(L=\cap^{\infty}_{n=1}(X\setminus L_ n)\) with \(L_ n\in {\mathcal L},\) then \(L\in Z({\mathcal L}).\) b) Z(\({\mathcal L})\) separates \({\mathcal L}.\) Theorem B: Let \({\mathcal L}\) be a disjunctive lattice of subsets of X. Then \(W_{\sigma}({\mathcal L})\) is regular if and only if the following condition is satisfied: For all \(\mu_ 1,\mu_ 2\in I({\mathcal L})\) such that \(\mu_ 1| {\mathcal L}\leq \mu_ 2| {\mathcal L},\) if \(\lambda \in I^{\sigma}_ R({\mathcal L})\) and \(\mu_ 1| {\mathcal L}\leq \lambda | {\mathcal L}\) then \(\mu_ 2| {\mathcal L}\leq \lambda | {\mathcal L}.\)