Generalization of sequences and convergence in metric spaces (Q2452023)

In this paper, the author studies when a function \(f : X \to Y\) between arbitrary subsets \(X,Y\) of a Cantor set \( \boldsymbol{C}\) becomes continuous (respectively, open or closed) once we remove the preimage of a suitable countable set \(Y_0 \subseteq Y\) from its domain. The definition of the funtions which are shown to have this kind of properties involves sets of the form \(S_n(x)\), i.e., compact subsets of a separable metrizable space whose \(n\)th Cantor-Bendixson derivative is the singleton \(\{ x \}\). (Sets of the form \(S_n(x)\) can be seen as natural generalizations of the notion of a converging sequence of points \(x_k\) together with its limit \(x\), which corresponds to the case \(n=1\).) The prototype of the results of the paper is the following. Call a function \(f\) as above \(s_n\)-continuous if for every subset \(A\) of \(X\) of the form \(S_n(x)\) we have that \(f(x)\) is a limit point of \(f(\{ y \in A \mid y \text{ is isolated in } A \})\). (The notion of an \(s_n\)-continuous function generalizes that of a continuous function, which corresponds to the case \(n=1\).) Then for every \(s_2\)-continuous \(f : X \to Y\) there is a countable \(Y_0 \subseteq Y\) such that \(f | (X \setminus f^{-1}(Y_0))\) is continuous (Theorem~1).