Elemente der intuitionistischen Funktionentheorie. V. Die intuitionistische Übertragung des Picardschen Satzes. (Q2581900)

Verf. schließt sich in diesem letzten Teil seiner Untersuchungen zur intuitionistischen Funktionentheorie in seinem Beweisgang eng an \textit{E. Landau}, Darstellung und Begründung einiger neuerer Ergebnisse der Funktionentheorie, 2. Aufl. (1929; F. d. M. \(55_{\text I}\), 171) an. Nach einem Hilfssatz wird der Blochsche Satz bewiesen: Es sei \(f\) regulär für \(|z|\leqq1\) und \(|f'(0)|\geqq 1\). Alsdann nimmt \(f(z)\) dort alle Werte eines Kreisinnern vom Radius \(B\) an, wo \(B\) eine absolute Konstante ist. Es folgt der bekannte Satz von Schottky über die Existenz einer nur von zwei Konstanten abhängigen Schranke für eine im Einheitskreise reguläre Funktion. Der kleine Picardsche Satz wird formuliert: Es sei \(F(z)\) ganz und variabel, und es seien \(a\) und \(b\neq a\) komplexe Zahlen. Alsdann nimmt \(F(z)\) wenigstens einen der Werte \(a\) und \(b\) an. Aus einem Weierstraßschen Satz über die Existenz von drei komplexen Zahlen wird schließlich die intuitionistische Übertragung des großen Picardschen Satzes über die Existenz nur eines Ausnahmewertes in der Umgebung einer wesentlich singulären Stelle und seine intuitionistische Umkehrung bewiesen. Bei einer Funktion mit zwei Ausnahmewerten in der Umgebung von \(z_0\) und einer Laurent-Entwicklung mit wenigstens einem von Null entfernten Koeffizienten der Potenzen mit negativen Exponenten ist \(z_0\) ein Pol von bestimmter Ordnung.