Lexikon der Mathematik: streng monotone stetige Funktionen mit fast überall verschwindender Ableitung
lassen sich z. B. wie folgt als Grenzwert einer rekursiv definierten Folge streng isotoner stetiger Funktionen fn : [0, 1] → [0, 1] konstruieren: Für x ∈ [0, 1] sei f0(x) = x, und mit einem beliebigen t ∈ (0, 1) sei für n ∈ ℕ0 die stückweise lineare stetige Funktion fn+1 definiert durch
für α = k2−n und β = (k + 1)2−n. Dann konvergieren wegen 0 ≤ fn ≤ fn+1 ≤ 1 die fn punktweise gegen eine Funktion f : [0, 1] → [0, 1]. Man kann zeigen, daß f stetig, streng isoton und fast überall differenzierbar ist mit f′ (x) = 0. Anders gesagt: f ist eine streng isotone singuläre Funktion.
Die Funktion f ist nicht das Integral ihrer Ableitung, d. h. für das Lebesgue-Integral und stetige Funktionen mit nur f. ü. existierender Ableitung hat man kein Äquivalent zum Fundamentalsatz der Differential- und Integralrechnung. Es gilt hierfür jedoch eine Entsprechung dieses Hauptsatzes, wenn man absolut stetige Funktionen anstelle von stetigen Funktionen betrachtet.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.