The Lawson number of a semitopological semilattice

Abstract

For a Hausdorff topologized semilattice $X$ its $Lawson\;\; number$ $\barΛ(X)$ is the smallest cardinal $κ$ such that for any distinct points $x,y\in X$ there exists a family $\mathcal U$ of closed neighborhoods of $x$ in $X$ such that $|\mathcal U|\leκ$ and $\bigcap\mathcal U$ is a subsemilattice of $X$ that does not contain $y$. It follows that $\barΛ(X)\le\barψ(X)$, where $\barψ(X)$ is the smallest cardinal $κ$ such that for any point $x\in X$ there exists a family $\mathcal U$ of closed neighborhoods of $x$ in $X$ such that $|\mathcal U|\leκ$ and $\bigcap\mathcal U=\{x\}$. We prove that a compact Hausdorff semitopological semilattice $X$ is Lawson (i.e., has a base of the topology consisting of subsemilattices) if and only if $\barΛ(X)=1$. Each Hausdorff topological semilattice $X$ has Lawson number $\barΛ(X)\leω$. On the other hand, for any infinite cardinal $λ$ we construct a Hausdorff zero-dimensional semitopological semilattice $X$ such that $|X|=λ$ and $\barΛ(X)=\barψ(X)=cf(λ)$. A topologized semilattice $X$ is called (i) $ω$-$Lawson$ if $\barΛ(X)\leω$; (ii) $complete$ if each non-empty chain $C\subset X$ has $\inf C\in\overline{C}$ and $\sup C\in\overline{C}$. We prove that for any complete subsemilattice $X$ of an $ω$-Lawson semitopological semilattice $Y$, the partial order $\le_X=\{(x,y)\in X\times X:xy=x\}$ of $X$ is closed in $Y\times Y$ and hence $X$ is closed in $Y$. This implies that for any continuous homomorphism $h:X\to Y$ from a compete topologized semilattice $X$ to an $ω$-Lawson semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$.