完備性は距離空間やノルム空間において中心的な概念です。コーシー列が収束するかどうかで空間の性質が大きく異なります。
コーシー列の定義
距離空間 の点列 が コーシー列 であるとは、次が成り立つことをいいます。
直感的には、十分先に進むと点列の項どうしがいくらでも近づくということです。
ノルム空間では として同様に定義します。
完備性の定義
距離空間 が 完備 であるとは、すべてのコーシー列が 内の点に収束することをいいます。
収束列は必ずコーシー列になりますが、逆は空間によります。完備な空間ではこの逆も成り立ちます。
完備と非完備の例
完備な空間
（通常の距離）、（ユークリッド距離）、、閉区間 などは完備です。
完備でない空間
（有理数全体）は完備ではありません。 に収束する有理数列はコーシー列ですが、極限は に属しません。開区間 も完備ではありません。
完備化
完備でない距離空間 に対して、 を稠密な部分集合として含む完備距離空間 を構成できます。これを の 完備化 といいます。
の完備化は です。完備化は同型を除いて一意的に定まります。
バナッハ空間
完備なノルム空間を バナッハ空間 といいます。関数解析の主要な舞台となる空間です。
| , | 任意のノルムで完備 |
| （） | バナッハ空間 |
| （） | バナッハ空間 |
| （sup ノルム） | バナッハ空間 |
完備性は、収束に関する議論を空間内で閉じて行えるという意味で非常に重要です。
