完備性

完備性是「什麼都不會丟」的承諾。設想一個序列，它的各項最終聚攏得如此緊密，看起來理應奔向某處。在完備空間裡，它們真的奔向空間內部的某處——極限點存在，並且就是你自己的一個元素。有理數沒做到這一點：序列 3, 3.1, 3.14, 3.141, ... 聚攏得完美無缺，但它的目標 pi 不是有理數。實數正是為堵上這類洞而造出來的。

精確地說：度量空間完備，是指每個柯西序列都收斂到空間中的極限。序列 (x_n) 是柯西的，意思是它的各項變得並保持任意接近——對每個 eps > 0 都存在 N，使得只要 m, n >= N 就有 ||x_m - x_n|| < eps。完備性說的是：柯西蘊含收斂。反向恆成立，所以在完備空間裡柯西與收斂是一回事，這極其方便：你能在不指名極限的情況下證明它存在。

為什麼這是有限維與無窮維的分界線：每個有限維賦範空間都自動完備，所以第一門課裡這個問題從不出現。在無窮維中完備性真的會失效。在積分範數下的多項式，或在 L^2 範數下的連續函數，裡面滿是柯西序列，其極限（一個非多項式、一個不連續函數）落在空間之外。完備性恰好就是你通過取完備化所添加的東西——正式地把洞填上。

回報：完備性是分析學中幾乎每一條存在性定理背後無名的英雄。巴拿赫不動點定理、標準正交展開的收斂、用諾伊曼級數構造逆算子——全都需要一個完備空間，好讓它們造出的極限確保存在。希爾伯特空間和巴拿赫空間，按定義，就是那些完備的空間。