A construction of inner maps preserving the Haar measure on spheres (Q1063154)

Es sei \(B^ n\) die offene Einheitskugel in \({\mathbb{C}}^ n\) und \(S^ n=\partial B^ n.\) Eine holomorphe Abbildung \(f: B^ n\to B^ m\) heißt innere Abbildung, wenn für fast alle \(z\in S^ n\) gilt: \(f_*(z)=\lim_{r\to 1}f(rz)\in S^ m.\) Es sei \(n\geq m\); die Abbildungen \(g=(g_ 1,...,g_ m): \bar B^ n\to {\mathbb{C}}^ m\) und \(h: \bar B^ n\to {\mathbb{C}}\) seien stetig und in \(B^ n\) holomorph; es sei \(h\not\equiv 0\) und \(| g(z)| +| h(z)| <1\) für \(z\in B^ n\). Es wird gezeigt, daß es dann eine innere Abbildung \(f: B^ n\to B^ m\) gibt, so daß gilt: \(f(z)=g(z)\) für alle \(z\in B^ n\) mit \(h(z)=0\) und \(f_ 1(z)=g_ 1(z),...,f_{m-1}(z)=g_{m-1}(z)\) für \(z\in B^ n\). Daraus folgt, daß es nichttriviale innere Abbildungen \(f: B^ n\to B^ m\) mit Randwerten \(f_*: S^ n\to S^ m\) gibt, so daß für jede meßbare Menge \(A\subset S^ m\) mit positivem Maß \(\sigma\) (A) auch \(f_*^{-1}(A)\) positives Maß hat. Für \(m=n\) gilt \(\sigma (f_*^{-1}(A))=\sigma (A),\) dabei ist f kein Automorphismus. Außerdem ergibt sich noch die Existenz einer inneren Funktion \(f: B^ n\to B^ 1\) mit \((\partial f/\partial z_ 1)(0,...,0)=1\).