完备标准正交系

在 R^n 中，你沿一组标准正交基展开任意向量：v = sum <v,e_k> e_k。完备标准正交系就是它的无穷维版本，是傅里叶级数背后的引擎。你有无穷多个两两垂直的单位向量，而空间中任意向量都是它对这些向量的展开式的极限。关键就在“完备”二字——你需要足够多的它们，使得没有任何非零向量同时垂直于全部。

精确地说：希尔伯特空间 H 中的一族 (e_k) 是标准正交的，若当 j = k 时 <e_j, e_k> 为 1、否则为 0。它是完备（或极大）的，当且仅当唯一垂直于每个 e_k 的向量是零向量。等价地，H 中每个 v 都等于 sum <v,e_k> e_k，该级数按范数收敛。数 <v,e_k> 是广义傅里叶系数，它们完全刻画了 v。

为什么完备性才是要害：贝塞尔不等式对任何标准正交族总给出 sum |<v,e_k>|^2 <= ||v||^2。系统恰好在对每个 v 都取等时才完备——那就是帕塞瓦尔恒等式 sum |<v,e_k>|^2 = ||v||^2。帕塞瓦尔说展开不损失任何能量；系数序列承载了向量的全部范数。这正是使系数映射成为到 ell^2 的等距映射的原因。

关于“基”一词的一个警告：完备标准正交系不是哈梅尔（代数）基。向量是有限组合的无穷极限，而不是有限组合本身。无穷维希尔伯特空间的展开活在拓扑中——按范数收敛——而不在纯代数中。每个可分希尔伯特空间都有一个可数的完备标准正交系，可由任一稠密序列经施密特正交化造出。