English

The interplay between weak topologies on topological semilattices

General Topology 2021-11-02 v3

Abstract

We study the interplay between three weak topologies on a topological semilattice XX: the weak^\circ topology WX\mathcal W^\circ_X (generated by the base consiting of open subsemilattices of XX), the weak^\bullet topology WX\mathcal W^\bullet_X (generated by the subbase consisting of complements to closed subsemilattices), and the I\mathbb I-weak topology WX\mathcal W_X (which is the weakest topology in which all continuous homomorphisms h:X[0,1]h:X\to [0,1] remain continuous). Also we study the interplay between the weak topologies WX\mathcal W^\bullet_X, WX\mathcal W^\circ_X, WX\mathcal W_X of a topological semilattice XX and the Scott and Lawson topologies SX\mathcal S_X and LX\mathcal L_X, which are determined by the order structure of the semilattice. We prove that the weak^\bullet topology W\mathcal W^\bullet on a Hausdorff semitopological semilattice XX is compact if and only if XX is chain-compact in the sense that each closed chain in XX is compact. This result implies that the Lawson topology LX\mathcal L_X on a semilattice XX is compact if and only if XX is a continuous semilattice if and only if XX complete in the sense that each non-empty chain CC in XX has inf(C)\inf(C) and sup(C)\sup(C) in XX. For a chain-compact Hausdorff topological semilattice XX with topology TX\mathcal T_X we prove the inclusions WXLXWXTX\mathcal W_X\subset\mathcal L_X\subset\mathcal W^\bullet_X\subset\mathcal T_X. For a compact topological semilattice XX we prove that TX=WX\mathcal T_X=\mathcal W^\bullet_X if and only if TX=LX\mathcal T_X=\mathcal L_X if and only if TX=LX\mathcal T_X=\mathcal L_X.

Keywords

Cite

@article{arxiv.1804.03736,
  title  = {The interplay between weak topologies on topological semilattices},
  author = {Taras Banakh and Serhii Bardyla},
  journal= {arXiv preprint arXiv:1804.03736},
  year   = {2021}
}

Comments

18 pages; dedicated to the memory of W.W. Comfort

R2 v1 2026-06-23T01:19:53.082Z