On points of porouscontinuity (Q2216602)

Let \(X\) be a normed space. For a set \(A\subset X\) and \(x\in X\) let \(p(A,x)\) denote the porosity of \(A\) at \(x\). In the paper under review the authors consider some properties of real-valued functions defined on \(X\) which are connected with the notion of porosity. In the case where \(X =\mathbb{R}\) such properties are defined in [\textit{J. Borsík} and \textit{J. Holos}, Math. Slovaca 64, No. 3, 741--750 (2014; Zbl 1340.54028)]. For \(r\in [0,1)\) a function \(f\colon X\to\mathbb{R}\) is: (1) \textit{\(\mathcal{P}_r\)-continuous at \(x\)} if there exists a set \(A\subset X\) such that \(x\in A\), \(p(X\setminus A, x) > r\) and \(f|A\) is continuous at \(x\); (2) \textit{\(\mathcal{S}_r\)-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) > r\) and \(f(A) \subset (f(x)-\varepsilon, f(x) + \varepsilon)\). Moreover, if \(r\in (0,1]\) then \(f\) is: (3) \textit{\(\mathcal{M}_r\)-continuous at \(x\)} if there is a set \(A \subset X\) such that \(x \in A\), \(p(X \setminus A, x) \ge r\) and \(f|A\) is continuous at \(x\); (4) \textit{\(\mathcal{N}_r\)-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) \ge r\) and \(f(A) \subset (f(x)- \varepsilon, f(x) + \varepsilon)\). For a given \(f\colon X\to\mathbb{R}\), let \(\mathcal{P}_r(f)\) denote the set of all \(x\in X\) at which \(f\) is \(\mathcal{P}_r\)-continuous. The sets \(\mathcal{S}_r(f)\), \(\mathcal{M}_r(f)\) and \(\mathcal{N}_r(f)\) are defined in a similar way. It is known that the equality \(\mathcal{M}_r(f)=\mathcal{N}_r(f)\) holds for every \(f\). Finally, let \(\mathfrak{C}_{\mathcal{P}_r}=\{ \mathcal{P}_r(f)\colon f\in\mathbb{R}^X\}\). The classes \(\mathfrak{C}_{\mathcal{S}_r}\) and \(\mathfrak{C}_{\mathcal{M}_r}\) are defined in a similar way. In the paper under review, the authors study properties of sets from the classes \(\mathfrak{C}_{\mathcal{P}_r}\), \(\mathfrak{C}_{\mathcal{S}_r}\) and \(\mathfrak{C}_{\mathcal{M}_r}\), as well as the relations between these classes. In particular, they show that all such sets have the Baire property. In the second part of the paper, the authors characterize also the set of all points of quasi-continuity of a function \(f\colon X\to\mathbb{R}\).