Darboux functions with nowhere dense graphs (Q471442)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Darboux functions with nowhere dense graphs |
scientific article |
Statements
Darboux functions with nowhere dense graphs (English)
0 references
14 November 2014
0 references
The author proves that if \(X\) is a locally connected Baire space, \(f:X\to\mathbb{R}\) is a Darboux function with a nowhere dense graph, then the set \(D(f)\) of all discontinuity points is of first category. The set \(D(f)\) is always an \(F_\sigma\) subset of \(X\). Then, the author considers the following question: Let \(D\) be a nowhere dense \(F_\sigma\) subset of a locally arcwise connected completely metrizable separable space \(X\). Does there exist a function \(f:X\to\mathbb{R}\) with a nowhere dense graph such that \(D(f)=D\) and \(f(G)\) is connected whenever \(G\) is an open connected subset of \(X\)? The following partial answer is given. If \(D\) is a countable union of pairwise disjoint closed nowhere dense subsets of a locally arcwise connected hereditarily Baire metric space \(X\), then there is a function \(f:X\to\mathbb{R}\) of first Baire class with a \(G_\delta\) graph such that \(D(f)=D\) and \(f|V\) has a connected graph whenever \(V\) is an open connected subset of \(X\). The question has also an affirmative answer if \(X\) is a completely metrizable separable space and \(D\) is a countable union of perfect sets. The author discusses some examples and poses open problems.
0 references
Darboux property
0 references
connected graph
0 references
\(\mathcal{G}_\delta\) graph
0 references
Baire one function
0 references
0 references