概念

里斯表示

每个有界线性泛函都由内积表示（里斯表示定理），自伴算子的谱定理是量子可观测量的数学基础。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

里斯表示泛函分析

01定义

里斯表示定理：希尔伯特空间上的每个连续线性泛函都是与某个固定向量的内积

f(x)=\langle x,y_f\rangle

——对偶空间与空间自身等同。自伴算子的谱定理进一步把算子「对角化」为投影测度的积分。

里斯对应：每个泛函由唯一向量代表

正交分解 $H=\ker f\oplus\ker f^\perp$ ：一维补空间给出表示向量； $\|f\|=\|y_f\|$ ——等距同构而非仅同构。

$A=\int\lambda\,dE(\lambda)$ ：自伴算子是「投影值测度的积分」——有限维对角化在无穷维的完美替身；量子可观测量的数学形式。

强制双线性形式下泛函表示推广为弱解存在性——PDE 变分法与里斯定理一脉相承。

\forall f\in H^*,\ \exists!\ y_f:\ f(x)=\langle x,y_f\rangle

里斯 1907 年证明 $L^2$ 情形，弗雷歇同年独立发现；冯·诺依曼 1929 年完成一般自伴算子谱定理——量子力学的数学地基就此完工。

量子力学的狄拉克符号（bra 即泛函）、再生核希尔伯特空间（机器学习的 SVM 理论）、有限元装配的右端项表示。

泛函 = 与表示向量的内积旋转向量 (a,b)：连续线性泛函 φ(x,y) = ax+by 的等值线随之旋转，始终垂直于表示向量

a3.00b1.50