Quasi-uniform convergence of sequences of 1-improvable discontinuous functions (Q1374561)

Given a real-valued function \(f\) defined on a metric space \(X\), define a function \(f^{(1)}\) by the rule \(f^{(1)}(x)=\lim_{t\rightarrow x} f(t)\), if the limit exists, \(f^{(1)}(x)=f(x)\) otherwise. If \(f\) is discontinuous, but \(f^{(1)}\) is continuous, then the function \(f\) is called 1-improvable discontinuous. -- Recall that a sequence of functions \(\langle f_n: n\in \mathbb{N}\rangle\) quasi-uniformly converges to a function \(f\) if \[ (\forall \varepsilon >0)(\forall n\in \mathbb{N})(\exists p\in \mathbb{N}) (\forall x\in X)(\exists l\in \mathbb{N}, 1\leq l\leq p) |f_{n+l}(x)-f(x)|<\varepsilon. \] The paper presents a full proof of the following statement: If a sequence \(\langle f_n:n\in \mathbb N\rangle\) of 1-improvable discontinuous functions defined on a complete metric space \(X\) strongly quasi-uniformly converges to a function \(f\), then \(f\) is 1-improvable discontinuous as well and, moreover, \(f^{(1)}\) is a strong quasi-uniform limit of \(\langle f^{(1)}_n: n\in \mathbb{N}\rangle\). It is an easy exercise to check that the words ``strongly'' and ``complete'' may be omitted, yet the theorem will remain valid.