Kantelfunktione

Kantelfunktione, in the standard mathematical literature usually referred to as Cantor-type functions, form a family of monotone functions on the unit interval with a distinctive combination of continuity and singularity. The best known example is the Cantor function, also called the Cantor–Lebesgue function. It maps [0,1] into itself, is continuous and non-decreasing, with F(0)=0 and F(1)=1.

Construction and interpretation: For x in [0,1], one can use a base-3 (ternary) expansion. If the expansion contains a digit 1, x lies in a removed interval of the Cantor construction; the function is defined by translating the remaining digits by replacing 0 with 0 and 2 with 1 to obtain a base-2 expansion, and then interpreting that expansion as the value of F(x). Equivalently, F is the distribution function of the Cantor measure, i.e., it encodes how mass is distributed on the Cantor set.

Properties: Cantor-type functions are continuous and increasing on [0,1], but their derivative is zero almost everywhere. Consequently, they are not absolutely continuous with respect to Lebesgue measure, even though they map [0,1] onto [0,1]. The Cantor function is constant on the interior of each removed interval, while it increases on the Cantor set itself, reflecting the fractal structure of that set.

Generalizations: The term Cantor-type functions covers a broader class built from generalized Cantor sets or alternate digit-expansion schemes in different bases. The Smith–Volterra–Cantor function, sometimes called a fat Cantor function, is a related continuous, increasing example associated with a fat Cantor set (positive Lebesgue measure) and again has derivative zero almost everywhere.

Applications and significance: Cantor-type functions serve as canonical examples distinguishing notions such as monotone but non-absolutely continuous functions, distribution functions of singular measures, and models for fractal probability distributions.