A note on multivalued Baire category theorem
We consider the question of simultaneous extension of partial ultrametrics, i.e. continuous ultrametrics defined on nonempty closed subsets of a compact zero-dimensional metrizable space. The main result states that there exists a continuous extension operator that preserves the maximum operation. This extension can also be chosen so that it preserves the Assouad dimension.
In this paper, it is proved that a first-countable paratopological group has a regular -diagonal, which gives an affirmative answer to Arhangel’skii and Burke’s question [Spaces with a regular -diagonal, Topology Appl. 153 (2006), 1917–1929]. If is a symmetrizable paratopological group, then is a developable space. We also discuss copies of and of in paratopological groups and generalize some Nyikos [Metrizability and the Fréchet-Urysohn property in topological groups, Proc. Amer. Math....
Let G be a paratopological group. Then G is said to be pseudobounded (resp. ω-pseudobounded) if for every neighbourhood V of the identity e in G, there exists a natural number n such that G = Vn (resp.we have G = ∪ n∈N Vn). We show that every feebly compact (2-pseudocompact) pseudobounded (ω-pseudobounded) premeager paratopological group is a topological group. Also,we prove that if G is a totally ω-pseudobounded paratopological group such that G is a Lusin space, then is G a topological group....