On functions discontinuous on countable sets (Q923740)

The author proves two theorems containing equivalent properties of functions \(f:(0,1)\to {\mathbb{R}}\) that are continuous at all except possibly countably many points and have an infinite unilateral derivative at no point. The first theorem states that if f is constant on no interval and \(P=\{y\in (\inf f,\sup f);\) \(f^{-1}(y)\) equals a perfect set minus a countable set\(\}\) then the following properties are equivalent: \((1)\quad (\inf f,\sup f)\setminus P\) is a first category set; (2) P is dense in the interval \((\inf f,\sup f);\) (3) f is nowhere monotone on \((0,1).\) In Theorem 2 it is proved that if f is continuous at all except possibly countably many points and have an infinite unilateral derivative at no point then the following properties are equivalent: (4) The set of all points where f has a nonzero derivative has measure zero; (5) The set \((\inf f,\sup f)\setminus P\) has measure zero.