Even continuity and topological equicontinuity in topologized semigroups (Q1013816)

Let \(X,Y\) be topological spaces, \(x_0\in X\), \(y_0\in Y\). A family \(\mathcal{F}\) of mappings from \(X\) to \(Y\) is called {\parindent=4mm \begin{itemize} \item[--] evenly continuous at \(x_0\) and \(y_0\) if, for every neighbourhood \(W_{y_0}\) of \(y_0\), there exist neighbourhoods \(U_{x_0}\) and \(V_{y_0}\) of \(x_0\) and \(y_0\) such that, for every \(f\in \mathcal{F}\), \(f(x_0)\in V_{y_0}\) implies \(f(U_{x_0})\subseteq W_{y_0}\); \item [--] topologically equicontinuous at \(x_0\) and \(y_0\) if, for every neighbourhood \(W_{y_0}\) of \(y_0\), there exist neighbourhoods \(U_{x_0}\) and \(V_{y_0}\) of \(x_0\) and \(y_0\) such that, for every \(f\in \mathcal{F}\), \(f(U_{x_0})\cap V_{y_0}\neq\varnothing\) implies \(f(U_{x_0})\subseteq W_{y_0}\). \end{itemize}} A family \(\mathcal{F}\) is called evenly continuous (topologically equicontinuous) at \(x_0\) if \(\mathcal{F}\) is evenly continuous (topologically equicontinuous) at \(x_0\) and \(y\) for each \(y\in X\). If \(\mathcal{F}\) is evenly continuous (topologically equicontinuous) at every point \(x\in X\), \(\mathcal{F}\) is called evenly continuous (topologically equicontinuous). The paper consists of the following observations: {\parindent=6,5mm \begin{itemize} \item[(1)] every left topological semigroup \(X\) with an evenly continuous family \(\mathcal{R}_X\) of right translations is a topological semigroup; \item [(2)] a semitopological group \(X\) is paratopological if and only if \(\mathcal{R}_X\) is evenly continuous; \item [(3)] a semitopological group \(X\) is a topological group if and only if \(\mathcal{R}_X\) is topologically equicontinuous. \end{itemize}}