Comparison of families of \(\mathcal{S} \)-continuous functions (Q2049893)

The following generalization of the concept of density topology on \(\mathbb{R}\) has been introduced by \textit{F. Strobin} and \textit{R. Wiertelak} [Topology Appl. 199, 1--16 (2016; Zbl 1332.54006)]. Assume that \(\mathcal{S}=\langle S_n\rangle\) is a sequence of measurable subsets of \(\mathbb{R}\) with \(\lim_{n\to\infty}\mathrm{diam}(S_n\cup\{ 0\})=0\). A point \(x\in\mathbb{R}\) is called an \textit{\(\mathcal{S}\)-density point} of a measurable set \(A\) if \[\lim_{n\to\infty}\frac{\lambda((A-x)\cap S_n)}{\lambda(S_n)}=1.\] Here \(\lambda(A)\) denotes the Lebesgue measure of \(A\). Let \(\Phi(A)\) denote the set of all \(\mathcal{S}\)-density points of \(A\). Then the family \(\tau_{\mathcal{S}}\) of all Lebesgue measurable sets \(A\subset\mathbb{R}\) with \(A\subset\Phi_{\mathcal{S}}(A)\) forms a topology on \(\mathbb{R}\) which is called the \textit{\(\mathcal{S}\)-density topology}, see an unpublished note of \textit{T. Banakh} et al. [``On a generalization of density topology on the real line'', unpublished note]. Clearly, \(\tau_\mathcal{S}\) is finer than the Euclidean topology \(\tau_e\). A function \(f\colon\mathbb{R}\to\mathbb{R}\) is called \(\mathcal{S}\)-continuous if it is continuous as a function from \((\mathbb{R},\tau_{\mathcal{S}})\) into \((\mathbb{R},\tau_{\mathcal{S}})\). In the paper under review, authors consider the following spaces of functions, all endowed with the supremum metric: \(\bullet\) \(C_{\mathcal{S},\mathcal{S}}\) of all \(\mathcal{S}\)-continuous functions. \(\bullet\) \(C_{nat,nat}\) of all continuous functions from \((\mathbb{R},\tau_{nat})\) into \((\mathbb{R},\tau_{nat})\), where \(\tau_{nat}\) is the Euclidean topology. \(\bullet\) \(C^+\) of all right continuous functions from \(\mathbb{R}\) into \(\mathbb{R}\). The main results of the paper. (1) If \(\mathcal{S}\) is right-sided, then the family \(C^+\cap C_{\mathcal{S},\mathcal{S}}\) is strongly porous in the space \(C_{\mathcal{S},\mathcal{S}}\) and dense in \(C^+\). (2) Assume that for some \(\alpha<-1\) the function \(x\mapsto \alpha x\) is \(\mathcal{S}\)-continuous. Then \(C_{nat,nat}\cap C_{\mathcal{S},\mathcal{S}}\) is strongly porous in the space \(C_{\mathcal{S},\mathcal{S}}\) and dense in \(C_{nat,nat}\).