Induced measures on Wallman spaces (Q810651)

In the paper under review, the author extends some recent results of \textit{G. Bachman} and \textit{M. Szeto} [Period. Math. Hung. 15, 127-155 (1984; Zbl 0534.28002)] and gives some new topological results of the Wallman space and some new criteria for repleteness. Let X be a non-empty set. By lattice we mean a lattice of subsets of X containing \(\emptyset\) and X. Let \({\mathcal L}\) be a lattice. Then: i) \({\mathcal L}\) is separating if \(x,y\in X\) and \(x\neq y\) imply that there exists \(L\in {\mathcal L}\) such that \(x\in L\) and \(y\not\in L;\) ii) \({\mathcal L}\) is disjunctive if, for \(x\in X\) and \(L\in {\mathcal L}\) such that \(x\not\in L,\) there exist \(L_ 1,L_ 2\in {\mathcal L}\) with \(x\in L_ 1,\) \(L\subseteq L_ 2\) and \(L_ 1\cap L_ 2=\emptyset.\) By measure we mean a \([0,+\infty [-\)valued finitely additive set function defined on \({\mathcal A}({\mathcal L})\), the algebra of subsets of X generated by \({\mathcal L}\). We denote by M(\({\mathcal L})\) the set of all measures. Let \(\mu\) be an element of M(\({\mathcal L})\). Then: a) \(\mu\) is \({\mathcal L}\)-regular if, for any \(A\in {\mathcal A}({\mathcal L}),\mu (A)=\sup \{\mu (L):\;L\in {\mathcal L}\text{ and } L\subseteq A\};\) b) \(\mu\) is \(\sigma\)-smooth if, for every sequence \((A_ n)\) in \({\mathcal A}({\mathcal L})\) such that \(A_ n\downarrow \emptyset,\) we have \(\mu (A_ n)\to 0;\) c) \(\mu\) is \(\tau\)-smooth if, for every net \((A_{\alpha})\) in \({\mathcal A}({\mathcal L})\) such that \(A_{\alpha}\downarrow \emptyset,\) we have \(\mu (A_{\alpha})\to 0.\) The symbols \(M_ R({\mathcal L})\), \(M^{\sigma}_ R({\mathcal L})\) and \(M^{\tau}_ R({\mathcal L})\) will denote the set of all \({\mathcal L}\)-regular members of M(\({\mathcal L})\), the set of all \(\sigma\)-smooth members of \(M_ R({\mathcal L})\) and the set of all \(\tau\)-smooth members of \(M_ R({\mathcal L})\), respectively. The symbols I(\({\mathcal L})\), \(I^ R_ R({\mathcal L}\), \(I^{\sigma}_ R({\mathcal L})\) and \(I^{\tau}_ R({\mathcal L})\) will denote the subsets of the corresponding M's which consist of just the non- trivial zero-one valued measures. If \(\mu \in I({\mathcal L}),\) then the set \(S(\mu)=\cap \{L\in {\mathcal L}:\;\mu (L)=1\}\) is called the support of \(\mu\). The lattice \({\mathcal L}\) is said to be replete if \(S(\mu)\neq \emptyset\) for all \(\mu \in I^{\sigma}_ R({\mathcal L}).\) Let \({\mathcal L}\) be a separating and disjunctive lattice. For every \(x\in X\), let \(\mu_ x\) be the measure concentrated at x. Then \(\mu_ x\in I_ R({\mathcal L})\) and the mapping \(h: x\to \mu_ x\) from X into \(I_ R({\mathcal L})\) is one-to-one. We will identify X with its image h[X] in \(I_ R({\mathcal L})\). It is easy to see that \(I^{\tau}_ R({\mathcal L})=X.\) For every \(A\in {\mathcal A}({\mathcal L})\) define \(W(A)=\{\mu \in I_ R({\mathcal L}):\;\mu (A)=1\},\) and write \(W({\mathcal L})=\{W(L):\;L\in {\mathcal L}\}.\) It is easy to see that W(\({\mathcal L})\) is a closed base for a topology on \(I_ R({\mathcal L})\), called the Wallman topology. The topological space \(I_ R({\mathcal L})\) is called the Wallman space associated with the pair \((X,{\mathcal L}).\) For every \(A\in {\mathcal A}({\mathcal L})\) define \(W_{\sigma}(A)=\{\mu \in I^{\sigma}_ R({\mathcal L}):\;\mu (A)=1\}\) and write \(W_{\sigma}({\mathcal L})=\{W_{\sigma}(L):\;L\in {\mathcal L}\}.\) It is easy to see that \(W_{\sigma}({\mathcal L})\) is a lattice of \(I^{\sigma}_ R({\mathcal L})\) such that \({\mathcal A}(W_{\sigma}({\mathcal L}))=W_{\sigma}({\mathcal A}({\mathcal L})).\) Then, if \(\mu \in M({\mathcal L}),\) the equation \(\mu'(W_{\sigma}(A))=\mu (A),\) where \(A\in {\mathcal A}({\mathcal L}),\) defines a measure on \({\mathcal A}(W_{\sigma}({\mathcal L})).\) It is easy to verify that \(\mu'\in M^{\sigma}_ R(W_{\sigma}({\mathcal L}))\) if and only if \(\mu \in M^{\sigma}_ R({\mathcal L}).\) Now we can state two of the main results of the paper under review: Theorem A: Let \({\mathcal L}\) be a separating and disjunctive lattice. Then the subspace \(I^{\sigma}_ R({\mathcal L})\) of the Wallman space is Hausdorff if and only if the following condition is verified: For each \(\mu \in I_ R({\mathcal L})\) there exists at most one \(\gamma \in I^{\sigma}_ R({\mathcal L})\) such that \(\mu \leq \gamma\) on \({\mathcal L}.\) Theorem B: Let \({\mathcal L}\) be a separating and disjunctive lattice. Then \({\mathcal L}\) is replete if and only if \(\mu'\in M^{\tau}_ R(W_{\sigma}({\mathcal L}))\Rightarrow \mu \in M^{\tau}_ R({\mathcal L}).\)