Cantor function

Although it is continuous everywhere, and has zero derivative almost everywhere, its value still goes from 0 to 1 as its argument goes from 0 to 1. Thus, while the function seems like a constant one that cannot grow, it does indeed monotonically grow. It is also called the Cantor ternary function, the Lebesgue function, Lebesgue's singular function, the Cantor–Vitali function, the Devil's staircase, the Cantor staircase function, and the Cantor–Lebesgue function. Georg Cantor (1884) introduced the Cantor function and mentioned that Scheeffer pointed out that it was a counterexample to an extension of the fundamental theorem of calculus claimed by Harnack. The Cantor function was discussed and popularized by Scheeffer (1884), Lebesgue (1904), and Vitali (1905). To define the Cantor function c : [ 0 , 1 ] → [ 0 , 1 ] {\displaystyle c:[0,1]\to [0,1]} , let x {\displaystyle x} be any number in [ 0 , 1 ] {\displaystyle [0,1]} and obtain c ( x ) {\displaystyle c(x)} by the following steps: For example: Equivalently, letting C {\displaystyle {\mathcal {C}}} be the Cantor set on [0,1], the Cantor function c : [ 0 , 1 ] → [ 0 , 1 ] {\displaystyle c:[0,1]\to [0,1]} can be defined as c ( x ) = { ∑ n = 1 ∞ a n 2 n , if x = ∑ n = 1 ∞ 2 a n 3 n ∈ C for a n ∈ { 0 , 1 } ; sup y ≤ x , y ∈ C c ( y ) , if x ∈ [ 0 , 1 ] ∖ C . {\displaystyle c(x)={\begin{cases}\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{2^{n}}},&\displaystyle {\text{if }}x=\sum _{n=1}^{\infty }{\frac {2a_{n}}{3^{n}}}\in {\mathcal {C}}\ {\text{for}}\ a_{n}\in \{0,1\};\\\displaystyle \sup _{y\leq x,\,y\in {\mathcal {C}}}c(y),&\displaystyle {\text{if }}x\in [0,1]\setminus {\mathcal {C}}.\end{cases}}} This formula is well-defined, since every member of the Cantor set has a unique base 3 representation that only contains the digits 0 or 2. (For some members of C {\displaystyle {\mathcal {C}}} , the ternary expansion is repeating with trailing 2's and there is an alternative non-repeating expansion ending in 1. For example, 1 3 {\displaystyle {\tfrac {1}{3}}} = 0.13 = 0.02222...3 is a member of the Cantor set).