强等价度量下$(X,d)$与$(X,d')$完备性等价的证明问询

嘿，我来帮你理清楚这个证明的思路！你已经握了核心的前置结论——序列$(x_n)$在$(X,d)$中是柯西序列当且仅当在$(X,d')$中是柯西序列，再结合完备空间的官方定义：

度量空间$X$是完备的，当且仅当$X$中的每个柯西序列都在$X$中收敛。

其实这个双向证明的逻辑已经非常顺畅了，不需要额外引入复杂内容，咱们一步步拆解：

必要性证明（$(X,d)$完备 $\implies$ $(X,d')$完备） #

• 任取$(X,d')$中的柯西序列$(x_n)$，根据你已证的柯西序列等价性，这个序列在$(X,d)$中必然也是柯西序列。
• 因为$(X,d)$是完备空间，对照完备性定义，$(x_n)$在$(X,d)$中一定收敛到某个$x \in X$。
• 这里补充一个强等价度量的关键性质：强等价意味着存在正实数$a,b$，使得对任意$x,y \in X$，都有 $a \cdot d(x,y) \leq d'(x,y) \leq b \cdot d(x,y)$。基于这个不等式，如果$d(x_n,x) \to 0$，那么$d'(x_n,x) \leq b \cdot d(x_n,x)$也会趋近于0，也就是说收敛性在强等价度量下是双向保持的。
• 因此$(x_n)$在$(X,d')$中也收敛到$x$，这就满足了$(X,d')$的完备性定义。

充分性证明（$(X,d')$完备 $\implies$ $(X,d)$完备） #

• 任取$(X,d)$中的柯西序列$(x_n)$，同样根据柯西序列等价性，它在$(X,d')$中也是柯西序列。
• 因为$(X,d')$是完备空间，所以$(x_n)$在$(X,d')$中收敛到某个$x \in X$。
• 再用强等价度量的不等式：由$d'(x_n,x) \to 0$，可得$d(x_n,x) \leq \frac{1}{a} \cdot d'(x_n,x)$，显然这个式子也会趋近于0，所以$(x_n)$在$(X,d)$中也收敛到$x$。
• 这就说明$(X,d)$中的每个柯西序列都收敛，符合完备空间的定义。

总结一下，整个证明的核心就是你已经证得的柯西序列等价性，再搭配强等价度量自带的收敛性双向保持——把这两点结合起来，双向证明就严丝合缝啦。

内容的提问来源于stack exchange，提问作者Nicole