Über die Loomansche Erweiterung eines Satzes von Pompéiu. (Q1457786)

Looman beweist: Ist \(f(z)\) in einem Gebiete \(G\) eindeutig, ist \[ (1)\quad \lim\sup_{h\to 0}\left| \frac{f(z+h)-f(z)}{h} \right| \] fast überall in \(G\) endlich, und existiert \(f'(z)\) fast überall in \(G\), so ist \(f(z)\) analytisch in \(G\). Übrigens darf der in (1) definierte Grenzwert ersetzt werden durch \[ \sigma(z)=\lim\sup_{m(\gamma)\to 0}\frac{1}{m(\gamma)}\left| \int_\gamma f(z)dz \right|, \] wo \(\gamma\) ein beliebiges in \(G\) liegendes, den Punkt \(z\) enthaltendes Quadrat mit dem Inhalt \(m(\gamma)\) bezeichnet. Ist \(f(z)\) in \(G\) eindeutig und ist \(\sigma(z)\) dort überall endlich und fast überall Null, so ist dort \(f(z)\) analytisch. In diesem Loomanschen Satz darf, wie Wolff zeigt, die Voraussetzung, daß\ \(\sigma(z)\) fast überall in \(G\) verschwindet, ersetzt werden durch die Voraussetzung, daß \[ \lim\inf_{m(\gamma)\to 0}\frac{1}{m(\gamma)}\left| \int_\gamma f(z)dz \right| \] fast überall verschwindet.