算子理论

数学中，算子理论（operator theory）是对函数空间上线性算子的研究，始于微分算子和积分算子。算子可按特征抽象地表示，例如有界线性算子和闭算子，也可以考虑非线性算子。研究在很大程度上依赖于函数空间的拓扑，是泛函分析的分支。

若算子集合构成域上的代数，则就是算子代数。对算子代数的描述是算子理论的一部分。

单算子理论

单算子理论涉及算子的性质与分类，如据谱分类正规算子。

算子的谱

Template:Main article 谱定理是关于线性算子或矩阵的一系列结果中的任意一个。广义地说，谱定理提供了算子或矩阵可对角化的条件（即在某个基下可表为对角矩阵），这概念对有限维空间上的算子来说比较简单，但对无限维则要进行修改。总的来说，谱定理确定了一类可用乘法算子建模的线性算子，后者非常简单。更抽象地说，谱定理是关于交换C*-代数的一个声明。

谱定理适用的算子包括自伴算子，更一般地说是希尔伯特空间上的正规算子。 谱定理还提供了算子作用的底向量空间的规范分解，称作谱分解、特征值分解或特征分解。

正规算子

Template:Main article 复希尔伯特空间H上的正规算子是连续线性算子$N:H\to H$，可与其埃尔米特伴随N*交换：$N{N}^{*}=N^{*}N$。

正规算子之所以重要，是因为谱定理对其成立。如今，人们对正规算子类已有了很好了解。正规算子的例子有

• 幺正算符：$N^{*}=N^{-1}$
• 厄米算子（即自伴算子$N^{*}=N$和反自伴算子$N^{*}=-N$）
• 正算子：$N=M{M}^{*}$
• 如将希尔伯特空间视作${ℂ}^n$，则正规矩阵可视作正规算子。

谱定理可推广到更一般的矩阵。令A为有限维内积空间上的算子，则若$A^{*}A=A{A}^{*}$，则称其正规。可以证明，当且仅当A可酉对角化时，A正规：由舒尔分解，有$A=UT{U}^{*}$，其中U是酉矩阵，T是上三角阵。 由于A正规，$T{T}^{*}=T^{*}T$，因此T一定是对角阵，因为正规上三角阵是对角阵。反之亦然。

也就是说，当且仅当存在酉矩阵U，使 $$A=UD{U}^{*}$$ 其中D是对角矩阵时，A正规。那么，D的对角线项就是A的特征值；U的列向量就是A的特征向量，且都正交。不同于厄米矩阵，D的项不必是实数。

极分解

Template:Main article 任意有界线性算子A在复希尔伯特空间之间的极分解都可典范分解为部分等距与非负算子之积。

矩阵极分解概括如下：若A是有界线性算子，则有唯一的分解$A=UP$，其中U是部分等距（partial isometry），P是非负自伴算子，U的初始空间是P的范围闭包。

算子U 由于以下问题要弱化为部分等距，而非酉矩阵。若A是$I^2(\mathbb{N})$上的单侧移位算子，则$|A|=(A^{*}A{)}^{1/2}=I$，因此若$A=U|A|$，则U一定是A而A不是酉的。

极分解的存在来自道格拉斯引理： Template:Math theorem

算子C的定义为Template:Math，通过连续性扩张到闭包$\mathrm{R}\mathrm{a}\mathrm{n}(B)$，并在其正交补上为零。算子C是良定义的，因为$A^{*}A\le B^{*}B$意味着$\mathrm{K}\mathrm{e}\mathrm{r}(B)\subset \mathrm{K}\mathrm{e}\mathrm{r}(A)$，因此可得出此引理。

特别地，若$A^{*}A=B^{*}B$，则C是部分等距；若还有$\mathrm{K}\mathrm{e}\mathrm{r}(B^{*})\subset \mathrm{K}\mathrm{e}\mathrm{r}(C)$，则是唯一的。一般来说，对任意有界算子A， $$A^{*}A=(A^{*}A{)}^{\frac{1}{2}}(A^{*}A{)}^{\frac{1}{2}},$$ 其中$(A^{*}A{)}^{1/2}$是通常函数演算给出的唯一正$\sqrt{A^{*}A}$。所以，根据引理有 $$A=U(A^{*}A{)}^{\frac{1}{2}}$$ 对某部分等距U，若$\mathrm{K}\mathrm{e}\mathrm{r}(A)\subset \mathrm{K}\mathrm{e}\mathrm{r}(U)$则是唯一的。 （注意$\mathrm{K}\mathrm{e}\mathrm{r}(A)=\mathrm{K}\mathrm{e}\mathrm{r}(A^{*}A)=\mathrm{K}\mathrm{e}\mathrm{r}(B)=\mathrm{K}\mathrm{e}\mathrm{r}(B^{*}B),B=B^{*}=(A^{*}A{)}^{1/2}.$）取$P=(A^{*}A{)}^{1/2}$，可得极分解$A=UP$。注意，可用类似论证证明$A=P^{\prime }{U}^{\prime }$，其中P' 是正的，U' 是部分等距。

'H有限维时，U可以扩展为酉算子；但一般情形下并非如此（见上例）。另外，极分解可用算子的奇异值分解来表示。

根据连续函数演算的性质，$|A|$在由A生成的C*-代数中。对部分等距有类似但较弱的陈述：极部分U在由A生成的冯诺依曼代数中。若A可逆，则U也在A生成的C*-代数中。

与复分析的联系

算子理论研究的很多算子都是全纯函数希尔伯特空间上的算子，因此其与泛函理论中的问题密切相关。例如，伯林定理用内函数描述了单侧移位的不变子空间，其中内函数是单位圆盘上的有界全纯函数，幺模边界值在圆上几乎无处不在。伯林将单侧移位解释为自变量在哈代空间的乘法运算。对乘法算子及更一般的特普利茨算子（即乘法，然后投影到哈代空间）的成功激发了对其它空间（如博格曼空间）类似问题的研究。

算子代数

算子代数使C*-代数等代数成为人们关注的焦点。

C*-代数

Template:Main article C*-代数A是复数域上的巴拿赫代数，以及映射${}^{*}:A\to A$。x*表示A的元素x的像。映射*具有以下性质：

• 是对合，$\mathrm{\forall }x\in A:$$$x^{**}=(x^{*}{)}^{*}=x$$
• $\mathrm{\forall }x,y\in A:$$$(x+y{)}^{*}=x^{*}+y^{*}$$ $$(xy{)}^{*}=y^{*}{x}^{*}$$
• $\mathrm{\forall }\lambda \in ℂ,\mathrm{\forall }x\in A:$$$(\lambda x{)}^{*}=\bar{\lambda }{x}^{*}.$$
• $\mathrm{\forall }x\in A:$$$\Vert x^{*}x\Vert =\Vert x\Vert \Vert x^{*}\Vert .$$

备注 前三条等式表示A是*-代数。最后一条称作C*等式，等价于 $$\Vert x{x}^{*}\Vert =\Vert x{\Vert }^2,$$

C*等式是非常强的要求。例如，结合谱半径公式，可知C*范数是由代数结构唯一决定的： $$\Vert x{\Vert }^2=\Vert x^{*}x\Vert =\sup \{|\lambda |:x^{*}x-\lambda 1\text{ is not invertible}\}.$$

另见

• 不变子空间
• 函数演算
• 谱理论
  • Template:Tsl
• 紧算子
  • 积分方程的弗雷德霍姆理论

• 自伴算子
• 无界算子
  • 微分算子
• 本影演算
• 压缩映射

延伸阅读

• Conway, J. B.: A Course in Functional Analysis, 2nd edition, Springer-Verlag, 1994, Template:Isbn
• Template:Cite book

外部链接

• History of Operator Theory Template:Wayback