完备度量空间

完备度量空间是一个 度量空间，其中每个 柯西序列 都是 收敛的。

示例包括具有通常度量的 实数、复数、有限维 实 和 复向量空间、单位区间上平方可积函数的空间 以及 p-adic 数。