IM PAN
INSTITUTE OF MATHEMATICS · POLISH ACADEMY OF SCIENCES
FUNDAMENTA
MATHEMATICAE
ISSN: 0016-2736(p) 1730-6329(e)
 

Functions of Baire class one
Denny H. Leung1, Wee-Kee Tang2
Fund. Math. 179 (2003), 225-247
doi:10.4064/fm179-3-3

Abstract: 
Let $K$ be a compact metric space. A real-valued function on
$K$ is said to be of Baire class one (Baire-$1$) if it is the
pointwise limit of a sequence of continuous functions. 
We study two well known ordinal indices of Baire-$1$
functions, the oscillation index $\beta$ and the convergence
index $\gamma$. It is shown that these two indices are fully
compatible in the following sense: a Baire-$1$ function $f$
satisfies $\beta(f)\leq\omega ^{\xi_{1}}\cdot\omega^{\xi_{2}}$
for some countable ordinals $\xi_{1}$ and $\xi_{2}$ if and only
if there exists a sequence $(f_{n})$ of Baire-$1$ functions
converging to $f$ pointwise such that 
$\sup_{n}\beta(f_{n})\leq\omega^{\xi_{1}}$ and
$\gamma((f_{n}))\leq\omega^{\xi_{2}}$. We also obtain an
extension result for Baire-$1$ functions analogous to the Tietze
Extension Theorem. Finally, it is shown that if $\beta(f)
\leq\omega^{\xi_{1}}$ and $\beta( g) \leq\omega^{\xi_{2}}$, then
$\beta( fg) \leq\omega^{\xi}$, where $\xi=\max\{ \xi
_{1}+\xi_{2},\,\xi_{2}+\xi_{1}\} $. These results do not assume the
boundedness of the functions involved.


MSC (2000): Primary 26A21; Secondary 03E15, 54C30.
Retrieve article in PDF (213.92 Kb)
  1. Denny H. Leung
    Department of Mathematics
    National University of Singapore
    2 Science Drive 2, Singapore 117543
  2. Wee-Kee Tang
    Mathematics and Mathematics Education
    National Institute of Education
    Nanyang Technological University
    1 Nanyang Walk, Singapore 637616