完备度量空间或者完备空间是具有下述性质的空间：空间中的任何柯西序列都收敛在该空间之内。以有限维空间来说，向量的范数相当于向量的模的长度。但是在有限维欧式空间中还有一个很重要的概念—向量的夹角，特别是两个向量的正交。内积空间是特殊的线性赋范空间，在这类空间中可以引入正交的概念以及投影的概念，从而在内积空间中建立起相应的几何学。用内积导出的范数来定义距离，Banach空间就成为了希尔伯特空间。在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化(compactification)或哥德尔不完备定理。