P-Sequence Space with P-Norm forms Banach Space

Theorem
Let $\ell^p$ be a p-sequence space.

Let $\norm {\, \cdot \,}_p$ be a p-norm.

Then $\struct {\ell^p, \norm {\, \cdot \,}_p}$ is a Banach space.

Proof
Let $\sequence {\mathbf x_n}_{n \mathop \in \N}$ be a Cauchy sequence in $\struct {\ell^p, \norm{\, \cdot \,}_p}$.

Denote the $k$th component of $\mathbf x_n$ by $x_n^{\paren k}$.

$\sequence {x_n^{\paren k}}_{n \mathop \in \N}$ converges in $\struct {\R, \size {\, \cdot \,}}$
Let $\epsilon >0$.

Then:


 * $\displaystyle \exists N \in \N : \forall m,n \in \N : m,n > N : \norm {\mathbf x_n - \mathbf x_m}_p < \epsilon$

For same $N, m, n$ consider $\size {x_n^{\paren k} - x_m^{\paren k} } $:

Hence, $\sequence {x_n^{\paren k}}_{n \mathop \in \N}$ is a Cauchy sequence in $\struct {\R, \size {\, \cdot \,}}$.

From Real Number Line is Complete Metric Space, $\R$ is a complete metric space.

Consequently, $\sequence {x_n^{\paren k}}_{n \mathop \in \N}$ converges in $\struct {\R, \size {\, \cdot \,}}$.

Denote the limit $\displaystyle \lim_{n \mathop \to \infty} \sequence {x_n^{\paren k}}_{n \mathop \in \N} = x^{\paren k}$.

Denote $\sequence {x^{\paren k}}_{k \mathop \in \N} = \mathbf x$.

$\mathbf x$ belongs to $\ell^p$
Let $\epsilon > 0$.

Then:


 * $\exists N \in \N : \forall n,m \in \N : n,m > N : \norm {\mathbf x_n - \mathbf x_m}_p < \epsilon$.

Let $K \in \N$, $1 \le p < \infty$.

Then:

Take the limit $m \to \infty$:


 * $\displaystyle \sum_{k \mathop = 1}^K \size {x_n^{\paren k} - x^{\paren k}}^p < \infty$

Take the limit $K \to \infty$.

Hence, by definition, $\mathbf x_n - \mathbf x \in \ell^p$.

But $\mathbf x_n \in \ell^p$.

Therefore:


 * $\paren {\mathbf x - \mathbf x_n} + \mathbf x_n = \mathbf x \in \ell^p$

Let $p = \infty$.

From previous lemma, $\sequence {x_n^{\paren k}}_{n \mathop \in \N}$ is a Cauchy sequence in $\struct {\R, \size {\, \cdot \,}}$.

Fix any $n > N$ and $k \in \N$.

Then:


 * $\displaystyle \forall m > N : \size {x_n^{\paren k} - x_m^{\paren k}} < \epsilon$

Take the limit $m \to \infty$:


 * $\size {x_n^{\paren k} - x^{\paren k}} < \epsilon$

Since $k$ was arbitrary:

By definition, $\mathbf x_n - \mathbf x \in \ell^{\infty}$, and so does $\mathbf x$.

$\sequence {\mathbf x_n}_{n \mathop \in \N}$ converges
Let $1 \le p < \infty$.

Let $\epsilon > 0$.

Fix $N \in \N$, $m > N$.

Then:


 * $\displaystyle \forall n > N : \norm {\mathbf x_n - \mathbf x_m}_p < \epsilon$

Take the limit $m \to \infty$:


 * $\displaystyle \lim_{m \mathop \to \infty} \norm {\mathbf x_n - \mathbf x_m}_p = \norm {\mathbf x_n - \mathbf x}_p < \epsilon$.

So it converges.

Let $p = \infty$.

We have that:


 * $\displaystyle \forall n > N : \norm {\mathbf x_n - \mathbf x}_\infty < \epsilon$

Therefore, it converges.