Proving Density of Continuous Nowhere Differentiable Functions Using Baire’s Category Theorem

baire-categorymetric-spacesreal-analysis

I'm trying to prove the next problem:

Let $C([0,1],\mathbb{R})$ the space of continuous function $f:[0,1]\to \mathbb{R}$ with the supremum(uniform convergence) metric and let $\mathbb{B}\subset C([0,1],\mathbb{R})$ be the subset of continuous nowhere differentiable functions. I have to show that B contains a countable intersection of dense open sets.

In order to do that, we consider the set:
$$A_{n}:=\{f\in C([0,1],\mathbb{R}): \forall t\in [0,1]\space \exists h \space s.t \mid \frac{f(t+h)-f(t)}{h}\mid > n \}$$

And then, if we prove:

  1. $A_{n}$ is open in $C([0,1],\mathbb{R})$

  2. $A_{n}$ is dense in $C([0,1],\mathbb{R})$

Then we can conclude that $\mathbb{B}$ contains a countable intersection of open dense subsets. Finally, this means that the set $\mathbb{B}$ is dense because of the Baire's category theorem.

I've already proven 1) and 2) but I cant get to the conclusion.

It is probably a very elemental thing. I hope you can help.

Best Answer

It only lasts to see that $\displaystyle\bigcap_{n\in\mathbb N} A_n \subset \mathbb B$.

Fix $f\in\displaystyle\bigcap_{n\in\mathbb N} A_n$ and we will prove below that $f\in\mathbb B$.

Fix $t\in[0,1]$. For each $n\in \mathbb N$, there exists $h_n$ such that $$ \left|\dfrac{f(t+h_n)-f(t)}{h_n}\right| > n. $$ Therefore,

$$ \lim_{n\to +\infty}\left|\dfrac{f(t+h_n)-f(t)}{h_n}\right|=+\infty. $$

Now observe that

Claim. There exists a subsequence of $(h_n)_{n\in\mathbb N}$ converging to $0$.

Suppose the contrary. Then, there exists $\delta>0$ such that $|h_n|\geq \delta$ for any $n\in\mathbb N$. Then $$ \left|\dfrac{f(t+h_n)-f(t)}{h_n}\right|\leq \dfrac{|f(t+h_n)-f(t)|}{\delta},\ \forall n \in \mathbb N, $$ and since $f$ is continuous in $[0,1]$, it is bounded by some $M>0$, and so $$ \left|\dfrac{f(t+h_n)-f(t)}{h_n}\right|\leq \dfrac{2M}{\delta},\ \forall n \in \mathbb N, $$ but this contradicts the fact that the limit is infinite, and the claim is proved

Fix the subsequence $(h_{n_m})_{m\in\mathbb N}$ given by the Claim. We have that $h_{n_m}\to 0$ and $$ \lim_{m\to +\infty}\left|\dfrac{f(t+h_{n_m})-f(t)}{h_{n_m}}\right|=+\infty, $$ so using this classical equivalence on limits (from real analysis):

$\displaystyle\lim_{t\to a} f(t)=L \Leftrightarrow$ $\displaystyle\lim_{n\to+\infty} f(t_n)=L$, for any sequence $t_n\to a$,

it follows that the limit $\displaystyle\lim_{h\to0}\left|\dfrac{f(t+h)-f(t)}{h}\right|$ doesn't exist, and consequently, $\displaystyle\lim_{h\to0}\dfrac{f(t+h)-f(t)}{h}$ doesn't exist as well, so $f$ is not differentiable at $t$. Since $t\in[0,1]$ was fixed arbitrarily, it follows that $f$ is nowhere differentiable and so $f\in\mathbb B$.