完备空间 完备空间或称完备度量空间英語Complete metric space是具有下述性质的一种度量空间空间中的任何柯西序列都收敛在该空间之内