On images of complete topologized subsemilattices in sequential semitopological semilattices (Q2182443): Difference between revisions

A topologized semilattice \(X\) (i.e., \(X\) is a semilattice endowed with a topology) is called a (\textit{semitopological semilattice} if the semilattice operation \(\wedge : X\times X \rightarrow X, (x, y)\mapsto xy\), is (separately) continuous. A topologized semilattice \(X\) is called \textit{complete} if each non-empty chain \(C\subseteq X\) has \(\inf C\in \overline {C}\) and \(\inf C\in \overline {C}\). A topological space \(Y\) is said to be \textit{sequential} if for any subset \(A\) of \(Y\), \(A\) is closed iff \(A\) is sequentially closed (that is, \(A\) contains the limits of all sequences \((a_n)_{n\in \omega}\) in \(A\) that converge in \(Y\)). A poset \(P\) is called \textit{chain-finite} if each chain in \(P\) is finite. In 1975, Stepp proved that for any homomorphism \(h: X \rightarrow Y\) from a chain-finite semilattice to a Hausdorff topological semilattice \(Y\) the image \(h(X)\) is closed in \(Y\). In 2019, this result was improved by Banakh and Bardyla by showing that the result holds for \(Y\) being a Hausdorff semitopological semilattice. They also proved that for any continuous homomorphism \(h : X \rightarrow Y\) from a complete topologized semilattice \(X\) to a Hausdorff topological semilattice \(Y\) the image \(h(X)\) is closed in \(Y\). In this paper, the authors continue such investigations. It is proved that for any continuous homomorphism \(h: X \rightarrow Y\) from a complete topologized semilattice \(X\) to a sequential Hausdorff semitopological semilattice \(Y\) the image \(h(X)\) is closed in \(Y\).