The Devils Staircase

I have been fortunate to encounter the Devil's staircase today. It has shown me that one can perform the devilish act of continuously increasing yet staying constant almost everywhere.

The Devil's staircase also called Cantor's function, is a continuous function $c:[0,1]\rightarrow[0,1]$, with slope zero everywhere except countably many points at which it is one.

Before talking about its construction, let us look at what the construction of the Cantor set as the ideas involved are similar

The Cantor Set

Consider the set $[0,1]$, Now perform :

Step 1: Partition it into 3 parts.

Step 2: Remove the middle third.

Step 3:Repeat Step 1 and 2 on the remaining strips infinitely many points.

We now obtain something like this after six iterations of the above process :

Fig.1

 This set is an example of what is called a perfect set. We will talk of perfect sets in some other article, but for now, observe that this set consists of countably many gaps.

The Staircase

Now that we have seen the cantor set let us finally see what the devil has made for us. 

Consider the straight line $f:[0,1]\rightarrow[0,1]$ such that $f (x)=x$. 

Step 1: Partition it into 3 parts.

Step 2: Take the middle third and make it a horizontal line.

Step 3: Repeat Step 1 and 2 on the remaining part of $f$ infinitely many points.

Call the resulting function $c$. Now $c:[0,1]\rightarrow[0,1]$ is continuous, has slope zero except at countably many points elsewhere one.

Observe the similarity between the cantor set and cantor function, on how at countably many points the $[0,1]$ has gaps and $[0,1]$ has points with slope one and uncountably many with slope 0.

Isn't it amazing how a function could be constant almost everywhere yet have slope one at countably many points?

       fig 2.

The devil's staircase

That's all for now,

Ciao!

Image sources: Wikipedia