这段文字探讨了泛函分析的基本概念，特别是聚焦于希尔伯特空间（Hilbert Spaces），它通过内积、正交基和 Riesz 表示定理等工具将欧几里得几何扩展到无限维；并考察了算子（Operators），包括正交投影、各种形式以及收敛类型（弱收敛、连续、紧致），最终引申出深刻的谱定理。所有这些都为分析复杂的数学问题提供了强大的框架。
我们正在深入探讨泛函分析这一强大领域中的一些基本概念，特别是聚焦于希尔伯特空间及其作用其上的算子。这些工具为分析无限维向量空间提供了强大的框架，对数学、物理和工程领域产生了深远的影响。
<aside> 🥅
$\gg$Diving into the Realm of Functional Analysis: Hilbert Spaces and Operators
</aside>
希尔伯特空间的核心在于将熟悉的欧几里得几何概念扩展到可以拥有无限多个维度的空间。让我们分解一下其关键组成部分：
内积空间： 这些是配备了内积的向量空间，内积是点积的推广。内积 $\langle x, y\rangle$ 使我们能够定义长度（或范数，$\|x\|=\sqrt{\langle x, x\rangle}$）以及向量之间的角度等概念。这种结构为抽象向量空间引入了几何风味。
[](data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" width="400em" height="1.28em" viewBox="0 0 400000 1296" preserveAspectRatio="xMinYMin slice"><path d="M263,681c0.7,0,18,39.7,52,119 c34,79.3,68.167,158.7,102.5,238c34.3,79.3,51.8,119.3,52.5,120 c340,-704.7,510.7,-1060.3,512,-1067 l0 -0 c4.7,-7.3,11,-11,19,-11 H40000v40H1012.3 s-271.3,567,-271.3,567c-38.7,80.7,-84,175,-136,283c-52,108,-89.167,185.3,-111.5,232 c-22.3,46.7,-33.8,70.3,-34.5,71c-4.7,4.7,-12.3,7,-23,7s-12,-1,-12,-1 s-109,-253,-109,-253c-72.7,-168,-109.3,-252,-110,-252c-10.7,8,-22,16.7,-34,26 c-22,17.3,-33.3,26,-34,26s-26,-26,-26,-26s76,-59,76,-59s76,-60,76,-60z M1001 80h400000v40h-400000z"></path></svg>)
正交基： 就像我们可以在 Rn 中使用一组正交单位向量来描述任何向量一样，希尔伯特空间通常可以由正交基（或正交集）生成。这些基中的向量彼此正交且具有单位范数，为在空间中表示和分析元素提供了便利的方法。
完备性： 这是区分希尔伯特空间与任何其他内积空间的关键属性。如果空间中每个柯西序列的向量都收敛到空间内的某个极限，则该希尔伯特空间是完备的。这确保了某种“良好行为”，并允许我们可靠地执行极限运算。
Gram-Schmidt 正交化： 这种强大的算法提供了一种系统方法，可以从内积空间（因此也可能在希尔伯特空间中）的任何线性无关向量集中构建正交基。这是简化问题和获得更深入见解的基本技术。
平行四边形恒等式： 这个优雅的恒等式，$\|x+y\|^2+\|x-y\|^2=2\left(\|x\|^2+\|y\|^2\right)$，在任何内积空间（因此也在希尔伯特空间中）中都成立。它提供了范数的几何解释，并且是区分源自内积的空间的特征属性。
Riesz 表示定理： 这个定理是希尔伯特空间理论的基石。它指出，对于希尔伯特空间 $H$ 上的每个有界线性泛函 $\phi$，都存在一个唯一的向量 $y \in H$，使得对于所有 $x \in H$，都有 $\phi(x)=\langle x, y\rangle$。这建立了线性泛函与希尔伯特空间元素本身之间的基本联系。
超越希尔伯特空间的结构，我们现在考虑算子，它们是映射这些空间之间（或在同一空间内）的函数。理解它们的属性以及算子序列的行为至关重要。