On functions of finite Baire index

From MaRDI portal
Publication:2565232



Abstract: It is proved that every function of finite Baire index on a separable metric space K is a D-function, i.e., a difference of bounded semi-continuous functions on K. In fact it is a strong D-function, meaning it can be approximated arbitrarily closely in D-norm, by simple D-functions. It is shown that if the nth derived set of K is non-empty for all finite n, there exist D-functions on K which are not strong D-functions. Further structural results for the classes of finite index functions and strong D-functions are also given.


For a real bounded function \(f\) defined on a separable metric space \(K\), an oscillation (Baire) index \(i(f)\) is defined such that \(f\) is continuous iff \( i(f)=0\). The set of differences of bounded semicontinuous functions defined on \(K\) is denoted by \(DBSC(K)\) and is organized as a Banach algebra. The closure of the set of simple functions in \(DBSC(K)\) is denoted by \(SD(K)\). It is proved that \(SD(K)\) contains each function \(f\) with \(i(f)<\infty ,\) and that \(SD(K)\neq DBSC(K)\) if the \(n\)th derived set of \(K\) is nonempty for all \(n\in \mathbb{N}\).











This page was built for publication: On functions of finite Baire index

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