Zustand : ist kontinuierlich. Für jede abzählbare Folge von paarweise disjunkten Teilintervallen von , wir haben so dass
Ist diese Bedingung eine notwendige oder hinreichende Bedingung für die Kontinuität der Absolution? Beachten Sie, dass sich die Reihenfolge der logischen Bezeichner geändert hat.
Eine Funktion ist auf einem Intervall absolut stetig wenn für jeden da ist ein so dass, wann immer eine endliche Folge von paarweise disjunkten Teilintervallen von erfüllt
Dann
Ja, sie sind gleichwertig. Angenommen, Sie wählen nach der üblichen Definition der absoluten Stetigkeit mit ersetzt durch . Wenn ist eine disjunkte Folge von Intervallen mit einer Gesamtlänge von weniger als Dann für jede . Lassen um den Beweis zu vervollständigen.
Bei beliebiger Funktion (nicht unbedingt stetig), die Bedingung: Für jede abzählbare Folge von paarweise disjunkten Teilintervallen von , wir haben so dass
Beweis: Gegeben sei eine beliebige abzählbare Folge von paarweise disjunkten Teilintervallen von , Wähl einfach . Dann der Zustand wird falsch sein und so die Implikation " impliziert “ wird trivial wahr sein.
Diese Bedingung reicht also für absolute Stetigkeit oder gar Stetigkeit nicht aus.
Hoher Notendurchschnitt