泛函分析

泛函分析 (Functional Analysis)

泛函分析是数学分析分支→核研函数构成的向量空间及其上线性算子→合线性代数与分析学→有限维推广无限维→向=函数/序列/测度→微积分/量子力学框架。

核心空间层次

赋范向量空间：范数$\|\cdot\|$满足正定/齐次/三角→导距离$d(x,y)=\|x-y\|$→度量空间→可谈收敛/连续。

巴拿赫空间：完备赋范向量空间→每柯西序列收敛于空间内点→保极限操作→迭代/级数合。例：连续函数$C[a,b]$→上确界范数$\|f\|_\infty=\sup|f|$→Banach；Lp空间$L^p$→Banach。

内积空间与希尔伯特空间：内积$\langle\cdot,\cdot\rangle$→角+正交→诱导范数$\|x\|=\sqrt{\langle x,x\rangle}$→完备内积空间=Hilbert→最透+最广→正交性/投影定理/里斯表示。例：$L^2$→$\langle f,g\rangle=\int f\bar{g}$。

算子与泛函

有界线性算子$T:X\to Y$→保线性+有界（存在M→$\|Tx\|\le M\|x\|$）→有界=连续。算子范数：$\|T\|=\sup_{\|x\|=1}\|Tx\|$。

线性泛函：值域标量→对偶空间$X^*$=全有界线性泛函→$X^*$总Banach。三大基石定理：①Hahn-Banach→子空间泛函可延全空间保范→$X^*$丰足；②一致有界性/Banach-Steinhaus→逐点有界→算子范一致有界→证收敛；③开映射→满射有界线→开映射→推有界逆→双射有界逆亦有界；④闭图像→线算连续⇔图为积空闭。

谱理论与应用

谱理论→特征值无限维推广→谱$\sigma(T)$=$\{λ:T-λI\text{不可逆}\}$→Hilbert上自伴算子→谱定理→"对角化"→量子机械数基。

应用：偏微分方程$\to$Sobolev空间→PDE化算子方程$Au=f$→弱解存在/唯一/正则；量子力学→态=Hilbert单位向→可观测量=自伴算子→测量结果=谱；数值→有限元/变分→收敛+误析→泛函分析基；信号→$L^2$空间→傅里叶变换=Hilbert间酉算子→滤波/压缩。