Continuous functions in I( J)-density topologies

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Continuous maps (54C05) Real-valued functions on manifolds (58C05)

Review text

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\).NEWLINENEWLINEFor \(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]}\).NEWLINENEWLINEFor \(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.

Recommendations

Cited in

(27)

This page was built for publication: Continuous functions in \({\mathcal I}( J)\)-density topologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q416410)