# Is $(\ell^1 , \| \cdot \| )$ a Norm space?

Suppose $x= \{x_n \} \in \ell^ 1$ and $\| x \| = \sup | \sum_{k=1}^n x_k |$, let $\|x\|_1 = \sum_{n=1}^{\infty} |x_n |$ is a norm for $\ell^1$ . Is $(\ell^ 1 , \| \cdot \| )$ a Normed space?

-
What have you tried? –  Sean Eberhard Apr 11 '13 at 12:58
$\left\| x \right\| = \sup \left| \sum\limits_{k=1}^n x_k \right|$
$\forall \lambda \in \Bbb C, \left\| \lambda x \right\|=\sup \left| \sum\limits_{k=1}^n \lambda x_k \right|=\sup \left| \lambda\sum\limits_{k=1}^n x_k \right|=\sup \left|\lambda\right|\left| \sum\limits_{k=1}^n x_k \right|=\left|\lambda\right|\sup \left| \sum\limits_{k=1}^n x_k \right|=\left|\lambda\right|\left\| x \right\|$
$\forall x, y \in \ell^1,\left\| x+y \right\|=\sup \left| \sum\limits_{k=1}^n x_k+y_k \right|=\sup \left| \sum\limits_{k=1}^n x_k+\sum\limits_{k=1}^ny_k \right|\le \sup\left (\left| \sum\limits_{k=1}^n x_k\right| + \left|\sum\limits_{k=1}^ny_k \right| \right)\le \sup \left| \sum\limits_{k=1}^n x_k\right| + \sup \left|\sum\limits_{k=1}^ny_k \right|=\left\| x \right\|+\left\| y \right\|$
$\forall x \in \ell ^1, \left [\left\| x \right\|=0\right ] \Leftrightarrow \left[\forall n,\sum\limits_{k=1}^n x_k =0 \right] \Leftrightarrow \left[\forall n, \sum\limits_{k=1}^{n+1} x_k- \sum\limits_{k=1}^n x_k = 0\right]\Leftrightarrow \left[\forall n, x_n = 0\right]\Leftrightarrow x = 0$