查看“︁函数演算”︁的源代码


在[[数学]]中，'''函数演算'''（functional calculus）是一种使得[[函数]]得以能作用于[[算子]]的理论。它现在是[[泛函分析]]领域的一个分支（更准确地说，是几个相关领域），并与[[谱理论]]相关。 

为使得函数作用于算子的需要得到满足，须对于给定的算子和函数定义一个新的算子。例如对于给定的向量空间 <math>X</math> 上的算子 <math>T\in L(X)</math> ，以及某一族寻常函数 <math>F</math> （如实数上的多项式函数所构成的集合），寻找这样一个映射 <math>Z_T: F\to L(X) </math> 使得 <math>Z_T(f)\triangleq f(T) </math> ，注意这里[[函数重载|重载]]了符号 <math>f </math> 的含义从而使得 <math>f(T) </math> 这样的表达式变得有意义。另外，通常会希望它满足一定的要求，如：

* <math>Z_T </math> 是一个[[有单位的|有单位元的]][[域上的代数|代数]]之间的{{Tsl|en|Algebra homomorphism#Unital algebra homomorphisms|4=同态}}
* 对于寻常的恒等函数 <math>\mathrm{id} \in F</math> 满足 <math>Z_T(\mathrm{id}) = T </math> （这个要求实际上过强，实际的函数演算会用到算子的[[谱 (泛函分析)|谱]]来削弱这个要求）。

这些要求能使得我们关于函数的各种操作能够对这个新的映射仍然有效（如 <math>\exp(T)\exp(T)=\exp(T)^2</math> ），以及确保对于 <math>X\cong\mathbb R</math> 时 <math>T \mapsto f(T) </math> 成为一个平凡映射从而回到熟悉的情况。

从历史上看，该术语也曾用作和[[变分法]]同义；然而除了在[[泛函导数]]（functional derivative）那边，这种用法现已废弃。有些情况下这个术语是和[[函数方程]]的种类有关，或者是[[一阶逻辑|谓词演算]]系统的逻辑中使用。

== 动机 ==
围绕数域上的寻常[[函数]]，已发展有许多方法和结论。而在处理算子时会发生类似于这些领域的情况，从而对于一个函数 <math>f</math> 和算子 <math>T</math> ，可能希望定义一个满足一些性质的映射来给出 <math>f(T)</math> 。

一个例子是，如研究李群和它的李代数的关系时，我们会遇到类似于微分方程 <math>f'(x)=f(x)</math> 的情况，从而引入[[指數映射 (李群)|指数映射]]的概念，而这对于矩阵李群而言就是[[矩阵指数]]，后者定义为

<math>\exp(T) = \sum_{k=0}^\infty\frac{T^k}{k!},</math>

具有和通常的[[指数函数]]完全相同的级数形式——尽管级数的严格定义、分析性质等问题还需专门考虑。那么，提前研究这种级数定义所给出函数演算的性质，将是一件有意义的事情。（实际上使用的函数演算会比这种级数定义更有力，参见[[全纯函数演算#为何需要更一般的函数演算|为何需要更一般的函数演算]]。）

更简单的一类函数演算是将[[方块矩阵|方阵]]的[[多項式|多项式函数]]演算，方阵的有限次幂以及和在其矩阵代数中就已定义。在有限维情况下，多项式函数演算已能得到大量有关算子的信息。

例如，考虑这样一族多项式，其中的多项式作用于算子 <math>T</math> 会得到零算子。这族多项式是多项式环中的[[理想 (环论)|理想]]。而这是一个不平凡的理想：设这个有限维矩阵代数的维数为 <math> n </math> ，那么 <math> \{I, T, T^2, \ldots, T^n \} </math> 将是线性相关的，从而存在一系列一些不全为零的标量 <math> \alpha_i </math> 使得 <math> \sum_{i=0}^n \alpha_i T^i = 0 </math> 。这意味着多项式 <math> \sum_{i=0}^n \alpha_i x^i </math> 也在这个理想中。由于多项式环是一个[[主理想整环]]，因此该理想是由某个多项式 <math> m </math> 生成的。通过乘上一个系数，我们可以选择 <math> m </math> 为[[首一多项式]]，这时 <math> m </math> 恰好是 <math> T </math> 的[[極小多項式 (線性代數)|最小多项式]]。这个多项式蕴含了 <math> T </math> 的一些很深刻的信息。例如，一个标量 <math> \alpha </math> 是 <math> T </math> 的一个本征值当且仅当 <math> \alpha </math> 是 <math> m </math> 的一个根。另外， <math> m </math> 有时也可以用来高效地计算 <math> T </math> 的 [[矩阵指数]]。

在无穷维情况下，多项式函数演算所提供的信息就没那么多了。如果用多项式函数演算来研究{{Tsl|en|Shift operator|移位算子}}，仿照前文所定义的理想将是平凡的。因此，人们一般是感兴趣于比多项式更普遍的函数演算。该主题与[[谱理论]]密切相关，因为对于[[對角矩陣|对角矩阵]]或[[乘法算子]]，容易想到应如何定义泛函演算。

== 全纯函数演算 ==
{{主条目|全纯函数演算}}

== 博雷尔函数演算 ==
{{主条目|博雷尔函数演算}}

== 参见 ==

* [[博雷尔函数演算]]
* [[全纯函数演算]]
* [[连续函数演算]]
* {{Tsl|en|Direct integral}}

== 参考资料 ==

* {{Springer|id=F/f042030|title=Functional calculus}}

== 外部链接 ==

* {{Commons category-inline}}
{{泛函分析}}
[[Category:泛函分析]]
[[Category:函数演算]]