完备性

完备性是“什么都不会丢”的承诺。设想一个序列，它的各项最终聚拢得如此紧密，看起来理应奔向某处。在完备空间里，它们真的奔向空间内部的某处——极限点存在，并且就是你自己的一个元素。有理数没做到这一点：序列 3, 3.1, 3.14, 3.141, ... 聚拢得完美无缺，但它的目标 pi 不是有理数。实数正是为堵上这类洞而造出来的。

精确地说：度量空间完备，是指每个柯西序列都收敛到空间中的极限。序列 (x_n) 是柯西的，意思是它的各项变得并保持任意接近——对每个 eps > 0 都存在 N，使得只要 m, n >= N 就有 ||x_m - x_n|| < eps。完备性说的是：柯西蕴含收敛。反向恒成立，所以在完备空间里柯西与收敛是一回事，这极其方便：你能在不指名极限的情况下证明它存在。

为什么这是有限维与无穷维的分界线：每个有限维赋范空间都自动完备，所以第一门课里这个问题从不出现。在无穷维中完备性真的会失效。在积分范数下的多项式，或在 L^2 范数下的连续函数，里面满是柯西序列，其极限（一个非多项式、一个不连续函数）落在空间之外。完备性恰好就是你通过取完备化所添加的东西——正式地把洞填上。

回报：完备性是分析学中几乎每一条存在性定理背后无名的英雄。巴拿赫不动点定理、标准正交展开的收敛、用诺伊曼级数构造逆算子——全都需要一个完备空间，好让它们造出的极限确保存在。希尔伯特空间和巴拿赫空间，按定义，就是那些完备的空间。