Inverses of Borel functions (Q2219274)

Borel (Baire) classification for functions \((0,1)\setminus\mathbb Q\to(0,1)\setminus\mathbb Q\) is considered in the frame of the (Banach) space \(bB\) of all Borel functions, endowed with the sup norm. The work focuses on the question which properties of functions are typical for \(bB\) or for a subspace \(bB_\alpha\subset bB\), \(\alpha<\Omega\), of all Borel-\(\alpha\) functions. Among a number of results, the author proves that it is typical for a function \(f\in bB\) to be one-to-one (\(f\in bB'\)), not from \(bB_\alpha\) for arbitrarily large \(\alpha<\Omega\), of zero Hausdorff dimension range, and of range contained in a prescribed residual set \(S\subset(0,1)\setminus\mathbb Q\). Results in this fashion are provided as well as for the subspaces \(bB'\) (one-to-one functions) and \(bH\) (one-to-one functions acting onto \((0,1)\setminus\mathbb Q\)), also in connection with the Borel rank of the inverse function. For example (Theorem 28): for any ordinal \(\alpha<\Omega\) the class of all \(f\in bB_{\alpha+1}\cap bH\) with \(f^{-1}\in bB_1\) is dense in \(bB_{\alpha+1}\cap bH\). Most proofs rely on a classical result saying that any Borel-\(\alpha\) function can be uniformly approximated with Borel-\(\alpha\) functions having discrete range (Theorem 3, p.\,388 in [\textit{K. Kuratowski}, Topology, vol. 1. New York-London: Academic Press (1966; Zbl\,0158.40802)]).