Semitopological groups, Bouziad spaces and topological groups (Q392836)

A~set~\(Y\) in a~topological space~\(X\) is said to be \textit{bounded} in~\(X\) if \(\bigcap_{n\in\mathbb{N}}\overline{U_n}\neq\emptyset\) whenever \((U_n)_{n\in\mathbb{N}}\) is a~decreasing sequence of open sets in~\(X\) such that \(U_n\cap Y\neq\emptyset\) for each \(n\in\mathbb{N}\). For a~dense set \(D\subseteq X\) let \(\mathcal{G}_B(D)\) be the following infinite game of two players \(\alpha\) and~\(\beta\): Player~\(\beta\)~starts the \(n\)th move with the choice of \((B_n,b_n)\) and player~\(\alpha\) answers with the choice of~\(A_n\) so that \(B_n\) and~\(A_n\) are nonempty open sets in~\(X\) and \(B_{n+1}\subseteq A_n\subseteq B_n\) and \(b_{n+1}\in A_n\cap D\) for each \(n\in\mathbb{N}\). Player~\(\alpha\) wins if \(\bigcap_{n\in\mathbb{N}}\overline{U_n}\neq\emptyset\) for every decreasing sequence \((U_n)_{n\in\mathbb{N}}\) of open sets in~\(X\) such that \(\{k\in\mathbb{N}:b_k\notin U_n\}\) is finite for each \(n\in\mathbb{N}\); otherwise \(\beta\)~wins. A~regular topological space is said to be a~\textit{Bouziad space} if there is a~dense set \(D\subseteq X\) such that player~\(\beta\) does not have a~winning strategy in \(\mathcal{G}_B(D)\). Similarly, a~completely regular topological space is said to be a~\textit{strong Bouziad space} if there is a~dense set \(D\subseteq X\) such that player~\(\beta\) does not have a~winning strategy in \(\mathcal{G}_{SB}(D)\) where \(\mathcal{G}_{SB}(D)\) is the same game as \(\mathcal{G}_B(D)\) game but \(\alpha\)~wins if there exists a~subspace \(S\subseteq X\) and an increasing sequence \(\{n_k\}_{k\in\mathbb{N}}\) such that (i)~\(\bigcap_{n\in\mathbb{N}}\overline{U_n}{}^S\neq\emptyset\) for every decreasing sequence \((U_n)_{n\in\mathbb{N}}\) of open sets in~\(S\) such that \(\{k\in\mathbb{N}:b_{n_k}\notin U_n\}\) is finite for each \(n\in\mathbb{N}\) and (ii)~every subspace of \(C_p(S)\) that is bounded in \(C_p(S)\) has a~compact closure. Recall that a~semitopological group is a~group endowed with a~topology in which multiplication is separately continuous and that a~topological group is a~semitopological group with continuous multiplication and inversion. The reader can find many conditions for a~semitopological group to be a~topological group in the literature. In the paper under the review the author gives conditions for semitopological groups that are Bouziad or strong Bouziad spaces to be topological groups.