Each regular paratopological group is completely regular

By Taras O. Banakh, Alexander Ravsky. 2014

51 citations recorded by the source corpus.

We prove that a semiregular topological space $X$ is completely regular if and only if its topology is generated by a normal quasi-uniformity. This characterization implies that each regular paratopological group is completely regular. This resolves an old problem in the theory of paratopological groups, which stood open for about 60 years. Also we define a natural uniformity on each paratopological group and using this uniformity prove that each (first countable) Hausdorff paratopological group is functionally Hausdorff (and submetrizable). This resolves another two known open problems in the theory of paratopological groups.

Subfields: Algebra and Number Theory, Geometry and Topology, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/709247d3c5906048c9ccaffe6be1afc6187011d2