# Thread: Showing a space is not Banach

1. ## Showing a space is not Banach

Let C[0,1] be the space of continuous real valued functions on [0.1] which has a continuous derviative i.e. its C1.

Define the norm ||f|| = |f(0)| + sup |f '(t)| for t in [0,1]

How do you show that this is not a Banach space?

I think I might I have a counterexample though I cannot prove by defn of Cauchy sequences that it does not converge.

So we would want to find a Cauchy sequence that does not converge.
i.e. ||f_n - f_m|| = |f_n(0) - f_m(0)| + sup |f '_n(0) - f '_m(0)|

I was thinking f_n(t) = t^n would work but then I could not figure it out.

2. Originally Posted by vinnie100
Let C[0,1] be the space of continuous real valued functions on [0.1] which has a continuous derviative i.e. its C1.

Define the norm ||f|| = |f(0)| + sup |f '(t)| for t in [0,1]

How do you show that this is not a Banach space?

I think I might I have a counterexample though I cannot prove by defn of Cauchy sequences that it does not converge.

So we would want to find a Cauchy sequence that does not converge.
i.e. ||f_n - f_m|| = |f_n(0) - f_m(0)| + sup |f '_n(0) - f '_m(0)|

I was thinking f_n(t) = t^n would work but then I could not figure it out.
Maybe I'm missing something but I think this is a Banach space:

Let $\displaystyle (u_n)$ be a Cauchy sequence then $\displaystyle (u_n(0))$ is a Cauchy sequence and thus converges and $\displaystyle (u'_n)$ is a unif. Cauchy sequence so it also converges, and by a standard theorem we have that $\displaystyle u$ is a $\displaystyle C^1$ function and $\displaystyle u'_n \rightarrow u'$ if $\displaystyle u_n\rightarrow u$