On the sums of two quasi-continuous functions with closed graphs (Q541389)

Let \((X,d)\) be a separable metric space which is Baire in the strong sense. Let \(f: X\to\mathbb{R}\) (\(\mathbb{R}\) -- the real line). A function \(f\) is said to be a Baire one star function, if for each nonempty closed set \(P\subset X\), there is an open set \(U\subset X\) such that \(P\cap U\neq\emptyset\) and \(f|_{P\cap U}\) is continuous. \(f\) is said to be quasi-continuous, if for each \(x\in X\), each neighborhood \(U\) of \(x\) and each \(\varepsilon> 0\), there is a nonvoid open set \(V\subset U\) such that \(\text{diam}[V\cup\{x\}]< \varepsilon\). Theorem: Let \(f: X\to\mathbb{R}\). The following conditions are equivalent: 1. There are quasi-continuous functions with closed graphs \(f_1, f_2: X\to\mathbb{R}\) such that \(f= f_1+ f_2\) on \(X\); 2. \(f\) is Baire one star and for each \(x\in X\) there holds \(\lim_{t\to x}\sup_{t\in C_f}|f(t)|= \infty\) or \(\lim_{t\to x}\text{inf}_{t\in C_f}|f(t)- f(x)|= 0\) where \(C_f\) denotes the set of all continuity points of \(f\).