l-p sequence space (${\ell }^p$)

For $1\le p<\infty$, the space ${\ell }^p$ consists of scalar sequences $x=(x_n)$ satisfyingIt is a Banach space, and ${\ell }^q\subset {\ell }^p$ when $1\le q<p$.

The space ${\ell }^2$ consists of scalar sequences $x=(x_n)$ satisfying ${\sum }_n|x_n{|}^2<\infty$. With inner product $⟨x,y⟩={\sum }_n{x}_n\overline{y_n}$, it is a Hilbert space.

The l2 sequence space is a uniformly convex Banach space. If $\Vert x{\Vert }_2=\Vert y{\Vert }_2=1$, the parallelogram law givesThus $\Vert x-y{\Vert }_2\ge \epsilon$ permits the modulus $\delta (\epsilon )=1-\sqrt{1-{\epsilon }^2/4}$.

A finitely supported sequence has only finitely many nonzero coordinates. Their vector space is commonly denoted $c_{00}$.

For $1\le p<\infty$, coordinate truncations converge in ${\ell }^p$, so $c_{00}$ is dense. It is not dense in ${\ell }^{\infty }$: every finitely supported sequence is at distance at least one from the constant-one sequence.