Continuity points of typical bounded functions

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Classification of real functions; Baire classification of sets and functions (26A21)

Abstract: Kostyrko and Salat showed that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. We give a topological analogue of this theorem and provide some examples.

Review text

\textit{P. Kostyrko} and \textit{T. Šalát} [Real Anal. Exch. 10, 188--193 (1985; Zbl 0609.26002)] proved that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. More precisely, they proved the following: If \(X\) is a linear subspace of the Banach space of all bounded functions such that \(\inf_{f\in X}\mu(C(f))\!=0\) (where \(\mu\) denotes the Lebesgue measure on [0,1]), then the set \(\{f\in X\mid \mu(C(f))=0\}\) is a residual \(G_{\delta}\) subset of \(X\). In the paper under review, the author proves the following topological analogue of this theorem: If \(X\) is a linear subspace of the Banach space of all bounded functions such that for each non-empty open subset \(U\) of [0,1] there exists an \(f\in X\) for which \(C(f)\) is not residual in \(U\), then the set \(\{f\in X\mid C(f)\) is nowhere dense\(\}\) is a residual \(G_{\delta}\) subset of \(X\). Some examples are discussed.

Recommendations

Cited in

(15)

This page was built for publication: Continuity points of typical bounded functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1029994)