概念

有理数域

分数构成最小的特征 0 的域，有理数在实数中稠密且可列，但存在「缝隙」——这促使实数的严格构造。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

有理数域数系理论

01定义

有理数

\mathbb{Q}

由分数构成，是最小的特征 0 域：任何域都包含

\mathbb{Q}

的拷贝。它在实数中稠密且可列，却满是「缝隙」（如

\sqrt{2}\notin\mathbb{Q}

）——这正推动实数的严格构造。

数轴上的 ℚ：稠密但不完备，√2 处有缝

$\mathbb{Q}$ 是 $\mathbb{Z}\times(\mathbb{Z}\setminus\{0\})$ 的商： $(a,b)\sim(c,d)\iff ad=bc$ ——分数即等价类，商构造的典范应用。

任意两有理数之间还有有理数（稠密）；康托尔对角线枚举证明 $\mathbb{Q}$ 可列——「稠密」与「可数」可以并存。

$(1,1.4,1.41,\dots)$ 逼近 $\sqrt{2}$ 却无有理极限；完备化 $\mathbb{Q}$ 即得 $\mathbb{R}$ ——有理数的缺陷正是实数存在的理由。

\mathbb{Q}=\{a/b:a\in\mathbb{Z},\,b\in\mathbb{Z}\setminus\{0\}\}

古巴比伦已用六十进制分数；毕达哥拉斯学派发现 $\sqrt{2}$ 的无理性，引发「第一次数学危机」；19 世纪戴德金与康托尔完成从 $\mathbb{Q}$ 到 $\mathbb{R}$ 的严格构造。

精确算术（分数无舍入误差）用于计算机代数系统； $p$ -进数是有理数按另一距离的完备化，成为现代数论与朗兰兹纲领的基石。

有理数域的稠密性：Farey 序列分母 ≤ q 的有理数在 [0,1] 上排成 Farey 序列，q 增大越发稠密

q 最大分母5