Is the set of all bounded sequences complete?

Solution 1:

HINT: Let $\langle x^n:n\in\Bbb N\rangle$ be a Cauchy sequence in $X$. The superscripts are just that, labels, not exponents: $x^n=\langle x^n_k:k\in\Bbb N\rangle\in X$. Fix $k\in\Bbb N$, and consider the sequence

$$\langle x^n_k:n\in\Bbb N\rangle=\langle x^0_k,x^1_k,x^2_k,\dots\rangle\tag{1}$$

of $k$-th coordinates of the sequences $x^n$. Show that for any $m,n\in\Bbb N$, $|x^m_k-x^n_k|\le d(x^m,x^n)$ and use this to conclude that the sequence $(1)$ is a Cauchy sequence in $\Bbb R$. $\Bbb R$ is complete, so $(1)$ converges to some $y_k\in\Bbb R$. Let $y=\langle y_k:k\in\Bbb N\rangle$; show that $y\in X$ and that $\langle x^n:n\in\Bbb N\rangle$ converges to $y$ in $X$.

Solution 2:

It can be shown that $d$ is a metric on $X$. The metric space $(X,d)$ is generally denoted by $l^{\infty}$. We will show that every Cauchy sequence in $l^{\infty}$ converges. Let $(x_m)$ be any Cauchy sequence in $l^{\infty}$. For each $m\ge 1$, write $$x_m=(c_1^{(m)},c_2^{(m)},\cdots)\in l^{\infty}.$$

Its not hard to show that for each $j\in \mathbb{Z}^+$, the sequence $(c_j^{(m)})$ is a Cauchy sequence in $\mathbb{R}$and hence it converges (because $\mathbb{R}$ is complete) to $c_j\in \mathbb{R}$. Take $x=(c_j)$. With this, just show that $x$ is bounded, so that $x\in l^{\infty}$. Lastly, show that $x_m\to x$ as $m\to +\infty$.