Borel images and analytic functions (Q1884405): Difference between revisions

In this interesting paper the authors are concerned with analytic functions on the unit disk \(D\), which are continuous in \(\overline{D}\) or have radial limits on subsets of \(T={\partial D}\). They characterize the plane domains whose universal covering maps preserve Borel sets. A key role in this paper is played by a main result due to Lusin-Purves concerning a necessary and a sufficient condition for a mapping to preserve Borel sets. This result allows the authors to apply results on value distribution to the problem of Borel images. Let \(\widehat{\mathbf{C}}=\mathbf{C}\cup \{\infty\}\). One of the main results of this paper is contained in Theorem 2: Let \(f:D\to\widehat{\mathbf{C}}\) be continuous and let \(B\subset T\) be a Borel set such that \(f(\zeta)\) exists for \(\zeta\in B\). If there are sets \(U_n\subset D\) (\(n\in \mathbf{N}\)) such that \(f\) is injective in each \(U_n\) and if \([r\zeta,\zeta)\in U_n\) for some \(n=n(\zeta)\) and \(r=r(\zeta)<1\) \(\forall \zeta\in B\), then \(f(B)\) is a Borel set. In particular, it is shown the following result, which is contained in Corollary 1: Let \(f\) be a homeomorphism of \(D\) into \(\widehat{\mathbf{C}}\) extended to the subset \(A\) of \(T\) where the radial limit exists. Then \(f\) preserves Borel sets on \(D\cup A\). The paper contains other various interesting results and examples.