超现实数

在数学上，超现实数系统（英语：Surreal Numbers）是一种连续统，其中含有实数以及无穷量，即无穷大（小）量，其绝对值大（小）于任何正实数。超现实数与实数有许多共同性质，包括其全序关系“≤”以及通常的算术运算（加减乘除）；也因此，它们构成了有序域^{[注 1]}。在严格的集合论意义下，超现实数是可能出现的有序域中最大的；其他的有序域，如有理数域、实数域、有理函数域、列维-奇维塔域（英语：Levi-Civita field）、上超实数域（英语：Superreal number）和超实数域等，全都是超现实数域的子域。超现实数域也包含可达到的、在集合论里构造过的所有超限序数。

超现实数树的可视化。

关于与“超现实数”标题相近或相同的条目页，请见“超实数”。

各种各样的数

基本

${\displaystyle \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} }$ 正数 ${\displaystyle \mathbb {R} ^{+}}$ 自然数 ${\displaystyle \mathbb {N} }$ 正整数 ${\displaystyle \mathbb {Z} ^{+}}$ 小数 有限小数 无限小数 循环小数 有理数 ${\displaystyle \mathbb {Q} }$ 代数数 ${\displaystyle \mathbb {A} }$ 实数 ${\displaystyle \mathbb {R} }$ 复数 ${\displaystyle \mathbb {C} }$ 高斯整数 ${\displaystyle \mathbb {Z} [i]}$ 负数 ${\displaystyle \mathbb {R} ^{-}}$ 整数 ${\displaystyle \mathbb {Z} }$ 负整数 ${\displaystyle \mathbb {Z} ^{-}}$ 分数 单位分数 二进分数 规矩数 无理数 超越数 虚数 ${\displaystyle \mathbb {I} }$ 二次无理数 艾森斯坦整数 ${\displaystyle \mathbb {Z} [\omega ]}$

延伸

二元数 四元数 ${\displaystyle \mathbb {H} }$ 八元数 ${\displaystyle \mathbb {O} }$ 十六元数 ${\displaystyle \mathbb {S} }$ 超实数 ${\displaystyle ^{*}\mathbb {R} }$ 大实数 上超实数 双曲复数 双复数 复四元数 共四元数（英语：Dual quaternion） 超复数 超数 超现实数

其他

质数 ${\displaystyle \mathbb {P} }$ 可计算数 基数 阿列夫数 同馀 整数数列 公称值 规矩数 可定义数 序数 超限数 p进数 数学常数 圆周率 ${\displaystyle \pi =3.14159265}$… 自然对数的底 ${\displaystyle e=2.718281828}$… 虚数单位 ${\displaystyle i={\sqrt {-{1}}}}$ 无限大 ${\displaystyle \infty }$

查 论 编

超现实数是由约翰·何顿·康威（John Horton Conway）所定义和构造的。这个名称早在1974年便已由高德纳（Donald Knuth）在他的书《研究之美》^{[注 2][1][2]}中就被引进了。《研究之美》是一部中短篇数学小说，而值得一提的是，这种把新的数学概念在一部小说中提出来的情形是非常少有的。在这部由对话体写成的著作里，高德纳造了“surreal number”一词，用来指称康威起初只叫做“number”（数）的这个新概念。康威乐于采用新的名称，后来在他1976年的著作《论数字与博弈》（On Numbers and Games）中就描述了超现实数的概念并使用它来进行了一些博弈分析。

概述

康威^[3]使用递归构造了超现实数，其中每个数都是两个数集构成的序对，记为 ${\displaystyle \{L|R\}}$。这两个集合要求 ${\displaystyle L}$ 里的每个元素都严格小于每个 ${\displaystyle R}$ 里的元素。不同的序对可能表达同样的数字：${\displaystyle \{1|3\}=\left\{{\frac {3}{2}}|{\frac {5}{2}}\right\}=2}$。

整数及二进分数

让我们先来看几个简单的例子。

${\displaystyle \{|\}=0}$

${\displaystyle \{0|\}=1}$

${\displaystyle \{1|\}=2}$

${\displaystyle \{|0\}=-1}$

${\displaystyle \{|-1\}=-2}$

因此整数都是超现实数。（以上几行是定义而非等式。）

${\displaystyle \{0|1\}={\frac {1}{2}}}$

${\displaystyle \left\{0|{\frac {1}{2}}\right\}={\frac {1}{4}}}$

${\displaystyle \left\{{\frac {1}{2}}|1\right\}={\frac {3}{4}}}$

至此我们可以通过超现实数定义二进分数（分母为2的幂次的分数）。

其他实数

为了定义更多的实数，我们可以将使用无限的左右集合：${\displaystyle {\frac {1}{3}}=\{0,{\frac {1}{4}},{\frac {5}{16}},\ldots |{\frac {1}{2}},{\frac {3}{8}},\ldots \}}$，${\displaystyle \pi =\{3,{\frac {25}{8}},{\frac {201}{64}},\ldots |4,{\frac {7}{2}},{\frac {13}{4}},{\frac {51}{16}},\ldots \}}$，事实上可以同样地使用二进制展开的方法定义出所有实数。

无穷数

根据归纳法，我们可以构造出 ${\displaystyle \omega =\{0,1,2,3\ldots |\}}$，${\displaystyle \omega -1=\{0,1,2,3\ldots |\omega \}}$ 等无穷大的数，${\displaystyle {\frac {1}{\omega }}=\{0|1,{\frac {1}{2}},{\frac {1}{4}},{\frac {1}{8}}\ldots \}}$ 等无穷小数。以上超现实数皆不属于实数。

更多的数

我们定义 ${\displaystyle P_{0}={0}}$。

若 ${\displaystyle x=\{L|R\},\ L,R\subset P_{i}}$ 且 ${\displaystyle x\not \in P_{i}}$，那么 ${\displaystyle x\in P_{i+1}}$，这在直观上等价于“${\displaystyle x}$是在第${\displaystyle i}$天中出生的”。

那么我们可以观察发现：

• ${\displaystyle 1,-1\in P_{1}}$
• ${\displaystyle 2,-2,{\frac {1}{2}},-{\frac {1}{2}}\in P_{2}}$
• ${\displaystyle \pi ,\omega ,{\frac {1}{3}}\in P_{\omega }}$
• ${\displaystyle \omega -1,\omega +1\in P_{\omega +1}}$
• ${\displaystyle \omega +\pi \in P_{2\omega }}$，其中${\displaystyle 2\omega =\{0,1,2,\ldots ,\omega +1,\omega +2,\ldots |\}}$
• ${\displaystyle \forall i\in \mathbb {Ord} :i\in P_{i}}$

我们将超现实数集合称作 ${\displaystyle \mathbb {No} }$。

序关系

给定 ${\displaystyle x=\{X_{L}|X_{R}\},\ y=\{Y_{L}|Y_{R}\}}$，我们（递归地）定义 ${\displaystyle x\leq y}$ 当且仅当以下两命题同时成立：

• 没有一个 ${\displaystyle x_{L}\in X_{L}}$ 符合 ${\displaystyle y\leq x_{L}}$，
• 没有一个 ${\displaystyle y_{R}\in Y_{R}}$ 符合 ${\displaystyle y_{R}\leq x}$。

那么可以自然地定义 ${\displaystyle x<y,x>y,x=y,x\geq y}$。可以证明，这样的二元关系是一个全序关系。

我们分别将 ${\displaystyle x<0,x>0,x\leq 0,x\geq 0}$ 称为 ${\displaystyle x}$ 负、 ${\displaystyle x}$ 正、 ${\displaystyle x}$ 非正、 ${\displaystyle x}$ 非负。

我们定义 ${\displaystyle x\|y}$ 表示 ${\displaystyle x\leq y}$ 与 ${\displaystyle y\leq x}$ 同时不成立。事实上这样的二元关系在超现实数中不可能存在，但是这个关系会在之后的博弈章节出现。

运算

加法

我们定义超现实数之间的加法为 ${\displaystyle x+y=\left\{X_{L}+y\cup x+Y_{L}|X_{R}+y\cup x+Y_{R}\right\}}$，其中 ${\displaystyle X+y=\left\{x+y|x\in X\right\},x+Y=\left\{x+y|y\in Y\right\}}$。

加法逆元

我们定义负号（加法逆元）为 ${\displaystyle -x=\left\{-X_{R}|-X_{L}\right\}}$，其中 ${\displaystyle -X=\left\{-x|x\in X\right\}}$。

可以验证这两个运算构成了（真类上的）阿贝尔群。

乘法

我们定义乘法运算为${\textstyle xy=\left\{(X_{L}y+xY_{L}-X_{L}Y_{L})\cup (X_{R}y+xY_{R}-X_{R}Y_{R})|(X_{L}y+xY_{R}-X_{L}Y_{R})\cup (X_{R}y+xY_{L}-X_{R}Y_{L})\right\}}$，其中 ${\displaystyle XY=\{xy|x\in X,y\in Y\},\ xY=\{x\}Y,\ Xy=X\{y\}}$。

乘法逆元

我们定义（正数的）乘法逆元为${\textstyle {\frac {1}{y}}={\Bigg \{}0,{\frac {1+(y^{R}-y)({\frac {1}{y}})^{L}}{y^{R}}},{\frac {1+(y^{L}-y)({\frac {1}{y}})^{R}}{y^{L}}}{\Bigg |}{\frac {1+(y^{L}-y)({\frac {1}{y}})^{L}}{y^{L}}},{\frac {1+(y^{R}-y)({\frac {1}{y}})^{R}}{y^{R}}}{\Bigg \}}}$，这样除法就是 ${\displaystyle {\frac {x}{y}}=x\left({\frac {1}{y}}\right)}$。我们可以发现这个定义是递归的，但是实际上这个数字是良定义的：我们取${\textstyle y=3=\{2|\}}$ 那么 ${\textstyle {\frac {1}{3}}}$ 会有一个 ${\textstyle 0}$ 作为左项，导致了${\textstyle {\frac {1+(2-3)0}{2}}=1/2}$ 会是一个右项。这又意味着 ${\textstyle {\frac {1+(2-3)\left({\frac {1}{2}}\right)}{2}}={\frac {1}{4}}}$ 作为左项、${\textstyle {\frac {1+(2-3)\left({\frac {1}{4}}\right)}{2}}={\frac {3}{8}}}$ 作为右项，以此类推，所以我们有${\textstyle {\frac {1}{3}}=\{0,{\frac {1}{4}},{\frac {5}{16}},\ldots |{\frac {1}{2}},{\frac {3}{8}},\ldots \}}$ （考虑两边的序列在实数中分别收敛到 ${\displaystyle {\frac {1}{3}}}$，因此是相容的）。

对于负数，我们定义 ${\displaystyle {\frac {1}{x}}=-{\frac {1}{-x}}\quad (x<0)}$。

子集对应

有理数、实数、序数分别是超现实数的子集。

有理数

所有二进分数都可以定义为超现实数，而所有分数都可以表示为两个整数之比，因此所有有理数都可以表示为超现实数。

实数

在定义出了有理数之后，使用戴德金分割可以立刻将实数映射到超现实数中。

假设${\displaystyle x\in \mathbb {R} ,x=A|A'}$，其中 ${\displaystyle A,A'\subset \mathbb {Q} }$，那么立刻可知存在 ${\displaystyle X\in \mathbb {No} ,X=\left\{f(A)|f(B)\right\}}$ 是 ${\displaystyle x}$ 的一个超现实数表示，其中 ${\displaystyle f:\mathbb {Q} \to \mathbb {No} }$ 是有理数到超现实数的域同态。

序数

我们将所有序数定义为小于它的序数构成的集合^[4]。所有序数的全体记为${\displaystyle \mathbb {Ord} }$，那么我们有：

• ${\displaystyle f:\mathbb {Ord} \to \mathbb {No} ,\ f(X)=\left\{f(x),x\in X|\right\}}$

这样的同态可以保持序关系的结构，但是并不能保证算术的一一对应，比如 ${\displaystyle \omega -1}$ 这一式子的值在序数中的结果是 ${\displaystyle \omega }$，而在超现实数中则是 ${\displaystyle \{0,1,2,\ldots |\omega \}}$.

博弈

如果去除超现实数定义中对所有 ${\displaystyle L<R}$ 的约定，那么这样（递归）定义出来的真类被称做游戏^[5]。对其仍然可以（一模一样的）定义加法、加法逆元以及比较。

显然，所有的超现实数都是游戏，但并非所有游戏都是超现实数，例如 ${\displaystyle \star =\{0|0\}}$ 就不是，其满足 ${\displaystyle \star \|0}$。

可以发现，所有的游戏都体现了一个两人轮流、确定、公开的博弈游戏，其中左集合表示第一位玩家（下称左玩家）可以走到的局面，右集合则表示第二位玩家（下称右玩家）的选择，不能操作者负。

两个游戏的和的意义就是同时进行两个游戏，而每个玩家选择其中一个进行操作，不能操作者负。

我们可以发现，这个游戏的胜负取决于 ${\displaystyle G}$ 和 ${\displaystyle 0}$ 的相对关系。

• 若 ${\displaystyle G=0}$，则后手必胜。
• 若 ${\displaystyle G>0}$，则左玩家必胜。
• 若 ${\displaystyle G<0}$，则右玩家必胜。
• 若 ${\displaystyle G\|0}$，则先手必胜（英语：fuzzy game）。

有以下这些特殊的游戏^[6]：

• ${\displaystyle \star =\{0|0\}}$
• ${\displaystyle \uparrow =\{0|\star \},\ \downarrow =\{\star |0\}}$
• ${\displaystyle \pm 1=\{1|-1\}}$

可以发现，关于他们有这么几个性质：

• ${\displaystyle \star \|0}$
• ${\displaystyle \forall i:-1\leq i\leq 1\implies \pm 1\|i}$
• ${\displaystyle \forall x\in \mathbb {No} ,x>0:-x<\downarrow <0<\uparrow <x}$ （比所有超现实数更接近0）
• ${\displaystyle \star +\star =\uparrow +\downarrow =0}$
• ${\displaystyle (\uparrow +\star )\|0,\ \uparrow +\uparrow +\star >0}$

可以用于分析复杂的游戏。

暂译术语

• 超现实数（Surreal）
• 无穷量（Infinitesimal）
• 格罗滕迪克宇集

注释

1. 但当初在使用冯诺伊曼-博内斯-哥德尔集合论来建立超现实数理论时，全体超现实数并不构成集合，而只构成真类，因此使用“域”（field）此一术语看来不甚精确；在严格区分集合和真类显然重要时，有些作者会使用首字母大写的“Field”或全大写的“FIELD”来指称那些其实是真类，但又具有域的算术性质的对象。暂时可称作“琙”（音同域）或“真类域”。如想得到一个真正的、作为集合的域，可以把构造限制在格罗滕迪克宇集中，这样的话就得到一个集合，其基数为一种强不可达基数；又或者使用另一种形式的集合论，在其中，任何超限递归构造总要在可数序数（比如 ${\displaystyle \varepsilon _{0}}$ ,即艾普塞朗数）处停下。
2. Surreal number正式中文译名尚未出现，但英语Surreal（英语：Surreal）一词与Surrealism联系起来的话，在中文里后者译为“超现实主义”，因此“超现实数”便作为surreal number的可能译名。

来源

1. 《研究之美》（Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness）
2. 现在本书的中文译文已经在大陆出版，见存档副本. [2012-05-10]. （原始内容存档于2012-03-16）.
3. Conway, John H. On Numbers and Games 2. CRC Press. 2000-12-11 [1976]. ISBN 9781568811277. （原始内容存档于2018-03-27） （英语）.
4. Weisstein, Eric W. (编). Ordinal Number. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2018-03-27] （英语）.
5. E. Berlekamp; J. H. Conway; R. Guy. Winning Ways for your Mathematical Plays I. Academic Press. 1982. ISBN 0-12-091101-9.
   E. Berlekamp; J. H. Conway; R. Guy. Winning Ways for your Mathematical Plays II. Academic Press. 1982. ISBN 0-12-091102-7.
6. Weisstein, Eric W. (编). Surreal Number. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2018-03-27] （英语）.