超現実数のソースを表示

[[File:Surreal number tree.svg|thumb|A visualization of the surreal number tree.]]
[[数学]]における'''超現実数'''（ちょうげんじつすう、{{lang-en-short|''surreal number''}}）の体系は、[[全順序]]付けられた[[真のクラス]]として[[実数]]のみならず（任意の正実数よりも[[絶対値]]が大きい）[[無限|無限大]]および（任意の正実数よりも絶対値が小さい）[[無限小]]まで含む。超現実数の体系は、[[四則演算]]（加減乗除）など実数が持つ多くの性質を共有しており、[[順序体]]を成す{{efn|[[フォンノイマン&ndash;ベルナイス&ndash;ゲーデル集合論|NBG]]を用いたオリジナルの定式化において、超現実数の全体は集合でない真のクラスを成すのだから、厳密に言えば[[可換体|体]]を成すというのはミスフレージングである。この区別は重要であって、文献によっては体の算術的性質を満たす真の類は "Field" や "FIELD" と呼んでいる場合もある（そのようなことをしている日本語文献があるかはわからないが、さしあたって「体」とか'''体'''とか区別をつけることはできるだろう）。真の（つまり集合となる）体を得る方法として[[グロタンディーク宇宙]]を一つ決めてその中で構成をするという手段が考えられる。それで得られるものは、適当な[[強到達不能基数]]を持つ集合であったり、用いた集合論によっては[[イプシロン数|''ε''{{sub|0}}]]のような適当な可算順序数において停止する[[超限帰納法]]による構成となったりする。}} 超現実数を[[フォンノイマン&ndash;ベルナイス&ndash;ゲーデル集合論]] (NBG) において定式化するならば、超現実数体は（[[有理数]]体、[[実数]]体、[[有理函数]]体、[[レヴィ゠チヴィタ体]]、[[準超実体|準超実数体]]、[[超実数]]体などを含む）すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる<ref name=bajnok>{{cite book|last=Bajnok|first=Béla|title=An Invitation to Abstract Mathematics|year=2013|quote=Theorem 24.29. The surreal number system is the largest ordered field}}</ref>。超現実数は、すべての[[超限数|超限]][[順序数]]も（[[順序数#順序数の演算|その算術]]まで込めて）含む。あるいはまた、（NBGの中で構成した）[[超実数|超実体]]の極大クラスが超現実体の極大クラスに同型であることが示せる（{{ill2|大域選択公理|en|Axiom of global choice}}を持たない理論では必ずしもそうならないし、またそのような理論において超現実数体が普遍順序体になるとも限らないことに注意する）。

== 概念史 ==
1907年に[[ハンス・ハーン]]は、[[形式冪級数]]の一般化として{{ill2|ハーン級数|en|Hahn series}}を導入した。また[[フェリックス・ハウスドルフ]]は、順序数{{mvar|α}} に対する {{ill2|エータ集合|en|η set|label={{mvar|η{{sub|α}}}}-集合}}と呼ばれる順序集合を導入し、それと両立する順序群や順序体の構造を求めることができるかを問うた。{{harvtxt|Alling|1962}} は修正された形のハーン級数を用いて適当な順序数 {{mvar|α}} に対してそのような順序体を構成し、{{mvar|α}} をすべての順序数全体の成すクラスを亙って動かすことで、超現実数体に同型な順序体のクラスを与えた。

それとは別の定義および構成法が、[[ジョン・ホートン・コンウェイ]]により、[[囲碁]]の[[ヨセ|寄せ]]についての研究から導かれている<ref name="O'Connor">{{citation | url = http://www-history.mcs.st-andrews.ac.uk/Biographies/Conway.html | title = Conway Biography | last = O'Connor | first = J.J. | last2 = Robertson | first2 = E.F. | accessdate = 2008-01-24 }}</ref>。コンウェイの構成法は1974年に[[ドナルド・クヌース]]の著書 ''Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness''{{efn|直訳は「超現実数 – 二人の元学生は如何にして純粋数学に熱中し、そして完全な幸福を得たか」となるだろうか。和訳本の一つ (松浦俊輔訳、柏書房、2004年) には『至福の超現実数―純粋数学に魅せられた男と女の物語』とタイトルが付けられている。}} に取り入れられた。対話形式で書かれたこの本においてクヌースは、コンウェイが単に「数」と呼んでいたものに「超現実数」という新たな名を付けた。のちにコンウェイもクヌースのこの造語を受け入れ、1976年には超現実数を用いてゲームを解析する ''{{ill2|On Numbers and Games|en|On Numbers and Games}}'' を著した{{sfn|Conway|1976}}。

== 概観 ==
コンウェイの構成法{{sfn|Conway|1976}}では、超現実数は、大小関係を表す順序 {{math|≤}}（二つの超現実数 {{mvar|a, b}} に対し {{math|''a'' ≤ ''b''}} または {{math|''b'' ≤ ''a''}} が成立する。{{math|''a'' ≤ ''b''}} かつ {{math|''b'' ≤ ''a''}} がともに成立するとき {{mvar|a}} と {{mvar|b}} は同値であると言い、同じ数を表すものと理解する）を伴って、段階を踏んで構成される。各段階における数は、既に構成された既知の超現実数からなる部分集合の[[順序対|対]]の形をしており、そのような数からなる部分集合 {{mvar|L, R}} が与えられ、{{mvar|L}} のすべての元が {{mvar|R}} のすべての元よりも真に小さいときに、対 {{math|{{mset|''L'' | ''R''}}}} は {{mvar|L}} のすべての元と {{mvar|R}} のすべての元との間に値を持つ中間数を表すものとなる。

このとき、全く異なる部分集合の対が結局は同じ数を定義するということが起こり得る &mdash;たとえ {{math|''L'' ≠ ''L&prime;''}} かつ {{math|''R'' ≠ ''R&prime;''}} となる場合であってさえも、二つの対 {{math|{{mset|''L'' | ''R''}}, {{mset|''L&prime;'' | ''R&prime;''}}}} が同じ数を定義しうる&mdash;（同様の現象は、[[有理数]]を整数の商として定義するときにもあったことである。例えば {{math|1/2}} と {{math|2/4}} は同じ有理数の異なる表現である）。ゆえに厳密を期すならば、超現実数とはそのような同じ数を指す {{math|{{mset|''L'' | ''R''}}}} なる形式の表現からなる[[同値類]]のことと言うべきである。

構成の緒段（第零世代）では、既存の数は何もないのだから、表現には空集合しか用いようがない。表現 {{math|{{mset|&nbsp;|&nbsp;}}}} は {{mvar|L}} および {{mvar|R}} が空集合という意味であり、これを {{math|0}} と呼ぼう。段階を踏んでいけば <math display="block">\{0\mid {}\} =: 1,\quad \{1\mid {}\} =: 2,\quad \{2\mid {}\} =: 3,\quad \ldots</math> や <math display="block">\{{}\mid 0\} =: -1, \quad \{{}\mid -1\} =: -2,\quad \{{}\mid -2\} =: -3,\quad\ldots</math> のような形式が次々に生まれてくる。こうして整数は全て超現実数の集合に含まれる（上記は右辺の名称を左辺の式で定義するという意味の定義式であることに注意する。これらの各名称が実際に適切なものであることは、後で述べる超現実数の四則演算が定義されたときに根拠が与えられるであろう）。同様に <math display="block">\{0\mid 1\} =: 1/2,\quad \{0\mid 1/2\} =: 1/4,\quad \{1/2\mid 1\} =: 3/4,\quad \ldots</math> のようなものも生じるから、{{ill2|二進分数|en|dyadic rational}}（分母が[[2の冪]]であるような有理数）もまた全てが超現実数の集合に含まれる。

無限に段階を踏んだ後であれば、無限部分集合も使ってよいということになり、任意の[[実数]] {{mvar|a}} が、{{mvar|a}} より小さい（ここでの大きい・小さいは、実数としての大小関係で言うことに注意）二進分数全体の成す集合 {{mvar|L{{sub|a}}}} と {{mvar|a}} より大きい二進分数全体の成す集合 {{mvar|R{{sub|a}}}} を用いて {{math|{{mset|''L{{sub|a}}'' | ''R{{sub|a}}''}}}} と表現される（これはあたかも[[デデキントの切断]]の如きである）。そうして任意の実数もまた超現実数の集合に埋め込まれる。

あるいはまた、<math display="block">\{0, 1, 2, 3, \ldots\mid {}\} =: \omega</math> および <math display="block">\{0\mid 1, 1/2, 1/4, 1/8, \ldots\} =: \varepsilon</math> なる表現も作られ、{{mvar|ω}} は任意の整数よりも大きい[[超限数]]として、{{mvar|ε}} は任意の正実数より小さいが {{math|0}} よりは大きい[[無限小]]として解釈できるが、これらもまた超現実数として与えられる。さらに言えば、通常の算術における四則演算（加減乗除）が、これらの実数でないような量まで含めて、超現実数全ての集まりが一つの[[順序体]]となるような仕方で拡張できる。よって、この枠組みの中では {{math|2''ω''}} や {{math|''ω'' &minus; 1}} などのような無限大を数として扱った議論もできるということになる。

== 構成法 ==
超現実数は、超現実数からなる集合の[[順序対|対]]（ただし一方の集合の各元が他方の集合の任意の元よりも真に小さいという制約が付く）に関する[[同値類]]として[[帰納的定義|帰納的に定義]]される。この構成は、相互に依存する三種類のルール（[[#構成規則|構成規則]]・[[#比較規則|比較規則]]・[[#同値規則|同値規則]]）からなる。

=== 形式 ===
'''形式''' (''form'') は左集合および右集合と呼ばれる超現実数からなる集合の対を言う。左集合を {{mvar|L}}, 右集合を {{mvar|R}} とする形式は {{math|{{mset|''L'' | ''R''}}}} と書き、また {{mvar|L}} および {{mvar|R}} が元のリスト（文字列）として与えられているときには、それらを括る波括弧は省略する。左集合または右集合の何れかまたは両方が空集合となることもあり得る。例えば両者空集合となる形式 {{math|1={{mset|{{mset|}}|{{mset|}}}} = {{mset|&empty; | &empty;}}}} は {{math|{{mset|&nbsp;|&nbsp;}}}} とも書く。
; {{vanc|構成規則|数値形式}}: 形式 {{math|{{mset|''L'' | ''R''}}}} が数値的（数的）であるとは、{{mvar|L}} と {{mvar|R}} に交わりが無く、かつ {{mvar|R}} の各元が {{mvar|L}} の任意の元よりも真に大きいときに言う。ただし、大小関係は[[#大小関係|後で述べる]][[順序関係|順序]] {{math|≤}} の意味で言う。

=== 数値形式の同値類 ===
数的な形式を同値類に分けるとき、その各々の同値類が「超現実数」である。形式における左集合と右集合は（形式ではなくその同値類としての）超現実数のなす[[宇宙]]からとることができる。
; {{vanc|同値規則}}: 二つの数形式 {{mvar|x, y}} が同じ数を表す（同じ同値類に属する）ための必要十分条件は {{math|''x'' ≤ ''y''}} および {{math|''y'' ≤ ''x''}} が同時に満たされることである。

[[順序関係]]は[[反対称関係|反対称]]でなければならない。つまり {{math|''x'' ≤ ''y''}} かつ {{math|''y'' ≤ ''x''}} という意味で {{math|''x'' {{=}} ''y''}} であるのは、{{mvar|x}} と {{mvar|y}} が同じものであるときに限る。これは超現実数を形式として捉えた場合には正しくないが、その同値類を取って作ったものであれば真となる。

空な形式 {{math|{{mset|&nbsp;|&nbsp;}}}} の属する同値類を {{math|0}} とラベル付ける。すなわち、超現実数の {{math|0}} は形式 {{math|{{mset|&nbsp;|&nbsp;}}}} によって表現される。

=== {{vanc|大小関係|順序}} ===
超現実数の再帰的定義は、以下で定義する比較規則に対して完全 (completed) である:
; {{vanc|比較規則}}: 数値形式 {{math|''x'' {{coloneqq}} {{mset|''X{{sub|L}}'' | ''X{{sub|R}}''}}, ''y'' {{coloneqq}} {{mset|''Y{{sub|L}}'' | ''Y{{sub|R}}''}}}} に対して、{{math|''x'' ≤ ''y''}} が成り立つとは
:* {{math|''x{{sub|L}}'' ∈ ''X{{sub|L}}''}} で {{math|''y'' ≤ ''x{{sub|L}}''}} となるようなものが存在しない（{{mvar|x}} の左集合の元は何れも {{mvar|y}} より小さい）;
:* {{math|''y{{sub|R}}'' ∈ ''Y{{sub|R}}''}} で {{math|''y{{sub|R}}'' ≤ ''x''}} を満たすものが存在しない（{{mvar|y}} の右集合の元は何れも {{mvar|x}} より大きい）
: という条件がともに成立することをいう。

形式 {{mvar|y}} と超現実数 {{mvar|c}} との間の比較 {{math|''y'' ≤ ''c''}} は、同値類 {{mvar|c}} の代表元となる形式 {{mvar|z}} を取って {{math|''y'' ≤ ''z''}} を評価するならば意味を持つ。同様に形式 {{mvar|x}} との比較 {{math|''c'' ≤ ''x''}} や超現実数同士の比較 {{math|''b'' ≤ ''c''}} も定義できる。

=== 帰納法による定義 ===
この一連の定義は[[再帰的]]であり、形式や数といった対象の成す宇宙を定めるためにはある種の[[数学的帰納法]]が必要になる。「有限な帰納法」を通じて到達できる超現実数は{{ill2|二進分数|en|dyadic fraction}}（二進有理数）に限られるから、より広い宇宙へ到達するには何らかの形での[[超限帰納法]]を与えなければならない。

; {{vanc|帰納規則}}
:'''初期条件''': 第零世代 {{math|1=''S''{{sub|0}} = {{mset|0}}}} はただ一つの形式 {{math|{{mset|&nbsp;|&nbsp;}}}} のみからなる {{math|0}} だけを含む集合とする。
:'''帰納ステップ''': 任意の[[順序数]] {{mvar|n}} に対し、第 {{mvar|n}}-世代 {{math|''S{{sub|n}}''}} は、それより前の世代全ての合併 <math display="inline">\bigcup_{i < n} S_i</math> から[[#構成規則|構成規則]]によって生成されるすべての超現実数からなる集合である。

初期条件は実際には（添字の {{math|0}} を最小の順序数とみなして）帰納ステップの特別な場合と見ることもできる。これは、{{math|''i'' < 0}} を満たす {{mvar|S{{sub|i}}}} は存在しないから、そのようなものの合併 <math display="inline">\bigcup_{i < n} S_i</math> もまた空であり、空集合の部分集合は空集合しかないから、したがって {{math|''S''{{sub|0}}}} は左右ともに空なただ一つの形式 {{math|{{mset|&nbsp;|&nbsp;}}}} のみが属する同値類 {{math|0}} のみからなる。

任意の有限順序数 {{mvar|n}} に対して {{mvar|S{{sub|n}}}} は、超現実数の比較規則によって誘導される順序に関して[[整列順序]]付けられる。

帰納規則を一回施すと、三種類の数形式が得られ、大きさ順にすると {{math|{{mset|&nbsp;| 0}} < {{mset|&nbsp;|&nbsp;}} < {{mset|0 |&nbsp;}}}} と書ける（形式 {{math|{{mset|0 | 0}}}} も出てくるがこれは数的でない: {{math|0 ≤ 0}}）。これらの属する同値類に対し、{{math|{{mset|0 |&nbsp;}}}} を含むものには {{math|1}} を {{math|{{mset|&nbsp;| 0}}}} を含むものには {{math|−1}} をラベルとして割り当てる。この三種にこのようなラベル付けをすることは、[[環 (数学)|環]]の公理を満たすことを確認するうえで特別に重要である（これらはちょうど、加法単位元 {{math|0}}, 乗法単位元 {{math|1}} および {{math|1}} の加法逆元 {{math|−1}} を表すものとして、後で定義する超現実数の四則演算と整合する）。

任意の {{math|''i'' < ''n''}} に対して、{{mvar|S{{sub|i}}}} で有効な任意の形式は {{mvar|S{{sub|n}}}} においても有効であるから、{{mvar|S{{sub|i}}}} に属する任意の数は {{mvar|S{{sub|n}}}} にも（{{mvar|S{{sub|i}}}} におけるそれらの数の表現の上位集合として）現れる（帰納ステップにおいて、{{mvar|S{{sub|n}}}} は一つ前の {{math|''S''{{sub|''n''&minus;1}}}} からではなく、それより前のすべての合併という形で構成されているから、この帰納的定義は {{mvar|n}} が[[極限順序数]]であるときにも意味を為すことに注意する）。{{mvar|S{{sub|n}}}} に属する数のうち、{{mvar|S{{sub|i}}}} に属する適当な数の上位集合となっているようなものは、第 {{mvar|i}}-世代から「遺伝した」と言う。与えられた超現実数に対し、それが属する {{mvar|S{{sub|α}}}} の中で最小となる {{mvar|α}} のことを、その超現実数の'''{{vanc|誕生日}}'''と呼ぶ。例えば {{math|0}} の誕生日は {{math|0}} であり、{{math|−1}} の誕生日は {{math|1}} である。

帰納ステップの繰り返し二回目では、以下のように順序付けられた同値類が得られる:

: {{math|1={{mset|&nbsp;| −1}} = {{mset|&nbsp;| −1, 0}} = {{mset|&nbsp;| −1, 1}} = {{mset|&nbsp;| −1, 0, 1}}}}
: {{math|1=< {{mset|&nbsp;| 0}} = {{mset|&nbsp;| 0, 1}}}}
: {{math|1=< {{mset|−1 | 0}} = {{mset|−1 | 0, 1}}}}
: {{math|1=< {{mset|&nbsp;|&nbsp;}} = {{mset|−1 |&nbsp;}} = {{mset|&nbsp;| 1}} = {{mset|−1 | 1}}}}
: {{math|1=< {{mset|0 | 1}} = {{mset|−1, 0 | 1}}}}
: {{math|1=< {{mset|0 |&nbsp;}} = {{mset|−1, 0 |&nbsp;}}}}
: {{math|1=< {{mset|1 |&nbsp;}} = {{mset|0, 1 |&nbsp;}} = {{mset|−1, 1 |&nbsp;}} = {{mset|−1, 0, 1 |&nbsp;}}}}

これら同値類の大小比較が、それを代表する形式の選び方に依らず無矛盾であることに注意。三つほどわかることがある:
# 第二世代 {{math|''S''{{sub|2}}}} で新たに加わった超現実数は四つあり、その中に極端なものが二つある。ひとつは {{math|{{mset|&nbsp;| −1, 0, 1}}}} で右集合に前世代の数をすべて含み、いまひとつの {{math|{{mset|−1, 0, 1 |&nbsp;}}}} は左集合に前世代をすべて含む。残りの二つは、前世代を二つの空でない集合に[[集合の分割|分割]]する形になっている。
# 前世代に存在したすべての超現実数 {{mvar|x}} が全てこの世代にもあり、それぞれに対してそれを表す新たな形式を少なくとも一つ持っている。それは前世代の {{mvar|x}} 以外のすべての数を、{{mvar|x}} より小さい数は左集合に、{{mvar|x}} より大きい数は右集合にそれぞれ入れた分割の形をしている。
# 一つの超現実数の同値類は、左集合の極大元と右集合の極小元のみに依存して決まる。

略式的には {{math|{{mset|1 |&nbsp;}}}} および {{math|{{mset|&nbsp;| −1}}}} はそれぞれ "{{math|1}} の直後の数" および "{{math|−1}} の直前の数" と解釈できる。それら同値類には {{math|2}} および {{math|−2}} のラベルを付ける。同様に略式的には {{math|{{mset|0 | 1}}}} および {{math|{{mset|−1 | 0}}}} はそれぞれ "{{math|0}} と {{math|1}} の中間の数" および "{{math|−1}} と {{math|0}} の中間の数" と解釈できるので、それら同値類には {{math|&frac12;}} および {{math|&minus;&frac12;}} とラベルを付ける。これらのラベルも後で述べる超現実数の加法および乗法に関する規則で正当化される。

帰納法の各第 {{mvar|n}}-世代における同値類は、その左集合と右集合に直前の世代の元を可能な限り多く含む {{mvar|n}}-完全形式 (''{{mvar|n}}-complete forms'') によって特徴付けることができる。これら完全形式は、直前世代のすべての数をその左集合または右集合のいずれか一方だけにもつ（例えば第一世代はこのような数だけが生じる）か、さもなくば直前世代の数をただ一つを除いて全て含む（この場合、その完全形式は、この除かれたただ一つの数を表す新たな形式を与えていることになる）。さて、前世代の数には既に与えたラベルをそのままつけるものとして、新たにつけたラベルとともに大小関係に従って並べれば、第二世代は <math display="block">-2 < -1 < -{1\over 2} < 0 < {1\over 2} < 1 < 2</math> となる。

三番目の観察は、有限な左集合および右集合を持つ任意の超現実数に対して拡張できる（無限集合は極小元や極大元をもたないかもしれないから、左集合または右集合が無限集合である場合には修正が必要である）。だから例えば、形式 {{math|{{mset|1, 2 | 5, 8}}}} の表す超現実数は {{math|{{mset|2 | 5}}}} が表すものと同じである。第三世代における形式に関して同様のことを見るには、[[#帰納規則|帰納規則]]の系として得られる「誕生日性質」(''birthday property'') が利用できる:
; {{vanc|誕生日性質}}: 第 {{mvar|n}}-世代において生じる形式 {{math|1=''x'' = {{mset|''L'' | ''R''}}}} がそれより前の世代 {{math|''i'' < ''n''}} から遺伝するための必要十分条件は、{{mvar|S{{sub|i}}}} の適当な元をとれば、それが {{mvar|L}} の任意の元より大きく、かつ {{mvar|R}} の任意の元より小さくできることである（言葉を換えて言えば、{{mvar|L}} と {{mvar|R}} が以前の段階で既知となっている数によって既に隔たれているならば、{{mvar|x}} は新たな数を表すものではなく、既に得られた数である）。{{mvar|x}} が {{mvar|n}} より前の任意の世代から来る数を表すとき、そのような世代 {{mvar|i}} に最小値（つまり {{mvar|x}} の誕生日）が存在して、その最小値を実現する数 {{mvar|c}} が {{mvar|L}} と {{mvar|R}} の間にただ一つ存在する。{{mvar|x}} はこの {{mvar|c}} を含む形式（つまり、{{mvar|S{{sub|n}}}} において {{mvar|c}} の属する同値類）として第 {{mvar|i}}-世代における {{mvar|c}} の表現を部分集合として含む。

== 超現実数の算術 ==
超現実数の加法、符号反転（反数）および乗法は、形式 {{math|''x'' {{coloneqq}} {{mset|''X{{sub|L}}'' | ''X{{sub|R}}''}}, ''y'' {{coloneqq}} {{mset|''Y{{sub|L}}'' | ''Y{{sub|R}}''}}}} に対して、以下のように再帰的に定義される。

=== 反数 ===
集合 {{mvar|S}} の反数集合 {{math|&minus;''S''}} を、その元の反数全体の成す集合 {{math|&minus;''S'' {{coloneqq}} {{mset|&minus;''s'' : ''x'' &isin; ''S''}}}} とすれば、与えられた超現実数の「形式」 {{math|''x'' {{coloneqq}} {{mset|''X{{sub|L}}'' | ''X{{sub|R}}''}}}} に対してその反数は <math display="block">-x = - \{ X_L\mid X_R\} := \{-X_R\mid -X_L\}</math> で与えられる。

この定義式の中には、{{mvar|x}} の左集合や右集合に現れる超現実「数」の反数も現れるが、これはそれら数の代表元となる形式を選んで形式に対する符号反転をとって得られた形式の属する同値類をとったものという意味である。ただし、[[well-defined|この定義が意味を持つ]]ためには、結果として得られる数が被演算子となる形式のとりかたに依存しないことを示す必要がある。そのことは、{{mvar|X{{sub|L}}, X{{sub|R}}}} に現れる全ての数が、{{mvar|x}} が初めて現れるよりも前の世代において生じるものであるという事実を用いれば、その特別の場合として {{math|1=&minus;0 = &minus;{{mset|&nbsp;|&nbsp;}} {{coloneqq}} {{mset|&nbsp;|&nbsp;}} = 0}} は確定であることと合わせて帰納的に示される。

=== 加法 ===
同様に加法もまた <math display="block">x + y = \{X_L\mid X_R\} + \{Y_L\mid Y_R\} = \{X_L + y, x + Y_L\mid X_R + y, x + Y_R\}</math> と帰納的に定義される。ただし、{{math|''X'' + ''y'' {{coloneqq}} {{mset|''x'' + ''y'' : ''x'' &isin; ''X''}}}} および {{math|''x'' + ''Y'' {{coloneqq}} {{mset|''x'' + ''y'' : ''y'' &isin; ''Y''}}}} は{{ill2|群の部分集合の積|en|Product of group subsets|label=元と集合との和の集合}}である。 

この定義式には、もととなる被演算子の一方（これは数ではなく「形式」である）と、他方の左集合または右集合からとった超現実「数」との和が現れているが、これはその数に対してはそれを表す形式を一つ選んで形式の間での和を計算し、その結果得られる形式の属する同値類をとった超現実数を意味するものと理解する。これもやはり、結果として得られる数が被演算子となる数を表す形式の選び方に依存しない場合にのみ矛盾なく定義可能となるが、これはその特別の場合である {{math|1=0 + 0 = {{mset|&nbsp;|&nbsp;}} + {{mset|&nbsp;|&nbsp;}} {{coloneqq}} {{mset|&nbsp;|&nbsp;}} = 0}} および <math display="block">\begin{align}
  x + 0 = x + \{{}\mid{}\} &:= \{X_L + 0\mid X_R + 0\} = \{X_L\mid X_R\} = x,\\
  0 + y = \{{}\mid{}\} + y &:= \{0 + Y_L\mid 0 + Y_R\} = \{Y_L\mid Y_R\} = y
\end{align}</math> が成り立つことから帰納的に示せる（後ろ二つの式それ自体も帰納的に証明されるものであることに注意する）。

=== 乗法 ===
超現実数の乗法の定義式には、被演算子と左集合および右集合に対する算術が含まれる（例えば {{math|''X{{sub|R}}y'' + ''xY{{sub|R}}'' &minus; ''X{{sub|R}}Y{{sub|R}}''}} のような式が {{mvar|x, y}} の積の左集合に現れる）。これは、式に現れる各集合から数を任意に選び、それら数に対する演算（各々の計算の時点では、各集合から選ばれる数はただひとつであり、もとの式の集合が書かれている場所にそのとき選んだ数を代用して得られる式を評価する）を施して得られる超現実数全体からなる集合とする。ただしこれが矛盾の無い定義であるというために、
* (a): {{mvar|x, y}} の左右の集合から取った超現実「数」の対を掛け合わせて超現実数を得たりそれを反数にしたりするとき;
* (b): {{mvar|x, y}} と、それらの左右の集合から取った超現実「数」とを掛け合わせて超現実数を得るとき;
* (c): 定義式で決まる形式から数を得るとき
の各々において形式の選び方に依存する可能性が無いか確かめなければならない。これもやはりその特別の場合、今度は {{math|1=0 = {{mset|&nbsp;|&nbsp;}}}}, 乗法単位元 {{math|1=1 = {{mset|0 |&nbsp;}}}} およびその反数 {{math|1=&minus;1 = {{mset|&nbsp;| 0}}}} の存在は確定するから <math display="block">\begin{align}
xy ={} &\{ X_L\mid X_R \} \{ Y_L\mid Y_R \} \\
  :={} &\{ X_L y + x Y_L - X_L Y_L, X_R y + x Y_R - X_R Y_R\mid
           X_L y + x Y_R - X_L Y_R, x Y_L + X_R y - X_R Y_L
        \}
\end{align}</math> で帰納的に乗法が矛盾なく定義されることは（やはり帰納的に）確認できる。

=== 除法 ===
除法は、逆数（乗法逆元）をとり、それを掛ける操作 {{math|''{{fraction|x|y}}'' {{coloneqq}} ''x''&sdot;({{fraction|''y''}})}} に分けてしまえば、正の {{mvar|y}} に対する反転を <math display="block">\frac{1}{y} := \biggl\{
  0, \frac{1+(y^R-y)(\frac1y)^L}{y^R}, \frac{1+(y^L-y)(\frac1y)^R}{y^L} \;\bigg|\; 
     \frac{1+(y^L-y)(\frac1y)^L}{y^L}, \frac{1+(y^R-y)(\frac1y)^R}{y^R}
\biggr\}</math> と帰納的に定義することに帰着される{{sfn|Conway|1976}}{{rp|21}}。この式において、上付きの {{mvar|y{{sup|L}}}} は左集合 {{mvar|y{{sub|L}}}} において正の値のみ残して、非正の値は[[無視可能性|捨て]]たものであることを意味するものとする（{{mvar|y{{sup|R}}}} は（右集合 {{mvar|y{{sub|R}}}} の各項は常に正だからそのままでもよいが）左集合の記法と合わせて上付きになっているだけである）。

さてこの定義式は、{{mvar|y}} の左集合および右集合から取った数で割り算するという意味で再帰的であるばかりでなく、{{math|{{fraction|''y''}}}} それ自身の左集合および右集合の元をとらないといけないという意味でも再帰的になっていることに注意する。

{{math|0}} は {{math|{{fraction|''y''}}}} の左集合に常に入っているから、それを使って（左集合や右集合に入る）ほかの項を再帰的に順番に求めていくことは可能である。例えば {{math|1=''y'' {{coloneqq}} 3 = {{mset|2 |&nbsp;}}}} の場合を考える{{efn|この場合、{{math|1=''y{{sup|L}}'' = {{mset|2}}}} の元は {{math|2}} しかないから、定義式において {{math|''y{{sup|L}}'' &minus; ''y''}} の部分は数の計算 {{math|1=2 &minus; 3 = &minus;1}} に単純化できる。同様に {{mvar|y{{sup|R}}}} は空集合で、とるべき元は存在しないから、定義式において {{mvar|y{{sup|R}}}} を含むふたつの式は考える必要がない。}}ならば、{{math|{{fraction|3}}}} の左の項に {{math|0}} があることは、定義式の右項にある {{math|{{fraction|(1+(''y{{ssup|L}}'' &minus; ''y'')(1/''y''){{sup|''L''}})|''y{{sup|L}}''}}}} に {{math|({{fraction|''y''}}){{sup|''L''}}}} から {{math|0}}, {{mvar|y{{sub|L}}}} から {{math|2}} を取ってきて代入した {{math|1=(1 + (2 &minus; 3)&sdot;0)/2 = {{fraction|1|2}}}} が {{math|{{fraction|''y''}}}} の右集合に入ることを意味する。この {{math|1/2}} の存在を利用して今度は、定義式の左項の {{math|{{fraction|(1+(''y{{ssup|L}}'' &minus; ''y'')(1/''y''){{sup|''R''}})|''y{{sup|L}}''}}}} を見れば、{{math|1=(1 + (2 &minus; 3)&sdot;(1/2))/2 = {{fraction|1|4}}}} が {{math|{{fraction|''y''}}}} の左集合に入ることが分かる。これをさらに利用すれば、{{math|1=(1 + (2 &minus; 3)&sdot;(1/4))/2 = {{fraction|3|8}}}} は右集合の項であるとわかり、というように以下これを続ければ、<math display="block">\frac13 = \{0, \tfrac{1}{4}, \tfrac{5}{16}, \ldots \mid \tfrac{1}{2}, \tfrac{3}{8}, \ldots\}</math> を得る。

負の {{mvar|y}} に対する {{math|{{fraction|''y''}}}} は、{{math|{{fraction|''y''}} {{coloneqq}} &minus;{{fraction|1|(&minus;''y'')}}}} で与えられる。{{math|1=''y'' = 0}} ならば {{math|{{fraction|''y''}}}} は定義されない (undefined)。

=== これら算術の一貫性 ===
さてこれらの四則は以下に述べる意味で「うまく行っている」(consistent):
* 加法および符号反転は、それぞれの帰納法において「より単純な」帰納ステップの加法および符号反転から再帰的に定義されているから、誕生日が {{mvar|n}} である数に対する演算は、結局は誕生日が {{mvar|n}} より小さい数に対する同じ演算によって全く言い表される。
* 乗法は、加法・符号反転と「より単純な」乗法のステップから再帰的に定義されているから、誕生日が {{mvar|n}} である数に対する演算は結局誕生日が {{mvar|n}} より小さな数から成す積の和や差として全く書き表されている。
* 被演算子が矛盾なく定義された超現実数形式（左集合の各元が右集合の各元より小さい）である限り、これら演算の結果はふたたび矛盾なく定義された数形式になる。
* 形式に対するこれら演算を超現実数（形式の同値類）に「拡張」できる。すなわち、超現実数 {{mvar|x}} を符号反転したり、超現実数の対 {{mvar|x, y}} を足したり掛けたりした結果は、{{mvar|x}} や {{mvar|y}} を表す形式の選び方とは無関係に、同じ超現実数を与える。
* これら演算は、加法単位元 {{math|1=0 = {{mset|&nbsp;|&nbsp;}}}} および乗法単位元 {{math|1=1 = {{mset|0 |&nbsp;}}}} を伴って、[[可換体|体]]の定義における[[交換法則|可換律]]・[[結合法則|結合律]]・[[加法逆元|反数律]]および[[分配法則|分配律]]の各公理に従う。

これらの規則を用いれば、最初のほうのいくつかの世代に対して、それが完全にラベル付けできているかどうかの確認ができる。構成規則を繰り返せば、超現実数の更なる世代についても同様である。
* {{math|1=''S''{{sub|0}} = {{mset|0}}}}.
* {{math|1=''S''{{sub|1}} = {{mset|−1 < 0 < 1}}}}.
* {{math|1=''S''{{sub|2}} = {{mset|−2 < −1 < −{{fraction|2}} < 0 < {{fraction|2}} < 1 < 2}}}}.
* {{math|1=''S''{{sub|3}} = {{mset|−3 < −2 < −{{fraction|3|2}} < −1 < −{{fraction|3|4}} < −{{fraction|2}} < −{{fraction|4}} < 0 < {{fraction|4}} < {{fraction|2}} < {{fraction|3|4}} < 1 < {{fraction|3|2}} < 2 < 3}}}}.
* {{math|1=''S''{{sub|4}} = {{mset|−4 < −3 < ⋯ < −{{fraction|1|8}} < 0 < {{fraction|1|8}} < {{fraction|4}} < {{fraction|3|8}} < {{fraction|2}} < {{fraction|5|8}} < {{fraction|3|4}} < {{fraction|7|8}} < 1 < {{fraction|5|4}} < {{fraction|3|2}} < {{fraction|7|4}} < 2 < {{fraction|5|2}} < 3 < 4}}}}.

=== 算術で閉じていること ===
各[[自然数]]（有限順序数）{{mvar|n}} に対し、{{mvar|S{{sub|n}}}} において生成されたすべての数が{{ill2|二進分数|en|dyadic fraction}}（すなわち、[[既約分数]]に書いたとき適当な整数 {{mvar|a, b}} ({{math|0 ≤ ''b'' < ''n''}}) を用いて {{math|{{fraction|''a''|2{{exp|''b''}}}}}} の形に書ける有理数）である。

有限な {{mvar|n}} に対する適当な {{mvar|S{{sub|n}}}} において生成される超現実数全体の成す集合を <math display="inline">S_* := \bigcup_{n \in\mathbb{N}}S_n</math> と書くことにする。三種類の異なる形、<math display="inline">S_0 := \{0\},</math> <math display="inline">S_+ := \{x \in S_* : x > 0\},</math> <math display="inline">S_- := \{x \in S_* : x < 0\}</math> に分類すれば、{{mvar|S{{sub|&lowast;}}}} はこれらの合併である。個々の {{mvar|S{{sub|n}}}} は（{{math|''S''{{sub|0}}}} 以外は）加法および乗法について閉じていないが、{{mvar|S{{sub|&lowast;}}}} は閉じている（これは二進分数全体の成す有理数体の部分環である）。

適当な無限順序数 {{mvar|β}} が存在して、誕生日が {{mvar|β}} より小さい超現実数全体の成す集合が別の算術演算で閉じているようにすることができる{{sfn|van den Dries|Ehrlich|2001}}。任意の順序数 {{mvar|α}} に対し、誕生日が {{math|''β'' {{coloneqq}} ''ω{{exp|α}}''}}（[[#ω の冪|''ω'' の冪]]節を参照）より小さい超現実数全体の成す集合は加法のもとで閉じていて、[[群 (数学)|群]]を成す。{{mvar|ω{{exp|ω{{exp|α}}}}}} より小さい誕生日に対しては、乗法のついても閉じており、[[環 (数学)|環]]を成す{{efn|1=二進分数全体の成す集合は、この種の群および環のうち非自明でもっとも単純な例になっている。つまり、誕生日が {{math|1=''ω'' = ''ω''{{exp|1}} = ''ω''{{exp|''ω''{{exp|0}}}}}} より小さい超現実数の全体である。}}。また誕生日が（順序）[[イプシロン数]] {{mvar|ε{{sub|α}}}} より小さいとすれば乗法逆元をとる操作でも閉じていて、[[可換体|体]]を成す。この最後の集合は Kruskal および Gonshor によって定義された指数函数のもとでも閉じている{{sfn|van den Dries|Ehrlich|2001}}{{sfn|Gonshor|1986}}{{rp|at=ch. 10}}。

しかし、与えられた集合の任意の元より大きな超現実数を構成することは（構成子の左集合にその集合を含めることにより）常に可能であり、したがって超現実数全てからなる集まりは[[真のクラス]]となる。このクラスは（それが[[集合]]でないという但し書きの上で）その大小比較を定める順序関係とこれら算術の四則に関して[[順序体]]を成す。実はこれは、最も大きな順序体という非常に特別なものになっている（ほかの任意の順序体は、超現実数体に演算と順序まで込めて埋め込める）。超現実数全体の成すクラスは {{mathbf|𝐍𝐨}} で表される。

== 無限大 ==
[[#算術で閉じていること|前掲]]の {{mvar|S{{sub|&lowast;}}}} の任意の部分集合から構成規則によって生成される超現実数全体の成す集合を {{mvar|S{{sub|ω}}}} とする（順序数 {{mvar|ω}} は任意の自然数より大きい最小の順序数であるから、帰納ステップは前と同じ形に書けるが、そこに現れる合併集合は有限集合の無限合併が許されることになるので、そのような合併操作が展開できる集合論をとらなければならないことに注意する）。{{mvar|S{{sub|ω}}}} は無限に大きい超現実数 <math display="block"> \omega := \{ S_*\mid{}\} = \{ 1, 2, 3, 4, \dotsc \mid{}\}</math> をただ一つだけ含む。また、{{mvar|S{{sub|ω}}}} は（二進とは限らない任意の）[[有理数]]に同一視することのできる対象を含んでいる。例えば、分数 {{math|1/3}} の {{mvar|ω}}-完全 (''{{mvar|ω}}-complete'') な形式は <math display="inline">\tfrac{1} {3} = \{ y \in S_*[3 y < 1] \mid y \in S_*[3 y > 1] \}</math> で与えられる。{{math|1/3}} の代表元をこの形式とし、{{math|3}} を表す任意の形式との積をとった形式は、その左集合に {{math|1}} より小さい数のみ属し、その右集合に {{math|1}} より大きい数のみが属するから、[[#誕生日性質|誕生日性質]]によりこの積は {{math|1}} を表す形式であることが従う。それ以外のすべての有理数が {{mvar|S{{sub|ω}}}} において生じるが、それだけではなく有理数でない任意の有限[[実数]]もまた同様に生じる。例えば <math display="block">\pi = \{ 3, \tfrac{25}{8},\tfrac{201}{64},\dotsc \mid 4, \tfrac{7}{2}, \tfrac{13}{4}, \tfrac{51}{16},\dotsc\}</math> である。

{{mvar|S{{sub|ω}}}} に属する無限大超現実数は {{mvar|ω}} および {{math|−''ω''}} だけだが、{{mvar|S{{sub|ω}}}} には任意の実数の間にもほかの種類の非実数が存在している。{{mvar|S{{sub|ω}}}} における最小の正の数は <math display="block">\varepsilon := \{ S_- \cup S_0 \mid S_+ \} = \{ 0 \mid 1, \tfrac{1}{2}, \tfrac{1}{4}, \tfrac{1}{8}, \dotsc \} = \{ 0 \mid y \in S_*[y > 0] \}</math> によって考えることができる。これは {{math|0}} より大きいが、任意の正の二進分数よりも小さいことを意味する数であるから、これは[[無限小]]超現実数である（無限小はよく {{mvar|ε}} と書かれる）。{{mvar|ε}} (resp. {{math|&minus;ε}}) の {{mvar|ω}}-完全形式は、{{math|0}} を表す {{mvar|ω}}-完全形式の左集合 (resp. 右集合) に {{math|0}} を含めることで得られる。{{mvar|S{{sub|ω}}}} に属する「純」無限小は {{mvar|ε}} およびその反数である {{math|&minus;''ε''}} だけである。それらと任意の二進分数 {{mvar|y}} を加えて得られる超現実数 {{math|''y'' &plusmn; ''ε''}} もまた {{mvar|S{{sub|ω}}}} に入る。

この {{mvar|ω}} と {{mvar|ε}} の間の関係を、それらを表す特定の形式を掛け合わせた <math display="block">\omega\cdot\varepsilon = \{\varepsilon\cdot S_+ \mid \omega\cdot S_+ + S_* + \varepsilon S_*\}</math> から決定できる。ただし、この式は {{mvar|S{{sub|ω{{exp|2}}}}}} までの超限帰納法が意味を為す集合論でないと[[well-defined|きちんと定義]]できないことに注意すべきであるが、そのような系の中では、{{mvar|ω&sdot;ε}} の左集合の元の全体が正の無限小であること、および右集合の元の全体が正の無限大であることが示され、したがって {{mvar|ω&sdot;ε}} は最も古い（つまり、最も誕生日の小さい）正の有限数、すなわち {{math|1}} に等しい。ゆえに <math display="block">{1\over \varepsilon} = \omega</math> が帰結される。文献によっては、本項では {{mvar|ε}} と書いたものを表す記号として、体系的に {{math|''ω''{{exp|&minus;1}}}} を使っているものもある。

=== ''S{{sub|ω}}'' の内容 ===
{{mvar|S{{sub|ω}}}} の元 {{math|1=''x'' = {{mset|''L'' | ''R''}}}} が任意に与えられたならば、以下の状況のうち何れかただ一つだけが成り立つ:
* {{mvar|L, R}} がともに空である（{{math|1=''x'' = 0}} の場合）;
* {{mvar|R}} が空で、{{mvar|L}} の任意の元よりも大きな整数 {{mvar|''n'' ≥ 0}} がある（このとき、{{mvar|x}} はこの条件を満たす最小の整数 {{mvar|n}} に等しい）;
* {{mvar|R}} が空で、{{mvar|L}} の任意の元よりも大きな整数 {{mvar|n}} は存在しない（{{math|1=''x'' = +''ω''}} の場合）;
* {{mvar|L}} が空で、{{mvar|R}} の任意の元よりも小さい整数 {{math|''n'' ≤ 0}} が存在する（このとき、{{mvar|x}} はこの条件を満たす最大の整数 {{mvar|n}} に等しい）;
* {{mvar|L}} が空で、{{mvar|R}} の任意の元よりも小さい整数は存在しない（{{math|1=''x'' = &minus;''ω''}} の場合）;
* {{mvar|L, R}} がともに空でなく、さらに
** 適当な二進分数 {{mvar|y}} が {{mvar|L}} と {{mvar|R}} の（{{mvar|L}} の任意の元より大きく、{{mvar|R}} の任意の元よりも小さいという）「強い意味で間に」("strictly between") 存在する（この場合、{{mvar|x}} はこの条件を満たすもっとも古い二進分数 {{mvar|y}} に等しい）;
** {{mvar|L}} と {{mvar|R}} の強い意味での間には二進分数 {{mvar|y}} が存在しないが、（{{mvar|L}} の任意の元以上かつ {{mvar|R}} の任意の元以下という）弱い意味で間にある二進分数 {{math|''y'' &isin; ''L''}} は存在する（{{math|1=''x'' = ''y'' + ''ε''}} の場合）;
** {{mvar|L}} と {{mvar|R}} の強い意味での間には二進分数 {{mvar|y}} は存在しないが、{{mvar|L}} の任意の元以上かつ {{mvar|R}} の任意の元以下という）弱い意味で間にある二進分数 {{math|''y'' &isin; ''R''}} は存在する（{{math|1=''x'' = ''y'' &minus; ''ε''}} の場合）;
** 任意の二進分数が、{{mvar|R}} の適当な元より大きく、{{mvar|L}} の適当な元より小さい（この場合 {{mvar|x}} は二進分数として表せない何らかの実数に等しい）。

代数学的には、{{mvar|S{{sub|ω}}}} は四則演算で閉じていないから、体ではない。例えば {{math|''ω'' + 1}} を形式 {{math|1={{mset|1, 2, 3, 4, … |&nbsp;}} + {{mset|0 |&nbsp;}} = {{mset|1, 2, 3, 4, …, ''ω'' |&nbsp;}}}} で表せば、これは {{mvar|S{{sub|ω}}}} に属するどのような超現実数とも一致しない。{{mvar|S{{sub|ω}}}} の中で、四則演算（の有限回の繰り返し）で閉じているような極大部分集合は実数全体の成す体 {{mathbf|ℝ}} であり、これには無限大超現実数 {{math|&plusmn;''ω''}} も無限小超現実数 {{math|&plusmn;''ε''}} も各非零二進分数 {{mvar|y}} の無限小近傍 {{math|''y'' &plusmn; ''ε''}} も含まれることはない。

このように実数全体を構成する方法が、[[解析学|標準解析学]]における[[デデキント切断]]を用いた構成法と異なるのは、一般の有理数からの構成ではなく二進分数から始めることであり、また {{mvar|S{{sub|ω}}}} において各二進分数との自然な同一視は前世代における形式を用いて記述できることである（{{mvar|S{{sub|ω}}}} の実数元を表す {{mvar|ω}}-完全形式と、デデキント切断で得られる実数との間に一対一対応が存在する。その対応のもと、デデキント実数はその切断点を左集合および右集合から取り除いた形式によって表される有理数に対応する）。超現実数の構成法では、有理数の全体 {{mathbf|ℚ}} を同定することのできる帰納段階ははなく、{{mathbf|ℚ}} とは単に {{mvar|S{{sub|ω}}}} の部分集合として、{{mvar|S{{sub|&lowast;}}}} の適当な元 {{mvar|a}} と同じく非零元 {{mvar|b}} を取って {{math|1=''x&sdot;b'' = ''a''}} とできる元 {{mvar|x}} 全体の成す集合という意味にしかならない。{{mathbf|ℚ}} が超現実数の算術演算の繰り返しの各々で閉じていることを示すことにより、それが体を成していることが示せる。また {{mathbf|ℚ}} の各元が {{mvar|S{{sub|&lowast;}}}} から（{{underline|乗法に関する反転を含む}}四則演算）の有限回（実際には二回以上は必要ない）の繰り返しで到達できることを示すことにより、{{mvar|S{{sub|ω}}}} の部分集合として、{{mathbf|ℚ}} が実数全体 {{mathbf|ℝ}} より真に小さいことがわかる。

集合 {{mvar|S{{sub|ω}}}} は実数全体 {{mathbf|ℝ}} と同じ[[濃度 (数学)|濃度]]を持つ。このことは、{{mvar|S{{sub|ω}}}} から {{mathbf|ℝ}} の[[単位閉区間]] {{mvar|I}} への全射およびその逆向きの全射を実際に示すことで証明できる。{{mvar|S{{sub|ω}}}} から {{mvar|I}} の上への写像は大したことは必要なく、{{math|&minus;''ω''}} を含めた {{mvar|ε}} 以下の数を {{math|0}} に写し、{{math|1 &minus; ''ε''}} 以上の数は {{math|1}} に写し、{{mvar|ε}} と {{math|1 &minus; ''ε''}} の間の数は {{mvar|I}} における同値の数に写す（二進分数 {{mvar|y}} の無限小近傍は {{mvar|y}} 自身がそうであるのと同じく {{mvar|y}} へ写す）ことで与えられる。{{mvar|I}} から {{mvar|S{{sub|ω}}}} の上への写像は、{{mvar|I}} の真ん中三分の一の開区間 {{open-open|1/3, 2/3}} を {{math|1={{mset|&nbsp;|&nbsp;}} = 0}} へ写し、右三分の一区間のさらに真ん中三分の一開区間 {{open-open|7/9, 8/9}} を {{math|1={{mset|0 |&nbsp;}} = 1}} に写し、以下同様に繰り返すと、これは {{mvar|I}} の空でない開区間を {{mvar|S{{sub|&lowast;}}}} の各元へ[[単調写像|単調]]に写す。{{mvar|I}} の残りの部分は[[カントール集合]] {{math|2{{sup|''ω''}}}} で、その各点は中心三分の一区間を左集合 {{mvar|L}} および右集合 {{mvar|R}} に分割することによって一意に同定でき、それがちょうど {{mvar|S{{sub|ω}}}} における形式 {{math|{{mset|''L'' | ''R''}}}} に対応する。これによってカントール集合は、誕生日が {{mvar|ω}} となる超現実数全体の成す集合に一対一対応するものと位置づけられる。

== 超限帰納法 ==
{{mvar|S{{sub|ω}}}} を超えて超限帰納法を適用することを続ければ、より大きな順序数 {{mvar|α}} が {{mvar|α}} を誕生日とする最大の超現実数を表すものとして取り出せる（これは本質的に、超限帰納法から得られる順序数の定義である）。そのような順序数の最初のものは {{math|''ω'' + 1 {{coloneqq}} {{mset|''ω'' |&nbsp;}}}} である。第 ({{math|''ω'' + 1}})-世代における正の無限大超現実数は他にも {{math|''ω'' &minus; 1 {{coloneqq}} {{mset|1, 2, 3, 4, … | ''ω''}}}} がある。この {{math|''w'' &minus; 1}} が順序数でないことを見るのは重要である&mdash;順序数 {{mvar|ω}} はどのような順序数の後継にもならない。これは誕生日 {{math|''ω'' + 1}} の超現実数であって、これを {{math|''ω'' &minus; 1}} とラベル付けるのはそれが {{math|1=''ω'' = {{mset|1, 2, 3, 4, … |&nbsp;}}}} と {{math|1=−1 = {{mset|&nbsp;| 0}}}} との和に一致することに基づく。同様に、第 ({{math|''ω'' + 1}})-世代に属する二つの無限小超現実数 {{math|1=2''ε'' {{coloneqq}} ''ε'' + ''ε'' = {{mset|''ε'' | 1 + ''ε'', &frac12; + ''ε'', &frac14; + ''ε'', {{fraction|8}} + ''ε'', …}}}} および {{math|1=''ε''/2 {{coloneqq}} ''ε''&sdot;&frac12; = {{mset|0 | ''ε''}}}} が新たに生じる。

超限帰納法も後のほうの段階では、任意の自然数 {{mvar|k}} に対する {{mvar|ω + k}} よりも大きな超現実数 {{math|1=2''ω'' {{coloneqq}} ''ω + ω'' = {{mset|''ω'' + 1, ''ω'' + 2, ''ω'' + 3, ''ω'' + 4, … |&nbsp;}}}} が存在する。この数に {{mvar|ω + ω}} と付けることの正当性は、その誕生日が {{mvar|ω + ω}}（つまり、{{mvar|ω}} から後継をとる操作によって到達できない最小の順序数）であることと、超現実数としての {{mvar|ω}} と {{mvar|ω}} の超現実数の和に一致することの両方の理由からくる。これをまた {{math|2''ω''}} と書くことも、それが超現実数 {{math|1=''ω'' = {{mset|1, 2, 3, 4, … |&nbsp;}}}} と {{math|1=2 = {{mset|1 |&nbsp;}}}} との超現実数の積に一致することで正当化できる。これは二番目の極限順序数になる（{{mvar|ω}} から[[#構成規則|構成ステップ]]を通じてこれに到達するには <math display="inline">\bigcup_{k < \omega} S_{\omega + k}</math> 上の超限帰納法が必要になる）。これには無限集合の無限合併が、ここまでに用いてきた超限帰納法で必要とされた集合演算「よりも強い」演算として、含まれることになる。

[[順序数#順序数の演算|順序数の演算]]はそれらを超現実数として表したときの超現実数としての演算とは必ずしも一致しないことに注意すべきである。順序数の和としての {{math|1 + ''ω''}} は {{mvar|ω}} に等しいが、超現実数の和は可換であり {{math|1=1 + ''ω'' = ''ω'' + 1 > ''ω''}} が成り立つ。順序数の付随する超現実数の加法および乗法は、順序数の演算としては{{ill2|順序数の算術#自然演算|en|ordinal arithmetic#Natural operations|label=自然和および自然積}}に一致する。

{{math|2''ω''}} が任意の自然数 {{mvar|n}} に対する {{mvar|ω + n}} よりも大きいことと同じく、超現実数 {{math|''ω''/2}} は無限大超現実数だが、任意の自然数 {{mvar|n}} に対する {{mvar|ω − n}} より小さい。つまり、{{math|''ω''/2}} は {{math|''ω''/2 {{coloneqq}} {{mset|''S{{sub|&lowast;}}'' | ''ω'' − ''S{{sub|&lowast;}}''}}}} によっても定義できる。ただし、右辺の記法 {{mvar|x − Y}}（{{mvar|x}} は数で、{{mvar|Y}} は集合）は {{math|{{mset|''x − y'' : ''y'' &isin; ''Y''}}}} の意味で用いた。これは {{mvar|ω}} と {{math|&frac12;}} を表す形式 {{math|{{mset|0 | 1}}}} との積と同一視できる。{{math|''ω''/2}} の誕生日は極限順序数 {{math|''ω''2}} である。

== ''ω'' の冪 ==
超現実数の無限大および無限小の「度合」(order) の分類（[[アルキメデスの性質|アルキメデス]]類とも呼ばれる）のために、コンウェイは各 {{mvar|x}} に対して超現実数 <math display="block">\omega^x := \{0, r\omega^{x_L}\mid s\omega^{x_R}\}</math> を対応させた。ただし、{{mvar|r, s}} は何れも正の実数すべてに亙るものとする。{{math|''x'' < ''y''}} ならば {{mvar|ω{{exp|y}}}} は（どのような {{mvar|r}} に対する {{mvar|r&sdot;ω{{exp|x}}}} よりも大きいという意味で）{{mvar|ω{{exp|x}}}} よりも「無限に大きい」。この「{{mvar|ω}} の冪」は以下の指数法則
* {{mvar|1=ω{{exp|x}}&sdot;ω{{exp|y}} = ω{{exp|x+y}}}},
* {{math|1=''ω{{exp|−x}}'' = {{fraction|1|''ω{{exp|x}}''}}}}
を満足するから、これは冪として期待される性質のもとで振る舞っていると言ってよい。

{{mvar|ω}} の個々の冪は、そのアルキメデス類における「もっとも単純な」超現実数となるべきものとしての補完性質も持つ。逆に、各アルキメデス類は超現実数の中にもっとも単純な数を一意に含む。すなわち、任意の正超現実数 {{mvar|x}} に対し、常に適当な正実数 {{mvar|r}} と超現実数 {{mvar|y}} が存在して、{{math|''x'' − ''r&sdot;ω{{exp|y}}''}} が {{mvar|x}} よりも「無限に小さい」ようにすることができる。このときの冪指数 {{mvar|y}} は「{{mvar|x}} の {{mvar|ω}} を底とする対数 {{math|log{{sub|''ω''}}(''x'')}}」であり、この対数函数は正の超現実数全体で定義される。{{math|log{{sub|''ω''}}}} が正の超現実数の全体を超現実数全体の[[全射|上へ写す]]こと、および対数法則 {{math|1=log{{sub|''ω''}}(''xy'') = log{{sub|''ω''}}(''x'') + log{{sub|''ω''}}(''y'')}} の成立などを確かめることができる。 

これを超限帰納法によって拡張することにより、任意の超現実数に対し（[[順序数]]に対する{{ill2|順序数の算術#カントール標準形|en|Ordinal arithmetic#Cantor normal form|label=カントール標準形}}の類似対応物となる）「{{vanc|標準形}}」を持つことがわかる。すなわち、任意の超現実数は <math display="block">x =: r_0\omega^{y_0} + r_1\omega^{y_1} + \dotsb</math> なる形に一意的に書くことができる。ここに、各 {{mvar|r{{sub|α}}}} は非零実数で {{mvar|y{{sub|α}}}} は超現実数の狭義単調減少列である。しかし、この右辺の「和」は無限個の項（その長さは一般には任意の順序数となる）を持ち得る（もちろん {{math|0}} はこの係数列が空集合となる場合に相当し、最高次の冪を持たない唯一の超現実数である）。

さてこのような標準形に書いてしまえば、超現実数の全体はある種の[[形式冪級数|冪級数]]体と見ることができる（通常の形式冪級数では冪の無限減少列は適当な順序数で長さが抑えられなければならず、順序数全体の成すクラスと同じ長さになることが許されない、という点には目をつぶることになるが）。これは超現実数を[[#ハーン級数|ハーン級数]]として定式化するための基礎となる。

== 間隙と連続性 ==
実数全体の成す集合の場合と対照的に、超現実数からなる（真）部分集合は（それが極大元あるいは極小元を持つのでない限り）上限あるいは下限を持たない。{{harvtxt|Conway|1976}} は間隙 (gap) を {{math|1={{mset|''L'' | ''R''}} (''L'' < ''R'', ''L'' ∪ ''R'' = '''𝐍𝐨''')}} で定義する（この場合、{{mvar|L, R}} のどちらかは真のクラスにならないといけないから、これは超現実数を定めるものではないことに注意する）。この間隙は[[デデキントの切断]]に似ていて、とはいえ全く同じものと考えるわけにはいかない{{efn|この間隙の定義は、デデキント切断の条件から「{{mvar|L}} および {{mvar|R}} が空でなく、また {{mvar|L}} が最大元（存在すれば {{mvar|R}} の最小元とも一致する）を持たない」という条件が落ちている。}}のだけれども、それでもなお超現実数体の自然な順序に関する完備化 {{math|'''𝐍𝐨'''{{sup|𝕯}}}} について考えることができ、これは（真クラスサイズを持つ）[[線型連続体]]になる<ref name=RSS15>{{cite arXiv|first1=Simon|last1=Rubinstein-Salzedo|first2=Ashvin|last2=Swaminathan|arxiv=1307.7392v3|class=math.CA|date=2015-05-19|title=Analysis on Surreal Numbers}}</ref>。

実例として、最小の無限大超現実数は存在しないが、間隙 {{math|∞ {{coloneqq}} {{mset|''x'': ∃''n'' ∈ '''ℕ'''[''x'' < ''n''] | ''x'': ∀''n'' ∈ '''ℕ'''[''x'' > ''n'']}}}} は任意の実数より大きく、任意の正の無限大超現実数より小さい。だからこれは、実数全体の成す集合の {{math|'''𝐍𝐨'''{{sup|𝕯}}}} における上限である。同様に、間隙 {{math|'''𝐎𝐧''' {{coloneqq}} {{mset|'''𝐍𝐨''' |&nbsp;}}}} は任意の超現実数よりも大きい（{{mathbf|𝐎𝐧}} は順序数全体の成すクラスの名前でもあるが、{{mathbf|𝐎𝐧}} は {{mathbf|𝐍𝐨}} において{{ill2|共終 (数学)|en|Cofinal (mathematics)|label=共終}}であるから、{{math|'''𝐎𝐧''' {{coloneqq}} {{mset|'''𝐎𝐧''' |&nbsp;}}}} もそうで、これは順序数 {{mvar|α}} が {{mvar|α}} より小さい順序数全体の成す集合と同値であるという事実を拡張するものである）。

ちょっとした集合論的注意<ref name=RSS15/>{{efn|重要なことに、コーシー列全体の成す集まりがNBG集合論においてクラスを成すという主張は存在しない。}}を加えて、{{mathbf|𝐍𝐨}} にはその開集合全体の（真の集合で添字付けられた）合併が開区間となるような[[位相の特徴付け|位相]]をいれることができ、その位相に関する[[連続写像|連続函数]]を定義することができる。コーシー列の同値性も（コーシー列が順序数全体の成すクラスによって添字付けられる必要があるけれども）定義できる。これらコーシー列は常に収束するけれども、その極限は超現実数かもしれないし {{math|{{sum|''α''∈'''𝐍𝐨'''}}''r{{sub|α}}&sdot;ω{{exp|a{{sub|α}}}}''}}（ただし {{mvar|a{{sub|α}}}} は単調減少で {{mathbf|𝐍𝐨}} において下限を持たない）で表される間隙となるかもしれない（そのような間隙はコーシー列自身として理解することができるが、上で見た {{math|∞}} や {{mathbf|𝐎𝐧}} のようなコーシー列の極限とは別の種類の間隙も存在する）。

== 指数函数 ==
[[Martin David Kruskal|Kruskal]] の未出版の研究に基づき、（超限帰納法による）構成で、（[[ネイピア数|''e'']] を底とする）実変数の[[指数函数]] {{math|exp(''x'')}} の超現実数を引数とする拡張が {{harvtxt|Gonshor|1986}}{{rp|at=ch. 10}} によって与えられた。

=== 個別の冪 ===
上で述べた[[#ω の冪|{{mvar|ω}} の冪]]もある種の指数函数と思えるが、実数体上定義された指数函数の延長として望ましい性質を持つものではない。しかしこれも {{mvar|e}} を底とする指数函数を作るうえで必要であり、以下 {{mvar|ω{{exp|x}}}} と書いたときには、この指数函数を意味するものとする。

{{mvar|y}} が二進分数であるとき、{{math|''x'' ∈ '''𝐍𝐨'''}} を変数とする[[冪函数]] {{math|''x'' ↦ ''x{{exp|y}}''}} は、それぞれが帰納的に定義できる乗法・乗法逆元・平方根を使って、それらの合成によって得られる。この函数の値は、基本関係式 {{math|1=''x''{{exp|''y''+''z''}} = ''x{{exp|y}}''&sdot;''x{{exp|z}}''}} から完全に決定され、ただしそれは存在できるほかの任意の冪と必然的に一致するように定められる。

=== 基本帰納法 ===
超現実数変数の指数函数を定めるための帰納ステップは、実指数函数の場合の級数展開 {{math|1=exp(''x'') = {{sum|''n''≥0}}{{fraction|''x{{exp|n}}''|''n''!}}}} に基づく。より具体的には、展開を途中で切った部分和が（基本的な代数学的操作のみで）残りの項の和よりも小さい正の値となることが示せる事実を利用する。正の {{mvar|x}} については {{math|{{bracket|''x''}}{{sub|''n''}}}} と書いて全ての部分和を含める。{{mvar|x}} が負の有限値のときは {{math|{{bracket|''x''}}{{sub|2''n''+1}}}} が初期値を実数成分が正の級数（常に存在する）としたときの奇数番目の部分和を表すものとする。負の無限大 {{mvar|x}} については、奇数番目の部分和だけ見れば狭義単調減少で {{math|{{bracket|''x''}}{{sub|2''n''+1}}}} は空集合となるが、これはこの帰納法においてこれらの元が必要ないということに対応するので問題ない。

利用する関係式は、{{math|1=''x'' < ''y''}} なる実数に対して {{math|1=exp(''x'')&sdot;{{bracket|''y &minus; x''}}{{sub|''n''}} < exp(''y'')}} および {{math|1=exp(''y'')&sdot;{{bracket|''x &minus; y''}}{{sub|2''n''+1}} < exp(''x'')}} が成り立つこと、またこれは <math display="block">
 \exp(z) := \{
   0, \exp(z_L)\cdot[z - z_L]_n, \exp(z_R)\cdot[z - z_R]_{2n+1}
   \mid \exp(z_R)/[z_R - z]_n, \exp(z_L) / [z_L - z]_{2n+1}
\}</math> なる定義のもとで超現実数を引数とするものへ延長することができる。これは任意の超現実数引数に対して[[well-defined|矛盾なく定義される]]（つまり、この右辺の値は超現実数として存在して、その値は {{mvar|z{{sub|L}}, z{{sub|R}}}} の選び方に依らない）。
=== 得られた指数函数の性質 ===
この定義を用いて以下の性質が満足されることが示せる{{efn|これらの等式の最も自明に見えるものでさえ、その中に超限帰納法が隠されていることを思えば、これら一つ一つが別々の定理を成していると考えるに十分であろう。}}:
* {{math|exp}} は狭義単調増大な正値函数である: すなわち {{math|1=''x'' < ''y'' ⇒ 0 < exp(''x'') < exp(''y'')}} が成り立つ。
* {{math|exp}} は指数法則 {{math|1=exp(''x'' + ''y'') = exp(''x'')&sdot;exp(''y'')}} を満足する。
* {{math|exp}} は[[全射]]（{{math|'''𝐍𝐨'''{{sub|+}}}} の上への写像）であり、矛盾なく定義された逆写像 {{math|1=log {{coloneqq}} exp{{sup|–1}}}} を持つ。
* {{math|exp}} は実数全体の成す集合上では通常の[[指数函数]]に一致する（したがって {{math|1=exp(0) = 1, exp(1) = ''[[ネイピア数|e]]''}} が成り立つ）。
* {{mvar|x}} が無限小のとき、形式冪級数 {{math|1={{sum|''n''≥0}}{{fraction|''x{{exp|n}}''|''n''!}}}} の値は矛盾なく定義され、上記の帰納的定義によるものと一致する。
** {{mvar|x}} がコンウェイ標準形で与えられるとき、計算結果における冪指数全体の成す集合は整列順序付けられ、係数列はどれも有限和となるから、この {{math|exp(''x'')}} の標準形（先頭係数は {{math|1}}）は直截に与えられる。
** 同様に、{{mvar|x}} が {{math|1}} に無限に近いとき、{{math|log(''x'')}} は {{math|''x'' &minus; 1}} に関する冪級数展開によって与えられる。
* {{mvar|x}} が正の無限大ならば {{math|exp(''x'')}} は同じく無限大である。
** {{mvar|x}} が {{mvar|ω{{sup|α}}}} ({{math|''α'' > 0}}) の形であるとき、{{math|exp(''x'')}} は {{mvar|β}} が {{mvar|α}} の狭義単調増大函数であるもとして {{mvar|ω{{sup|ω{{sup|β}}}}}} の形をしている。実は、[[全単射]] {{math|1=''g'': '''𝐍𝐨'''{{sub|+}} → '''𝐍𝐨'''; ''α'' {{mapsto}} ''β''}} が帰納的に定義され、その逆函数もまた帰納的に定義できる。
** {{mvar|x}} が「純無限大」("pure infinite") で標準形 {{math|1=''x'' {{coloneqq}} {{sum|''α''<''β''}} ''r{{sub|α}}&sdot;ω{{exp|a{{sub|α}}}}''}} ({{math|1=∀''a{{sub|α}}'' > 0}}) を持つならば、<math display="inline">\exp(x) = \omega^{\sum_{\alpha < \beta}r_\alpha\omega^{g(a_\alpha)}}</math> が成り立つ。
** 同様に <math display="inline">x := \omega^{\sum_{\alpha < \beta} r_\alpha \omega^{b_\alpha}}</math> に対して逆写像は {{math|1=log(''x'') = {{sum|''α''<''β''}} ''r{{sub|α}}&sdot;ω''{{sup|''g''{{sup|–1}}(''b{{sub|α}}'')}}}} で定められる。
* 任意の超現実数は純無限大成分、実数成分、無限小成分の和として表されるから、指数函数は上で見た（純無限大、実数、無限小それぞれに対する）指数函数の積として与えられることがわかる。
** 特に標準形は、無限大成分（これはひとつの {{mvar|ω}} の冪として与えられる）と実指数函数を無限小に関する冪級数として書いたものとの積に書ける。
** 逆に、標準形の先頭項を分割して任意の超現実数を <math display="inline">(\omega^{\sum_{\gamma < \delta} t_\gamma \omega_{b_\gamma}})\cdot r(1 + \sum_{\alpha <\beta} s_\alpha \omega_{a_\alpha})</math> ({{math|1=''a{{sub|α}}'' < 0}}) の形に持ち込んでやれば、各因数は上で既に与えたやり方で対数が計算できる形になっているから、それら対数の和が一般の対数となる。
*** （{{math|exp}} の場合と異なり）一般の {{math|log}} の帰納的定義は存在しないが、部分的にはそのような帰納的定義も与えられる。この方法では、（対数が指数函数の逆函数であるという事実を参照することなしに）陽に計算することができる。
* 指数函数は任意の有限冪函数よりもずっと大きい。
** 任意の正の無限大 {{mvar|x}} と有限な {{mvar|n}} に対して {{math|exp(''x'')/''x{{sup|n}}''}} は無限大である。
** 任意の整数 {{mvar|n}} と超現実数 {{math|''x'' &gt; ''n''{{exp|2}}}} に対し {{math|exp(''x'') &gt; ''x{{exp|n}}''}} が成り立つ。この強い制約条件は実[[指数体]]に対する Ressayre の公理の一つになっている{{sfn|van den Dries|Ehrlich|2001}}。
* {{math|exp}} は実指数体に対する Ressayre の公理系をすべて満足する{{sfn|van den Dries|Ehrlich|2001}}。
** この指数函数を備えた超現実数の全体は、実指数体の{{ill2|初等拡大|en|elementary extension}}になる。
** 順序イプシロン数 {{mvar|ε{{sub|β}}}} に対し、{{mvar|ε{{sub|β}}}} より小さい誕生日を持つ超現実数の全体は、指数について閉じた体を成し、同様に実指数体の初等拡大のひとつとなる。

=== 例 ===
超現実数の指数函数は、本質的には {{mvar|ω}} の正冪上での振る舞い（すなわち、上で見た函数 {{math|''g''(''a'')}}）が分かれば（有限値に対してはよく知られた指数函数であるから、その振る舞いと合わせて）決定される。前者の例のみ以下に与えるが、加えてその変域の大部分において {{math|1=''g''(''a'') = ''a''}} が満足される（例えば、実数成分が正と任意の有限数の場合や、適当な回数反復した {{mvar|ω}} の冪の塔 {{mvar|ω{{exp|ω{{exp|⋰{{exp|ω}}}}}}}} の場合はそうである）。
* {{math|1=exp(''ω'') = ''ω{{exp|ω}}''}}.
* {{math|1=exp(''ω''{{exp|1/''ω''}}) = ω}} および {{math|1=log(''ω'') = ''ω''{{exp|1/''ω''}}}}.
* {{math|1=exp(''ω''&sdot;log(''ω'')) = exp(''ω''&sdot;''ω''{{exp|1/''ω''}}) = ''ω''{{exp|''ω''{{exp|(1 + 1/''ω'')}}}}}}.
** ここからわかるように、先に見た「{{mvar|ω}} の冪」を函数とみたものは {{math|exp}} とは両立しない。両立するのであれば、{{math|exp(''ω''&sdot;log(''ω''))}} の値は {{mvar|ω{{exp|ω}}}} となることが要求される（[[#一般の冪|次項]]も参照）。
* {{math|1=exp(''ε''{{sub|0}}) = ''ω''{{exp|''ω''{{exp|''ε''{{sub|0}}+1}}}}}}.
* {{math|1=log(''ε''{{sub|0}}) = ''ε''{{sub|0}}/''ω''}}.

=== 一般の冪 ===
一般の冪は {{math|''x{{exp|y}}'' {{coloneqq}} exp(''y''&sdot;log ''x'')}} として定義することができ、{{math|1=2{{exp|''ω''}} = exp(''ω''&sdot;log(2)) = ''ω''{{exp|log(2)&sdot;''ω''}}}} のような式の解釈が与えられる。この場合でもやはり（特に {{mvar|ω}} を底とするときには）この定義と「[[#ω の冪|''ω'' の冪]]」として与えられるものとは絶対に区別をつけるべきものである。

== 超現複素数 ==
'''超現複素数''' (''surcomplex number'') は、二つの超現実数 {{mvar|a, b}} に対して {{math|''a'' + ''bi''}}（{{mvar|i}} は[[虚数単位]]）の形をした数を言う<ref>[http://jamespropp.org/surreal/text.ps.gz Surreal vectors and the game of Cutblock], James Propp, August 22, 1994.</ref>{{sfn|Alling|1987}}。超現実数の全体は（それが真のクラスとなることを除いて）[[代数閉体]]を成す。それは[[有理数]]体に{{ill2|代数独立|en|Algebraic independence}}な[[超越元]]の成す適当な真クラスを添加して生成される体の[[代数閉包]]に同型である。この事実は、任意に固定した集合論の中で、体の[[同型を除いて]]超現複素数を特徴付けるものである{{sfn|Conway|1976}}{{rp|Th.27}}。

== ゲーム ==
{{main article|{{ill2|組合せゲーム理論|en|combinatorial game theory}}}}
超現実数の定義には一つの制約条件「{{mvar|L}} の各元は {{mvar|R}} の各元よりも真に小さい」があった。この制限を落とせばより一般のクラスとして'''ゲーム''' (''game'') を生成することができる。任意のゲームは以下の規則に従って構成される:
; {{vanc|ゲームの構成規則}}: {{mvar|L, R}} がともにゲームから成す集合であるとき、{{math|{{mset|''L'' | ''R''}}}} はゲームである。.

加法、減法および大小比較は、すべて超現実数とゲームの両方に共通の仕方で定義される。

任意の超現実数はゲームとなるが、任意のゲームは超現実数であるとは限らない（例えばゲーム {{ill2|star (ゲーム理論)|en|star (game theory)|label={{mset|'''0''' | '''0'''}}}} は超現実数ではない）。ゲーム全体の成すクラスは超現実数全体よりも一般であり、より簡素な定義を持つ代わりに、超現実数の持つよい性質のいくつかは抜け落ちてしまう。例えば、超現実数全体の成すクラスは[[可換体|体]]を成すが、ゲーム全体の成すクラスはそうでない。あるいは超現実数の全体は[[全順序]]（任意の二つの超現実数は、等しいかさもなくば一方が他方より大きい）を持つが、ゲームの全体には[[半順序]]（ゲームの対で相等しくも何れか一方が他方よりも大きいということもないものが存在する）しか入らない。各超現実数は正または負さもなくば零の何れかになるが、各ゲームは正・負・{{ill2|零ゲーム|label=零|en|zero game}}のほかに{{ill2|ファジーゲーム|en|fuzzy game|label=ファジー}}（{{math|{{mset|1 | &minus;1}}}} のように零と比較不能なもの）が生じる。

ゲームにおける一手 (move) はその手番においてプレイヤーが {{mvar|L}}（先手; left player の場合）または {{mvar|R}}（後手; right player の場合）から利用できるゲームを選び、その選んだゲームを相手プレイヤーに渡すという形で作用する。選択できるものが空となり手を打てないプレイヤーは負け (lost) である。正のゲームは先手の勝利を、負のゲームは後手の勝利をそれぞれ表し、零ゲームは後手の手番をファジーゲームは先手の手番を意味する。

{{mvar|x, y, z}} が超現実数であるとき、{{math|1=''x'' = ''y''}} ならば必ず {{math|1=''x&sdot;z'' = ''y&sdot;z''}} が成り立つが、{{mvar|x, y, z}} がゲームのときには {{math|1=''x'' = ''y''}} でも必ずしも {{math|1=''x&sdot;z'' = ''y&sdot;z''}} であるとは言えない。ここでの等号 "{{math|{{=}}}}" は「値が等しい」(equality) という意味であって、「同一」(identity) という意味ではないことに注意。

== 組合せゲーム理論への応用 ==
超現実数はそもそも[[囲碁]]の研究に動機づけられたもの<ref name="O'Connor"/>であり、定番ゲームと超現実数の間には様々な関連性がある。この節では便宜のために、数学的対象 {{math|{{mset|''L'' | ''R''}}}} のことはゲーム (Game)、[[チェス]]や[[囲碁]]のような遊興のことは遊技 (game) と呼び分けることにする<!--この呼び分けに大した根拠は持たせていません（呼び分けさえできれば何でもいいと思った）ので、より良い用語選択があれば大胆に変えてもらって構いません [fixme]-->。

ここで考えたい遊技は以下のような性質を持つものである:
* プレイヤー（試技者）は二人（便宜上 ''Left'' と ''Right'' とする）
* [[決定論]]的（ゲームの各手番はランダム要素なしにプレイヤーのメイクする選択で完全に決まる）
* （プレイヤーの隠し札や隠しマスのような）秘匿された情報はない
* プレイヤーには交互に手番 (turn) が回ってくる（遊技によって、一回の手番に複数手 (move) を許すものも許さないものもある）
* 遊技の各取組（一番）は有限回の手数で終了しなければならない
* プレイヤーに正規の指し手が何も残されていない状態になったら即座に取組は終了しそのプレイヤーの負けとなる

大抵の遊技にとって、初期盤面配置はどちらかのプレイヤーに大きな有利となることはないが、試技の進行の過程で一方のプレイヤーが勝利に近づくにつれて、盤面はそのプレイヤーに明らかに有利となっていく。遊技の分析のためには、ゲームを任意の盤面に結び付けるのが有効である。与えられた盤面の値がゲーム {{math|{{mset|''L'' | ''R''}}}} であるとは、{{mvar|L}} は Left の単一手で達成可能な盤面の値全体の成す集合、{{mvar|R}} は Right の単一手で達成可能な盤面の値全体のなす集合となるように与えるものとする。

零ゲーム {{math|0)}} は {{mvar|L, R}} がともに空集合となるゲームであるから、次の手を打つプレイヤーが即座に負けである。二つのゲーム {{math|''G'' {{coloneqq}} {{mset|''L''{{sub|1}} | ''R''{{sub|1}}}}, ''H'' {{coloneqq}} {{mset|''L''{{sub|2}} | ''R''{{sub|2}}}}}} の和は、{{math|''G + H'' {{coloneqq}} {{mset|''L''{{sub|1}} + ''H'', ''G'' + ''L''{{sub|2}} | ''R''{{sub|1}} + ''H'', ''G'' + ''R''{{sub|2}}}}}} というゲームとして定義され、これは各プレイヤーが手番ごとに試技 (play) を行うゲームを選べることに対応するが、正規の手が打てなくなったプレイヤーが負けとなることは変わらない。例えば、二人のプレイヤーがチェス盤を二面使って指す場面を想像しよう、プレイヤーは交互に手を指すけれども、各手番においてどちらの盤面で指すかは完全にプレイヤーの自由にゆだねられる（どちらを選んでも選んだ方に一手を打てるだけで、選ばなかった盤面には何も干渉できない）というのがゲームの和の解釈である。ゲーム {{math|1=''G'' = {{mset|''L'' | ''R''}}}} に対して、{{math|&minus;''G''}} とは {{math|{{mset|&minus;''R'' | &minus;''L''}}}} なるゲームのことで、これは二人のプレイヤーがその役割を入れ替えたものになっている。任意のゲーム {{mvar|G}} に対して {{math|1=''G &minus; G'' = 0}} となることは容易にわかる（ここで、ゲームの差 {{mvar|G &minus; H}} は {{math|''G'' + (&minus;''H'')}} で定義する）。

このようにゲームを実際の遊技に結び付ける単純な方法でも、非常に興味深い結果が得られる。二人の完璧なプレイヤーがひとつの遊技を与えられた盤面から始めるとき、その初期盤面に付随するゲームが {{mvar|x}} であるとすると、任意のゲームを以下の四種に分類できる:
* {{math|''x'' > 0}} ならば Left が勝つ（どちらが先手・後手かに関わらず）
* {{math|''x'' < 0}} ならば Right が勝つ（どちらが先手・後手かに関わらず）
* {{math|1=''x'' = 0}} ならば後手が勝つ
* {{math|''x'' {{unicode|&#x2016;}} 0}} ならば先手が勝つ

より一般に、{{mvar|G > H}} とは {{mvar|G - H > 0}} となることと定義する、{{math|<, {{=}}, {{unicode|&#x2016;}}}} についても同様。ここに、記法 {{math|''G'' {{unicode|&#x2016;}} ''H''}} とは {{mvar|G}} と {{mvar|H}} が比較不能という意味で、{{mvar|1=G > H, G < H, G = H}} の何れも不成立ということと等価である。比較不能な遊技は、加えられた手によってどちらのプレイヤーが優勢となるかが変わるため、互いに混迷している (''confused'') ということもある。零ゲームと混迷しているゲームは{{ill2|ファジーゲーム|en|fuzzy game|label=ファジー（わからない）}}と言い、正・負・零とは対立する。ファジーゲームの例には、{{ill2|スター (ゲーム理論)|en|star (game theory)|label= &lowast;}} が挙げられる。

遊技の終盤近くはときどき、相互に干渉しない複数の小さな遊技に分解する（その中の一つにしかプレイヤーの打てる手がないという場合を除いて）。例えば、囲碁において、盤面は徐々に碁石で埋まっていき、プレイヤーが手を指せる空所はいくつかの小さな島に分けられていくだろう。各島は、それ自体が区分けされた小さな盤面上の一つの囲碁のように見える。これらの小さな遊技のそれぞれを分析することができたなら、そのような分解は有効であって、そしてそれらの分析結果を繋ぎ合わせて遊技全体に対する分析を得る。しかし、そうやって分析することができると安易には言えないようにも思われる。例えば、先手必勝の二つの小さな遊技があったとして、しかしそれらを組み合わせて一つの大きな遊技としたとき、それが先手必勝の遊技であるかはもはや分からない。幸運にも、これを分析する方法がある。それには次の注目すべき定理を用いる:
; 定理: 一つの大きな遊技をふたつのより小さな遊技に分解するとき、その小さな遊技に付随するゲームを {{mvar|x}} および {{mvar|y}} とすれば、もとの大きな遊技に付随するゲームは {{mvar|x + y}} である。

小さな遊技の組み合わせとなる遊技は、それら小さい遊技の{{ill2|選言和|en|disjunctive sum}}と呼ばれ、定理はここで定義したゲームの加法が、それら遊技の選言和をとることに等価であることを述べている。

歴史的なことを言えば、コンウェイは本項とは逆順に超現実数の理論を発展させたのであった。コンウェイは、囲碁の寄せを分析し、相互干渉しない小遊技の分析を繋ぎ合わせてそれらの選言和の分析とする何らかの方法があれば有用であるという実感を得ていた。そうしたことからコンウェイはゲームの概念とそれらに対する加法演算を発明した。そこからさらに符号反転および大小比較の定義へと開発は動いて行き、ゲームからなるある種のクラスが興味深い性質を持つことをコンウェイは指摘している。それが超現実数全体の成すクラスである。最終的に乗法演算を開発するに至って、超現実数の全体が実際にひとつの体を成すことおよびそれが実数の全体と順序数の全体をともに含む体系となることが証明された。

== 別の実現法について ==
surreal number という名称は {{harvtxt|Conway|1972}} が初めて用いたものだが、それ以前あるいは以後にもいくつか異なる構成法が生み出されている。

=== 符号展開 ===
==== 定義 ====
今日では超現実数の「符号展開」(''sign-expansion'') や「符号列」(''sign-sequence'') と呼ばれているやり方において、超現実数は[[定義域]]が適当な[[順序数]]で終域が {{math|{{mset|−1, +1}}}} であるような函数を言う{{sfn|Gonshor|1986}}{{rp|at=ch. 2}}。これはコンウェイのLR列と同値である{{sfn|Conway|1976}}。

この意味の超現実数の上で定義された二項述語「より単純」("simpler than") は、{{mvar|x}} が {{mvar|y}} より単純であるというのを、{{mvar|x}} が {{mvar|y}} の[[真部分集合]]となること、すなわち {{math|dom(''x'') &sub; dom(''y'')}} かつ {{math|1=''x''(''α'') = ''y''(''α'') (∀''α'' ∈ dom(''x''))}} となることと定められる。

超現実数に対して、[[二項関係]] {{math|&lt;}} を[[辞書式順序]]として（ただし、「定義されない値」("undefined value") は {{math|&minus;1}} より大きく {{math|1}} より小さいものと約束する）。すると {{math|''x'' &lt; ''y''}} となるのは以下の何れかひとつが満足されるときである:
* {{mvar|x}} が {{mvar|y}} より単純かつ {{math|1=''y''(dom(''x'')) = +1}};
* {{mvar|y}} が {{mvar|x}} より単純かつ {{math|1=''x''(dom(''y'')) = −1}};
* 適当な数 {{mvar|z}} が存在して、{{mvar|z}} は {{mvar|x, y}} より簡単かつ {{math|1=''x''(dom(''z'')) = −1,  ''y''(dom(''z'')) = +1}}.

あるいは同じことだが、{{math|''δ''(''x'',''y'') {{coloneqq}} min({{mset|dom(''x''), dom(''y'')}} ∪ {{mset|''α'' : ''α'' &sub; dom(''x'') &cap; dom(''y'') ∧ ''x''(''α'') ≠ ''y''(''α'')}})}} と置けば、{{math|1=''x'' = ''y''}} となるための必要十分条件は、{{math|1=''δ''(''x'',''y'') = dom(''x'') = dom(''y'')}} となるから、超現実数 {{mvar|x, y}} に対し、{{math|''x'' &lt; ''y''}} となるための必要十分条件は以下の何れか一つが満足されることである:
* {{math|1=''δ''(''x'',''y'') = dom(''x'') ∧ ''δ''(''x'',''y'') &sub; dom(''y'') ∧ ''y''(''δ''(''x'',''y'')) = +1}};
* {{math|1=''δ''(''x'',''y'') &sub; dom(''x'') ∧ ''δ''(''x'',''y'') = dom(''y'') ∧ ''x''(''δ''(''x'',''y'')) = −1}};
* {{math|1=''δ''(''x'',''y'') &sub; dom(''x'') ∧ ''δ''(''x'',''y'') &sub; dom(''y'') ∧ ''x''(''δ''(''x'',''y'')) = −1 ∧ ''y''(''δ''(''x'',''y'')) = +1}}.

超現実数 {{mvar|x, y}} に対し、{{math|''x'' ≤ ''y''}} とは {{math|1=''x'' &lt; ''y'' ∨ ''x'' = ''y''}} となることと定める。また {{math|''x'' &gt; ''y''}} は {{math|''y'' &lt; ''x''}} であること、および {{math|''x'' ≥ ''y''}} は {{math|''y'' ≤ ''x''}} が成り立つことを意味するものとする。

この関係 {{math|&lt;}} は[[推移的関係|推移的]]であり、任意の超現実数 {{mvar|x, y}} に対して {{math|1=''x'' &lt; ''y'', ''x'' = ''y'', ''x'' &gt; ''y''}} のうちただ一つのみが成り立つ（{{ill2|三分法 (数学)|en|trichotomy (mathematics)|label=三分律（三択律）}}）。これは {{math|&lt;}} が（真のクラスを成すことを除いて）[[全順序]]であることを意味する。

超現実数の集合 {{mvar|L, R}} が {{math|∀''x'' ∈ ''L'', ∀''y'' ∈ ''R''{{bracket|''x'' &lt; ''y''}}}} を満たすとき、超現実数 {{mvar|z}} が一意に存在して
* {{math|∀''x'' ∈ ''L''{{bracket|''x'' &lt; ''z''}} ∧ ∀''y'' ∈ ''R''{{bracket|''z'' &lt; ''y''}}}} かつ
* 超現実数 {{mvar|w}} が {{math|∀''x'' ∈ ''L''{{bracket|''x'' &lt; ''w''}} ∧ ∀''y'' ∈ ''R''{{bracket|''w'' &lt; ''y''}}}} を満たすならば必ず {{math|1=''w'' = ''z''}} または {{mvar|z}} は {{mvar|w}} より単純
とできる。さらに言えば、{{mvar|z}} は {{mvar|L, R}} から超限帰納法によって構成可能である。{{mvar|z}} は {{mvar|L}} と {{mvar|R}} の間にあるもっとも単純な超現実数となる。この唯一の数 {{mvar|z}} を {{math|''σ''(''L'', ''R'')}} で表す。

超現実数 {{mvar|x}} に対し、その左集合 {{math|''L''(''x'')}} および右集合 {{math|''R''(''x'')}} を
* {{math|1=''L''(''x'') {{coloneqq}} {{mset|''x''{{!}}{{sub|''α''}} : ''α'' &isin; dom(''x'') ∧ ''x''(''α'') {{=}} +1}}}},
* {{math|1=''R''(''x'') {{coloneqq}} {{mset|''x''{{!}}{{sub|''α''}} : ''α'' &isin; dom(''x'') ∧ ''x''(''α'') {{=}} −1}}}}
と定義すれば、{{math|1=''σ''(''L''(''x''), ''R''(''x'')) = ''x''}} が成り立つ。

このもう一つの実現法が優位である点は、等価性 (equality) が（帰納的に定義された関係ではなく）恒等関係 (identity) として書けることである。しかし、コンウェイによる超現実数の実現と異なり、この符号展開はあらかじめ順序数の全体が構成されている必要がある（コンウェイの実現では順序数も超現実数の特別の場合として一緒に構成されたのであった）。

それでも、順序数をあらかじめ構成する必要を除いた同様の構成法も作ることができる。実例として、定義域が超現実数の部分集合で推移律 {{math|∀''g'' ∈ dom(''f''){{bracket|∀''h'' ∈ dom(''g''){{bracket|''h'' ∈ dom(''f'')}}}}}} を満たし、値域が {{math|{{mset|&minus;, +}}}} であるような函数のクラスとして超現実数の全体を再帰的に定義する方法が挙げられる。この場合「より単純」という関係は非常に簡単に定義される&mdash;{{mvar|x}} が {{mvar|y}} より簡単とは {{math|''x'' ∈ dom(''y'')}} を満たすときに言う。全順序付けは {{mvar|x, y}} を順序対の集合と見て（函数は通常の通り定義したものとして）定義される。{{math|1=''x'' = ''y''}} であるか、さもなくば超現実数 {{math|''z'' {{coloneqq}} ''x'' ∩ ''y''}} は {{mvar|x}} または {{mvar|y}} の定義域に属す（あるいは両方に属すこともあるが、この場合符号は不一致でなければならない）から、{{math|''x'' < ''y''}} となるのは {{math|1=''x''(''z'') = −}} または {{math|1=''y''(''z'') = +}} の何れかまたは両方が成り立つときである。これら函数を符号列に変換することは難しくない&mdash;{{math|dom(''f'')}} の元をその単純さの順（つまり、包含関係の順）に並べて、{{mvar|f}} に対して並べた元の順番に符号を書き下したものを割り当てればよい。そうすると、順序数の全体は値域が {{math|{{mset|+}}}} であるような超現実数として自然に生じる。

==== 加法および乗法 ====
二つの超現実数 {{mvar|x, y}} に対しその和 {{math|''x'' + ''y''}} は、{{math|dom(''x'')}} および {{math|dom(''y'')}} に関する帰納法により、{{math|''x'' + ''y'' {{coloneqq}} ''σ''(''L'', ''R'')}} で定義される。ただし
* {{math|''L'' {{coloneqq}} {{mset|''u'' + ''y'' : ''u'' ∈ ''L''(''x'')}}∪{{mset|''x'' + ''v'' : ''v'' ∈ ''L''(''y'')}}}},
* {{math|''R'' {{coloneqq}} {{mset|''u'' + ''y'' : ''u'' ∈ ''R''(''x'')}}∪{{mset|''x'' + ''v'' : ''v'' ∈ ''R''(''y'')}}}}.

加法単位元は {{math|0 {{coloneqq}} {{mset|}}}} で与えられる（つまり、超現実数 {{math|0}} は定義域が順序数の {{math|0}} である唯一の函数である）。また、超現実数 {{mvar|x}} の加法逆元は {{math|dom(−''x'') {{coloneqq}} dom(''x'')}} かつ {{math|''α'' &isin; dom(''x'')}} に対して <math display="inline"> (-x)(\alpha) := \begin{cases} -1 & (x(\alpha) = +1)\\ +1 & (x(\alpha) = -1)\end{cases}</math> で与えられる超現実数 {{math|&minus;''x''}} である。

これにより、超現実数 {{mvar|x}} が[[正の数|正]]であるための必要十分条件は、{{math|0 &isin; dom(''x'')}} かつ {{math|1=''x''(0) = +1}} となることであり、同様に {{mvar|x}} が[[負の数|負]]であるための必要十分条件は {{math|0 &isin; dom(''x'')}} かつ {{math|1=''x''(0) = −1}} となることであるとわかる。

二つの超現実数 {{mvar|x, y}} の積 {{mvar|xy}} は、{{math|dom(''x'')}} および {{math|dom(''y'')}} に関する帰納法により、{{math|''xy'' {{coloneqq}} ''σ''(''L'', ''R'')}} で定義される。ただし
* {{math|''L'' {{coloneqq}} {{mset|''uy'' + ''xv'' − ''uv'' : ''u'' ∈ ''L''(''x''), ''v'' ∈ ''L''(''y'')}}∪{{mset|''uy'' + ''xv'' − ''uv'' : ''u'' ∈ ''R''(''x''), ''v'' ∈ ''R''(''y'')}}}},
* {{math|''R'' {{coloneqq}} {{mset|''uy'' + ''xv'' − ''uv'' : ''u'' ∈ ''L''(''x''), ''v'' ∈ ''R''(''y'')}}∪{{mset|''uy'' + ''xv'' − ''uv'' : ''u'' ∈ ''R''(''x''), ''v'' ∈ ''L''(''y'')}}}}.

乗法単位元は {{math|1 {{coloneqq}} {{mset|(0, +1)}}}} で与えられる（つまり、超現実数 {{math|1}} は定義域が順序数の {{math|1}} で {{math|1=1(0) = +1}} を満たす函数を言う）。

==== コンウェイの実現との対応 ====
コンウェイの実現を符号展開へ写す写像は {{math|''f''({{mset|''L'' | ''R''}}) {{coloneqq}} ''σ''(''M'', ''S'')}} で与えられる。ただし、{{math|''M'' {{coloneqq}} {{mset|''f''(''x'') : ''x'' ∈ ''L''}},  ''S'' {{coloneqq}} {{mset|''f''(''x'') : ''x'' ∈ ''R''}}}} とする。

その逆写像として、符号展開による実現をコンウェイの実現へ写すには {{math|''g''(''x'') {{coloneqq}} {{mset|''L'' | ''R''}}}} を {{math|''L'' {{coloneqq}} {{mset|''g''(''y'') : ''y'' ∈ ''L''(''x'')}}, ''R'' {{coloneqq}} {{mset|''g''(''y'') : ''y'' ∈ ''R''(''x'')}}}} と与えればよい。

=== 公理的アプローチ ===
具体的な構成から完全に離れて、超現実数に対する別なアプローチが {{harvtxt|Alling|1987}} によって与えられた。これは構成法ではなく、超現実数を実現するどのような構成法もが満足する公理系の集合を与えるものである。{{ill2|実数の公理的構成|en|Real numbers#Axiomatic approach}}と極めて同様に、この公理系は[[同型を除いて]]一意な存在を保証するものである。

三つ組 {{math|{{angbr|'''𝐍𝐨''', <, ''b''}}}} が超現実数系 (surreal number system) であるとは、以下の公理をすべて満足するときに言う:

* {{math|<}} は {{mathbf|𝐍𝐨}} 上の[[全順序]]である;
* {{mvar|b}} は {{mathbf|𝐍𝐨}} から順序数全体の成すクラスの[[全射|上への写像]]である（この写像 {{mvar|b}} を {{mathbf|𝐍𝐨}} 上の「誕生日函数」と呼ぶ）;
* {{mathbf|𝐍𝐨}} の部分クラス {{mvar|A, B}} が任意の {{math|''x'' ∈ ''A'', ''y'' ∈ ''B''}} に対して {{math|''x'' < ''y''}} を満たす（このとき、アリングの語法で {{math|{{angbr|''A'', ''B''}}}} は {{mathbf|𝐍𝐨}} に関する「コンウェイ切断」("Conway cut") と呼ばれる）ならば、{{math|''z'' ∈ '''𝐍𝐨'''}} が一意に存在して、{{math|''b''(''z'')}} が極小かつ任意の {{math|''x'' ∈ ''A'', ''y'' ∈ ''B''}} に対して {{math|''x'' < ''z'' < ''y''}} とできる。（この公理はしばしば「コンウェイの単純性定理」("Conway's Simplicity Theorem") と呼ばれる）
これらに加えて、
* 順序数 {{mvar|α}} が {{math|''b''(''x'') (∀''x'' ∈ ''A'', ''B''}} よりも大きいならば、{{math|''b''(''z'') ≤ ''α''}} である（アリングはこの公理まで満足する系を「完全超現実数系」("full surreal number system") と呼んでいる）。

コンウェイのオリジナルの構成も、符号展開による構成も、ともにこれら公理系を満足する。

与えられたこれら公理系から {{harvtxt|Alling|1987}} はコンウェイによるオリジナルの {{math|≤}} の定義を導き、超現実数の算術を展開した。

=== 単純さの階層 ===
超現実数を、単純さ (simplicity) を先祖 (ancestor) のラベルに持つ極大二分擬木 (pseudo-tree) およびその順序関係によって構成する方法は {{harvs|txt|first= Philip |last= Ehrlich |authorlink= Philip Ehrlich |year= 2012
}} による。通常の木の定義と異なるのは、各頂点の先祖は整列集合を成すが、極大元（直前の先祖）は持たないかもしれないことである。すなわち、先祖集合の順序型は自然数だけではなく一般順序数となりうる。この構成もまたアリングの公理系を満足し、符号列表現に容易に引き写せる。

=== ハーン級数 ===
{{harvtxt|Alling|1987}}{{rp|at= th. 6.55, p. 246}} もまた超現実数体が実係数{{ill2|ハーン級数|en|Hahn series}}体（各級数の和の値は超現実数として解釈する）に順序体として同型となることを証明した（この級数表現は、上述した[[#標準形|超現実数の標準形]]に対応するものである）。これにより、超現実数をより従来的な順序体論的アプローチに結び付けることができる。

この同型により超現実数が写された先の体は、コンウェイ標準形における最高次項の冪指数の加法逆元を付値とする付値体である（例えば {{math|1=''ν''(''ω'') = &minus;1}}）。したがって、この体の付値環は有限超現実数（実数または実数に無限小成分を加えたもの）すべてからなる。ここで付値として冪指数の符号を反転させるのは、コンウェイ標準形における冪指数が逆整列集合を成していることと、それに対しハーン級数が値群における（正順の）整列部分集合によって定式化されていることによるものである。

== 超実数との関係 ==
{{harvs|txt|first=Philip|last=Ehrlich|year=2012}} はコンウェイの極大超現実数体と[[フォンノイマン&ndash;ベルナイス&ndash;ゲーデル集合論|NBG]]における極大[[超実数|超実体]]との間に同型を構成した。

== 関連項目 ==
{{Portal|数学}}
* [[超実数]]
* [[超準解析]]

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist|30em}}
== 参考文献 ==
* {{citation|title=On the existence of real-closed fields that are {{mvar|η{{sub|α}}}}-sets of power {{mvar|ℵ{{sub|α}}}} |first= Norman L.|last= Alling |journal= Trans. Amer. Math. Soc.|volume= 103 |year=1962|pages= 341–352 |mr= 0146089|doi=10.1090/S0002-9947-1962-0146089-X |ref=harv}}
* {{cite book |last= Alling |first= Norman L. |title= Foundations of Analysis over Surreal Number Fields |publisher= North-Holland |series= Mathematics Studies 141 |year= 1987 |isbn= 0-444-70226-1 |ref= harv}}
* {{Cite book |url= {{google books|id=tXiVo8qA5PQC|plainurl=1}} |title= On Numbers and Games |edition= 2 |last= Conway |first= John H. |date= 2000-12-11 |orig-year= 1976 |publisher= CRC Press |isbn= 9781568811277 |language=en |ref= {{sfnref|Conway|1976}}}}
* {{cite book |last= Gonshor |first= Harry |title= An Introduction to the Theory of Surreal Numbers |year= 1986 |publisher= Cambridge University Press |series= London Mathematical Society Lecture Note Series |volume= 110 |isbn= 9780521312059 |doi= 10.1017/CBO9780511629143 |ref = harv}}
* {{cite journal |first= Philip |last= Ehrlich |authorlink= Philip Ehrlich |year= 2012 |title= The absolute arithmetic continuum and the unification of all numbers great and small |journal= The Bulletin of Symbolic Logic |volume= 18 |issue= 1 |pages= 1&ndash;45 |url= http://www.ohio.edu/people/ehrlich/Unification.pdf |accessdate= 2017-06-08 |doi= 10.2178/bsl/1327328438 |deadurl= yes |archiveurl= https://web.archive.org/web/20171007095144/http://www.ohio.edu/people/ehrlich/Unification.pdf |archivedate= 2017-10-07 |df= |ref= harv}}
* {{cite journal |last1= van den Dries |first1= Lou |last2= Ehrlich |first2= Philip |author2-link= Philip Ehrlich |title= Fields of surreal numbers and exponentiation |journal= Fundamenta Mathematicae | volume= 167 |issue= 2 |pages= 173–188 |publisher= Institute of Mathematics of the Polish Academy of Sciences |location= Warszawa |date= January 2001 |url= http://www.ohio.edu/people/ehrlich/EhrlichvandenDries.pdf |issn= 0016-2736 |doi= 10.4064/fm167-2-3 |deadurl= yes |archiveurl= https://web.archive.org/web/20161021010354/http://www.ohio.edu/people/ehrlich/EhrlichvandenDries.pdf |archivedate= 2016-10-21 |ref= harv}}

== 関連文献 ==
* [[Donald Knuth]]'s original exposition: ''Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness'', 1974, {{ISBN2|0-201-03812-9}}. More information can be found at [http://www-cs-faculty.stanford.edu/~knuth/sn.html the book's official homepage].
* An update of the classic 1976 book defining the surreal numbers, and exploring their connections to games: John Conway, ''On Numbers And Games'', 2nd ed., 2001, {{ISBN2|1-56881-127-6}}.
* An update of the first part of the 1981 book that presented surreal numbers and the analysis of games to a broader audience:  Berlekamp, Conway, and Guy, ''Winning Ways for Your Mathematical Plays'', vol. 1, 2nd ed., 2001, {{ISBN2|1-56881-130-6}}.
* [[Martin Gardner]], ''Penrose Tiles to Trapdoor Ciphers,''  W. H. Freeman & Co., 1989, {{ISBN2|0-7167-1987-8}}, Chapter 4.  A non-technical overview; reprint of the 1976 ''Scientific American'' article.
* Polly Shulman, [http://discovermagazine.com/1995/dec/infinityplusonea599 "Infinity Plus One, and Other Surreal Numbers"],  ''[[Discover (magazine)|Discover]]'', December 1995.
* A detailed treatment of surreal numbers: Norman L. Alling, ''Foundations of Analysis over Surreal Number Fields'', 1987, {{ISBN2|0-444-70226-1}}.
* A treatment of surreals based on the sign-expansion realization: Harry Gonshor, ''An Introduction to the Theory of Surreal Numbers'', 1986, {{ISBN2|0-521-31205-1}}.
* A detailed philosophical development of the concept of surreal numbers as a most general concept of number: [[Alain Badiou]], ''Number and Numbers'',  New York: Polity Press, 2008, {{ISBN2|0-7456-3879-1}} (paperback), {{ISBN2|0-7456-3878-3}} (hardcover).
* {{cite book | url=http://homotopytypetheory.org/book/ | title=Homotopy Type Theory: Univalent Foundations of Mathematics | author=The Univalent Foundations Program | publisher=[[Institute for Advanced Study]] | location=Princeton, NJ | year=2013 | mr=3204653}} The surreal numbers are studied in the context of [[homotopy type theory]] in section 11.6.

== 外部リンク ==
* [https://web.archive.org/web/20011224163817/http://www.maths.nott.ac.uk/personal/anw/Research/Hack/ Hackenstrings, and the 0.999... ?= 1 FAQ, by A. N. Walker], an archive of the disappeared original
* [https://web.archive.org/web/20151121050005/http://www.tondering.dk/download/sur16.pdf A gentle yet thorough introduction by Claus Tøndering]
* {{planetmath reference|id=3352|title=Surreal number}}
* [http://scientopia.org/blogs/goodmath/category/surreal-numbers/ Good Math, Bad Math: Surreal Numbers], a series of articles about surreal numbers and their variations

{{Infinity}} 
{{Number systems}}
{{Infinitesimals}}

{{Normdaten}}
{{DEFAULTSORT:ちようけんしつすう}}
[[Category:組合せゲーム理論]]
[[Category:数理論理学]]
[[Category:無限]]
[[Category:実閉体]]
[[Category:数学に関する記事]]