Cauchy sequence
在formula_6-赋范向量空间formula_7中，若距离定义为几何距离，则上面的推论中只有第一个成立，因为这不是完备空间。不过这时所有的柯西序列仍然收敛，只是序列极限属于formula_4而不是formula_7。