Cauchy sequence
类似于从有理数域出发定义无理数的方法，我们可以通过柯西序列给原空间添加元素使其完备。