Points of continuity and quasicontinuity (Q2379263)

Recall that a real function \(f : X \rightarrow \mathbb{R}\) is said to be quasicontinuous (cliquish) at a point \(x \in X\) if for each \(\varepsilon > 0\) and for each neighbourhood \(U\) of \(x\) there is a nonempty open set \(G \subset U\) such that \(|f(x) - f(y)| < \varepsilon\) for each \(y \in G\) (\(|f(y) - f(z)| < \varepsilon\) for each \(y, z \in G\)). A function \(f : X \rightarrow \mathbb{R}\) is said to be upper (lower) quasicontinuous at \(x \in X\) if for each \(\varepsilon > 0\) and for each neighbourhood \(U\) of \(x\) there is a nonempty open set \(G \subset U\) such that \(f(y) < f(x) + \varepsilon\) (\(f(y) > f(x) - \varepsilon\)) for each \(y \in G\). Let \(C(f)\), \(Q(f)\), \(E(f)\) and \(A(f)\) be the sets of all continuity, quasicontinuity, upper and lower quasicontinuity and cliquishness points of a real function \(f\), respectively. The triplets \((C(f);Q(f); A(f))\), \((C(f); E(f); A(f))\) and \((Q(f); E(f); A(f))\) are characterized for functions defined on Baire metric spaces without isolated points. For example in Theorem 2 the author proves: Let \(X\) be a Baire metric space without isolated points. Let \(C\), \(Q\) and \(A\) be subsets of \( X\). Then \(C = C(f)\), \(Q = Q(f)\) and \(A = A(f)\) for some function \(f : X \rightarrow \mathbb{R}\) if and only if \(C \subset Q \subset A\), \(C\) is \(G_{\delta}\) , \(A\) is closed and \(A \backslash C\) is of first category. Many more such interesting results are proved.