求助：如何利用紧性证明紧算子与伴随算子的特征值关系
嘿，你已经找对了方向——内积和核的关系是核心，而紧性的作用就是帮你打破「值域是否全空间」的僵局。我把关键步骤拆成几个提示，你可以一步步推进：
先建立对偶算子的核与原算子值域的关系
回忆有界线性算子的基本正交补性质：对于任意有界算子 ( A: \mathcal{H} \to \mathcal{H} )，有 ( (\text{ran}\ A)^\perp = \ker\ A^* )。这里我们令 ( A = T - \lambda I )，那么 ( A^* = T^* - \overline{\lambda}I )。所以要证明 ( \overline{\lambda} ) 是 ( T^* ) 的特征值，等价于证明 ( \ker(T^* - \overline{\lambda}I) \neq {0} )，进一步等价于证明 ( \text{ran}(T - \lambda I) \neq \mathcal{H} )（正交补非零当且仅当原子空间不是全空间）。利用紧算子的摄动性质推导矛盾
已知 ( \lambda ) 是 ( T ) 的特征值，所以 ( \ker(T - \lambda I) \neq {0} )。现在假设 ( \text{ran}(T - \lambda I) = \mathcal{H} )，我们来导出矛盾：- 当 ( \lambda \neq 0 ) 时，( T - \lambda I = -\lambda\left(I - \frac{1}{\lambda}T\right) )，其中 ( \frac{1}{\lambda}T ) 仍然是紧算子（紧算子数乘后保持紧性）。
- 紧算子有个关键摄动性质：若 ( K ) 是紧算子，那么 ( I - K ) 如果是满射，就一定是单射（这是Fredholm算子指标为0的推论，也可以用紧算子把单位球映为相对紧集的性质直接证明）。
- 但我们已经知道 ( \ker(T - \lambda I) \neq {0} )，也就是 ( T - \lambda I ) 不是单射，这和「满射则单射」的结论矛盾。因此假设不成立，即 ( \text{ran}(T - \lambda I) \neq \mathcal{H} )。
处理 ( \lambda = 0 ) 的特殊情况
如果 ( \lambda = 0 )，那么 ( T ) 是紧算子且 ( \ker T \neq {0} )。此时 ( T^* ) 也是紧算子（紧算子的共轭算子仍为紧算子），而 ( \ker T^* = (\text{ran}\ T)^\perp )。由于无限维Hilbert空间上的紧算子不可能是满射（紧算子把单位球映为相对紧集，而全空间的单位球不是相对紧的），所以 ( \text{ran}\ T \neq \mathcal{H} )，进而 ( (\text{ran}\ T)^\perp \neq {0} )，即 ( \ker T^* \neq {0} )，0是 ( T^* ) 的特征值。回到内积验证结论
当你找到 ( y \in \ker(T^* - \overline{\lambda}I) \setminus {0} ) 后，可以用内积定义验证：对任意 ( x \in \mathcal{H} )，( \langle Tx, y \rangle = \langle x, T^*y \rangle = \langle x, \overline{\lambda}y \rangle = \lambda \langle x, y \rangle )，而对于特征向量 ( x_0 )（满足 ( Tx_0 = \lambda x_0 )），也能直接看出 ( \langle \lambda x_0, y \rangle = \lambda \langle x_0, y \rangle = \langle x_0, \overline{\lambda}y \rangle = \langle x_0, T^*y \rangle )，这也呼应了你最开始尝试的内积思路。
内容的提问来源于stack exchange，提问作者nekodesu
