数列空間
| L x ( y ) | ≤ ‖ x ‖ q ‖ y ‖ p {\displaystyle |L_{x}(y)|\leq \|x\|_{q}\,\|y\|_{p}}
であることから、その作用素ノルムは
‖ L x ‖ ( l p ) ∗ := sup y ∈ l p y ≠ 0 | L x ( y ) | ‖ y ‖ p ≤ ‖ x ‖ q {\displaystyle \|L_{x}\|_{(\ell ^{p})^{*}}:=\sup _{\begin{smallmatrix}y\in \ell ^{p}\\y\neq 0\end{smallmatrix}}{\frac {|L_{x}(y)|}{\|y\|_{p}}}\leq \|x\|_{q}}
を満たす。
y を l の元とし、
y n = { 0 ( x n = 0 ) x n − 1 | x n | q ( x n ≠ 0 ) {\displaystyle y_{n}={\begin{cases}0&(x_{n}=0)\\x_{n}^{-1}|x_{n}|^{q}&(x_{n}\neq 0)\end{cases}}}
とすれば、Lx(y) = ‖ x ‖q ‖ y ‖p が得られるため、実際には等号が成立し
‖ L x ‖ ( l p ) ∗ = ‖ x ‖ q {\displaystyle \|L_{x}\|_{(\ell ^{p})^{*}}=\|x\|_{q}}
である。
逆に、l 上の与えられた有界線型汎函数 L に対し、xn = L(en) で定義される数列は l に属する。したがって、写像 x ↦ L x {\displaystyle x\mapsto L_{x}} は等長写像
しかし、無限次元空間上の弱位相は、強位相よりも厳密に弱いため、l には弱収束するが強収束しない有向点族が存在する。
l 空間は多くのバナッハ空間に埋め込まれる。すべての無限次元バナッハ空間がある l あるいは c0 の同型を含むかという問題は、1974年のボリス・チレルソン(英語版)によるチレルソン空間(英語版)の構成により、否定的な解答が与えられた。その対として、すべての可分バナッハ空間は l の商空間と線型等長である、という問題は、Banach & Mazur (1933)により肯定的な解答が与えられた。すなわち、すべての可分バナッハ空間 X に対して、X が l 1 / ker  Q {\displaystyle \ell ^{1}/\ker Q} と同型になるような商写像 Q : l 1 → X {\displaystyle Q:\ell ^{1}\to X} が存在する。一般的に、ker Q は l 内で完備化されない。すなわち、 l 1 = Y ⊕ ker  Q {\displaystyle \ell ^{1}=Y\oplus \ker Q} であるような l の部分空間 Y は存在しない。実際、l はそれ自身のどれとも同型でないような非可算個の多くの非完備部分空間を持つ(例えば、 X = l p {\displaystyle X=\ell ^{p}} を考える。そのような X は非可算に多く存在し、l はどの他のものとも同型でないため、非可算個の多くの ker Q が存在する)。
自明な有限次元の場合を除き、l の変わった性質は、それが多項式的回帰的空間(英語版)であることである。
κ q : l q → ( l p ) ∗ {\displaystyle \kappa _{q}\colon \ell ^{q}\to (\ell ^{p})^{*}}
を与える。
κp を、その転置の逆と合成することにより得られる写像
l q → κ q ( l p ) ∗ → ( κ q ∗ ) − 1 {\displaystyle \ell ^{q}{\xrightarrow {\kappa _{q}}}(\ell ^{p})^{*}{\xrightarrow {(\kappa _{q}^{*})^{-1}}}}
は、その二重双対への l の標準単射と一致する。したがって、l は回帰的空間である。記法の濫用により、l を l の双対と同一視するのが通例である(つまり、(l) = l)。したがって、回帰性は、(l) = (l) = l という等号のつながりによって理解される。
空間 c0 は、ゼロへと収束するすべての数列からなる空間として定義される。これに上限ノルム ‖ x ‖∞ を入れたものは l の閉部分空間となり、したがってバナッハ空間となる。その双対空間は l である。l の双対空間は l であることに注意されたい。自然数の添字集合の場合、l と c0 は可分である。ただし l は例外となる。l の双対空間はba空間である。
空間 c0 と l(1 ≤ p < ∞)には、標準無条件シャウダー基底(英語版) {ei | i = 1, 2,...} が存在する。ここで ei は第 i 成分のみ 1 でその他ではゼロであるような列である。
空間 l はシューアの性質(英語版)を持つ:すなわち、l において弱収束(英語版)する列は、必ず強収束(英語版)もする(Schur 1921)。
K の部分空間 l を、0 < p < ∞ に対して l = {(xn)n∈N : ∑n |xn| < ∞} および p = ∞ に対して l は有界数列全体の成す空間と定める。ここで実数値の単項演算 |•| は(実または複素数の)絶対値である。