Cantor Function - Properties

Properties

The Cantor function challenges naive intuitions about continuity and measure; though it is continuous everywhere and has zero derivative almost everywhere, c goes from 0 to 1 as x goes from 0 to 1, and takes on every value in between. The Cantor function is the most frequently cited example of a real function that is uniformly continuous (and hence also continuous) but not absolutely continuous. It is constant on intervals of the form (0.x₁x₂x₃...x_n022222..., 0.x₁x₂x₃...x_n200000...), and every point not in the Cantor set is in one of these intervals, so its derivative is 0 outside of the Cantor set. On the other hand, it has no derivative at any point in an uncountable subset of the Cantor set containing the interval endpoints described above.

Extended to the left with value 0 and to the right with value 1, it is the cumulative probability distribution function of a random variable that is uniformly distributed on the Cantor set. This distribution, called the Cantor distribution, has no discrete part. That is, the corresponding measure is atomless. This is why there are no jump discontinuities in the function; any such jump would correspond to an atom in the measure.

However, no non-constant part of the Cantor function can be represented as an integral of a probability density function; integrating any putative probability density function that is not almost everywhere zero over any interval will give positive probability to some interval to which this distribution assigns probability zero.

The Cantor function is the standard example of a singular function.

The Cantor function is monotone increasing, and so in particular its graph defines a rectifiable curve. The arc length of the graph is 2.