在数学中，**赋范向量空间**（英語：）是具有"**长度**"概念的向量空间。是通常的欧几里得空间 **R**n 的推广。**R**n中的长度被更抽象的范数替代。"长度"概念的特征是：

1. **零向量**的长度是零，并且任意向量的长度是非负实数。
2. 一个向量 *v* 乘以一个标量 *a* 时，长度应变为原向量 *v* 的 |*a*|（ *a* 的绝对值）倍。
3. 三角不等式成立。也就是说，对于两个向量 *v* 和 *u* ，它们的长度和（"三角形"的两边）大于 *v*+*u* （第三边）的长度。

一个把向量映射到非负实数的函数如果满足以上性质，就叫做一个半范数；如果只有零向量的函数值是零，那么叫做范数。拥有一个范数的向量空间叫做**赋范向量空间**，拥有半范数的叫做**半赋范向量空间**。

定义
--

一个半赋范向量空间（*E*,*p*）由一个向量空间 *E* 以及一个 *E* 上的半范数 *p* 构成。

一个赋范向量空间（*E*,||·||）由一个向量空间 *E* 以及一个 *E* 上的范数 ||·|| 构成。

拓扑结构
----

设（*E*,||·||）是一个赋范向量空间，那么由范数 ||·|| 很自然地定义了一个拓扑上的距离：

{\mathbb {E}}\times {\mathbb {E}}\longrightarrow {\mathbb {R}}
\ (x,y)\mapsto \Vert x-y\Vert 
由此就定义了一个 *E* 上的拓扑结构，称为范数 ||·||诱导的自然拓扑。这也是使得函数 ||·|| 连续的最弱的拓扑。此外，这个自然拓扑和向量空间的线性结构相容，因为：

1. 向量加法：**+** 在此拓扑下是连续的，这可以由范数的三角不等式性质得出。
2. 向量的数量乘法**·**在此拓扑下是连续的，这也可由范数的线性性和三角不等式性质得出。

对于半赋范向量空间，可以定义类似的函数，这时 *E* 成为一个半度量空间（弱于度量空间）。在其中我们也可以定义连续和收敛等概念。更抽象地说，每个半赋范向量空间都是一个拓扑空间，其拓扑结构由它的半范数诱导。

在赋范向量空间中，完备的赋范向量空间特别重要，称为巴拿赫空间。每个赋范向量空间都是一个巴拿赫空间的稠密子空间，这个巴拿赫空间由此赋范向量空间唯一确定，称为它的完备空间。

在拓扑的角度来说，有限维的向量空间上的任意两个范数都是等价的，即它们诱导出相同的拓扑结构（尽管由它们各自定义的度量空间并不相同）。由于欧几里得空间是完备的，我们可以推出每个有限维的赋范向量空间都是巴拿赫空间。实际上对自然拓扑来说，任意有限维的赋范向量空间都同胚于欧几里得空间**R**n。

一个赋范向量空间被称为局部紧致的，如果单位球B={x\ |\ \Vert x\Vert \leq 1} 是紧集。由里斯引理（英语：）可知，一个赋范向量空间局部紧致当且仅当它的维数有限。实际上，这个定理证明了对任意的拓扑空间（不一定是由范数诱导的度量空间）都有这个结论。

线性变换和对偶空间
---------

在赋范向量空间之间的线性变换中，最重要的是连续线性变换，赋范向量空间和连续线性变换一起构成一个范畴。

范数自身，作为函数，是连续的。任意两个有限维的赋范向量空间之间的线性变换也都是连续的。

两个赋范向量空间之间的一个等距变换 *f* 是指使得对任意向量 *v* 都有||*f*(*v*)|| = ||*v*|| 的线性变换。保距变换总是连续的单射。如果两个赋范向量空间之间的一个等距变换是满射，那么称其为一个**等距同构**。两个保距同构的赋范向量空间在拓扑的意义上可以说是相等的（拥有相同的性质；在一者中成立的命题，在另一者中也成立）。

对于在域 *K* 上的赋范向量空间（*E*,||·||），我们可以考虑它关于||·||的对偶空间 *E\** ，也就是所有从 *E* 射到 *K* 的连续线性变换（一般称为"**函子**"）构成的空间。对于一个函子 \phi  ，定义它的范数是|\phi (v)|的上确界，其中 *v* 是 *E* 中范数为 1 的所有向量。由于函子是连续的，这个上确界存在。这样我们就将 *E\** 定义成为一个赋范向量空间。
关于赋范向量空间上的连续线性函子有哈恩-巴拿赫定理。

商空间
---

很多赋范向量空间（特别是巴拿赫空间）的定义涉及到空间上定义的半范数。赋范向量空间可以定义为一个空间关于半范数为零的元素的商空间。比如说，对于Lp空间的定义，考虑所有函数组成的空间上的函数：

\Vert f\Vert \_{p}=\left(\int |f(x)|^{p}dx\right)^{{1/p}}
是一个半范数，它对所有能使式子右边勒贝格可积的函数有定义。然而，对于任意定义在勒贝格测度为 0 的支撑上的函数，其半范数皆为 0 。在"除掉"这些函数（将它们归为 0 函数的等价类）之后，得到的商空间就是一个赋范向量空间：Lp空间。

空间的直积
-----

给定 *n* 个半赋范向量空间（*E*i,*q*i） ，我们可以定义它们的直积空间 *X*为：

X:=\prod \_{{i=1}}^{{n}}X\_{i}
其中向量的加法定义为：

(x\_{1},\ldots ,x\_{n})+(y\_{1},\ldots ,y\_{n}):=(x\_{1}+y\_{1},\ldots x\_{n}+y\_{n})
数量乘法定义为：

\alpha (x\_{1},\ldots ,x\_{n}):=(\alpha x\_{1},\ldots ,\alpha x\_{n})
我们定义一个函数 *q*：

q:X\mapsto {\mathbb {R}}
比如说：

q:(x\_{1},\ldots ,x\_{n})\to \sum \_{{i=1}}^{n}q\_{i}(x\_{i})
这是 *X* 上的一个半范数。*q* 是范数当且仅当 *q*i 都是范数。

对大于 1 的 *p* ，*q* 也可以定义为：

q:(x\_{1},\ldots ,x\_{n})\to \left(\sum \_{{i=1}}^{n}q\_{i}^{p}\right)^{{\frac {1}{p}}}
这些半范数都是等价的。通过泛代数的结论可以证明，任意的有限维半赋范向量空间都可以表示成一个赋范向量空间和一个有平凡的半范数的半赋范向量空间的直积空间。因此，半赋范向量空间的比较有趣或"反常"的例子都是无限维的。

参考资料
----

* 赋范空间介绍
* [永久] [永久]，武汉大学线上课程【已失效】

参见
--

* 局部凸空间，半赋范向量空间的推广。
* 巴拿赫空间，范数诱导的度量完备的赋范向量空间。
* 内积空间，其上的内积可以诱导一个范数。

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥（英语：）

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 (范数)
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) (谱半径)
* 谱理论（英语：）(谱定理)
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |