I want to show that the metric space $(c_0,d_\infty)$ is complete, where $c_0$ is the collection of all sequences $x\colon \mathbb N\to\mathbb R$ which tend to $0$. I have already shown that the space $(X,d_\infty)$, which consists of all sequences with a limit in $\mathbb R$ is complete. How can I prove that $c_0$ is a closed subspace of of $X$?
how to show that $c_0$ is complete
4
$\begingroup$
functional-analysis
metric-spaces
banach-spaces
1 Answers
4
The complement is open: take $x=\{x_n\}$ a sequence which doesn't converge to $0$: we can find $\delta_0>0$ and an infinite subset $A$ of the natural numbers such that $|x_n|\geq 2\delta$ for all $n\in A$. The open ball of center $x$ and radius $\delta$ contains sequences which are not converging to $0$, as we have $|y_n|\geq\delta$ for all $n\in A$ and $y=\{y_n\}\in B_{\infty}(y,\delta)$.
-
0Or alternatively show that it contains all its limit points, that is, the limit of a sequence in $c_0$ is in $c_0$ again. You can also have a look at [this](http://math.stackexchange.com/questions/191936/a-question-about-a-closed-set) to get ideas of how to show a set is closed. – 2012-09-11