Regular measures and normal lattices
type: Item
instance of: scholarly article
title: Regular measures and normal lattices
zbMATH Open document ID: 0810.28004
DOI: 10.1155/S0161171294000633
published in: International Journal of Mathematics and Mathematical Sciences
publication date: 1994-10-09T00:00:00Z
full work available at URL: https://eudml.org/doc/47116
review text: The purpose of the paper under review is to investigate the set of all real bounded finitely additive measures on the Boolean algebra generated by a normal lattice of sets. More precisely: Let \(X\) be a non-empty set, le \(\mathcal L\) be a lattice of subsets of \(X\) containing \(\emptyset\) and \(X\), let \(A({\mathcal L})\) be the Boolean subalgebra of \(2^ X\) generated by \(\mathcal L\) and let \(M({\mathcal L})= \{\mu: A({\mathcal L})\to \mathbb{R}\mid \mu\geq 0\) and \(\mu\) is finitely additive\}. Write \(M_ R({\mathcal L})= \{\mu\in M({\mathcal L})\): \(\mu\) is \({\mathcal L}\)-regular\}, \(M_ \sigma{\mathcal L}= \{\mu\in M({\mathcal L})\): if \(L_ n\in {\mathcal L}\) and \(L_ n\downarrow \emptyset\), then \(\mu(L_ n)\to 0\}\) and \(M^ \sigma({\mathcal L})= \{\mu\in M({\mathcal L})\): \(\mu\) is countably additive\}. We say that the lattice \(\mathcal L\) is normal if, for any \(L_ 1,L_ 2\in {\mathcal L}\) with \(L_ 1\cap L_ 2= \emptyset\), there exist \(L_ 3,L_ 4\in {\mathcal L}\) such that \(L_ 1\subseteq L^ c_ 3\), \(L_ 2\subseteq L^ c_ 4\) and \(L^ c_ 3\cap L^ c_ 4= \emptyset\), where \(^ c\) denotes the usual set complementation. If \({\mathcal L}_ 1\) and \({\mathcal L}_ 2\) are two lattices of subsets of \(X\) with \({\mathcal L}_ 1\subseteq {\mathcal L}_ 2\), we say that \({\mathcal L}_ 1\) separates \({\mathcal L}_ 2\) if \(A,B\in {\mathcal L}_ 2\) and \(A\cap B= \emptyset\), then there exist \(C,D\in {\mathcal L}_ 1\) such that \(A\subseteq C\), \(B\subseteq D\) and \(C\cap D= \emptyset\). Now the main results of the paper can be stated as follows: Theorem A. Suppose \({\mathcal L}\) is normal and let \(\mu\in M_ \sigma({\mathcal L})\), \(\nu\in M_ R({\mathcal L})\) with \(\mu\leq \nu\) on \(\mathcal L\) and \(\mu(X)= \nu(X)\). Then \(\nu\in M_ \sigma({\mathcal L}')\) where \({\mathcal L}'= \{L^ c: L\in {\mathcal L}\}\). Theorem B. Suppose \(\mathcal L\) is normal and let \(\mu\in M({\mathcal L})\), \(\nu_ 1,\nu_ 2\in M_ R({\mathcal L})\) with \…
Mathematics Subject Classification ID: 28A60
Mathematics Subject Classification ID: 28C15
zbMATH DE Number: 650811
zbMATH Keywords: normal lattice
zbMATH Keywords: separation
zbMATH Keywords: regularity
zbMATH Keywords: Boolean algebra
author: Carmen Vlad
reviewed by: Pedro Morales
MaRDI profile type: Publication
OpenAlex ID: W2039526444
description: scientific article; zbMATH DE number 650811