在数学中,全纯函数演算(holomorphic functional calculus)是全纯函数的一种函数演算。也就是说其目标在于,对于给定的一个全纯函数
和一个算子
,希望构造一个对应的算子
,从而自然地将
的自变量从复数推广到算子。更准确地说,函数演算根据
来定义
的谱的邻域到有界算子的连续代数同态。
本文将讨论
是某个巴拿赫空间上的有界线性算子的情况。特别地,
可以是具有复矩阵元的方阵,这类例子有助于解释定义函数演算的一般性构造时所涉及的假设,提供一些启发性的见解。
动机
为何需要更一般的函数演算
在本节中,假定
是一个
的复数矩阵。
如果给定的函数
是一些特别的函数,那么就有一些自然的方式来定义
。例如,如果
![{\displaystyle p(z)=\sum _{i=0}^{m}a_{i}z^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeafb6d90d0e1bacb250df4402f599df45b01398)
是一个复多项式,那么可以简单地用
代替
并定义
![{\displaystyle p(T)=\sum _{i=0}^{m}a_{i}T^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39452eb1559091bb16dad9d9347d05050d5762ad)
其中
,即单位矩阵。这就是多项式函数演算。它是从多项式环到
矩阵环的同态
。
现在把函数演算的定义域从多项式稍微扩大一点,考虑处处全纯的函数(整函数)
,它具有麦克劳林级数
![{\displaystyle f(z)=\sum _{i=0}^{\infty }a_{i}z^{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1ffc4655cd5ccc815f693caf0502951106bfffc)
模仿多项式的情况即可给出如下定义:
![{\displaystyle f(T)=\sum _{i=0}^{\infty }a_{i}T^{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/843d325e636b13a60c705e4c194cdab052b21eef)
由于麦克劳林级数处处收敛,因此上述级数将在选定的算子范数中收敛。矩阵指数就是一个例子。将
的麦克劳林级数中的
替换为
得出
![{\displaystyle f(T)=e^{T}=I+T+{\frac {T^{2}}{2!}}+{\frac {T^{3}}{3!}}+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d37659fcdb3911c29d5648b0e0f1e085114256f5)
「
的麦克劳林级数处处收敛」这一要求是可以一定程度上放宽的。从上面可以明显看出,实际上只需要麦克劳林级数的收敛半径大于该算子的范数
。可如此定义算子版本的函数
因此会更多。然而,这还不太令人满意。例如,矩阵理论中的一个事实是,每个非奇异的
都有一个对数
——也就是说能找到矩阵
使得
。希望有一种函数演算,它允许人们为任意非奇异的
定义
,使其与熟悉的
一致。幂级数做不到这一点,比如现在考虑如下的对数函数的幂级数展开
![{\displaystyle \ln(z+1)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e4520e37076eec39ea23d2eb66b867cbb73f57b)
它仅收敛于开单位圆盘上。如果在级数中用
代替
,在
可逆但
的情况下
仍无法被该级数定义。因此需要一种更通用的函数演算。
函数演算和谱
希望
有意义的必要条件是
被定义在
的谱上。例如,正规矩阵的谱定理指出正规矩阵都是可酉对角化的。从而当
是正规算子时,可以给出
的一个定义。如果对于
的某些本征值
,
没有定义,
的定义就会遇到困难。
其他迹象也强化了「只有当
在
的谱上有定义时,
才能被定义」这样的判断。如果
不可逆,则 0 将是其本征值(别忘了在本节中
是方阵)。由于自然对数在 0 处未定义,那么
无法自然地定义也是意料之中的了。事实也确实如此不存在一种定义来做到这一点。
再举个例子,对于
![{\displaystyle f(z)={\frac {1}{(z-2)(z-5)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e62cfd32164d28ed072ff5dbebda331715897cd9)
一种计算
的合理方法似乎是
![{\displaystyle f(T)=(T-2I)^{-1}(T-5I)^{-1}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b03ca10f309c1c71961782debea8a7dc5457dc77)
但是,如果右侧的逆不存在,即 2 或 5 是
的本征值时,此式则是未定义的。
对于给定的矩阵
,其本征值决定了
可被定义的程度;即,对于
的所有本征值
,
都须有定义。对于一般的有界算子,此条件转化为「
须在
的谱上有定义」。可以证明这个条件使得函数演算映射(指的是前文提及的代数同态)得以具有某些理想的属性。
有界算子的函数演算
谱 σ(T) 为浅蓝色,路径 γ 为红色。
当谱有多个连通分量和对应的路径 γ 时的情况。
当谱不是单连通时的情况。
设
为复巴拿赫空间,
是
上的有界算子族(这些算子也构成一个巴拿赫空间)。
回忆一下复分析中的柯西积分公式。令
在某个开集
上全纯,而
是
中的可求长的若尔当曲线,即有限长度的无自交的闭曲线。假定位于
内部的点(即,使得
关于
的卷绕数为 1 的点)的集合
满足
。柯西积分公式即
![{\displaystyle \forall z\in U,\quad f(z)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {f(\zeta )}{\zeta -z}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69aa3b345d0dd0ccb77ce908358b92593d02e54a)
现在试着将这个公式推广到在
中取值的函数。柯西积分公式暗示了以下定义(姑且只是形式上写下这个式子,没有严格定义):
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aed606092f34a066dbb96452e0731c51fb7624b)
其中
称为是
在
处的预解算子。
假设已适当定义了在巴拿赫空间内取值的积分,则如此给出的函数演算蕴含了以下必要条件:
- 由于标量版本的柯西积分公式的适用对象是全纯的
,料想巴拿赫空间情况也是如此:在巴拿赫空间
中取值的函数应该有一个对标于普通复变函数的全纯性的概念。
- 由于预解映射
在
的谱
上无定义,因此若尔当曲线
应是与
不相交的。而预解映射在
的补集上是全纯的。那么,为了得到一个非平凡的函数演算
必须包围着(至少一部分)的
。
- 上述积分式的结果须独立于
的选择。
函数演算的完整定义如下: 对于
,定义
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/498de9ea43f7856a130555bfcec8464b5d112529)
其中
是在开集
上定义的全纯函数,且谱集
;
是
中这样的一系列不相交若尔当曲线的集合,其是一个“内部”集合
的边界,并且每个作为边界
的都是定向了的(参见曲线的定向和可定向性)。
开集
可以随
变化,也不必是连通或单连通的,如右图所示。
接下来的小节将对定义中所涉及的一些概念进行更精确的说明,并展现
在给定假定下确实是良定义的。
巴拿赫空间值积分
对于定义于
的开邻域上并在以
为到达域的连续函数
,围道积分
的定义方式与标量值函数情况相同。可以用一个实数的区间
来参数化每个
,并且积分是从
的越来越精细的划分中所获得的黎曼和的极限,而黎曼和在一致算子拓扑中收敛。从而可以定义
![{\displaystyle \int _{\Gamma }g=\sum \nolimits _{i}\int _{\gamma _{i}}g.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3e248ac4ab8833b1dc67405ff98feed2128881a)
在函数演算的定义中,假定了
在
的开邻域内全纯。下面将证明解析映射在所谓预解集上是全纯的,而使得积分
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/edfd77cc757f934dc42d408e3170aba414023e1c)
有意义。
预解映射
映射
称为
的预解映射。它定义在谱
的补集上,称为
的预解集,记作
,其中的元素称为常点(regular point)。
经典函数理论的许多结论都依赖于积分
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {d\zeta }{\zeta -z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/368b920beaa3615a14ad29790a63119b57310193)
的性质。
全纯函数演算在这方面也有些相似:对于一个好的函数演算的性质而言,预解映射是至关重要的。本小节概述为讨论此话题所必需的一些预解映射的性质。
第一预解方程
直接计算可知,对于
,有
![{\displaystyle (z_{1}-T)^{-1}-(z_{2}-T)^{-1}=(z_{1}-T)^{-1}(z_{2}-z_{1})(z_{2}-T)^{-1}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68fe643e6b71f18707e04a4220d4bbc0b1e94cf6)
于是,
![{\displaystyle (z_{1}-T)^{-1}(z_{2}-T)^{-1}={\frac {(z_{1}-T)^{-1}-(z_{2}-T)^{-1}}{(z_{2}-z_{1})}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e890df28dbd0979a502cd1fc0b44597bb8d6ac4a)
这个方程称为第一预解方程。该公式显示
和
是对易的,这暗示了一个算子
所给出的全纯函数演算映射的到达域将是一个交换代数。考虑
的极限,可以看出预解映射在任意
处是(复)可微的;因此全纯函数演算表达式中的积分收敛于
。
解析性
关于预解映射,还能有比可微性更强的论断:预解集
实际上是这样一个开集,其上的预解映射都解析。为验证这一说法,考虑预解集中一点
,并观察下面这个式子
![{\displaystyle {\frac {1}{z_{2}-z}}={\frac {1}{z_{1}-z}}\cdot {\frac {1}{1-{\frac {z_{1}-z_{2}}{z_{1}-z}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1830b461dd2e61904283d73bcd4719c845a659)
将
替换为
时,更合适的做法是将右边的因子改为这样一个级数:
![{\displaystyle (z_{1}-T)^{-1}\sum _{n\geq 0}\left((z_{1}-z_{2})(z_{1}-T)^{-1}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/885225d84dd1de9eb59879489de551a6d228c72d)
它在
中收敛的条件是
![{\displaystyle |z_{1}-z_{2}|<{\frac {1}{\left\|(z_{1}-T)^{-1}\right\|}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53790e07b55c675c297041f945988c69fc2bda0b)
这就是其收敛半径。而它的收敛意味着
的存在性,进而意味着
。
由此可知预解集
是开集,预解映射在
上解析。
诺伊曼级数
的另一个表达式也很有用。下面形式的表达式
![{\displaystyle {\frac {1}{z-T}}={\frac {1}{z}}\cdot {\frac {1}{1-{\frac {T}{z}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d3d74832c8be3d537605f53a3a556d9aecbbc4c)
可以注意到级数
![{\displaystyle {\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97ccaba12bb288ee890c6ad62bb9299b717db073)
即诺依曼级数,它收敛于
的条件是
![{\displaystyle \left\|{\frac {T}{z}}\right\|<1,\;{\text{i.e.}}\;|z|>\|T\|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a64b7a234c73796820ef0490ac6b4cb32b792081)
谱集的紧致性
从预解算子的上面的两个性质,可以推断出一个有界算子
的谱
是
的紧子集。因此,对于任何满足
的开集
,存在一个正定向且光滑的若尔当曲线系
使得
在
的内部且
的补集在
的外部。因此,要定义一个函数演算,总能为每个在
上全纯的
找到合适的一族若尔当曲线。
积分围道的选取
前面的讨论已经表明该积分式是有意义的,即对于每个
确实存在一族合适的若尔当曲线
且积分确实在适当的意义上收敛。眼下尚未示明的是,函数演算是无歧义的,也就是说不依赖于
的选取。现在尝试解决这个问题。
一个先导的结论
对于若尔当曲线的集合
和点
,
相对于
的卷绕数是其成员各自的卷绕数之和。如果定义:
![{\displaystyle n(\Gamma ,a)=\sum \nolimits _{i}n(\gamma _{i},a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdf1f2721cba6ddc7ec7aa3240f8601462a31eda)
就有柯西给出的以下定理:
定理 设
为开集且
,此外有一全纯函数
,且对于补集中的
有
,那么
在
上的围道积分为零。
当
在
中取值时,会需要这个结论的向量值版本。为此须考察全纯的
,而对
的要求则和前文保持相同。推广的思路是使用
的对偶空间
,从而得到标量并应用标量版本的柯西定理。
考虑积分
![{\displaystyle \int _{\Gamma }g\in L(X),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3002fea80c80bb1332a4ba7a56ae8ffefeed547)
如果可以证明任一
作用在这个积分上都得到零,那么积分本身就必须为零。由于
有界且积分依范数收敛,可得:
![{\displaystyle \phi \left(\int _{\Gamma }g\right)=\int _{\Gamma }\phi \circ g.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa5f023c548b9afd924165ad82df28aa309b1419)
但
是全纯的,因此复合
是全纯的,因此可以应用柯西定理:
![{\displaystyle \int _{\Gamma }\phi \circ g=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c990efef2b237480f0ecb68a837734b02477c29a)
回到主论题
令
为包含
的开集。假设有个符合前文要求的若尔当曲线系
,所要证明的是
![{\displaystyle \int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =\int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5455503c956eb75e883424d95885741e1b9401)
设反转
中每个
的定向所得到曲线系是
,则
![{\displaystyle \int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =-\int _{\Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9d23153ae6c259eae07ee98c2fad887ef6070e8)
考虑两个曲线系的并集
。
和
都是紧的。因此存在某个开集
满足
且
,其中
是
的补集。
中的任意
的卷绕数为
[需要解释],并且函数
![{\displaystyle \zeta \rightarrow {\frac {f(\zeta )}{\zeta -T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69bbd2af9efd2dc8ee41816303e4713bbbd4b788)
在
上全纯。因此柯西定理的向量值版本给出
![{\displaystyle \int _{\Gamma \cup \Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b764be1890431d412f00c6d734867d0906232055)
也就是说
![{\displaystyle \int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta +\int _{\Omega '}{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =\int _{\Gamma }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta -\int _{\Omega }{\frac {f(\zeta )}{\zeta -T}}\,d\zeta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f38275f1af1978d7a924d8839017bd9977dec3ed)
于是证明了全纯函数演算所给出的算子与积分围道的选取无关。
因此,如果
和
是在
的邻域
和
上定义的两个全纯函数,并且它们在一个包含
的开集上相等,则
。此外,即使
可能不同于
,算子
也是良定义的,
也是如此。
关于在谱集上全纯的假定
到目前为止,这一假设的全部强度尚未得到充分利用。要使积分收敛,仅需要连续性。要使积分良定义,只需要
在包含围道
的开集
上是全纯的,而不必也要求在
上全纯。在展现函数演算的同态性质时,才会完整地用到该假定。
性质
多项式情况
映射
的线性源自积分的收敛性以及巴拿赫空间上线性运算的连续性。
当
是多项式时,便回到多项式函数演算的情况。为证明这一点,只需证明,当
时,有
成立——也就是说等式
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Gamma }{\frac {\zeta ^{k}}{\zeta -T}}\,d\zeta =T^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72247a9bb00e1d38e4956b4a6c3edabb51f8edfb)
对于任何包含
的适当的
成立。若选择
作为半径大于
的圆,前文已阐明此时可以将预解映射表示为一个幂级数
![{\displaystyle (z-T)^{-1}={\frac {1}{z}}\sum _{n\geq 0}\left({\frac {T}{z}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e44148e182d24dafbfbb2d79a7fb15f579c03cd)
将其代入要证的等式就得到
![{\displaystyle f(T)={\frac {1}{2\pi i}}\int _{\Gamma }\left(\sum _{n\geq 0}{\frac {T^{n}}{\zeta ^{n+1-k}}}\right)\,d\zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61943bb0930a595078352538435efcbc0eac229b)
而这就是
![{\displaystyle \sum _{n\geq 0}T^{n}\cdot {\frac {1}{2\pi i}}\left(\int _{\Gamma }{\frac {d\zeta }{\zeta ^{n+1-k}}}\right)=\sum _{n\geq 0}T^{n}\cdot \delta _{nk}=T^{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b540a5b8ca20cbffc8f67350dfc014b76941d469)
其中的
是克罗内克函数。
同态性质
对于任何满足适当假设的
和
,同态性质表明
![{\displaystyle f_{1}(T)f_{2}(T)=(f_{1}\cdot f_{2})(T).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01e6bd3472aca7692b8a61a258c374a1f9b459ca)
将勾勒出一个论证,这会用到第一预解方程和对
的假设。首先,选择若尔当曲线使得
位于
的内部,这样做的用意之后就会揭晓。先直接计算得到:
![{\displaystyle {\begin{aligned}f_{1}(T)f_{2}(T)&=\left({\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}d\zeta \right)\left({\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -T}}\,d\omega \right)\\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}{\frac {f_{1}(\zeta )f_{2}(\omega )}{(\zeta -T)(\omega -T)}}\;d\omega \,d\zeta \\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}\int _{\Gamma _{2}}f_{1}(\zeta )f_{2}(\omega )\left({\frac {(\zeta -T)^{-1}-(\omega -T)^{-1}}{\omega -\zeta }}\right)d\omega \,d\zeta \\&={\frac {1}{(2\pi i)^{2}}}\left\{\left(\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \right)-\left(\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -T}}\left[\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\omega -\zeta }}d\zeta \right]d\omega \right)\right\}\\&={\frac {1}{(2\pi i)^{2}}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1881db80e04ad8aae0efdb24a5908595e4032fd)
第三个等号用到了第一预解方程;最后一个等号是因为:
在
的外部,且
在
的某个开邻域上是全纯的,因此第二项为零。因此,可得:
![{\displaystyle {\begin{aligned}f_{1}(T)f_{2}(T)&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[{\frac {1}{2\pi i}}\int _{\Gamma _{2}}{\frac {f_{2}(\omega )}{\omega -\zeta }}d\omega \right]d\zeta \\&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )}{\zeta -T}}\left[f_{2}(\zeta )\right]d\zeta \\&={\frac {1}{2\pi i}}\int _{\Gamma _{1}}{\frac {f_{1}(\zeta )f_{2}(\zeta )}{\zeta -T}}d\zeta \\&=(f_{1}\cdot f_{2})(T)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f73bed797fe11f7977339754666083c2e3d64781)
其中第二个等号用到柯西积分公式。
设有开集
满足
,
上的全纯函数序列
在
的每个紧子集上都一致收敛(也就是说,紧致收敛)。那么
在
中收敛,接下来说明这一点:
为简单起见,假设
仅由一条若尔当曲线组成。可作如下估计
![{\displaystyle {\begin{aligned}\left\|f_{k}(T)-f_{l}(T)\right\|&={\frac {1}{2\pi }}\left\|\int _{\Gamma }{\frac {(f_{k}-f_{l})(\zeta )}{\zeta -T}}d\zeta \right\|\\&\leq {\frac {1}{2\pi }}\int _{\Gamma }\left|(f_{k}-f_{l})(\zeta )\right|\cdot \left\|(\zeta -T)^{-1}\right\|d\zeta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae5bb2a7dd00c48f8d7edb08f2e007829094a17)
通过结合一致收敛假设和各种连续性上的考量,可以看到当
时,上式趋于 0 。所以
是柯西序列,从而是收敛的。
唯一性
至此已证明了全纯函数演算
具有以下性质:
- 它延伸了多项式函数演算。
- 它是从
的一个邻域上的全纯函数代数到
的代数同态
- 它保持紧集上的一致收敛。
可以证明满足上述性质的函数演算是唯一的。
值得注意的是,如果把有界算子族
换成巴拿赫代数,那么至此的所有讨论都原封不动地保持成立。对于其中的元素,可以采用完全相同的方式定义函数演算。
谱理论的考量
谱映射定理
已知谱映射定理(spectral mapping theorem)对于多项式函数演算成立:对于任何多项式
,都有
。这可以推广到全纯函数演算,也就是说
。
为证明此式,考虑某一复数
。先考虑
的情况,这情况意味着
。
由复分析的结果,存在
的邻域上的全纯函数
使得
根据同态性质,有
由于
,
是不可逆的,那么整个算子
不可能有逆,也就是说
。于是目前证明了
。
现在考虑
的情况,那么函数
![{\displaystyle h(z)={\frac {1}{f(z)-\mu }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a2046936e89907b0f3c8a6f3c632cdd1a44cf03)
在
的邻域上全纯,于是根据同态性质可知
也就是说
或者说
。于是证明了
,进而证明了谱映射定理。[1]
谱投影
谱投影的基本思想如下。设有
,而
分别是
的邻域且它们不相交。定义函数
即
中子集
的指示函数。它是一个满足
(幂等)的全纯函数。于是,对于
中的一个包含
的适当的围道
,下面的线性算子
![{\displaystyle e(T)={\frac {1}{2\pi i}}\int _{\Gamma }{\frac {e(z)}{z-T}}\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d9cb3352093ac36d1bb59db926bd2b11ad3c74c)
将是一个与
对易的有界投影算子,且还将提供大量有用的信息。
实际上,当且仅当
在
上的子空间拓扑中既开又闭时,这种情况才得以可能。此外,可以安全地忽略集合
,因为
在其上的值为零从而对积分没有贡献。投影
称为
在
处的谱投影,记为
。因此,对于
的每个在子空间拓扑中既开又闭的子集
,都有一个相应的谱投影由下式给出
![{\displaystyle P(K;T)={\frac {1}{2\pi i}}\int \nolimits _{\Gamma }{\frac {dz}{z-T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f825ab435fde6afc333c1c2d1423d44370e8e665)
其中
是包围
但不包围
的其他点的围道。
由于
有界并与
对易,因此
可以按此投影来直和分解为
的形式,其中
。
是
的不变子空间,且
和
。一个关键性质在于其相互正交性。如果
是另一个(按
上子的空间拓扑的)既开又闭集,则
而这在
和
不相交时为零。
谱投影有许多应用。
的任何孤立点在子空间拓扑中都是既开又闭的,因此具有相应的谱投影。当
的维度有限时,
将由孤立点构成,于是所得的谱投影会给出若尔当块的一个变体,各不同的本征值会逐一对应到各若尔当块。下一节将更详细地讨论这种分解。
有时算子的谱投影会继承这个算子本身的一些性质。例如,如果
是谱半径为
的正矩阵,则佩龙—弗罗宾尼斯定理断言
。相关的谱投影
也是正的,并且由相互正交性可知其他的谱投影都不可能具有正的行或列。事实上
,且随着
有
。也就是说,随着
的增加,此投影
(称为佩龙投影)逼近于
,且其每一列都是
的本征向量。
更一般地,如果
是紧算子,则
中的所有非零点都是孤立的,从而它们的任何有限子集都可以用于分解
,而相应的谱投影始终是有限秩的。
中具有相似谱特性的算子是所谓里斯算子。里斯算子中的许多类(包括紧算子)都是
中的理想,并创造了一个丰饶的研究领域。然而,如果
是一个希尔伯特空间,则 里斯算子和有限秩算子之间恰好夹有一个闭的理想。
前面的大部分讨论都可以在复巴拿赫代数这一更为一般的背景下进行。这时谱投影被称为谱幂等元,因为可能不再有空间可供它们投影。
不变子空间分解
如果谱
不是连通的,则可以使用函数演算将
分解为
的不变子空间。设
是如下连通分量的不交并
![{\displaystyle \sigma (T)=\bigcup _{i=1}^{m}F_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6abf26b25bc93be64264ad0f975d7b3302bf9082)
设
是连通分量
的某个邻域的指示函数。根据同态性质,各个
都是投影算子。事实上它就是上文说过的谱投影
。
这一关系表明值域
是
的不变子空间。
由于
![{\displaystyle \sum _{i}e_{i}(T)=I,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36338e2d6befbfaa8e0f552bcf1b18b2fbe4f292)
可以用这些互补的子空间来表示:
![{\displaystyle X=\sum _{i}X_{i}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a785261d2b003500d289c59892d4e333faaf5d7)
类似地,如果
是限制于
上的
,则有
![{\displaystyle T=\sum _{i}T_{i}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6fa280d1dfe04810a6b62853296f68aef492cb)
为直和空间
![{\displaystyle X'=\bigoplus _{i}X_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/606635cc8e9ca0ecbe362445d1b9480daf9f656c)
配备范数
![{\displaystyle \left\|\bigoplus _{i}x_{i}\right\|=\sum _{i}\|x_{i}\|,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9670ac6bfde0ba5e25d98da612821193b847fb98)
于是
就成为一个巴拿赫空间。其上的一个映射
![{\displaystyle R:X'\to X:\bigoplus _{i}x_{i}\mapsto \sum _{i}x_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ff4afa8e27a13db8ecfcadee34c392f21e93b5)
是一个巴拿赫空间同构,并且可以看到
![{\displaystyle RTR^{-1}=\bigoplus _{i}T_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b96a2cc37b74481bdd98a60552c92db2045817a)
这可以看作是
的分块对角化。
当
维度有限时,
是复平面的有限子集。令
是仅包含一个谱点(记作
)的一个开圆盘的指示函数,那么对应的分块对角矩阵
即
的若尔当标准型。
相关结果
借助更强的假设,如
是希尔伯特空间上的正规算子时,函数演算的定义域可以得到推广。要比较两个结果,可以粗略地类比于正规矩阵的谱定理和若尔当标准型之间的关系。当
是正规算子时,可以得到连续函数演算,即可以基于定义在
上的连续函数
来计算
。基于测度论,函数演算的定义域可以推广到可测函数,即博雷尔函数演算。这种情况下,设
是博雷尔集而
是其指示函数,那么投影算子
就对应于上面所讨论的
。
博雷尔函数演算可推广到希尔伯特空间上的无界自伴算子。
用稍微抽象一点的语言来说,全纯函数演算可以用与上文基本相同的论述来扩展到巴拿赫代数的任何元素。类似地,连续函数演算适用于任何C* 代数中的正规元,而可测函数演算适用于任何冯诺依曼代数中的正规元。
无界算子
对于具有非空预解集的无界闭算子,可以以类似的方式定义全纯函数演算。
参见
引注
参考资料
- 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.