Generalization of sequences and convergence in metric spaces
Classification of real functions; Baire classification of sets and functions (26A21) Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20) Weak and generalized continuity (54C08) Special maps on topological spaces (open, closed, perfect, etc.) (54C10)
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).
This page was built for publication: Generalization of sequences and convergence in metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452023)
