实数

贡献者： DTSIo

1. 从有理数到实数

　　 我们知道，有理数集 $\mathbb{Q}$ 是对四则运算封闭的最小的数系。从正整数开始，为了使得任意两个整数都能相减，我们引入了零和负整数，从而得到了整数集 $\mathbb{Z}$; 而为了使得任意两个整数的除法都有意义（当然，要剔去除数为零的情形）, 我们又引入了形如 $m/n$ 的数，从而得到了有理数集 $\mathbb{Q}$. 有理数的英文 rational number 即来源于 ratio (比例) 一词。小学算术已经告诉我们，有理数的和，差，积，商都是有理数（仍然需要假定除数不等于零）, 而且对于任何有理数 $r$ 都有 $r+0=r$, $r\cdot1=r$. 用近代代数学的语言，这表示有理数集构成了一个域（field）.

　　 但是我们也知道，并非所有来自实际问题的度量对象都能用有理数来表示。例如，假若承认勾股定理（在古希腊，发现并证明它的是毕达哥拉斯）, 那么直角边长为 1 的等腰直角三角形的斜边长 $c=\sqrt{2}$ 满足 $c^2=2$. 毕达哥拉斯的门徒西帕索斯发现，这个奇特的数 $c$ 不能表示为两个整数的比。西帕索斯的发现打击了毕达哥拉斯学派的信条"万物皆（有理）数", 因而被试图维护教义的门徒们杀害。不过，随着越来越多类似的例子出现，到了十世纪左右，数学家们已经承认了这些不是有理数的平方根是同有理数一样真实的对象。这些无理数（irrational number） 是在求解整系数代数方程的过程中出现的，它们是代数数（algebraic number） 的例子。

　　 然而，代数数仍然不能穷尽来自真实世界的度量对象。圆周率 $\pi=3.14159265...$ 这个几乎同 $\sqrt{2}$ 一样古老的数，在十九世纪末被证明不能表示成任何整系数代数方程的根。它是一个超越数（transcendental number）. 有理数，无理代数数和超越数合起来构成了人们称之为"实数"的对象。

2. 戴德金分割

　　 我们按照戴德金（Julius Wilhelm Richard Dedekind）的方法来定义实数。按照这种办法，一个实数被定义为有理数集合的一个分割。后面将会看到，这远非唯一一种定义实数的方法，但所有的方法给出的都是等价的对象。之所以不用十进制小数，是因为十进制小数的四则运算叙述起来甚至不一定有纯粹集合论的戴德金分割简洁。

　　 所以，戴德金分割就是一种将整个有理数集分成"两条射线"的办法。显然，对于有理数 $q$, 它确定了一个分割 $L:=\{l\in\mathbb{Q}:l< q\}$, $R:=\{r\in\mathbb{Q}:r\geq q\}$. 由此，有理数集嵌入了实数集中。

　　 乍看起来，这种定义方式很违背直觉。然而我们若以 $\sqrt{2}$ 作为例子，即可看出这个定义的确能够填补有理数之间的缝隙。定义 $\sqrt{2}$ 的下类 $L$ 为满足 $l\leq0$ 或者 $l^2<2$ 的有理数 $l$ 的集合，上类 $R$ 为满足 $r^2>2$ 的正有理数的集合。当然不可能从有理数集中找出一个分点来标记这个分割（这跟有理数对应的分割不同）, 但我们可以设想这个分割本身就是一个"标志", 它标记的正是方程 $x^2=2$ 所造成的有理数不能填补的缝隙。

3. 对戴德金分割进行四则运算

　　 从有理数的定义出发，我们可以对戴德金分割定义四则运算，从而使得所有的戴德金分割组成通常意义下的"数".

　　 以下假设 $x,y$ 是实数，$L_x| R_x$ 和 $L_y| R_y$ 是它们对应的戴德金分割。在这里作出一个约定：对上类和下类进行集合运算时，可能会使得下类里出现最大元素; 这时我们约定将这个最大元素（如果当真有的话）自动移到上类里，而不再特别说明。

全序关系

　　 首先可以很方便地定义两者之间的序关系：说 $x\leq y$, 也就是说 $L_x\subset L_y$, 或者等价地 $R_x\supset R_y$. 如果包含是真包含，那么就有严格的不等号 $x< y$. 两个实数 $x,y$ 之间有且只有下列三种关系之一：$x< y$, $x=y$, $x>y$. 这是因为两个下类之间有且只有 $L_x\subsetneqq L_y$, $L_x=L_y$, $L_x\supsetneqq L_y$ 三种关系之一。

　　 由此，实数集是一个全序集（totally ordered set）: 任何两个元素之间都一定可以比较大小。这一点跟有理数区别不大。

　　 实数集中区间的定义如下： $$ [a,b]:=\{x\in\mathbb{R}:a\leq x\leq b\}~, \quad (a,b):=\{x\in\mathbb{R}:a< x< b\}~, $$ $$ [a,b):=\{x\in\mathbb{R}:a\leq x< b\}~, \quad (a,b]:=\{x\in\mathbb{R}:a< x\leq b\}~. $$

　　 如果分割下类 $L$ 真包含于另一个分割下类 $L'$, 那么补集 $L'\setminus L$ 里当然就包含了一个有理数 $l$. 由于分割下类里没有最大元素，所以它确定的分割也并不是 $L'|R'$. 于是有理数 $l$ 严格地介于实数 $L|R$ 和 $L'|R'$ 之间。由此得到一个重要的基本定理：

加法

　　 我们定义 $$ x+y=(L_x+L_y)|(R_x+R_y)~, $$ 其中两个集合 $A,B\subset\mathbb{Q}$ 的和 $A+B$ 定义为 $\{a+b:a\in A, b\in B\}$. 根据下类的定义，不难验证 $L_x+L_y$ 仍然是一个下类，由此确定了一个新的实数。另外，还定义 $$ -x=(-R_x)|(-L_x)~, $$ 其中集合 $A\subset\mathbb{Q}$ 的负集 $-A$ 定义为 $\{-a:a\in A\}$. 根据上类的定义，不难验证 $-R_x$ 成了一个下类。规定减法（subtraction） 为 $x-y=x+(-y)$.

　　 加法满足所有熟知的性质：

• 交换律：$x+y=y+x$.
• 结合律：$x+(y+z)=(x+y)+z$.
• 零元素：对于任何实数 $x$ 皆有 $x+0=x$.
• 负元素：对于任何实数 $x$ 皆有 $x+(-x)=0$.
• 保序性：如果 $x< y$, 那么 $x+z< y+z$.

乘法

　　 对于 $x,y>0$, 定义 $x\cdot y$ 为由上类 $R_x\cdot R_y$ 确定的分割，也就是形如 $r_1r_2$, $r_1\in R_x$, $r_2\in R_y$ 的有理数的集合。另外，定义 $x^{-1}$ 为由上类 $\{l^{-1}:l\in L_x,l>0\}$ 确定的分割。除法 $x/y$ 则由 $x\cdot(y^{-1})$ 确定。之后，如果 $x,y$ 之中有一者为负，例如 $x<0$, 则规定 $x\cdot y=-(-x)\cdot y$; 如此等等即可确定实数的乘法。

　　 乘法依然满足所有熟知的性质：

• 交换律：$x\cdot y=y\cdot x$.
• 结合律：$x\cdot (y\cdot z)=(x\cdot y)\cdot z$.
• 分配律：$x\cdot (y+z)=x\cdot y+x\cdot z$.
• 单位元：对于任何实数 $x$ 皆有 $x\cdot 1=x$.
• 逆元素：对于任何实数 $x\neq0$ 皆有 $x^{-1}\cdot x=1$.
• 保序性：如果 $x< y$, $z>0$, 那么 $x\cdot z< y\cdot z$.