Sur l'existence de la dérivée des fonctions monotones et sur quelques problèmes qui s'y rattachent. (Q565452)

Der grundlegende Satz über die Existenz der Ableitung einer monotonen Funktion in fast allen Punkten ihres Definitionsbereiches wird hier auf elementarem Wege bewiesen, der sowohl die \textit{Lebesgue}sche Integraltheorie als auch die bisher notwendige Auswahl bei Überdeckungen vermeidet. Die Hauptstütze dieses Beweises ist der Satz: Im abgeschlossenen Interval \({<}a,b{>}\) sie \(g(x)\) gegeben; es besitze \(g(x)\) nur Unstetigkeiten erster Art. Dann werde \(G(x)=\text{Max}(g(x-0),g(x),g(x+0))\) gesetzt. Ist nun \(E\) die Menge aller Punkte \(x\), für die in \({<}a,b{>}\) ein \(x'>x\) mit \(g(x')>G(x)\) existiert, so ist \(E\) eine offene Menge, für deren einzelne offenen Intervalle \((a_k,b_k)\) die Bezeichung \(g(a_k+0)\leqq G(b_k)\) gilt. Weiter folgt aus diesem Satze leicht die \textit{Tonelli}sche Formel für die Bogenlänge einer Parameterkurve, der Satz von \textit{Fubini} über die gliedweise Differenzierbarkeit einer konvergenten Reihe monotoner Funktionen in fast allen Punkten und schließlich ein direkter Beweis des Satzes, daß\ jede lineare Menge in fast allen ihren Punkten die äußere Dichte 1 hat.