实数集

实数集 (The Set of Real Numbers)

实数集，记作 $\mathbb{R}$，是对有理数集 $\mathbb{Q}$ 的完备化，构成数学分析的全部基础舞台。实数集是唯一的（在同构意义上）完备有序域：它既是阿基米德有序域，又满足确界公理（Least Upper Bound Property）——即任一非空有上界的子集必有最小上界（上确界）。这一性质将实数与有理数彻底区分开，使极限运算在 $\mathbb{R}$ 内封闭，从而支撑起微积分、实分析和泛函分析的整套理论大厦。

构造路径

从自然数 $\mathbb{N}$ 出发，经整数环 $\mathbb{Z}$ 的格罗滕迪克构造，再到有理数域 $\mathbb{Q}$ 的分式域构造，实数集通过两种经典完备化路径获得：戴德金分割（Dedekind Cut）和柯西序列等价类（Cauchy Sequence Equivalence Classes）。戴德金（Richard Dedekind, 1872）将实数定义为有理数集的"分割"——每一分割对应一个实数，分割的左侧无最大元时即定义无理数。康托尔（Georg Cantor）和魏尔斯特拉斯（Karl Weierstrass）则通过有理柯西列的等价类完成构造，将实数视为有理数空间中所有"应收敛"的极限点的形式添加。两种构造等价，共同确立了 $\mathbb{R}$ 作为有理数的最小完备扩张。

完备性与确界原理

完备性是实数集区分于有理数集的根本特征。确界原理断言：设 $S \subseteq \mathbb{R}$ 非空且有上界，则存在唯一的 $\sup S \in \mathbb{R}$，使得 $\sup S$ 是 $S$ 的最小上界。由此可推导出单调有界定理：单调递增且有上界的实数列必收敛；波尔查诺-魏尔斯特拉斯定理：有界序列必有收敛子列；以及柯西收敛准则：序列收敛当且仅当其为柯西列。这些等价命题共同构成实分析的公理基础，也使得 $\mathbb{R}$ 上的连续函数具有介值定理、极值定理等优良性质。

基数与结构

实数集是不可数的。康托尔于1891年以对角线论证证明：不存在从 $\mathbb{N}$ 到 $\mathbb{R}$ 的满射，$\mathbb{R}$ 的基数 $\mathfrak{c} = 2^{\aleph_0}$ 严格大于可数无穷 $\aleph_0$。进一步，实数集具有连续统的结构——它是一个连通、可分但非紧的完备度量空间，拓扑上同胚于开区间 $(0,1)$ 的完备化。连续统假设（Continuum Hypothesis, CH）追问是否存在基数严格介于 $\aleph_0$ 与 $\mathfrak{c}$ 之间的集合，哥德尔和科恩的工作证明CH独立于ZFC公理系统。

经济学中的应用

实数集在经济学中的核心地位不可替代。消费者理论中，效用函数 $u: X \to \mathbb{R}$ 需依赖实数的完备有序性以表达偏好的连续性和单调性，德布鲁（Gérard Debreu, 1954）关于效用表示的存在性定理本质上即是对偏好序的实数嵌入。一般均衡理论中，不动点定理（布劳威尔不动点定理、角谷不动点定理）的作用域正是 $\mathbb{R}^n$ 的紧凸子集。概率论以实数值随机变量为对象，分布函数和期望均定义在实数上。此外，动态优化中的连续时间模型——如最优控制理论与庞特里亚金极大值原理、随机微分方程——以及计量经济学的渐近理论，均以实数的完备性和极限封闭性为前提，保证了最优解的存在性、一致性和渐近正态性。实数集因此不仅是技术性的数学工具，更是经济理论形式化的本体论基石。