Confused to Prove Banach Space.

banach-spacesfunctional-analysis

Prove $\mathcal{l}^\infty$ for all complex sequence with
$$\Vert x\Vert_\infty = \sup\limits_{i\in\mathbb{N}}\vert x_i\vert$$ is Banach space.

A Banach space is a normed linear space that is a complete metric space with respect to the metric derived from its norm.

To prove this question, let $\{x_n\}$ be a Cauchy sequence,
$$(\forall\varepsilon>0)(\exists N\in\mathbb{N})\text{ such that }\forall{m,n>N}, \vert x_m-x_n\vert<\varepsilon.$$
So, we have
\begin{eqnarray}
\Vert x_m-x_n\Vert_\infty&=&\sup\limits_{i\in\mathbb{N}}\vert x_{m_i}-x_{n_i}\vert\\
&=&\vert x_m-x_n\vert\\
&<&\varepsilon
\end{eqnarray}

Now I confuse to conclude that complete metric space(Cauchy sequence is convergent). Anyone can explain me how to prove Banach space?

Best Answer

Hints: Elements of this space are themselves sequences. So a Cauchy sequence is of the type $(x^{n}_1,x^{n}_2,...)$ , $n=1,2...$ with the property that $\sup_i |x^{n}_i-x^{m}_i| \to 0$ as $n,m \to \infty$. When this holds $(x^{1}_i,x^{2}_i,...)$ is a Cauchy sequence of real numbers for each $i$. So $x_i=\lim_{n \to \infty} x^{n}_i$ exists for each $i$. This gives a new sqequence $(x_i)$. Now try to show that this sequence is bounded and the original Cauchy sequence converges to this element.

Related Question