Let $X=\mathrm{Conv}(\mathbf R)$, the collection of all convergent sequences in $\mathbf{R}$. Is the normed space $(X,\|\cdot\|_\infty)$ complete?
How to prove that the space of convergent sequences is complete?
6
$\begingroup$
functional-analysis
banach-spaces
-
8What did you try? – 2012-09-04
1 Answers
7
HINTS: Suppose that $\langle x_n:n\in\Bbb N\rangle$ is a Cauchy sequence in $X$, where $x_n=\langle x_n(k):k\in\Bbb N\rangle$ for $n\in\Bbb N$. You want to find a sequence $y=\langle y(k):k\in\Bbb N\rangle\in X$ such that $\langle x_n:n\in\Bbb N\rangle\to y$.
Show that for each $k\in\Bbb N$, $\langle x_n(k):n\in\Bbb N\rangle$ is a Cauchy sequence in $\Bbb R$.
Use (1) to get a good candidate for $y$.
Show that $\lim_{n\to\infty}\|x_n-y\|=0\;.$
For each $n\in\Bbb N$ let $p_n=\lim\limits_{k\to\infty}x_n(k)$. Show that $\langle p_n:n\in\Bbb N\rangle$ converges to some $p\in\Bbb R$.
Show that $\lim\limits_{k\to\infty}y(k)=p$, and conclude that $y\in X$.