求证全纯函数演算保持伴随性：复Banach空间算子问题

AI 小北

2026-5-19

我来把这个证明思路用清晰的Markdown格式整理出来，方便理解：

证明$f(T^*)=f(T)*$的思路梳理

先明确我们的前提条件：

设$T\in B(X)$，这里$X$是复Banach空间
$f$是在包含$T$的谱$\sigma(T)$的区域$\Omega$上的全纯函数，$f(T)$由全纯函数演算定义

接下来一步步推导：

写出$f(T^)$的全纯函数演算表达式
根据全纯函数演算的定义，我们可以把$f(T^)$表示为围道积分：
$$f(T^*)=\frac{1}{2\pi i}\int_\Gamma f(z)(zI-T^*){-1}dz$$
这里的$\Gamma$是$\Omega$中包围$\sigma(T)$的正向简单闭曲线族，满足全纯函数演算的围道要求。
利用伴随算子的性质转化积分项
对于有界线性算子$A$，有一个关键性质：$(A^{-1})=(A^*){-1}$。将$A=zI-T$代入，可得$(zI-T^*){-1} = [(zI-T)^*]{-1} = [(zI-T)^{-1}]$。把这个结论代入上面的积分式，得到：
$$f(T^*)=\frac{1}{2\pi i}\int_\Gamma f(z)\cdot[(zI-T)^{-1}]*dz$$
结合Bochner积分的定义交换积分与伴随
全纯函数演算中的围道积分本质上是Bochner积分，它可以表示为简单函数积分的极限：
$$f(T)=\frac{1}{2\pi i}\lim_{n\to\infty}\sum_{k=1}^n f(z_k)(z_kI-T)^{-1}\Delta z_k$$
这个极限是在$B(X)$的范数拓扑下收敛的。
而伴随算子$: B(X)\to B(X^)$是范数连续的线性算子，连续算子与极限运算可以交换顺序，因此对$f(T)$取伴随时：
$$f(T)^* = \left(\frac{1}{2\pi i}\lim_{n\to\infty}\sum_{k=1}^n f(z_k)(z_kI-T)^{-1}\Delta z_k\right)^* = \frac{1}{2\pi i}\lim_{n\to\infty}\sum_{k=1}^n \overline{f(z_k)}[(z_kI-T)^{-1}]*\Delta z_k$$
注意到$T$的谱满足$\sigma(T^{*)=\overline{\sigma(T)}$，且$f$在$\Omega$上全纯，那么$\overline{f(\overline{z})}$在$\overline{\Omega}$上全纯。通过换元$w=\overline{z}$，可以验证上面的极限恰好等于我们之前得到的$f(T}*)$的围道积分表达式。
综上，最终得到结论：$f(T^*)=f(T)*$。