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
    0 references
    Darboux property
    0 references
    connected graph
    0 references
    \(\mathcal{G}_\delta\) graph
    0 references
    Baire one function
    0 references
    0 references
    0 references