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

简介与定义
-----

给定两个赋范向量空间*E*和*F*，假定它们的系数域相同（一般是实数域\mathbb {R} 或复数域\mathbb {C} ）。从*E*到*F*的一个线性映射*A*是连续的当且仅当存在常数*c* > 0使得：

\forall u\in E,\;\;\|A(u)\|\_{F}\leqslant c\cdot \|u\|\_{E}.
其中的\|\cdot \|\_{E}和\|\cdot \|\_{F}分别是空间*E*和*F*上装备的范数。这个定义说明，连续线性映射将一个*E*里面的向量映射到*F*中时，其"长度"的改变不会超过*c*倍。常数*c*是对线性映射*A*的"效果"的一个上界估计。所以，有界的集合经过连续映射后的像仍然会是有界集合。因为这一点，连续线性映射也被称作有界算子。而为了"精确计算"线性映射的"大小"，会引进算子范数的定义。有界线性算子的范数是能够作为上界估计的*c*所有常数中"最小"的一个：

\|A\|\_{{op}}=\inf\{c\;;\;\;\|A(u)\|\_{F}\leqslant c\cdot \|u\|\_{E},\;\;\forall u\in E\}.
其中的\inf 指下确界。由于实数集合\{c;\;\;\|A(u)\|\_{F}\leqslant c\cdot \|u\|\_{E}\;\forall u\in E\}是有下界的闭集，定义中的下确界\inf 可以改成"最小元素"：\min 。

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

例子
--

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

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

\ell ^{2}=\{(a\_{n})\_{{n\in {\mathbb {N}}}};\;\;a\_{n}\in {\mathbb {C}},\;\sum \_{n}|a\_{n}|^{2}<\infty \}.
给定一个有界数列s=(s\_{n})\_{{n\in {\mathbb {N}}}}\in \ell ^{\infty }，考虑从\ell^2到自身的线性算子T\_s：

\forall a=(a\_{n})\_{{n\in {\mathbb {N}}}}\in \ell ^{2},\;\;T(a)=(s\_{n}\cdot a\_{n})\_{{n\in {\mathbb {N}}}}.
由于s是有界序列，其范数\|s\|\_{\infty }=\sup\{|s\_{n}|;\;\;n\in {\mathbb {N}}\}<+\infty ，所以\|T\_{s}(a)\|\_{2}\leqslant \|s\|\_{\infty }\|a\|\_{2}。T是连续线性算子（有界算子）。而T\_s的算子范数：

{\displaystyle \|T\_{s}\|\_{op}=\|s\|\_{\infty }.}
类似的例子还有L^p空间之间的映射。例如考虑平方可积函数的空间L^{2}({\mathbb {R}})，设有从L^{2}({\mathbb {R}})映射到L^{2}({\mathbb {R}})的线性算子T\_f：

\forall \varphi \in L^{2}({\mathbb {R}}),\;\;(T\_{f}(\varphi ))(t)=f(t)\phi (t).
其中*f* 为给定的有界函数。则T\_f是连续线性算子，其算子范数为：

\|T\_{f}\|\_{{op}}=\|f\|\_{\infty }.

等价定义
----

线性算子*A*的算子范数除了定义为

\|A\|\_{{op}}=\inf\{c;\;\;\|A(u)\|\_{F}\leqslant c\cdot \|u\|\_{E}\;\forall u\in E\}.
以外，还可以用以下等价的方式定义：

1. *A*的算子范数是*A*在单位闭球上取值的上确界：\|A\|\_{{op}}=\sup\{\|A(u)\|\_{F};\;\;u\in E,\;\;\|u\|\_{E}\leq 1\},
2. *A*的算子范数是*A*在单位开球上取值的上确界：\|A\|\_{{op}}=\sup\{\|A(u)\|\_{F};\;\;u\in E,\;\;\|u\|\_{E}<1\},
3. *A*的算子范数是*A*在单位球面上取值的上确界：\|A\|\_{{op}}=\sup\{\|A(u)\|\_{F};\;\;u\in E,\;\;\|u\|\_{E}=1\},
4. *A*的算子范数是*A*在*E*中非零元素上取值和元素范数之比的上确界：\|A\|\_{{op}}=\sup\{{\frac {\|A(u)\|\_{F}}{\|u\|\_{E}}};\;\;u\in E,\;\;u\neq 0\}.

性质
--

算子范数是所有从*E*到*F*的有界线性算子构成的空间上的范数，因此满足范数的基本性质：

* 正定性：\|A\|\_{{op}}\geqslant 0，并且\|A\|\_{{op}}=0当且仅当A=0.
* 线性性：\forall a\in {\mathbb {K}},\;\;\|aA\|\_{{op}}=|a|\|A\|\_{{op}}.
* 次可加性：\|A+B\|\_{{op}}\leqslant \|A\|\_{{op}}+\|B\|\_{{op}}.

此外，由算子范数的定义可推出以下不等式：

\forall u\in E,\;\;\|A(u)\|\_{F}\leqslant \|A\|\_{{op}}\|u\|\_{E}.
有界算子复合後的算子范数仍然存在。假设有从*E*到*F*的有界线性算子*A*以及从*F*到*G*的有界线性算子*B*，那么复合算子*B*\circ*A*也是从*E*到*G*的有界线性算子，其算子范数满足不等式：

\|B\circ A\|\_{{op}}\leqslant \|B\|\_{{op}}\|A\|\_{{op}}.
例如当*A*是*E*到自身的有界线性算子时，有：\|A^{{(n)}}\|\_{{op}}\leqslant \|A\|\_{{op}}^{n}.

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

参见
--

参考来源
----

1. 1 2 3 4 5  A. N. Kolmogorov, S. V. Fomin 著 Leo F. Boron 译.. New York: Ghaylock Press. 1957 （英语）.