在数学中，赋范向量空间是具有“长度”概念的向量空间。是通常的欧几里得空间 Rn 的推广。Rn中的长度被更抽象的范数替代。“长度”概念的特征是：
一个把向量映射到非负实数的函数如果满足以上性质，就叫做一个半范数；如果只有零向量的函数值是零，那么叫做范数。拥有一个范数的向量空间叫做赋范向量空间，拥有半范数的叫做半赋范向量空间。
一个半赋范向量空间（,）由一个向量空间 以及一个 上的半范数 构成。
一个赋范向量空间（,||·||）由一个向量空间 以及一个 上的范数 ||·|| 构成。
设（,||·||）是一个赋范向量空间，那么由范数 ||·|| 很自然地定义了一个拓扑上的距离：
由此就定义了一个 上的拓扑结构，称为范数 ||·||诱导的自然拓扑。这也是使得函数 ||·|| 连续的最弱的拓扑。此外，这个自然拓扑和向量空间的线性结构相容，因为：
对于半赋范向量空间，可以定义类似的函数，这时 成为一个半度量空间（弱于度量空间）。在其中我们也可以定义连续和收敛等概念。更抽象地说，每个半赋范向量空间都是一个拓扑空间，其拓扑结构由它的半范数诱导。
在赋范向量空间中，完备的赋范向量空间特别重要，称为巴拿赫空间。每个赋范向量空间都是一个巴拿赫空间的稠密子空间，这个巴拿赫空间由此赋范向量空间唯一确定，称为它的完备空间。
在拓扑的角度来说，有限维的向量空间上的任意两个范数都是等价的，即它们诱导出相同的拓扑结构（尽管由它们各自定义的度量空间并不相同）。由于欧几里得空间是完备的，我们可以推出每个有限维的赋范向量空间都是巴拿赫空间。实际上对自然拓扑来说，任意有限维的赋范向量空间都同胚于欧几里得空间Rn。
一个赋范向量空间被称为局部紧致的，如果单位球 是指使得对任意向量 都有||()|| = |||| 的线性变换。保距变换总是连续的单射。如果两个赋范向量空间之间的一个等距变换是满射，那么称其为一个等距同构。两个保距同构的赋范向量空间在拓扑的意义上可以说是相等的（拥有相同的性质；在一者中成立的命题，在另一者中也成立）。
对于在域 上的赋范向量空间（,||·||），我们可以考虑它关于||·||的对偶空间 ，也就是所有从 射到 的连续线性变换（一般称为“函子”）构成的空间。对于一个函子 是 中范数为 1 的所有向量。由于函子是连续的，这个上确界存在。这样我们就将 定义成为一个赋范向量空间。关于赋范向量空间上的连续线性函子有哈恩-巴拿赫定理。
很多赋范向量空间（特别是巴拿赫空间）的定义涉及到空间上定义的半范数。赋范向量空间可以定义为一个空间关于半范数为零的元素的商空间。比如说，对于Lp空间的定义，考虑所有函数组成的空间上的函数：
是一个半范数，它对所有能使式子右边勒贝格可积的函数有定义。然而，对于任意定义在勒贝格测度为 0 的支撑上的函数，其半范数皆为 0 。在“除掉”这些函数（将它们归为 0 函数的等价类）之后，得到的商空间就是一个赋范向量空间：Lp空间。
给定 个半赋范向量空间（i,i） ，我们可以定义它们的直积空间 为：
其中向量的加法定义为：
数量乘法定义为：
我们定义一个函数 ：
比如说：
这是 上的一个半范数。 是范数当且仅当 i 都是范数。
对大于 1 的 ， 也可以定义为：
这些半范数都是等价的。通过泛代数的结论可以证明，任意的有限维半赋范向量空间都可以表示成一个赋范向量空间和一个有平凡的半范数的半赋范向量空间的直积空间。因此，半赋范向量空间的比较有趣或“反常”的例子都是无限维的。
