Partially paratopological groups
The paper uses the notion of partially topological space which is a slight modification of the notion of generalized topological space of Delfs and Knebusch. Intuitively, a partially topological space is a set \(X\) with a system \(\text{Cov}_X\) of ``admissible families of open sets where a union of open sets is open only if it is the union of an admissible family. A smallification of a partially topological space \(X\) is obtained by taking the essentially finite families of open sets for admissible families. A group \(G\) with a partial topology is said to be a partially paratopological group, if the group operation is strictly continuous on the product \(G\times G\). If also the inverse map on \(G\) is strictly continuous, then \(G\) is called a partially topological group. There is a ZFC result of Banakh and Ravsky saying that every regular paratopological group is completely regular. The authors of the paper under review notice that this theorem holds in ZF\({}+{}\)DC and prove the following modification: In the theory ZF\({}+{}\)DC every regular partially paratopological group and every regular partially topological group is \(I_{st}\)-completely regular where \(I_{st}\) denotes the smallified unit interval \([0,1]\). It remains open whether DC is necessary.
- Axiom of choice
- Compactness and compactifications in generalized topology
- Continuing horrors of topology without choice
- Each regular paratopological group is completely regular
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3035877 (Why is no real title available?)
- Locally semialgebraic spaces
- o-minimal homotopy and generalized (co)homology
- On generalized topological spaces. I
- On generalized topological spaces. II.
- Paratopological groups. II
- Recent progress in paratopological groups
- The foundations of mathematics
- Topological groups and related structures
This page was built for publication: Partially paratopological groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401553)
