求证R[[x]]（形式幂级数环）为完备度量空间，已证其为度量空间

我明白你已经成功验证了这个度量下$R[[x]]$是度量空间，现在卡在完备性的证明上——别担心，我们把这个问题拆解成具体的步骤，从柯西序列的直观含义入手，一步步构造极限元素并验证收敛性。

首先，先把这个度量下的柯西序列条件翻译成系数层面的语言，这是突破的关键：

对于任意非负整数$m$，根据柯西序列的定义，存在某个正整数$N_m$，当$i,j > N_m$时，$d(A_i,A_j) < 2^{-m}$。结合度量的定义，这等价于$\text{ord}(A_i - A_j) > m$，也就是说，$A_i$和$A_j$的前$m+1$项系数（从$x^0$到$xm$）完全相同。

简单来说，柯西序列里的幂级数，随着下标增大，它们的系数会从低次到高次逐步“稳定”下来——低次系数先固定，然后是更高次的。

接下来，构造我们的极限幂级数$C$：

• 对于每个非负整数$k$，根据上面的结论，当$i$足够大（比如$i > N_k$）时，所有$A_i$的$x^k$项系数都完全一致。我们把这个固定下来的系数记为$c_k$。
• 定义形式幂级数$C = \sum_{k=0}^\infty c_k x^k$，显然$C \in R[[x]]$，因为它就是由$R$中元素构成的系数序列，完全符合形式幂级数的定义。

最后，验证序列${A_i}$收敛到$C$：

• 任取$\varepsilon > 0$，我们总能找到一个整数$m \geq 0$，使得$2^{-m} < \varepsilon$。
• 根据柯西序列的条件，存在$N_m$，当$i > N_m$时，$A_i$的前$m+1$项系数都和$C$的对应系数相同，也就是$\text{ord}(A_i - C) > m$。
• 代入度量定义，就有$d(A_i,C) = 2^{-\text{ord}(A_i - C)} < 2^{-m} < \varepsilon$。

这就说明，对于任意小的$\varepsilon$，当$i$足够大时，$A_i$和$C$的距离都小于$\varepsilon$，也就是${A_i}$收敛到$C$。

综上，$R[[x]]$中的每个柯西序列都收敛到$R[[x]]$中的元素，因此它是完备度量空间。

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