関数解析学および関連する数学の分野における数列空間（すうれつくうかん、英: sequence space）とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。またそれと同値であるが、自然数から実あるいは複素数体 K への関数を元とする関数空間のことでもある。そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され、関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。すべての数列空間は、この空間の線型部分空間である。通常、数列空間はノルムを備えるものであり、そうでなくとも少なくとも位相ベクトル空間の構造を備えている。
解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 ?p である。それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するLp空間の特別な場合と見なされる。収束列や零列のような他の重要な数列のクラスも数列空間を構成し、それらの場合はそれぞれ c および c0 と表記され、上限ノルムが備えられる。任意の数列空間は各点収束の位相を備えるものでもあり、その位相の下でのそれらの空間は、FK空間
（英語版）と呼ばれるフレシェ空間の特殊な場合となる。K を体（特に実または複素数全体の成す体）とし、各項が K に値をとる数列（スカラー列）全体の成す集合 KN = {(xn)n∈N : xn ∈ K} は、数列の和およびスカラー倍を
( x n ) n ∈ N + ( y n ) n ∈ N := ( x n + y n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }+(y_{n})_{n\in \mathbb {N} }:=(x_{n}+y_{n})_{n\in \mathbb {N} }}
α ( x n ) n ∈ N := ( α x n ) n ∈ N {\displaystyle \alpha (x_{n})_{n\in \mathbb {N} }:=(\alpha x_{n})_{n\in \mathbb {N} }}
と定めることによりベクトル空間を成す。このベクトル空間 KN の線型部分空間を一般に数列空間と呼ぶ。
?p-空間詳細は「ルベーグ空間」を参照
KN の部分空間 ?p を、0 < p < ∞ に対して ?p = {(xn)n∈N : ∑n |xn|p < ∞} および p = ∞ に対して ?∞ は有界数列全体の成す空間と定める。ここで実数値の単項演算 |•| は（実または複素数の）絶対値である。
1 ≤ p ≤ ∞ の場合
x = (xn)n∈N のノルム ‖ x ‖ p = { ( ∑ n 。 x n 。 p ) 1 / p ( 1 ≤ p < ∞ ) sup n 。 x n 。 ( p = ∞ ) {\displaystyle \|x\|_{p}={\begin{cases}\left(\sum _{n}|x_{n}|^{p}\right)^{1/p}&(1\leq p<\infty )\\\sup _{n}|x_{n}|&(p=\infty )\end{cases}}} を考えれば、空間 ?p (1 ≤ p ≤ ∞) は ℓ p := { x ∈ K N : ‖ x ‖ p < ∞ } {\displaystyle \ell ^{p}:=\{x\in \mathbb {K} ^{\mathbb {N} }:\|x\|_{p}<\infty \}} とも書ける。?p はこのノルムについて完備距離空間であり、したがってバナッハ空間となる。
0 < p < 1 の場合
?p はノルムを持たないが d(x,y) := ∑n |xn − yn|p で定義される距離関数を持つ。
c と c0詳細は「収束数列空間」を参照
収束列の空間 c も数列空間で、これは収束列（limn→∞xn が存在する数列 x ∈ KN）全体の成す空間である。任意の収束列は有界であるから、c は有界列の空間 ?∞ の線型部分空間である。さらに言えば、無限大ノルム ‖ • ‖∞ に関して閉部分空間となるから、それ自身バナッハ空間である。
その部分空間で、零列の空間 c0 は極限が零である数列（零列）全てからなる。これは数列空間 c の閉部分空間であるから、ふたたびバナッハ空間となる。
他の数列空間詳細は「有界級数の空間」を参照
有界級数 (bounded series) の空間 bs は、supn |∑n
i=0 xi| < ∞ を満たす列 x 全体の成す空間である。この空間（にノルム ‖ x ‖bs = supn |∑n
i=0 xi| を入れたもの）は有界数列の空間 ?∞ と等長同型なバナッハ空間になる（この同型は線型写像 (xn)n∈N ? (∑n
i=0 xi)n∈N で与えられる）。収束級数 (convergent series) の空間 cs は、この同型の下で収束数列の空間 c の上に引き写される。
空間 Φ あるいは c00 は、高々有限個の非ゼロ項を持つ（有限な台を持つ）無限列からなる空間として定義される。この集合は、多くの数列空間において稠密である。
?p 空間と空間 c0 の性質「c空間」も参照
空間 ?2 は、ヒルベルト空間であるような唯一つの ?p 空間である。なぜならば、内積により導出されるノルムは中線定理 ‖ x + y ‖ p 2 + ‖ x − y ‖ p 2 = 2 ‖ x ‖ p 2 + 2 ‖ y ‖ p 2 {\displaystyle \|x+y\|_{p}^{2}+\|x-y\|_{p}^{2}=2\|x\|_{p}^{2}+2\|y\|_{p}^{2}} を満たさなければならず、その x と y に異なる二つの単位ベクトルを代入することで p = 2 でない限りその等式は成立しないことが分かるからである。
各 ?p は、p < s のとき ?s の真部分集合である。さらに、?p は p ≠ s ならば ?s とは線型同型ではない。実際、ピットの定理 (Pitt 1936) により、p < s ならば ?s から ?p へのすべての有界線型作用素はコンパクトであるが、そのような作用素は同型とはなり得ない。またさらに、それは ?s の任意の無限次元部分空間上の同型ともなり得ず、厳密特異作用素（英語版）と呼ばれる。
1 < p < ∞ なら、?p の連続的双対空間は、1/p + 1/q = 1 を満たすようなヘルダー共役 q に対する空間 ?q と等長同型である。この特別な同型は、?q のある元 x を、?p の元 y の汎函数 L x ( y ) = ∑ n x n y n {\displaystyle L_{x}(y)=\sum _{n}x_{n}y_{n}}
と関連付ける。ヘルダーの不等式より、Lx は ?p 上の有界線型汎函数であることが分かる。また実際、 。 L x ( y ) 。 ≤ ‖ x ‖ q ‖ y ‖ p {\displaystyle |L_{x}(y)|\leq \|x\|_{q}\,\|y\|_{p}}
であることから、その作用素ノルムは ‖ L x ‖ ( ℓ p ) ∗ := sup y ∈ ℓ p y ≠ 0 。 L x ( y ) 。