Darboux functions with nowhere dense graphs (Q471442)

From MaRDI portal
Revision as of 06:50, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    Identifiers