泛函分析以其抽象和严谨著称，是数学学习中的难点。本指南精选了课程中的核心定理与证明，深入剖析算子的连续性、紧性、收敛性及谱理论等关键概念。通过系统化的讲解，帮助读者理清思路，攻克复习难点，为有效备考期末提供扎实支持。
智能速览
稠密子空间上定义的算子若连续则唯一。
通过范数定义可证明微分算子的有界性。
完全有界集可用有限维子空间无限逼近。
C[a,b]中点列弱收敛等价于一致有界与逐点收敛。
左移位算子的点谱是单位圆，谱是闭单位圆盘。
对角算子紧性的充要条件是其对角元素趋于零。
精华内容
泛函分析的精髓在于处理无穷维空间中的线性问题。以下将围绕几个核心定理，深入拆解其证明思路，揭示算子理论、收敛性与谱分析的内在逻辑。
算子的连续性
在赋范线性空间中，线性算子的有界性与连续性是等价的。例如，微分算子D: C¹[a,b] → C[a,b]在特定范数下是连续的。根据定义，||Df||∞ = sup|f’(x)| ≤ sup|f(x)| = ||f||∞，这表明D是有界算子，其范数小于等于1。
对于更一般的线性算子，若要证明其连续性，闭图像定理是强有力的工具。该定理指出，若两个Banach空间之间的线性算子的图像是闭集，则该算子必是连续的。这为判断算子连续性提供了重要的判别方法。
多种收敛性
无穷维空间中的收敛性概念丰富，其中弱收敛和弱*收敛尤为重要。在C[a,b]空间中，一个一致有界的函数列弱收敛于f，当且仅当它在定义域内逐点收敛于f。这一结论将抽象的弱收敛与具体的逐点收敛联系起来。
弱收敛则通常出现在对偶空间中。例如，ℓ¹空间的对偶是ℓ∞，ℓ¹中的标准基向量序列在ℓ∞上弱收敛于零。尽管||(e_n)||₁ = 1不趋于0，但对任意x∈ℓ∞，都有x→0，这生动展示了弱*拓扑比范数拓扑更弱的特点。
算子的谱分析
谱理论是泛函分析的核心，研究算子T的特征值（点谱）及其推广。以Hilbert空间ℓ²上的左移位算子S为例，其谱集结构非常典型。
通过求解特征方程Sx = λx，可知其点谱σₚ(S)是开单位圆盘{λ: |λ|<1}。根据谱集的性质，谱σ(S)是闭集且包含点谱，因此σ(S)是闭单位圆盘{λ: |λ|≤1}。进一步分析可得，其剩余谱为空集，而单位圆周{λ: |λ|=1}构成了其连续谱σc(S)。
紧算子的判定
紧算子是介于有限秩算子与一般有界算子之间的重要算子类。对于ℓ²上的对角算子D，其紧性有一个非常简洁的充要条件：D是紧算子，当且仅当其对角线元素序列收敛于0。
证明思路是构造有限秩的截断算子来逼近D。若aₙ→0，则截断算子的范数趋于0，从而证明D是紧的。反之，若D紧但aₙ不趋于0，则可在标准正交基上构造一个有界序列，其像序列没有收敛子列，与紧算子定义矛盾。这一判据为实际应用提供了极大的便利。
通过对核心定理与证明的梳理，泛函分析的知识脉络变得更为清晰。掌握这些关键概念和证明技巧，不仅是应对考试的基础，更是深入理解现代数学的基石。面对抽象理论时，回归具体例题或许能找到新的突破口。
