No label defined (Q4037044)

[For the entire collection see Zbl 0754.00013.] Using a notion of porosity in a metric space (which is stronger than the notion of a nowhere dense set) the authors prove the following theorem: In the metric space \(C(I)\) of all continuous real functions defined on \(I = [0,1]\) endowed with the uniform distance, there existe a \(\sigma\)- porous set \(\mathcal P\) such that for each function \(f \in C(I) \setminus {\mathcal P}\) there exists a denumerable set \(S_ f \subseteq (m_ f,M_ f)\) such that: (i) \(E_ \beta(f)\) is a nowhere dense set, when \(\beta \not\in S_ f \cup \{m_ f,M_ f\}\), (ii) \(E_ \beta(f)\) is a singleton, when \(\beta \in \{m_ f,M_ f\}\), (iii) \(E_ \beta(f)\) is a union of a nonempty dense perfect set and a singleton, when \(\beta \in S_ f\), (iv) \(E_ \beta(f)\) is strongly porous when \(\beta = 0\), where \(E_ \beta = \{x \in I: f(x) = \beta\}\), \(m_ f = \inf f(I)\), \(M_ f = \sup f(I)\). The statements (i)--(iii) improve the results of \textit{A. M. Bruckner} where \(\mathcal P\) is only meager.