Prescribed sets of continuity: Baire-Kuratowski theorem, derivatives, and lineability (Q2154413)

In particular spaces of real functions on a topological space the properties of sets of functions with a fixed set of continuity points \(G\) is investigated. Under some quite general assumptions on the structure of the topological space \(X\) and the \(G_\delta\) set \(G\subset X\) a \(\mathfrak{c}\)-generated positive cone of real functions on \(X\) is found such that their set of continuity points equals \(G\). This result is a refinement of a~theorem proved by Bolstein who proved the existence of one such function for all \(G_\delta\) sets \(G\). Moreover, the constructed functions are chosen to be bounded, constant on \(G\), and having countable ranges. For all perfectly normal Hausdorff spaces \(X\) and dense \(G_\delta\) subset \(G\), having the same additional property as in the previous case, a \(\mathfrak{c}\)-generated positive cone of functions is found in the set of functions of Baire class one which share the same set \(G\) of continuity points. Again the cones consist moreover of bounded functions that are constant on \(G\) and have countable ranges. Considering differentiable functions of one real variable and having a \(G_\delta\) subset \(G\) of \(\mathbb{R}\), nonzero elements of a linear space of dimension \(\mathfrak{c}\) are constructed such that they are differentiable and the sets of continuity points of all of them coincide with \(G\). The construction of one such function is the most technical part of the proof.