超现实数 Surreal number

超越实数的存在:实数与超现实数

1.超现实数的定义

首先不加解释地给出超现实数(Surreal number,No)和一个建立在超现实数上的二元关系 $\le$ 的定义:

1. 每个超现实数( $a$ )都是由两个超现实数的集合表示的,称其为左集合($L_a$)和右集合($R_a$),且满足 $\nexists a\in L_a,b\in R_a$ 使得 $b\le a$,记为 a = { L a ∣ R a } a=\{L_a|R_a\} a={La​∣Ra​}.
2. 称 $a\le b$,当且仅当 $\nexists c\in L_a$ 使得 $b\le c$且 $\nexists d\in R_b$ 使得 $d\le a$.

可以看出,超现实数和 $\le$ 都是递归定义的.我们从空集开始构造所有超现实数.

2.超现实数的构造

在一开始,我们没有任何超现实数,所以我们从空集开始构造第一个超现实数,记其为 α = { ∣ } \alpha=\{|\} α={∣}.

根据定义不难发现,$\alpha$ 是一个合法的超现实数,且满足 $\alpha \le \alpha$.

接下来,我们可以构造 β = { ∣ α } , γ = { α ∣ } \beta=\{|\alpha\},\gamma=\{\alpha|\} β={∣α},γ={α∣}.值得注意的是, { α ∣ α } \{\alpha|\alpha\} {α∣α} 不是一个合法的超现实数,因为右集合中的元素 $\alpha \le$ 左集合中的元素 $\alpha$.

3.超现实数的性质

首先定义函数 $qwq:\text{No}\to \mathrm{Z}$满足:
{ q w q ( a ) = 1 L a = R a = ∅ q w q ( a ) = max ⁡ i ∈ L a ∪ R a { q w q ( i ) } + 1 o t h e r w i s e \left\{\begin{aligned}qwq(a)=1&&&L_a=R_a=\empty\\qwq(a)=\max_{i \in L_a\cup R_a}\{qwq(i)\}+1&&&otherwise\end{aligned}\right. ⎩ ⎨ ⎧​qwq(a)=1qwq(a)=i∈La​∪Ra​max​{qwq(i)}+1​​​La​=Ra​=∅otherwise​

3.1 $a\le a$

由超现实数的定义和 $\le$ 的定义可得.

3.2 $\nexists l\in L_a$ 使得 $a\le l$

1. 若 $L_a=\varnothing$,显然成立.
2. 若 $L_a\ne \varnothing$,$\forall l\in L_a$,取 $l^{\prime }=l$,满足 $l^{\prime }\in L_a,l\le l^{\prime }$,所以不满足 $a\le l$.

3.3 $\nexists r\in R_a$ 使得 $r\le a$

1. 若 $R_a=\varnothing$,显然成立.
2. 若 $R_a\ne \varnothing$,$\forall r\in R_a$,取 $r^{\prime }=r$,满足 $r^{\prime }\in R_a,r^{\prime }\le r$,所以不满足 $r\le a$.

3.4 $\le$ 的传递性

考虑三元组 $(x,y,z)$,已知 $x<y,y<z$,求证 $x<z$.

若 x = { ∣ } x=\{|\} x={∣} 且 z = { ∣ } z=\{|\} z={∣},则 $x\le z$ 恒成立.

若 x ≠ { ∣ } x\not=\{|\} x={∣} 或 z ≠ { ∣ } z\not=\{|\} z={∣},对于三元组 $(x,y,z)$ 施加归纳,假设 $\le$ 的传递性对任意比 $(x,y,z)$ 先产生的三元组都成立.

形式化地说,假设 $\le$ 的传递性对于任意满足 $qwq(x^{\prime })<qwq(x)$ 或 $qwq(z^{\prime })<qwq(z)$ 的三元组 $(x^{\prime },y^{\prime },z^{\prime })$ 都成立.

已知 $x\le y$,即 $\nexists a\in L_x$ 使得 $y\le a$,又有 $y\le z$,可得 $\nexists a\in L_x$ 使得 $z\le a$.

已知 $y\le z$,即 $\nexists b\in R_z$ 使得 $b\le y$,又有 $x\le y$,可得 $\nexists b\in R_z$ 使得 $b\le x$.

综上所述可得 $x\le z$.

可以发现,证明过程中仅用到了 $(a,y,z)$ 和 $(x,y,b)$ 的传递性,其中 $qwq(a)<qwq(x),qwq(b)<qwq(z)$.这样不会形成环.

综上所述,我们证明了 $\le$ 的传递性.

方便起见,我们定义以下符号:
$$a\ge b\iff b\le a$$
$$a<b\iff a\ngeqq b$$
$$a>b\iff b<a$$
$$a=b\iff a\le b,a\ge b$$
注意,$a=b\nRightarrow L_a=L_b,R_a=R_b$.

可以发现对于超现实数 $a,b$,有:
max ⁡ { L a } < a < min ⁡ { R a } \max\{L_a\}<a<\min\{R_a\} max{La​}<a<min{Ra​}
a ≤ b ⇔ max ⁡ { L a } < b , min ⁡ { R b } > a a\leq b\Leftrightarrow \max\{L_a\}<b,\min\{R_b\}>a a≤b⇔max{La​}<b,min{Rb​}>a

3.5 $<$ 的传递性

• $a<b,b\le c\Rightarrow a<c$.反证法,若 $a\ge c,c\ge b$,则 $a\ge b$,与 $a<b\Leftarrow a\ngeqq b$ 矛盾.
• $a\le b,b<c\Rightarrow a<c$.同理.
• $a<b,b<c\Rightarrow a<c$.同理,由上一条可得.

3.5 $\le$ 的完全性

$a\le b$ 与 $b\le a$ 中至少有一个成立.

假设 $a\le b$ 不成立,则 max ⁡ { L a } < b , min ⁡ { R b } > a \max\{L_a\}<b,\min\{R_b\}>a max{La​}<b,min{Rb​}>a 中至少有一个不成立.设 max ⁡ { L a } ≥ b \max\{L_a\}\geq b max{La​}≥b,则有 a > max ⁡ { L a } ≥ b a>\max\{L_a\}\geq b a>max{La​}≥b.其余同理.

3.6 $a<b\iff a\le b$ 且 $a\ne b$

1. $a\ne b$ 且 $a\le b\Rightarrow b\nleqq a\Rightarrow a<b$.
2. $a<b\Rightarrow a\ngeqq b\Rightarrow a\le b$ 且 $a\ne b$.(完全性)

超现实数的加法运算及其性质

a + b = { { i + b ∣ ∀ i ∈ L a } ∪ { a + j ∣ ∀ j ∈ L b } ∣ { i + b ∣ ∀ i ∈ R a } ∪ { a + j ∣ ∀ j ∈ R b } } a+b=\{\{i+b|\forall i\in L_a\}\cup\{a+j|\forall j\in L_b\}|\{i+b|\forall i\in R_a\}\cup\{a+j|\forall j\in R_b\}\} a+b={{i+b∣∀i∈La​}∪{a+j∣∀j∈Lb​}∣{i+b∣∀i∈Ra​}∪{a+j∣∀j∈Rb​}}

注意,我们暂且在默认 $a+b$ 是一个合法的超现实数的前提下讨论以下性质.我们会在本小节的最后解决这个问题.

加法交换律

使用数学归纳法即可,略.

加法结合律

使用数学归纳法即可,略.

加法单位元

a + { ∣ } = a a+\{|\}=a a+{∣}=a, { ∣ } \{|\} {∣} 即为加法单位元.

强保序性

逆向强保序性:若 $a+c\le b+d$ 且 $c\ge d$,则 $a\le b$.

正向强保序性:若 $a\le b,c\le d$,则 $a+c\le b+d$.

证明:反证法,数学归纳法

• 逆向强保序性
  1. 假设 max ⁡ { L a } ≥ b \max\{L_a\}\geq b max{La​}≥b,根据正向强保序性, max ⁡ { L a } + c < a + c ≤ b + d , max ⁡ { L a } + c ≥ b + d \max\{L_a\}+c<a+c \leq b+d,\max\{L_a\}+c\geq b+d max{La​}+c<a+c≤b+d,max{La​}+c≥b+d,矛盾,所以得出 max ⁡ { L a } < b \max\{L_a\}<b max{La​}<b.
  2. 同理可得 min ⁡ { R b } > a \min\{R_b\}>a min{Rb​}>a.
  3. 综合1.2.可得 $a\le b$
• 正向强保序性
  1. 假设 $\exists i\in L_a,i+c\ge b+d$,根据逆向保序性,结合 $c\le b$,有 $i\ge b,a>b$,与 $a\le b$ 矛盾.所以 $\nexists i\in L_a,i+c\ge b+d$.
  2. 同理可得 $\nexists i\in L_c,i+a\ge b+d$.
  3. 结合1.2.可得 max ⁡ { L a + c } < b + d \max\{L_{a+c}\}<b+d max{La+c​}<b+d.
  4. 同理可得 min ⁡ { R b + d } > a + c \min\{R_{b+d}\}>a+c min{Rb+d​}>a+c.
  5. 结合3.4可得 $a+c\le b+d$.

注意到在证明过程中 q w q ( max ⁡ { L a } ) < q w q ( a ) , q w q ( i ) < q w q ( a ) qwq(\max\{L_a\})<qwq(a),qwq(i)<qwq(a) qwq(max{La​})<qwq(a),qwq(i)<qwq(a) 等,所以并不构成循环论证.若 $a,b,c,d$ 中存在加法单位元,证明是显然的.

加法逆元

称 $-a$ 为 $a$ 的加法逆元,满足 a + ( − a ) = { ∣ } a+(-a)=\{|\} a+(−a)={∣},同时定义减法: $a-b=a+(-a)$.

等号的良定义

$a=b\Rightarrow -a=-b,a+c=b+c$

证明:$a=b\iff a\le b,a\ge b$

• 由正向强保序性可得 $a+c\le b+c,a+c\ge b+c,a+c=b+c$.
• $a+(-a)\le b+(-b),a\ge b$,由逆向强保序性可得 $-a\ge -b$,同理 $-a\le -b,-a=-b$.

$<$ 的良定义

• $a<b\Rightarrow a+c<b+c$,由强保序性和等号的良定义可得.
• $a<b\Rightarrow -a>-b$,两边同时加上 $-a-b$,由上一条可得.
• $a<b,c<d\Rightarrow a+c<b+d$,由强保序性和等号的良定义可得.

加法逆元的形式

我们有:
− a = { { − i ∣ ∀ i ∈ R a } ∣ { − i ∣ ∀ i ∈ L a } } -a=\{\{-i|\forall i \in R_a\}|\{-i|\forall i \in L_a\}\} −a={{−i∣∀i∈Ra​}∣{−i∣∀i∈La​}}
证明:令 t = { { − i ∣ ∀ i ∈ R a } ∣ { − i ∣ ∀ i ∈ L a } } t=\{\{-i|\forall i \in R_a\}|\{-i|\forall i \in L_a\}\} t={{−i∣∀i∈Ra​}∣{−i∣∀i∈La​}}
a + t = { { i + t ∣ ∀ i ∈ L a } ∪ { a − j ∣ ∀ j ∈ R a } ∣ { i + t ∣ ∀ i ∈ R a } ∪ { a − j ∣ ∀ i ∈ L a } a+t=\{\{i+t|\forall i\in L_a\}\cup\{a-j|\forall j\in R_a\}|\{i+t|\forall i\in R_a\}\cup\{a-j|\forall i\in L_a\} a+t={{i+t∣∀i∈La​}∪{a−j∣∀j∈Ra​}∣{i+t∣∀i∈Ra​}∪{a−j∣∀i∈La​}

先证 a + t ≤ { ∣ } a+t\leq \{|\} a+t≤{∣}:

1. 对于 { a − j ∣ ∀ j ∈ R a } \{a-j|\forall j\in R_a\} {a−j∣∀j∈Ra​} 中的项,$\forall i\in R_a,i>a$,根据 $<$ 的良定义,两边同时加上 $-i$,等式仍然成立,有 ∀ i ∈ R a , a − i < { ∣ } \forall i\in R_a,a-i<\{|\} ∀i∈Ra​,a−i<{∣}.
2. 对于 { i + t ∣ ∀ i ∈ L a } \{i+t|\forall i\in L_a\} {i+t∣∀i∈La​} 中的项,可以归纳证明.

同理可证得 max ⁡ { L a + t } < { ∣ } \max\{L_{a+t}\}<\{|\} max{La+t​}<{∣},可得 a + t ≤ { ∣ } a+t\leq \{|\} a+t≤{∣}.

同理也可得 a + t ≥ { ∣ } a+t\geq \{|\} a+t≥{∣}.综上所述, a + t = { ∣ } , t = − a a+t=\{|\},t=-a a+t={∣},t=−a.

加法的封闭性

$a+b$ 仍然是一个合法的超现实数.

• $\forall i\in L_a,j\in R_a,i<j\Rightarrow i+b<j+b$.
• $\forall i\in L_a,j\in R_b,i<a,b<j\Rightarrow i+b<a+j$.
• $\forall i\in L_b,j\in R_b,i<j\Rightarrow i+a<j+a$.
• $\forall i\in L_b,j\in R_a,i<b,a<j\Rightarrow i+a<b+j$.

综上所述 max ⁡ { L a + b } < min ⁡ { R a + b } \max\{L_{a+b}\}<\min\{R_{a+b}\} max{La+b​}<min{Ra+b​},$a+b$合法.

注意到我们在证明中使用了 $<$ 的性质,和前文所述的类似,我们可以通过数学归纳法解决循环论证的问题.

超现实数的乘法运算及其性质

a b = { { i b + a j − i j ∣ ∀ i ∈ L a , j ∈ L b } ∪ { i b + a j − i j ∣ ∀ i ∈ R a , j ∈ R b } ∣ { i b + a j − i j ∣ ∀ i ∈ L a , j ∈ R b } ∪ { i b + a j − i j ∣ ∀ i ∈ R a , j ∈ L b } } ab=\{\{ib+aj-ij|\forall i\in L_a,j\in L_b\}\cup\{ib+aj-ij|\forall i\in R_a,j\in R_b\} | \{ib+aj-ij|\forall i\in L_a,j\in R_b\}\cup\{ib+aj-ij|\forall i\in R_a,j\in L_b\}\} ab={{ib+aj−ij∣∀i∈La​,j∈Lb​}∪{ib+aj−ij∣∀i∈Ra​,j∈Rb​}∣{ib+aj−ij∣∀i∈La​,j∈Rb​}∪{ib+aj−ij∣∀i∈Ra​,j∈Lb​}}

超现实数的乘法满足交换律,结合率,分配律,存在逆元,单位元( { { ∣ } ∣ } \{\{|\}|\} {{∣}∣}),所以超现实数构成了有序域,并且是最大的有序域,其他所有的有序域都是超现实数域的一个子有序域.

这里不加证明地给出 $a$ 的乘法逆元 $a^{-1}$ 的形式:
L a − 1 = { { ∣ } } ∪ { ( { { ∣ } ∣ } + ( u − a ) v ) u − 1 ∣ v ∈ L a − 1 , u ∈ R a } ∪ { ( { { ∣ } ∣ } + ( u − a ) v ) u − 1 ∣ v ∈ R a − 1 , u ∈ L a } L_{a^{-1}}=\{\{|\}\}\cup \{(\{\{|\}|\}+(u-a)v)u^{-1}|v\in L_{a^{-1}},u\in R_a\}\cup \{(\{\{|\}|\}+(u-a)v)u^{-1}|v\in R_{a^{-1}},u\in L_a\} La−1​={{∣}}∪{({{∣}∣}+(u−a)v)u−1∣v∈La−1​,u∈Ra​}∪{({{∣}∣}+(u−a)v)u−1∣v∈Ra−1​,u∈La​}
R a − 1 = { ( { { ∣ } ∣ } + ( u − a ) v ) u − 1 ∣ u ∈ L a , v ∈ L a − 1 } ∪ { ( { { ∣ } ∣ } + ( u − a ) v ) u − 1 ∣ u ∈ R a , v ∈ R a − 1 } R_{a^{-1}}=\{(\{\{|\}|\}+(u-a)v)u^{-1}|u\in L_a,v\in L_{a^{-1}}\}\cup \{(\{\{|\}|\}+(u-a)v)u^{-1}|u\in R_a,v\in R_{a^{-1}}\} Ra−1​={({{∣}∣}+(u−a)v)u−1∣u∈La​,v∈La−1​}∪{({{∣}∣}+(u−a)v)u−1∣u∈Ra​,v∈Ra−1​}

注意到 $a^{-1}$ 的形式中存在 $a^{-1}$ ,这事实上的含义是从空集开始一个一个向 $a^{-1}$ 中添加元素.

碍于篇幅限制,这里不给出具体证明.(其实就是不会)

实数与超现实数

终于讲到实数了

整数与超现实数

我们定义 { ∣ } = 0 \{|\}=0 {∣}=0(因为 { ∣ } \{|\} {∣} 是加法单位元,与 $0$ 的性质相似), { { ∣ } ∣ } = 1 \{\{|\}|\}=1 {{∣}∣}=1(因为 { { ∣ } ∣ } \{\{|\}|\} {{∣}∣} 是乘法单位元,与 $1$ 的性质相似).之后我们就使用 $0$ 表示所有等于 { ∣ } \{|\} {∣} 的数,用 $1$ 表示所有等于 { { ∣ } ∣ } \{\{|\}|\} {{∣}∣} 的数.

接下来,可以构造 { 1 ∣ } = 2 , { 2 ∣ } = 3 , . . . , { n − 1 ∣ } = n \{1|\}=2,\{2|\}=3,...,\{n-1|\}=n {1∣}=2,{2∣}=3,...,{n−1∣}=n 形式化地说,令 f ( n ) = { f ( n − 1 ) ∣ } f(n)=\{f(n-1)|\} f(n)={f(n−1)∣}.

我们需要证明,超现实数的运算与其对应的整数的运算相对应.使用归纳法, f ( a ) + f ( b ) = = { f ( a − 1 ) + f ( b ) , f ( a ) + f ( b − 1 ) ∣ } = { f ( a + b − 1 ) ∣ } = f ( a + b ) f(a)+f(b)==\{f(a-1)+f(b),f(a)+f(b-1)|\}=\{f(a+b-1)|\}=f(a+b) f(a)+f(b)=={f(a−1)+f(b),f(a)+f(b−1)∣}={f(a+b−1)∣}=f(a+b).

对于负整数,也可以写出类似的定义. − n = { ∣ − n + 1 } -n=\{|-n+1\} −n={∣−n+1}.

最简性定理

若 $x,y$ 满足 max ⁡ { L x } ≤ min ⁡ { L y } ≤ max ⁡ { L y } < x < min ⁡ { R y } ≤ max ⁡ { R y } ≤ min ⁡ { R x } \max\{L_x\}\leq \min\{L_y\}\leq \max\{L_y\}<x<\min\{R_y\}\leq \max\{R_y\}\leq \min\{R_x\} max{Lx​}≤min{Ly​}≤max{Ly​}<x<min{Ry​}≤max{Ry​}≤min{Rx​},则 $x=y$.

证明:

• max ⁡ { L x } ≤ max ⁡ { L y } < y , x < min ⁡ { R y } ⇒ x ≤ y \max\{L_x\}\leq \max\{L_y\}<y,x<\min\{R_y\}\Rightarrow x\leq y max{Lx​}≤max{Ly​}<y,x<min{Ry​}⇒x≤y.
• max ⁡ { L y } < x , y < min ⁡ { R y } ≤ min ⁡ { R x } ⇒ x ≥ y \max\{L_y\}<x,y<\min\{R_y\}\leq \min\{R_x\}\Rightarrow x\geq y max{Ly​}<x,y<min{Ry​}≤min{Rx​}⇒x≥y.
• $x\le y,x\ge y\Rightarrow x=y$.

这表明我们可以将 $a$ 化简为 $L_a,R_a$ 中只有零或一个数的形式.之后,我们只讨论化简后的形式,令 $L_a$ 表示左集合中唯一的元素,$R_a$ 表示右集合中唯一的元素.(空集的情况单独讨论)

二进制下有限小数与超现实数

我们有:
2 n + 1 2 k + 1 = { n 2 k ∣ n + 1 2 k } , n ∈ Z , k ∈ N \frac{2n+1}{2^{k+1}}=\{\frac{n}{2^k}|\frac{n+1}{2^k}\},n\in \mathbf{Z},k\in \mathbf{N} 2k+12n+1​={2kn​∣2kn+1​},n∈Z,k∈N

证明:令 a = { n 2 k ∣ n + 1 2 k } a=\{\frac{n}{2^k}|\frac{n+1}{2^k}\} a={2kn​∣2kn+1​},只需证 $a+a=\frac{2n+1}{2^k}$.

1. 使用归纳法, k = 0 , a = { n , n + 1 } , n < a < n + 1 , a + a = { n + a ∣ n + a + 1 } k=0,a=\{n,n+1\},n<a<n+1,a+a=\{n+a|n+a+1\} k=0,a={n,n+1},n<a<n+1,a+a={n+a∣n+a+1},可得 $2n<L_{2a}<2n+1<R_{2a}<2n+2$,可得 $2a=2n+1$.
2. k > 0 , a = { n 2 k ∣ n + 1 2 k } , n 2 k < a < n + 1 2 k , a + a = { n 2 k + a ∣ n + 1 2 k + a } k>0,a=\{\frac{n}{2^k}|\frac{n+1}{2^k}\},\frac{n}{2^k}<a<\frac{n+1}{2^k},a+a=\{\frac{n}{2^k}+a|\frac{n+1}{2^k}+a\} k>0,a={2kn​∣2kn+1​},2kn​<a<2kn+1​,a+a={2kn​+a∣2kn+1​+a},令 b = 2 n + 1 2 k = { n 2 k − 1 ∣ n + 1 2 k − 1 } b=\frac{2n+1}{2^k}=\{\frac{n}{2^{k-1}}|\frac{n+1}{2^{k-1}}\} b=2k2n+1​={2k−1n​∣2k−1n+1​},有 $\frac{n}{2^k}+a<b,a+a<\frac{n+1}{2^{k-1}}=R_b\Rightarrow a\le b,\frac{n+1}{2^k}+a>b,a+a>\frac{n}{2^{k-1}}=L_b\Rightarrow a\ge b$.综上所述,$a+a=b=\frac{2n+1}{2^k},a=\frac{2n+1}{2^{k+1}}$.

这样,我们就可以构造所有二进制下的有限小数,但是无限循环小数(如 $\frac{1}{3}$ )和无理数呢?

无限小数与超现实数

如果 $a$ 不能表示成二进制有限小数,可以仿照 dedekind分隔,令 $L_a$ 包含所有小于 $a$ 的二进制有限小数,$R_a$ 包含所有大于 $a$ 的二进制有限小数.这样任意实数都有任意多个超现实数与之对应.

实数中不存在的数与超现实数

我们允许超现实数的左右集合中存在无穷多个数,因此我们可以构造一些确实存在并且不存在于实数中的数.

我们令 w = { 1 , 2 , 3 , . . . ∣ } w=\{1,2,3,...|\} w={1,2,3,...∣},这样 $w$ 大于任何数,是一个确实存在的无穷大,满足超现实数的所有性质.

接下来,我们可以构造 w + 1 = { w ∣ } w+1=\{w|\} w+1={w∣},它也是确实存在的,并且 $w<w+1$.

我们还可以构造 $w+2,w+3,...,2w,3w,...,w^2,w^3,...,w^w...$ 它们都是确实存在的超现实数.

超现实数的应用

超现实数可以用于解决不平等博弈问题.由于跟本文关系不大,暂且略过.

参考资料

1. http://www.matrix67.com/blog/archives/6333
2. https://blog.csdn.net/qq_42101694/article/details/122073761