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$?
[Math] how to show that $c_0$ is complete
banach-spacesfunctional-analysismetric-spaces
Best Answer
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)$.