实数的稠密性和完备性的表述

原创

于 2025-12-30 22:11:48 发布 · 1k 阅读

标签

#数学

实数的稠密性和完备性说明

在有理数的直觉世界里，毕达哥拉斯曾认为“万物皆可公度”，即任何长度都可以用整数比例（有理数）来衡量。虽然有理数在实数轴上是稠密的——这意味着在任意两个不同的实数之间，你总能塞进无数个有理数——但这种稠密性并不意味着“填满”。

通过辗转相除法的无限进行，我们发现像 $2\sqrt{2}$ 这样的数在有理数序列中是找不到的。这意味着有理数之间存在着无数细小的“洞”，而 $2\sqrt{2}$ 正是跌落其中的一个“点”。

既然无法用一个精确的有理数直接指代 $2\sqrt{2}$ ，数学家转向了一种“包围策略”。我们不再问“这个数是多少”，而是问“这个数在哪里”。在此，我们展示一种基于区间套的收敛逻辑，通过不断地二分，不断趋近于 $2\sqrt{2}$ ：
根号2区间套
必须说明的是：

一个实数本质上并不是一个在实数轴上孤立的、静止的点，而是一个层层向下嵌套的、不断逼近的过程，但这并不意味着实数是不确定的数。这就像是你在追兔子，一直在追，可是永远追不上，但并不意味着这只兔子不存在或不确定。这让我想到柏拉图的一句话——完美的圆只在理念之中。
实数不再是一个结果，而是一个过程。无理数之所以“无理”，是因为它拒绝在任何有限次数的刻度划分中停下来。区间套理论保证了这种“不断逼近的过程”最终一定会指向一个真实存在的实体。
之前我们介绍的连分数，实际上就是区间套的一种高效代数实现。连分数的渐近分数正是在不断跳跃着缩小这个区间，最终将 $2\sqrt{2}$ 锁死在无穷的嵌套之中。

需要澄清实数的稠密性（Density）和完备性（Completeness）不是一回事，它们描述的是数轴两个完全不同的维度。比如有理数虽然是“稠密”的，但这并不意味着它们之间没有“洞”！

稠密性：数与数之间“挤不挤”

定义：如果一个集合 $S$ 在实数中是稠密的，意味着在任意两个不相等的实数之间，总能找到 $S$ 中的元素。挤”并不代表“满”。稠密性只保证了数轴上到处都有点，但不能保证这些点连成了线。

有理数在实数中稠密：对于任意两个不同的实数 $a < b$ ，之间必存在有理数。
prov. 取足够大的 $n$ ，使 $1n<b−a\frac{1}{n} < b-a$ ，则由于 $nb - na > 1$
在区间 $[na, nb]$ 内必有整数 $m$ ，故 $mn∈(a,b)\frac{m}{n} \in (a, b)$ 。
无理数在实数中稠密：对于任意两个不同的实数 $a < b$ ，之间必存在无理数。
prov. 由于 $a < b$ ，则 $a2<b2\frac{a}{\sqrt{2}} < \frac{b}{\sqrt{2}}$ ，由于有理数的稠密性
存在有理数 $\in (\frac{a}{\sqrt{2}}, \frac{b}{\sqrt{2}})$ ，则 $r2r\sqrt{2}$ 是无理数且 $∈(a,b)\in (a, b)$ 。