紧自伴算子的谱定理

首先，自伴算子的每个特征值都是实数：若 $x\ne0$ 且 $Tx=\lambda x$，则 $\lambda\|x\|^2=\langle Tx,x\rangle=\langle x,Tx\rangle=\bar\lambda\|x\|^2$(中间一步用到自伴性)，故 $\lambda=\bar\lambda$。类似地，对应不同特征值 $\lambda\ne\mu$ 的特征向量正交：$\lambda\langle x,y\rangle=\langle Tx,y\rangle=\langle x,Ty\rangle=\mu\langle x,y\rangle$ 迫使 $\langle x,y\rangle=0$。

接着，紧性保证确实存在绝对值最大的特征值：对自伴的 $T$，算子范数满足 $\|T\|=\sup_{\|x\|=1}|\langle Tx,x\rangle|$，而紧性使我们能从 $|\langle Tx,x\rangle|$ 的极大化序列中抽出收敛子列，从而得到单位向量 $e_1$，满足 $Te_1=\lambda_1 e_1$，其中 $|\lambda_1|=\|T\|$。

现在用归纳法：已找到带特征值 $\lambda_1,\dots,\lambda_{n-1}$ 的标准正交特征向量 $e_1,\dots,e_{n-1}$，将 $T$ 限制到闭子空间 $H_n=\{e_1,\dots,e_{n-1}\}^\perp$ 上。因为 $T$ 把 $H_n$ 映到自身(自伴性使不变子空间的正交补也是不变的)，并且在其上仍是紧且自伴的，同样的最大特征值论证给出下一个特征向量 $e_n\in H_n$，满足 $|\lambda_n|\le|\lambda_{n-1}|$。

最后，若此过程不终止，则 $\lambda_n\to0$：否则会有无穷多个 $|\lambda_n|$ 始终大于某个 $\delta>0$，但那样 $\{Te_n\}=\{\lambda_ne_n\}$ 就不会有收敛子列(由标准正交性，当 $n\ne m$ 时 $\|\lambda_ne_n-\lambda_me_n\|^2\ge\delta^2\cdot2$)，这与 $T$ 的紧性矛盾。此后可验证 $\{e_n\}$ 的闭张成与 $\ker T$ 一起穷尽了 $H$，且 $T$ 在 $\ker T$ 上作用为 $0$，由此对所有 $x\in H$ 得到特征展开 $Tx=\sum_n\lambda_n\langle x,e_n\rangle e_n$。