ON -UNFAVOURABLE SPACES

To study when a paratopological group becomes a topological group, Arhangel’skii et al. [‘Topological games and topologies on groups’, Math. Maced. 8 (2010), 1–19] introduced the class of $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable spaces. We show that every $\unicode[STIX]{x1D707}$-complete (or normal) $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable semitopological group is a topological group. We prove that the product of a $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable space and a strongly Fréchet $(\unicode[STIX]{x1D6FC},G_{\unicode[STIX]{x1D6F1}})$-favourable space is $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable. We also show that continuous closed irreducible mappings preserve the $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourableness in both directions.

A note on compact-like semitopological groups

We present a few results related to separation axioms and automatic continuity of operations in compact-like semitopological groups. In particular, is provided a semiregular semitopological group $G$ which is not $T_3$. We show that each weakly semiregular compact semitopological group is a topological group. On the other hand, constructed examples of quasiregular $T_1$ compact and $T_2$ sequentially compact quasitopological groups, which are not paratopological groups. Also we prove that a semitopological group $(G,\tau)$ is a topological group provided there exists a Hausdorff topology $\sigma\supset\tau$ on $G$ such that $(G,\sigma)$ is a precompact topological group and $(G,\tau)$ is weakly semiregular or $(G,\sigma)$ is a feebly compact paratopological group and $(G,\tau)$ is $T_3$.

A note on the continuity of the inverse in paratopological groups

The problem when a paratopolgical group (or semitopological group) is a topological group is interesting and important. In this paper, we continue to study this problem. It mainly shows that: (1) Let G be a paratopological group and put τ = ωHs(G); then G is a topological group if G is a Pτ-space; (2) every co-locally countably compact paratopological group G with ωHs(G) ≦ ω is a topological group; (3) every co-locally compact paratopological group is a topological group; (4) each 2-pseudocompact paratopological group G with ωHs(G) ≦ ω is a topological group. These results improve some results in [11, 13].

A NOTE ON -SPACES

In this paper, it is shown that every compact Hausdorff $K$-space has countable tightness. This result gives a positive answer to a problem posed by Malykhin and Tironi [‘Weakly Fréchet–Urysohn and Pytkeev spaces’, Topology Appl.104 (2000), 181–190]. We show that a semitopological group $G$ that is a $K$-space is first countable if and only if $G$ is of point-countable type. It is proved that if a topological group $G$ is a $K$-space and has a locally paracompact remainder in some Hausdorff compactification, then $G$ is metrisable.

THE BAIRE PROPERTY IN THE REMAINDERS OF SEMITOPOLOGICAL GROUPS

It is proved that every remainder of a nonlocally compact semitopological group $G$ is a Baire space if and only if $G$ is not Čech-complete, which improves a dichotomy theorem of topological groups by Arhangel’skiǐ [‘The Baire property in remainders of topological groups and other results’, Comment. Math. Univ. Carolin. 50(2) (2009), 273–279], and also gives a positive answer to a question of Lin and Lin [‘About remainders in compactifications of paratopological groups’, ArXiv: 1106.3836v1 [Math. GN] 20 June 2011]. We also show that for a nonlocally compact rectifiable space $G$ every remainder of $G$ is either Baire, or meagre and Lindelöf.

Property (G), Regularity, and Semi-Equicontinuity

This note, motivated by [2], [3], and [4], is devoted to an investigation of properties related to equicontinuity in function spaces of topological spaces. In §2, we study the property (G) defined in [3], and the regularity defined in [4]. A sufficient condition for the simultaneous continuity of a function of two variables, which is analogous to a well known result in equicontinuity, is given at the end of the section. In §3, we relate the regularity with the semi-equicontinuity defined in [2], by localizing the semi-equicontinuity in an obvious way which leads us to weaken some of the hypotheses used in [2]. By the way of constructing an example, we also obtained a sufficient condition for a regular semitopological group to be a topological group.