紧算子的基本性质

紧算子不只是个别算子碰巧具有的性质，而是一个对代数运算封闭的算子类：全体紧算子构成 $B(X,Y)$ 的闭线性子空间，甚至构成 $B(X)$ 中的理想。这保证"紧性"在算子代数运算（加法、复合、极限）下稳定，是谱理论能够展开的前提。前置依赖：紧算子的定义、有界线性算子空间、算子代数。

线性与理想性质

• $\mathcal{K}(X,Y)=\{T\in B(X,Y): T \text{ 紧}\}$ 是 $B(X,Y)$ 的闭子空间（一致算子范数下）
• 复合封闭：$T$ 紧、$S$ 有界 $\Rightarrow TS$ 与 $ST$ 紧（有界集映为有界集，紧算子再映为相对紧集）
• 特别地 $\mathcal{K}(X)=\mathcal{K}(X,X)$ 是 $B(X)$ 的闭双边理想，见算子代数

闭性证明思路

设 $T_n$ 紧且 $\|T_n-T\|\to 0$。任取有界列 $(x_k)$，用对角线法则依次对 $T_1,T_2,\dots$ 取收敛子列，再利用 $\|T-T_n\|$ 的一致小性控制尾项，得到 $T$ 使 $(Tx_{k_j})$ 收敛。

与恒等算子的对照

• 无穷维 $X$ 上恒等算子 $I$ 不紧（单位球不相对紧），故 $I\notin\mathcal{K}(X)$
• 紧算子不可逆于无穷维空间：若 $T$ 紧且可逆，则 $I=T^{-1}T$ 紧，矛盾。此观察是紧算子的谱中 $0$ 必在谱内的起点

后续

这些理想性质使紧算子构成算子代数的"极小理想"，支撑紧算子的对偶（对偶算子保持紧性）与谱理论（紧算子的谱）。