Elemente der intuitionistischen Funktionentheorie. II. Der Satz vom Integral der logarithmischen Ableitung. I. (Q2580225)

Die intuitionistische Mathematik erkennt folgenden Schluß nicht als berechtigt an: ``Es sei \(f(z)\) für \(|z|\leqq R\) regulär, und es sei festgestellt, daß die Beziehung \(|f(z)| > 0\) nicht für jedes \(|z|\leqq R\) rerfüllt sein kann; dann läßt sich im Innern des Kreises \(|z| = R\) eine Nullstelle von \(f(z)\) bestimmen''. Infolgedessen erfordern die Beweise der folgenden 7 Sätze -- hauptsächlich über Integrale der logarithmischen Ableitung -- Modifikationen. Der klassische Satz, daß der absolute Betrag einer regulären Funktion kein Maximum innerhalb des Regularitätsbereichs besitzt, wird verschärft: ``\(d < R\), \(\varepsilon\) beliebig; es läßt sich ein positives \(k<\varepsilon\) bestimmen mit folgender Eigenschaft: jedem \(z_0\) mit \(|z_0| < R - d\) läßt sich ein \(z_1\) mit \(|z_1|<R-\tfrac12 d\) so zuordnen, daß \(|f(z_1)|>|f(z_2)| + k\) ist.'' Für die in der intuitionistischen Mathematik nicht stichhaltige Disjunktion: ``Es ist \(|f(z)|\) in einem Punkt entweder \(> 0\) oder \(= 0\)'' wird als Ersatz ein Mittel zur Bestimmung von nullpunktfreien Gebieten gebracht. Wenn auf dem Rand eines einfach zusammenhängenden Bereichs \(G\), der ganz im Innern eines Regularitätskreises liegt, \(|f(z)|\geqq k\) und \(\int\limits_G\dfrac{f'(z)dz}{f(z)}= 0\) ist, so ist auch in jedem Punkt von \(G\) \(|f(z)|\geqq k\).