Duality of sequence spaces (source code)

= Duality of sequence spaces

Coordinate pairing gives $(\ell^p)^*=\ell^q$ for $1<p<\infty$, $(\ell^1)^*=\ell^\infty$, and $(c_0)^*=\ell^1$.

These are continuous-dual identifications under coordinate pairing, related to but distinct from the definition of an <Lp space>.