[ilmath]C([0,1],\mathbb{R})[/ilmath] is not complete when considered with [ilmath]L^1[/ilmath] norm

Stub grade: A*

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Demote once entire proof is here, even if not neat, just has to be readable Alec (talk) 12:01, 19 April 2017 (UTC)

Statement

Define [ilmath](f_n)_{n\in\mathbb{N} }\subseteq C([0,1],\mathbb{R})[/ilmath] as follows:

• [ilmath]f_n:[0,1]\rightarrow\mathbb{R} [/ilmath] by [ilmath]f_n:x\mapsto\left\{\begin{array}{lr}1 & \text{if }x\in[0,\frac{1}{2}] \\ 1-n(x-\frac{1}{2}) & \text{if }x\in[\frac{1}{2},\frac{1}{2}+\frac{1}{n}] \\ 0 & \text{if }x\in[\frac{1}{2}+\frac{1}{n},1]\end{array}\right. [/ilmath]

We will show:

1. [ilmath](f_n)_n[/ilmath] is a Cauchy sequence with the metric: [math]d(f,g):\eq\Vert f-g\Vert:\eq\int^1_0\vert f(t)-g(t)\vert\mathrm{d}t[/math]
2. If we assume [ilmath]\big(C([0,1],\mathbb{R}),d\big)[/ilmath] is a complete metric space then [math]\exists f\in C([0,1],\mathbb{R})\left[\mathop{\text{lim} }_{n\rightarrow\infty}\Big(d(f_n,f)\Big)\eq 0\right] [/math]
3. We then show that such an [ilmath]f[/ilmath] cannot be continuous if it is indeed this limit