谱 σ(T) 为浅蓝色,路径 γ 为红色。
当谱有多个连通分量和对应的路径 γ 时的情况。
当谱不是单连通时的情况。
设 为复巴拿赫空间, 是 上的有界算子族(这些算子也构成一个巴拿赫空间)。
回忆一下复分析中的柯西积分公式。令 在某个开集 上全纯,而 是 中的可求长的若尔当曲线,即有限长度的无自交的闭曲线。假定位于 内部的点(即,使得 关于 的卷绕数为 1 的点)的集合 满足 。柯西积分公式即
-
现在试着将这个公式推广到在 中取值的函数。柯西积分公式暗示了以下定义(姑且只是形式上写下这个式子,没有严格定义):
-
其中 称为是 在 处的预解算子。
假设已适当定义了在巴拿赫空间内取值的积分,则如此给出的函数演算蕴含了以下必要条件:
- 由于标量版本的柯西积分公式的适用对象是全纯的 ,料想巴拿赫空间情况也是如此:在巴拿赫空间 中取值的函数应该有一个对标于普通复变函数的全纯性的概念。
- 由于预解映射 在 的谱 上无定义,因此若尔当曲线 应是与 不相交的。而预解映射在 的补集上是全纯的。那么,为了得到一个非平凡的函数演算 必须包围着(至少一部分)的 。
- 上述积分式的结果须独立于 的选择。
函数演算的完整定义如下: 对于 ,定义
-
其中 是在开集 上定义的全纯函数,且谱集 ; 是 中这样的一系列不相交若尔当曲线的集合,其是一个“内部”集合 的边界,并且每个作为边界 的都是定向了的(参见曲线的定向和可定向性)。
开集 可以随 变化,也不必是连通或单连通的,如右图所示。
接下来的小节将对定义中所涉及的一些概念进行更精确的说明,并展现 在给定假定下确实是良定义的。
对于定义于 的开邻域上并在以 为到达域的连续函数 ,围道积分 的定义方式与标量值函数情况相同。可以用一个实数的区间 来参数化每个 ,并且积分是从 的越来越精细的划分中所获得的黎曼和的极限,而黎曼和在一致算子拓扑中收敛。从而可以定义
-
在函数演算的定义中,假定了 在 的开邻域内全纯。下面将证明解析映射在所谓预解集上是全纯的,而使得积分
-
有意义。
映射 称为 的预解映射。它定义在谱 的补集上,称为 的预解集,记作 ,其中的元素称为常点(regular point)。
经典函数理论的许多结论都依赖于积分
-
的性质。
全纯函数演算在这方面也有些相似:对于一个好的函数演算的性质而言,预解映射是至关重要的。本小节概述为讨论此话题所必需的一些预解映射的性质。
直接计算可知,对于 ,有
-
于是,
-
这个方程称为第一预解方程。该公式显示 和 是对易的,这暗示了一个算子 所给出的全纯函数演算映射的到达域将是一个交换代数。考虑 的极限,可以看出预解映射在任意 处是(复)可微的;因此全纯函数演算表达式中的积分收敛于 。
关于预解映射,还能有比可微性更强的论断:预解集 实际上是这样一个开集,其上的预解映射都解析。为验证这一说法,考虑预解集中一点 ,并观察下面这个式子
-
将 替换为 时,更合适的做法是将右边的因子改为这样一个级数:
-
它在 中收敛的条件是
-
这就是其收敛半径。而它的收敛意味着 的存在性,进而意味着 。
由此可知预解集 是开集,预解映射在 上解析。
的另一个表达式也很有用。下面形式的表达式
-
可以注意到级数
-
即诺依曼级数,它收敛于 的条件是
-
从预解算子的上面的两个性质,可以推断出一个有界算子 的谱 是 的紧子集。因此,对于任何满足 的开集 ,存在一个正定向且光滑的若尔当曲线系 使得 在 的内部且 的补集在 的外部。因此,要定义一个函数演算,总能为每个在 上全纯的 找到合适的一族若尔当曲线。
前面的讨论已经表明该积分式是有意义的,即对于每个 确实存在一族合适的若尔当曲线 且积分确实在适当的意义上收敛。眼下尚未示明的是,函数演算是无歧义的,也就是说不依赖于 的选取。现在尝试解决这个问题。
对于若尔当曲线的集合 和点 , 相对于 的卷绕数是其成员各自的卷绕数之和。如果定义:
-
就有柯西给出的以下定理:
定理 设 为开集且 ,此外有一全纯函数 ,且对于补集中的 有 ,那么 在 上的围道积分为零。
当 在 中取值时,会需要这个结论的向量值版本。为此须考察全纯的 ,而对 的要求则和前文保持相同。推广的思路是使用 的对偶空间 ,从而得到标量并应用标量版本的柯西定理。
考虑积分
-
如果可以证明任一 作用在这个积分上都得到零,那么积分本身就必须为零。由于 有界且积分依范数收敛,可得:
-
但 是全纯的,因此复合 是全纯的,因此可以应用柯西定理:
-
令 为包含 的开集。假设有个符合前文要求的若尔当曲线系 ,所要证明的是
-
设反转 中每个 的定向所得到曲线系是 ,则
-
考虑两个曲线系的并集 。 和 都是紧的。因此存在某个开集 满足 且 ,其中 是 的补集。 中的任意 的卷绕数为 [需要解释],并且函数
-
在 上全纯。因此柯西定理的向量值版本给出
-
也就是说
-
于是证明了全纯函数演算所给出的算子与积分围道的选取无关。
因此,如果 和 是在 的邻域 和 上定义的两个全纯函数,并且它们在一个包含 的开集上相等,则 。此外,即使 可能不同于 ,算子 也是良定义的, 也是如此。
到目前为止,这一假设的全部强度尚未得到充分利用。要使积分收敛,仅需要连续性。要使积分良定义,只需要 在包含围道 的开集 上是全纯的,而不必也要求在 上全纯。在展现函数演算的同态性质时,才会完整地用到该假定。
映射 的线性源自积分的收敛性以及巴拿赫空间上线性运算的连续性。
当 是多项式时,便回到多项式函数演算的情况。为证明这一点,只需证明,当 时,有 成立——也就是说等式
-
对于任何包含 的适当的 成立。若选择 作为半径大于 的圆,前文已阐明此时可以将预解映射表示为一个幂级数
-
将其代入要证的等式就得到
-
而这就是
-
其中的 是克罗内克函数。
对于任何满足适当假设的 和 ,同态性质表明
-
将勾勒出一个论证,这会用到第一预解方程和对 的假设。首先,选择若尔当曲线使得 位于 的内部,这样做的用意之后就会揭晓。先直接计算得到:
-
第三个等号用到了第一预解方程;最后一个等号是因为: 在 的外部,且 在 的某个开邻域上是全纯的,因此第二项为零。因此,可得:
-
其中第二个等号用到柯西积分公式。
设有开集 满足 , 上的全纯函数序列 在 的每个紧子集上都一致收敛(也就是说,紧致收敛)。那么 在 中收敛,接下来说明这一点:
为简单起见,假设 仅由一条若尔当曲线组成。可作如下估计
-
通过结合一致收敛假设和各种连续性上的考量,可以看到当 时,上式趋于 0 。所以 是柯西序列,从而是收敛的。
至此已证明了全纯函数演算 具有以下性质:
- 它延伸了多项式函数演算。
- 它是从 的一个邻域上的全纯函数代数到 的代数同态
- 它保持紧集上的一致收敛。
可以证明满足上述性质的函数演算是唯一的。
值得注意的是,如果把有界算子族 换成巴拿赫代数,那么至此的所有讨论都原封不动地保持成立。对于其中的元素,可以采用完全相同的方式定义函数演算。
已知谱映射定理(spectral mapping theorem)对于多项式函数演算成立:对于任何多项式 ,都有 。这可以推广到全纯函数演算,也就是说 。
为证明此式,考虑某一复数 。先考虑 的情况,这情况意味着 。
由复分析的结果,存在 的邻域上的全纯函数 使得
根据同态性质,有
由于 , 是不可逆的,那么整个算子 不可能有逆,也就是说 。于是目前证明了 。
现在考虑 的情况,那么函数
-
在 的邻域上全纯,于是根据同态性质可知
也就是说 或者说 。于是证明了 ,进而证明了谱映射定理。[1]
谱投影的基本思想如下。设有 ,而 分别是 的邻域且它们不相交。定义函数
即 中子集 的指示函数。它是一个满足 (幂等)的全纯函数。于是,对于 中的一个包含 的适当的围道 ,下面的线性算子
-
将是一个与 对易的有界投影算子,且还将提供大量有用的信息。
实际上,当且仅当 在 上的子空间拓扑中既开又闭时,这种情况才得以可能。此外,可以安全地忽略集合 ,因为 在其上的值为零从而对积分没有贡献。投影 称为 在 处的谱投影,记为 。因此,对于 的每个在子空间拓扑中既开又闭的子集 ,都有一个相应的谱投影由下式给出
-
其中 是包围 但不包围 的其他点的围道。
由于 有界并与 对易,因此 可以按此投影来直和分解为 的形式,其中 。 是 的不变子空间,且 和 。一个关键性质在于其相互正交性。如果 是另一个(按 上子的空间拓扑的)既开又闭集,则
而这在 和 不相交时为零。
谱投影有许多应用。 的任何孤立点在子空间拓扑中都是既开又闭的,因此具有相应的谱投影。当 的维度有限时, 将由孤立点构成,于是所得的谱投影会给出若尔当块的一个变体,各不同的本征值会逐一对应到各若尔当块。下一节将更详细地讨论这种分解。
有时算子的谱投影会继承这个算子本身的一些性质。例如,如果 是谱半径为 的正矩阵,则佩龙—弗罗宾尼斯定理断言 。相关的谱投影 也是正的,并且由相互正交性可知其他的谱投影都不可能具有正的行或列。事实上 ,且随着 有 。也就是说,随着 的增加,此投影 (称为佩龙投影)逼近于 ,且其每一列都是 的本征向量。
更一般地,如果 是紧算子,则 中的所有非零点都是孤立的,从而它们的任何有限子集都可以用于分解 ,而相应的谱投影始终是有限秩的。 中具有相似谱特性的算子是所谓里斯算子。里斯算子中的许多类(包括紧算子)都是 中的理想,并创造了一个丰饶的研究领域。然而,如果 是一个希尔伯特空间,则 里斯算子和有限秩算子之间恰好夹有一个闭的理想。
前面的大部分讨论都可以在复巴拿赫代数这一更为一般的背景下进行。这时谱投影被称为谱幂等元,因为可能不再有空间可供它们投影。
如果谱 不是连通的,则可以使用函数演算将 分解为 的不变子空间。设 是如下连通分量的不交并
-
设 是连通分量 的某个邻域的指示函数。根据同态性质,各个 都是投影算子。事实上它就是上文说过的谱投影 。 这一关系表明值域 是 的不变子空间。
由于
-
可以用这些互补的子空间来表示:
-
类似地,如果 是限制于 上的 ,则有
-
为直和空间
-
配备范数
-
于是 就成为一个巴拿赫空间。其上的一个映射
-
是一个巴拿赫空间同构,并且可以看到
-
这可以看作是 的分块对角化。
当 维度有限时, 是复平面的有限子集。令 是仅包含一个谱点(记作 )的一个开圆盘的指示函数,那么对应的分块对角矩阵 即 的若尔当标准型。
- N. Dunford and J.T. Schwartz, Linear Operators, Part I: General Theory, Interscience, 1958.
- Steven G Krantz. Dictionary of Algebra, Arithmetic, and Trigonometry. CRC Press, 2000. ISBN 1-58488-052-X.
- Israel Gohberg, Seymour Goldberg and Marinus A. Kaashoek, Classes of Linear Operators: Volume 1. Birkhauser, 1991. ISBN 978-0817625313.