Some typical results on bounded Baire 1 functions (Q795188)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Some typical results on bounded Baire 1 functions
scientific article

    Statements

    Some typical results on bounded Baire 1 functions (English)
    0 references
    0 references
    1984
    0 references
    In the paper the authors deal with functions f:[0,1]\(\to R\) (R - the real line). Let b\({\mathcal A}\), \(b\Delta\), b\({\mathcal D}{\mathcal B}^ 1\), b\({\mathcal B}^ 1\) be Banach spaces of bounded approximately continuous functions, bounded derivatives, bounded Daboux Baire 1 functions and bounded Baire 1 functions, resp., with norm \(\| f\| =\sup | f|.\) Some typical properties of functions of the above spaces are given. These concern of level sets, of continuity points and of the range. Let us introduce some of the reached results: Theorem 1.10. The set of functions f such that \(f^{-1}(y)\) is a nowhere dense (Lebesgue) nullset for all \(y\in R\) is a residual \(G_{\delta}\) set in any of b\({\mathcal A}\), \(b\Delta\) and b\({\mathcal D}{\mathcal B}^ 1\). Theorem 2.4. Let \(\mu\) be an arbitrary finite Borel measure on [0,1] and \({\mathcal F}=b{\mathcal A},\quad b\Delta,\quad b{\mathcal D}{\mathcal B}^ 1,\quad b{\mathcal B}^ 1.\) Then \(\{f\in {\mathcal F}:\mu(C_ f)=0\}\) is an everywhere dense \(G_{\delta}\) set in \({\mathcal F} (C_ f\)- the set of continuity points of f). Theorem 3.5. Let \({\mathcal F}=b{\mathcal A},\quad b\Delta,\quad b{\mathcal D}{\mathcal B}^ 1,\quad b{\mathcal B}^ 1.\) Then the family \(\{f\in {\mathcal F}: f(C_ f)\) is of power of continuum\} is an everywhere dense \(G_{\delta}\) set in \({\mathcal F}\).
    0 references
    0 references
    0 references
    0 references
    0 references
    Banach spaces
    0 references
    bounded approximately continuous functions
    0 references
    bounded derivatives
    0 references
    bounded Daboux Baire 1 functions
    0 references
    bounded Baire 1 functions
    0 references
    level sets
    0 references
    range
    0 references
    finite Borel measure
    0 references
    set of continuity points
    0 references
    0 references
    0 references
    0 references