有理数不完备

证明集合 S : = { x ∈ Q :   x 2 < 3 } S := \{ x \in \mathbb{Q} : \ x^2 < 3 \} S:={x∈Q: x2<3} 没有最大数.

方法一. $\forall p\in S$, 不妨设 $p>0$, 注意
$${\left(p+\frac{1}{n}\right)}^2=p^2+\frac{2p}{n}+\frac{1}{n^2}.$$
可以找到足够大的正整数 $N$ 使得
$$\frac{2p}{N}+\frac{1}{N^2}<3-p^2.$$
很多同学可能觉得写"可以找到足够大的正整数 $N$ "就足够了, 但是我不推荐你们现在这么写, 初学者最好把 $N$ 找出来.

令 $q:=p+1/N$, 则 $p<q$, $q\in \mathbb{Q}$ 且
$$q^2=p^2+\frac{2p}{N}+\frac{1}{N^2}<p^2+(3-p^2)=3.$$
故 $q\in S$. 因此, $S$ 中没有最大数.

注: 这个方法有同学想到了, 构造其实也很自然, 我觉得很不错.

方法二. $\forall p\in S$, 不妨设 $p>0$, 令
$$q:=p+\frac{3-p^2}{p+2}=\frac{2p+3}{p+2}.$$
则 $p<q$, $q\in \mathbb{Q}$ 且
$$q^2-3=\frac{p^2-3}{(p+2{)}^2}<0.$$
故 $q\in S$. 因此, $S$ 中没有最大数.

注: 这个方法是 Rudin 给出的精妙构造, 我觉得有参考价值.

---

类似可证 S : = { x ∈ Q :   x 2 > 3 } S := \{ x \in \mathbb{Q} : \ x^2 > 3 \} S:={x∈Q: x2>3} 没有最小数.
有了上面的性质, 不难证明$S$在$\mathbb{Q}$中无上确界, 由完备性的定义知理数不完备.

此处完备性是序完备: 若数域 $F$ 满足, 对 $\forall S\subset F$, 若 $S$ 有上界, 则 $S$ 有上确界, 若 $S$ 有下界, 则 $S$ 有下确界, 则称$F$是完备的.

但是$\mathbb{Q}$是有度量的, 我稍微想了想, 序完备和度量完备应该是等价的, 不过证明有点麻烦.