有理数集

有理数集 (Set of Rational Numbers)

有理数集，记作 $\mathbb{Q}$，是所有可以表示为两整数之比的数所构成的集合。其形式化定义为：

其中要求 $q > 0$ 且分子分母互质（$\gcd(p,q)=1$）确保了每个有理数的表示唯一。符号 $\mathbb{Q}$ 源自意大利语 "quoziente"（商），由尼古拉·布尔巴基学派在二十世纪三十年代引入并推广。

代数结构

从抽象代数视角看，$\mathbb{Q}$ 在通常的加法和乘法下构成一个域（field），这是最小的特征为零的域。具体而言：

1. 加法群：$(\mathbb{Q}, +)$ 是阿贝尔群，零元为 $0 = 0/1$，元素 $p/q$ 的加法逆元为 $-p/q$。
2. 乘法群：$(\mathbb{Q}\setminus\{0\}, \times)$ 是阿贝尔群，单位元为 $1 = 1/1$，非零元 $p/q$ 的乘法逆元为 $q/p$。
3. 分配律：乘法对加法满足分配律。
4. 有序域：$\mathbb{Q}$ 配备自然全序关系 $p/q < r/s \iff ps < qr$（当 $q, s > 0$），构成阿基米德有序域——即对任意正有理数 $a, b$，存在自然数 $n$ 使得 $na > b$。

$\mathbb{Q}$ 是整数环 $\mathbb{Z}$ 的分式域（field of fractions），这是从整环构造域的标准过程：取 $\mathbb{Z} \times \mathbb{Z}^+$ 上的等价关系 $(a, b) \sim (c, d) \iff ad = bc$，等价类即为有理数。该构造可推广至任意整环，是局部化与环论中域扩张理论的基石。有理数域也是素域（prime field）之一（另一个是有限域 $\mathbb{F}_p$）：任何特征为零的域都包含一个与 $\mathbb{Q}$ 同构的子域，这使 $\mathbb{Q}$ 成为特征零域范畴中的始对象（initial object）。

在代数数论的视角下，$\mathbb{Q}$ 是全局域（global field）的原型。研究有理数域上的伽罗瓦理论引出代数数域上的类域论（Class Field Theory）——二十世纪数学最辉煌的成就之一。$\mathbb{Q}$ 的绝对伽罗瓦群 $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ 的结构至今仍未完全揭示，是朗兰兹纲领（Langlands Program）的核心研究对象。

可数性

有理数集的一个深远性质是其可数性（countability）。格奥尔格·康托尔在 1873 年首次证明了 $\mathbb{Q}$ 与 $\mathbb{N}$ 等势（即 $|\mathbb{Q}| = \aleph_0$），尽管任何两个有理数之间都存在无穷多个有理数（稠密性）。这一反直觉的结果深刻地改变了数学家对无穷的理解。

康托尔的对角线枚举法是经典证明：将正有理数按分子分母之和排列为二维表格：

沿对角线扫描并跳过已约分重复项（如 $2/2 = 1/1$），即得正有理数的一个枚举序列。将零与负有理数插入后，$\mathbb{Q}$ 全体可枚举，因此可数。

与有理数的可数性形成鲜明对照的是，康托尔用对角线论证证明了实数集 $\mathbb{R}$ 不可数——这一发现开启了现代集合论，并直接导致了对连续统假设（Continuum Hypothesis）的探讨：是否存在基数严格介于 $\aleph_0$ 与 $2^{\aleph_0}$ 之间的集合？[[库尔特·哥德尔]]（1938）和[[保罗·科恩]]（1963）的工作表明，该假设独立于 ZFC 公理系统。

稠密性与完备性的缺失

$\mathbb{Q}$ 在自身中稠密：对任意 $a < b \in \mathbb{Q}$，存在 $c \in \mathbb{Q}$ 使得 $a < c < b$（取 $c = (a+b)/2$ 即可）。此性质意味着有理数在直线上"处处都有"，不存在相邻的有理数。

然而 $\mathbb{Q}$ 不完备。经典反例表明：非空有上界的有理数子集未必有有理数上确界。集合：

在 $\mathbb{Q}$ 中有上界（如 $3/2$），但是 $\sup S = \sqrt{2} \notin \mathbb{Q}$。这一发现可追溯至古希腊毕达哥拉斯学派——相传希帕索斯（Hippasus）因发现 $\sqrt{2}$ 不可公度（即非有理数）而被投入海中，此事标志着数学史上的第一次基础危机。

有理数的构造：从自然数到有理数

有理数的严格构造是十九世纪数学严密化运动的重要组成部分。其标准路径为：

1. 自然数 $\mathbb{N}$：由皮亚诺公理（Peano axioms）公理化。
2. 整数 $\mathbb{Z}$：作为 $\mathbb{N} \times \mathbb{N}$ 按等价关系 $(a,b) \sim (c,d) \iff a+d = b+c$ 的商集，等价类 $[(a,b)]$ 直观上对应 $a-b$。
3. 有理数 $\mathbb{Q}$：作为 $\mathbb{Z} \times \mathbb{Z}^+$ 按等价关系 $(a,b) \sim (c,d) \iff ad = bc$ 的商集，等价类 $[(a,b)]$ 直观上对应 $a/b$。

在此基础上，戴德金分割（Dedekind cut）或柯西序列的等价类进一步从 $\mathbb{Q}$ 构造出完备的实数集 $\mathbb{R}$。值得注意的是，这两种构造分别对应序完备性和度量完备性：戴德金分割确保每个有上界的非空子集有上确界，柯西序列方法则确保每个柯西序列收敛。两者在 $\mathbb{Q}$ 上的等价性依赖于阿基米德性质，在非阿基米德域上这两种完备化可能不同。

p进数与有理数的另一种完备化

除了实数完备化，有理数域 $\mathbb{Q}$ 还可以沿另一条路径完备化：p进数（p-adic numbers）。给定素数 $p$，每个非零有理数 $x$ 可唯一表示为 $x = p^k \cdot a/b$，其中 $a, b$ 均不被 $p$ 整除。定义 $p$ 进绝对值 $|x|_p = p^{-k}$（并规定 $|0|_p = 0$），则 $|\cdot|_p$ 满足非阿基米德三角不等式：

在此度量下完备化 $\mathbb{Q}$ 即得 $p$ 进数域 $\mathbb{Q}_p$。$\mathbb{R}$ 与 $\mathbb{Q}_p$（遍历所有素数 $p$）是 $\mathbb{Q}$ 的所有完备化，这一事实由奥斯特洛夫斯基定理（Ostrowski's Theorem, 1918）严格刻画：有理数域上的任何非平凡绝对值必等价于通常的绝对值或某个 $p$ 进绝对值。$\mathbb{Q}$ 的阿黛尔环（adele ring）统一处理所有完备化，是现代数论的基本工具。

有理数集在经济学中的应用

有理数集的可数性与实数的不可数性在一般均衡理论中有深刻含义。肯尼斯·阿罗和[[热拉尔·德布鲁]]在证明竞争均衡存在性时，需要处理无穷维商品空间和连续统个代理人。若经济中只有可数个状态，则状态空间在概率测度下与 $\mathbb{Q}$ 具有类似的结构性质。而在金融数学中，布朗运动的样本路径以概率1处处连续但无处可微，其理论基础——测度论——从根本上依赖实数连续统的完备性。若仅有有理数，则随机过程理论中的几乎处处收敛、伊藤积分等核心概念将不复存在。此外，在计算经济学中，由于计算机只能用有理数（浮点数本质上是二进制有理数）逼近实数，数值算法的收敛性和精度分析也直接依赖于对有理数在实数中稠密性的认识。