If the space $C^1 [0,1]$ is equiped with norm
$ \Vert f\Vert_1=\sup_{t\in [0,1]}|f'(t)|$ Is it complete?
$C^1 [0,1]$ with different norm
1
$\begingroup$
real-analysis
functional-analysis
banach-spaces
normed-spaces
norm
-
1This norm is a norm on $\mathbb{R} \times C^0[0, 1]$ both of which are known to be Banach. I think that's enough? – 2012-09-16
2 Answers
1
Take $\{f_n\}$ a Cauchy sequence for $\lVert\cdot\rVert_1$. As $C[0,1]$ endowed with the supremum norm is complete, and $\{f'_n\}$ is Cauchy in $C[0,1]$ with this norm, we can find $g\in C[0,1]$ such that $f'_n$ converges to $g$ uniformly on $[0,1]$.
The sequence of real numbers $\{f_n(0)\}$ is Cauchy, hence it converges to a real number $l$. We can define $f(x):=l+\int_0^xg(t)dt$. It's a $C^1$ function, since it's a primitive a continuous function, and we have left/right derivatives at $1$/$0$. We check that $f_n\to g$ in the norm $\lVert\cdot\rVert_1$. We have $f(0)=l=\lim_{n\to +\infty}f_n(0)$ and $f'(x)=g(x)$ which is the uniform limit of $\{f'_n\}$ on $[0,1]$.
4
Its not defined a norm on $C^1[0,1]$ since, for example $\|1\|=0.$