Takagi function
From specialfunctionswiki
Define the function $s(x)=\min_{n \in \mathbb{Z}} |x-n|$. The Takagi function (also called the blancmange function) is defined by $$\mathrm{takagi}(x)=\displaystyle\sum_{k=0}^{\infty} \dfrac{s(2^n x)}{2^n}.$$
- Blancmangefunction.png
Graph of $\mathrm{takagi}$ on $[0,1]$.
Properties
Theorem: The Takagi function is continuous on $\mathbb{R}$.
Proof: █
Theorem: The Takagi function is nowhere differentiable on $\mathbb{R}$.
Proof: █
