在列紧的距离空间中，柯西列与收敛列是等价的.