Sul teorema di densità in senso forte. (Q2590784)

Unter der (starken) Ableitung der Intervallfunktion \(\varPhi(I)\) im Punkte \(P\) des \(E_2\) bezüglich des Systems \(j\) aller achsenparallelen Intervalle \(I\) verstehe man den \(\lim(\varPhi(I): |I|)\), wo \(|I|\) das äußere (Lebesguesche) Maß eines auf \(P\) sich zusammenziehenden Intervalles \(I\) bedeutet, also eines Intervalles aus \(j\), welches \(P\) enthält und dessen Durchmesser gegen Null geht. Verf. gibt einen neuen, einfachen Beweis dafür, daß \(\varPhi(I)\) fast überall (im Definitionsbereich) eine Ableitung besitzt, welche gleich 1 bzw. \(f (x, y)\) ist, wenn \(\varPhi(I) = |MI|\), wo \(M\) eine beliebige Menge des \(E_2\) ist (Dichtesatz) bzw. wenn \(\varPhi (I)=\iint\limits_I f(\xi, \eta )d\xi d\eta\), wo \(f(\xi, \eta)\) nebst \(f(\xi, \eta) \log |f(\xi,\eta)|\) summierbar ist in einem achsenparallelen Rechteck (übrigens gilt der Dichtesatz in dieser Fassung allgemein im \(E_n, n \geqq2\), vgl. z. B. \textit{Haupt-Aumann}, Differential- u. Integralrechnung, 3. Bd. (1938; JFM 64.0153.*), S. 124). Im Zusammenhange damit zeigt Verf. schließlich: Zu jeder nicht-fallenden, für \(t > 0\) positiven Funktion \(\alpha (t)\) mit \(\lim\limits_{t\to 0} \alpha (t) = 0\) gibt es eine in einem achsenparallelen Rechteck \(R\) summierbare \(f(x,y)\), für welche in jedem Punkte \(P\) von \(R\) gilt: \(\varlimsup\dfrac{1}{|I|}\iint\limits_I f(\xi, \eta)d\xi d\eta =+\infty\), wenn \(P\) Mittelpunkt von \(I\) ist und sich \(I\) dergestalt auf \(P\) zusammenzieht, daß für seine Seitenlängen \(h\) und \(k\) gilt: \(h\geqq k \alpha(k)\) und \(k\geqq h\alpha (h)\).