Article
Keywords:
Baire class one function; set of points of discontinuity; oscillation of a function
Summary:
A characterization of functions in the first Baire class in terms of their sets of discontinuity is given. More precisely, a function $f\colon \mathbb {R}\rightarrow \mathbb {R}$ is of the first Baire class if and only if for each $\epsilon >0$ there is a sequence of closed sets $\{C_n\}_{n=1}^{\infty }$ such that $D_f=\bigcup _{n=1}^{\infty }C_n$ and $\omega _f(C_n)<\epsilon $ for each $n$ where $$ \omega _f(C_n)=\sup \{|f(x)-f(y)|\colon x,y \in C_n\} $$ and $D_f$ denotes the set of points of discontinuity of $f$. The proof of the main theorem is based on a recent $\epsilon $-$\delta $ characterization of Baire class one functions as well as on a well-known theorem due to Lebesgue. Some direct applications of the theorem are discussed in the paper.
References:
[1] Bąkowska, A., Pawlak, R. J.:
On some characterizations of Baire class one functions and Baire class one like functions. Tatra Mt. Math. Publ. 46 (2010), 91-106.
MR 2731426 |
Zbl 1224.26016
[2] Bressoud, D. M.:
A Radical Approach to Lebesgue's Theory of Integration. MAA Textbooks Cambridge University Press, Cambridge (2008).
MR 2380238 |
Zbl 1165.00001
[3] Bruckner, A. M., Bruckner, J. B., Thomson, B. S.:
Real Analysis. Prentice-Hall International, Upper Saddle River (1997).
Zbl 0872.26001
[5] Kuratowski, K.: Topology. I. Academic Press, New York; Państwowe Wydawnictwo Naukowe, Warszawa; Mir, Moskva Russian (1966).
[7] Natanson, I. P.:
Theory of Functions of a Real Variable. II. Frederick Ungar Publishing New York German (1961).
MR 0067952
[8] Zhao, D.:
Functions whose composition with Baire class one functions are Baire class one. Soochow J. Math. 33 (2007), 543-551.
MR 2404581 |
Zbl 1137.26300