Zwei Sätze bei approximativ stetigen Funktionen. (Q565448)

Eine für \(a\leqq x\leqq b\) definierte Funktion \(g(x)\) heißt ``im abgeänderten Sinne untere rechte approximative Derivierte'' \([g(x)=\underline {ADA}_rf(x)]\) einer meßbaren Funktion \(f(x)\), (a) wenn sich das Intervall \({<}a,b{>}\), abgesehen von einer höchstens abzählbaren Teilmenge, so durch höchstens abzählbar viele perfekte Teilmengen \(E_k\) überdecken läßt, daß\ 1) für jede Funktion \(f_k(x)\), die in \(E_k\) sowie in \(a\) und \(b\) gleich \(f(x)\) und in jedem abgeschlossenen Komplementärintervall zu \(E_k\) linear ist, \(^{*}\) in \(E_k\) mitAusnahme einer höchstens abzählbaren Teilmenge \(M_k\) die untere rechte approximative Derivierte im üblichen Sinne \(\underline {AD}_rf_k(x)=g(x)\) ist \(^{*}\), und 2) in jeder perfekten Teilmenge \(H_k\) eines \(E_k\) eine Funktion \(f_{H_k}\) in bezung auf \(H_k\) dieselben Eigenschaften hat wie \(f_k\) in bezung auf \(E_k\). -Entsprechend wird eine \(\overline {ADA}_rf(x)\) definiert, die im Falle der Übereinstimmung mit \(\underline {ADA}_rf(x)\) als \(ADA_rf(x)\) bezeichnet wird. -Weitere wird eine Funktion \(f(x)\) ``im abgeänderten Sinne approximativ stetig'' \([ASA]\) genannt, wenn sie in \({<}a,b{>}\) approximativ stetig im üblichen Sinne ist und die obige Bedingung (a) mit \(^{*}f_k(x)\) approximativ stetig ist \(^{*}\) statt \(^{*} \cdots ^{*}\) erfüllt. Es gelten dann die Sätze: Ist \(f(x)\) in \({<}a,b{>}\) \(ASA\) und mit einer \(\underline {ADA}_rf(x)\) versehn, die abgesehen von höchstens abzählbar vielen Punkten, \(\geqq 0\) ist, so nimmt \(f(x)\) monoton zu. - Sind \(f(x)\) und \(g(x)\) \(ASA\) und besitzen beide eine \(ADA_r\), die abgesehen von einer höchstens abzählbaren Menge von Punkten, übereinstimmende Werte haben, so ist \(f(x)-g(x)\) eine Konstante. -Ist für eine Zerlegung des Intervalls \({<}a,b{>}\) in abzählbar viele Teilmengen die stetige Funktion \(f(x)\) in jeder einzelnen dieser Teilmengen konstant, so ist sie auch im ganzen Intervall konstant.