2016
DOI: 10.1090/proc/13318
|View full text |Cite
|
Sign up to set email alerts
|

Each regular paratopological group is completely regular

Abstract: 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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
20
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 44 publications
(20 citation statements)
references
References 13 publications
0
20
0
Order By: Relevance
“…Since every C-embedded subspace of a regular Lindelöf is pseudo-ω 1 -compact [ Proof. Since every regular paratopological group is a Tychonoff space [3,Corollary 5], and every Tychonoff R-factorizable paratopological group is totally ω-narrow, i.e. the topological group G * associated to G is ω-narrow, the c(G * ) ≤ 2 ω [1, Theorem 5.4.10] and furthermore, G as a continuous image of satisfies that c(G) ≤ c(G * ) ≤ 2 ω .…”
Section: Completions Of Simply Sm-factorizable Topological Groupsmentioning
confidence: 99%
“…Since every C-embedded subspace of a regular Lindelöf is pseudo-ω 1 -compact [ Proof. Since every regular paratopological group is a Tychonoff space [3,Corollary 5], and every Tychonoff R-factorizable paratopological group is totally ω-narrow, i.e. the topological group G * associated to G is ω-narrow, the c(G * ) ≤ 2 ω [1, Theorem 5.4.10] and furthermore, G as a continuous image of satisfies that c(G) ≤ c(G * ) ≤ 2 ω .…”
Section: Completions Of Simply Sm-factorizable Topological Groupsmentioning
confidence: 99%
“…Basic separation axioms and relations between them are considered in [Eng,Section 1.5]. For more specific cases and topics, also related to semitopological and paratopological groups, see [Rav2], [BanRav2], [Tka,Section 2], [Tka2], [XLT].…”
Section: Preliminariesmentioning
confidence: 99%
“…Then G = i∈I G i is a Baire precompact paratopological group. Hence the topology of (G i ) * forms a π-base for G i (see [4,Theorem 5]). Apply Lemma 3.1 to conclude that G * ∼ = i∈I (G i ) * , where each (G i ) * is a Baire precompact topological group by Lemma 3.2.…”
Section: Products Of Paratopological Groupsmentioning
confidence: 99%
“…Apply Lemma 3.1 to conclude that G * ∼ = i∈I (G i ) * , where each (G i ) * is a Baire precompact topological group by Lemma 3.2. Hence, according to [4,Theorem 3.4], G * is a Baire precompact topological group. Since G is precompact and the topology of G * is a π-base for G, Lemma 3.2 implies that G is Baire.…”
Section: Products Of Paratopological Groupsmentioning
confidence: 99%