算子范数

算子范数是数学中泛函分析里的概念。算子范数衡量的是线性映射或线性算子的“大小”，通常指的是两个赋范向量空间之间的有界线性映射所构成的空间的范数。

简介与定义
给定两个赋范向量空间和，假定它们的系数域相同（一般是实数域或复数域）。从到的一个线性映射是连续的当且仅当存在常数使得：

其中的和分别是空间和上装备的范数。这个定义说明，连续线性映射将一个里面的向量映射到中时，其“长度”的改变不会超过倍。常数是对线性映射的“效果”的一个上界估计。所以，有界的集合经过连续映射后的像仍然会是有界集合。因为这一点，连续线性映射也被称作有界算子。而为了“精确计算”线性映射的“大小”，会引进算子范数的定义。有界线性算子的范数是能够作为上界估计的所有常数中“最小”的一个：
 
其中的指下确界。由于实数集合是有下界的闭集，定义中的下确界可以改成“最小元素”：。

当是的系数域时，从到的连续线性映射被称为连续线性泛函。连续线性泛函构成的空间被称为从的对偶空间，而连续线性泛函的算子范数被称为对偶范数。对偶空间在对偶范数下是一个巴拿赫空间。

例子
考虑两个装备了正则欧几里德范数的欧几里德空间：和，其中都是正整数。从映射到的有界线性算子（线性映射）都可以用的矩阵来表示。所以这些算子构成的空间实际上是矩阵空间：，而对应的算子范数也称为矩阵范数。假设某个线性映射对应的矩阵是，那么它的矩阵范数是的最大特征值的平方根，或者说是的最大的奇异值。

对于无限维的赋范空间，常见的例子有平方可加序列空间。其定义为：

给定一个有界数列，考虑从到自身的线性算子：

由于是有界序列，其范数，所以。是连续线性算子（有界算子）。而的算子范数：

类似的例子还有空间之间的映射。例如考虑平方可积函数的空间，设有从映射到的线性算子：

其中 为给定的有界函数。则是连续线性算子，其算子范数为：

等价定义
线性算子的算子范数除了定义为
 
以外，还可以用以下等价的方式定义：
的算子范数是在单位闭球上取值的上确界：
的算子范数是在单位开球上取值的上确界：
的算子范数是在单位球面上取值的上确界：
的算子范数是在中非零元素上取值和元素范数之比的上确界：

性质
算子范数是所有从到的有界线性算子构成的空间上的范数，因此满足范数的基本性质：
正定性：，并且当且仅当
线性性：
次可加性：
此外，由算子范数的定义可推出以下不等式：

有界算子复合後的算子范数仍然存在。假设有从到的有界线性算子以及从到的有界线性算子，那么复合算子也是从到的有界线性算子，其算子范数满足不等式：

例如当是到自身的有界线性算子时，有：

如果是完备空间，那么从到的有界线性算子构成的空间，在装备了算子范数下是完备的空间。

参见

参考来源

泛函分析
算子理论
范数