Continuous functions in \({\mathcal I}( J)\)-density topologies (Q416410)

Let \(\mathcal I\) and \(\mathcal S\) stand for the \(\sigma\)-ideal of meager subsets of \(\mathbb{R}\) and the \(\sigma\)-algebra of subsets of \(\mathbb{R}\) with the Baire property. \textit{W. Poreda, E. Wagner-Bojakowska} and \textit{W. Wilczyński} introduced in [Fundam. Math. 125, 167--173 (1985; Zbl 0613.26002)] the Baire category analogue of the Lebesgue density points in the following way. The point \(0\) is a density point with respect to category of a set \(A\in\mathcal S\) if the sequence \(\{f_n\}_{n\in\mathbb{N}}=\{\chi_{nA\cap[-1,1]}\}_{n\in\mathbb{N}}\) converges with respect to the \(\sigma\)-ideal \(\mathcal I\) to the characteristic functions \(\chi_{[-1,1]}\). It means that every subsequence \(\{f_{n_k}\}_{k\in\mathbb{N}}\) of the sequence \(\{f_n\}_{n\in\mathbb{N}}\) contains a subsequence \(\{f_{n_{k_m}}\}_{m\in\mathbb{N}}\) converging to the function \(\chi_{[-1,1]}\) everywhere except for a meager set. In general \(x\) is a density point with respect to category of a set \(A\in\mathcal S\) if \(0\) is a density point with respect to category of a set \(A-x\). For \(I=[a,b]\) let \(h(A,I)\) be a characteristic function of a set \(\frac{2}{b-a}(A-\frac{b+a}{2})\cap[-1,1]\) where \(A+z=\{a+x:a\in A\}\) and \(\alpha A=\{\alpha a:a\in A\}\). Let \(J=\{J_n\}_{n\in\mathbb{N}}\) be a sequence of intervals tending to zero. The authors introduce the notion of \(\mathcal I(J)\)-density points in the following way. The point \(0\) is called \(\mathcal I(J)\)-density point of a set \(A\in\mathcal S\) if \(h(A,J_n)\) converges with respect to the \(\sigma\)-ideal \(\mathcal I\) to the characteristic functions \(\chi_{[-1,1]}\). For \(A\in\mathcal S\) let \(\Phi_{\mathcal I(J)}(A)=\{x\in\mathbb{R}:x\) is an \(\mathcal I(J)\)-density point of \(A\}\). The authors show that the family \(\mathcal T_{\mathcal I(J)}=\{A\in\mathcal S:A\subset\Phi_{\mathcal I(J)}(A)\}\) is a topology on the real line which they call an \(\mathcal I(J)\)-density topology. Basic properties of this topology are established. Most of the paper is devoted to studying classes of functions \(f:\mathbb R\to\mathbb R\) which are continuous with respect to the natural topology on the real line and the \(\mathcal I(J)\)-density topologies.