Families of Darboux functions and topology having \((\mathcal{J}^\ast)\)-property (Q1738968)

The authors study the following modifications of the \textit{strong Świątkowski property} of real functions defined by \textit{A. Maliszewski} [Zesz. Nauk. Politech. Łódz., Mat. 719(27), 87--93 (1995; Zbl 0885.26002)]. \par Let $\mathcal{J}$ be an ideal of subsets of $\mathbb{R}$. For $A\subset\mathbb{R}$ let $D_\mathcal{J}(A)$ be the set of all points $x\in\mathbb{R}$ with $A\cap G\not\in\mathcal{J}$ for every open neighbourhood $G$ of $x$. Let $\mathcal{B}a_\mathcal{J}$ be the family of all sets of the form $G\triangle J$ where $G$ is open in the Euclidean topology $\tau_e$ and $J\in\mathcal{J}$. \par A family $\mathcal{A}\subset\mathcal{P}(\mathbb{R})$ has the $(\mathcal{J}^\ast)$-property if $\tau_e\subset\mathcal{A}\subset\mathcal{B}a_\mathcal{J}$, and $A\subset D_\mathcal{J}(A)$ for each $A\in\mathcal{A}$. \par A function $f:\mathbb{R}\to\mathbb{R}$ is $\mathcal{A}$-continuous at a point $x\in\mathbb{R}$ if for every open $V\ni f(x)$ there is $A\in \mathcal{A}$ such that $x\in A$ and $f(A)\subset V$. $f$ is $\mathcal{A}$-continuous if it is $\mathcal{A}$-continuous at each $x\in\mathbb{R}$. \par A function $f:\mathbb{R}\to\mathbb{R}$ has the $\mathcal{A}$-Darboux property if for each interval $(a,b)\subset\mathbb{R}$ and each $\lambda\in (f(a),f(b))$ there is $x\in (a,b)$ such that $f(x)=\lambda$ and $f$ is $\mathcal{A}$-continuous at $x$. \par The main theorem: if $\mathcal{J}$ contains all singletons and $\tau$ is a topology on $\mathbb{R}$ possessing the ($\mathcal{J}^\ast$)-property then the set of all Darboux $\tau$-continuous functions is strongly porous in the space $\mathcal{D}_\tau$ of all functions having the $\tau$-Darboux property with the supremum metric.