Cauchy sequence
2.在完备的度量空间中，所有的柯西序列都是收敛的。