A characterization of the uniform convergence points set of some convergent sequence of functions (Q2054636)

Let \(X\) be a topological space, \((Y,d)\) be a metric space and \(\vec{f}=\langle f_n\rangle _{n\in\mathbb{N}}\) be a sequence of functions from \(X\) into \(Y\). We say that \(\vec{f}\) is \textit{uniformly Cauchy at a point \(x_0\in X\)} if for every \(\varepsilon>0\) there exist: a neigbourhood \(U\) of \(x_0\) and \(n_0\in\mathbb{N}\) such that \(|f_n(x)-f_m(x)|<\varepsilon\) for all \(n,m>n_0\) and \(x\in U\). Let \(\text{UC}(\vec{f})\) denote the set of all \(x\in X\) at which \(\vec{f}\) is uniformly Cauchy. \textit{J. Borsík} [Eur. J. Math. 5, No. 1, 174--185 (2019; Zbl 1422.54014)] has proved recently that if \(X\) is a metric space and \(A\subset X\) then the following conditions are equivalent: (1) \(A=\text{UC}(\vec{f})\) for some convergent sequence \(\vec{f}=\langle f_n\rangle _{n\in\mathbb{N}}\) of functions \(f_n\colon X\to \mathbb{R}\); (2) \(A\) is a \(G_\delta\) set and contains all isolated points of \(X\). In the reviewed paper, the author proves that the conditions (1) and (2) remain equivalent under the weaker assumption that \(X\) is a perfectly normal and \(\omega\)-resolvable space. Moreover, it is sufficient to assume that \(Y\) is a non-discrete metric space.