Topologies generated by porosity and maximal additive and multiplicative families for porouscontinuous functions (Q1709045)

Let \(X\) be a metric space. For \(M\subset X\) and \(x\in X\) let \(p(M,x)\) denote the porosity of \(M\) at \(x\), see e.g. \textit{L.~Zajiček} [Real Anal. Exch. 13, No. 2, 314--350 (1988; Zbl 0666.26003)]. The authors consider the following notions of generalized continuity defined by \textit{J.~Borsík} and \textit{J.~Holos} [Math. Slovaca 64, No. 3, 741--750 (2014; Zbl 1340.54028)]. A function \(f:X\to\mathbb{R}\) is \(\bullet\) \textit{\(\mathcal{P}_0\)-continuous at \(x\)} if there exists a set \(A \subset X\) such that \(x \in A\), \(p(X \setminus A, x) > 0\) and \(f|_{A}\) is continuous at \(x\); \(\bullet\) \textit{\(\mathcal{S}_0\)-continuous at \(x\)} if for each \(\varepsilon > 0\) there exists a set \(A \subset X\) such that \(x \in A\), \(p(X \setminus A, x) > 0\) and \(f(A) \subset (f(x) -\varepsilon, f(x) +\varepsilon)\); \(\bullet\) \textit{\(\mathcal{M}_1\)-continuous at \(x\)} if there exists a set \(A \subset X\) such that \(x \in A \), \(p(X \setminus A, x)\geq 1\) and \(f|_{A}\) is continuous at \(x\). Here, \(p(M,x)\) denotes the porosity of \(M\) at \(x\). A function \(f\) is \(\mathcal{P}_0\)-continuous (\(\mathcal{S}_0\)-continuous, \(\mathcal{M}_1\)-continuous, respectively) if it is \(\mathcal{P}_0\)-continuous (\(\mathcal{S}_0\)-continuous, \(\mathcal{M}_1\)-continuous) at each \(x\in X\). All such functions are called \textit{porouscontinuous}. In the first part of the paper under review the authors characterize the maximal additive classes \(\mathfrak{M}_a\) for the families \(\mathcal{P}_0\), \(\mathcal{S}_0\) and \(\mathcal{M}_1\) under the assumption that \(X\) is \textit{thick}, i.e. if \(p(X \setminus B(x, R), y) \geq 1\) for every \(x \in X\), \(R > 0\) and \(y \in S(x, R)\) (here \(B(x, R)\) and \(S(x,R)\) denote the open ball resp. the sphere with center \(x\) and radius \(R\)). Then \(\bullet\) \(f\in \mathfrak{M}_a(\mathcal{P}_0)\) iff for all \(x \in X\) and \(F \subset X\), if \(p(F, x) > 0\) and \(x \in F\) then there is a set \(E \subset X\) such that \(x\in E\), \(p((X \setminus E) \cup F, x) > 0\), and \(f|{E}\) is continuous at \(x\). \(\bullet\) \(f\in \mathfrak{M}_a(\mathcal{S}_0)\) iff \(f\) is continuous with respect to the porosity topology, see [\textit{J. Lukeš} et al., Fine topology methods in real analysis and potential theory. Springer, Cham (1986; Zbl 0607.31001)]. \(\bullet\) \(f\in \mathfrak{M}_a(\mathcal{M}_1)\) iff \(f\) is continuous with respect to the strong porosity topology. In the second part of the paper the authors characterize in a similar way the maximal multiplicative classes for the families \(\mathcal{P}_0\) and \(\mathcal{M}_1\). Some other properties of superporosity and strong superporosity are considered at the end of the paper.