算子范数

维基百科,自由的百科全书
跳转至: 导航搜索

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

简介与定义[编辑]

给定两个赋范向量空间EF,假定它们的系数域相同(一般是实数\mathbb{R}复数\mathbb{C})。从EF的一个线性映射A是连续的当且仅当存在常数c > 0使得:

\forall u \in E, \; \; \|A(u)\|_F \leqslant c \cdot \|u\|_E.

其中的\| \cdot \|_E\| \cdot \|_F分别是空间EF上装备的范数。这个定义说明,连续线性映射将一个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

FE的系数域时,从EF的连续线性映射被称为连续线性泛函。连续线性泛函构成的空间被称为从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}}.

由于t是有界序列,其范数\|s \|_\infty = \sup \{ |s_n| ; \; \; n\in\mathbb{N}\} < +\infty,所以\| T_s(a) \|_2 \leqslant \|s\|_\infty  \| a \|_2T是连续线性算子(有界算子)。而T_s的算子范数:

\| T_s \|_{op} = \|t\|_\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]:97

  1. A的算子范数是A在单位闭球上取值的上确界:\|A\|_{op} = \sup\{\|A(u)\|_F ; \; \; u \in E, \; \; \|u\|_E \le 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的算子范数是AE中非零元素上取值和元素范数之比的上确界:\|A\|_{op} = \sup\{\frac{\|A(u)\|_F}{\|u\|_E} ; \; \; u \in E, \; \; u \neq 0\}.

性质[编辑]

算子范数是所有从EF的有界线性算子构成的空间上的范数,因此满足范数的基本性质:

  • 正定性:\|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} .[1]:98

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

\forall u \in E, \; \; \|A(u)\|_F \leqslant \|A\|_{op} \|u\|_E .[1]:97

有界算子复合後的算子范数仍然存在。假设有从EF的有界线性算子A以及从FG的有界线性算子B,那么复合算子B\circA也是从EG的有界线性算子,其算子范数满足不等式:

\|B \circ A\|_{op} \leqslant \|B\|_{op} \|A\|_{op} .[1]:98

例如当AE到自身的有界线性算子时,有:\|A^{(n)}\|_{op} \leqslant \|A\|^n_{op} .

如果F完备空间,那么从EF的有界线性算子构成的空间,在装备了算子范数下是完备的空间。[1]:98

参见[编辑]

参考来源[编辑]

  1. ^ 1.0 1.1 1.2 1.3 1.4 A. N. Kolmogorov, S. V. Fomin 著 Leo F. Boron 译. Elements of the Theory of Functions and Functional Analysis Volume I: Metric and Normed Spaces. New York: Ghaylock Press. 1957 (英文).