On \(\mathcal{S}\)-approximately continuous functions (Q2038970)

The paper is devoted to studying properties of \(\mathcal{S}\)-approximately continuous functions. This kind of approximate continuity is connected with the notion of an \(\mathcal{S}\)-density point introduced by \textit{F. Strobin} and \textit{R. Wiertelak} [Topology Appl. 199, 1--16 (2016; Zbl 1332.54006)]. Let us recall basic definitions. \(\bullet\) We say that a sequence \(\mathcal{S}=\langle S_n\rangle\) of measurable subsets of \(\mathbb{R}\) tends to \(0\) iff \(\mathrm{diam}(S_n\cup\{ x\})\to 0\) as \(n\to\infty\). A point \(x\) is called an \(\mathcal{S}\)-density point of \(A\in\mathcal{L}\) if \[\lim_{n\to\infty}\frac{\lambda((A-x)\cap S_n)}{\lambda(S_n)}=1.\] Here \(\mathcal{L}\) denotes the \(\sigma\)-algebra of Lebesgue measurable subsets of \(\mathbb{R}\) and \(\lambda(A)\) denotes the Lebesgue measure of a set \(A\in\mathcal{L}\). \(\bullet\) Let \(\Phi_\mathcal{S}(A)\) denote the set of all \(\mathcal{S}\)-density points of \(A\). Then the family \[\tau_\mathcal{S}=\{ A\in\mathcal{L}: 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}, \textit{F. Strobin}, and \textit{R. Wiertelak} [``On a generalization of density topology on the real line'']. \(\bullet\) A function \(f\colon\mathbb{R}\to\mathbb{R}\) is \textit{\(\mathcal{S}\)-approximately continuous at a point \(x\in\mathbb{R}\)} if there is a measurable set \(A\subset\mathbb{R}\) such that \[x\in\Phi_\mathcal{S}(A) \text{ and } f|_{(A\cup\{ x\})} \text{ is continuous at }x.\] \(f\) is \textit{\(\mathcal{S}\)-approximately continuous} if it is \(\mathcal{S}\)-approximately continuous at each \(x\in\mathbb{R}\). \(\bullet\) Main results: Assume that \(\mathcal{S}\) is a sequence of measurable sets which tends to \(0\) and such that \[\forall_{A\in\mathcal{L}}\; \left(A\subset\Phi_\mathcal{S}(A)\Rightarrow \lambda(\Phi_\mathcal{S}(A)\setminus A)=0\right).\] Let \(f\colon\mathbb{R}\to\mathbb{R}\) be an \(\mathcal{S}\)-approximately continuous function. Then (1) \(f\) is continuous as a function from the space \(\langle \mathbb{R},\tau_\mathcal{S}\rangle\) to \(\mathbb{R}\) with the Euclidean topology. (2) \(f\) is Baire one; (3) \(f\) is Darboux (has the intermediate value property) iff the sequence \(\mathcal{S}\) is both-sided tending to zero;