$\Bbb R(x)$的完备性探讨：柯西与戴德金完备等价性疑问

嘿，这个问题刚好能帮我们把柯西完备性和戴德金完备性的差异掰得明明白白！先理清楚前提：我们说的$\Bbb R(x)$是实数域上的有理函数域，它的全序结构通常定义为：对于非零有理函数$f(x)=\frac{p(x)}{q(x)}$（$p,q$是实系数多项式且$q\neq0$），当$x$趋向正无穷时$f(x)$为正，就称$f(x)>0$——简单说就是“足够大的$x$处的符号”决定序关系。

接下来分别看两种完备性：

1. 戴德金完备性：不满足 #

戴德金完备性要求“任何有上界的非空子集都有最小上界”，但$\Bbb R(x)$里很容易找到反例：

• 考虑集合$S={r\in\Bbb R\mid r < x}$，这个集合显然有上界（比如$x$本身就是上界）。
• 但它没有最小上界：假设存在最小上界$g(x)\in\Bbb R(x)$，首先$g(x)$不能是常数——如果$g(x)=c$是常数，那$c < x$意味着当$x$足够大时$c < x$，那$c+1$也满足$c+1 < x$（同样对足够大的$x$成立），也就是$c+1\in S$，但$c+1 > c$，这和$c$是上界矛盾；
• 如果$g(x)$是非常数有理函数，比如$g(x)=x - \frac{1}{x}$，它确实是$S$的上界（所有常数$r$都小于它），但我们还能找到更小的上界比如$x - \frac{1}{x^2}$，甚至$x - \frac{1}{x^n}$（$n$任意大），这说明不存在“最小”的上界。因此$\Bbb R(x)$不满足戴德金完备性。

2. 柯西完备性：也不满足 #

柯西完备性要求“每个柯西序列都收敛”，我们可以构造一个在$\Bbb R(x)$中不收敛的柯西序列：

• 考虑序列$f_n(x)=x - \frac{1}{x} - \frac{1}{x^2} - \dots - \frac{1}{x^n}$。
• 先验证它是柯西序列：对于$\Bbb R(x)$中任意正元素$\varepsilon$（比如取$\varepsilon$为某个正实数$r$），只要取$N$足够大，当$m,n>N$时，$|f_m - f_n|=\sum_{k=n+1}^m \frac{1}{x^k}$，当$x$足够大时这个和会小于$r$，满足柯西序列的定义。
• 但这个序列在$\Bbb R(x)$中没有极限：因为它的“极限”应该是$x - \sum_{k=1}^\infty \frac{1}{x^k}$，而这个无穷级数的和无法表示成两个实系数多项式的商（也就是不属于$\Bbb R(x)$），所以序列在$\Bbb R(x)$里找不到收敛的目标。

最后补充一句：你之前提到的“柯西完备性和戴德金完备性等价”，这个结论只在阿基米德有序域的前提下成立，而$\Bbb R(x)$是一个非阿基米德有序域（$x$比任何正实数都“大”，不满足阿基米德性质），所以两种完备性在这里既不等价，也都不成立。

内容的提问来源于stack exchange，提问作者David C. Ullrich