超現実数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/10/05 13:43 UTC 版)

数学における超現実数(ちょうげんじつすう、英: surreal number)の体系は、全順序付けられた真のクラスとして実数のみならず(任意の正実数よりも絶対値が大きい)無限大および(任意の正実数よりも絶対値が小さい)無限小まで含む。超現実数の体系は、四則演算(加減乗除)など実数が持つ多くの性質を共有しており、順序体を成す[注釈 1] 超現実数をフォンノイマン–ベルナイス–ゲーデル集合論 (NBG) において定式化するならば、超現実数体は(有理数体、実数体、有理函数体、レヴィ゠チヴィタ体、準超実数体、超実数体などを含む)すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる[1]。超現実数は、すべての超限順序数も(その算術まで込めて)含む。あるいはまた、(NBGの中で構成した)超実体の極大クラスが超現実体の極大クラスに同型であることが示せる(大域選択公理を持たない理論では必ずしもそうならないし、またそのような理論において超現実数体が普遍順序体になるとも限らないことに注意する)。
概念史
1907年にハンス・ハーンは、形式冪級数の一般化としてハーン級数を導入した。またフェリックス・ハウスドルフは、順序数α に対する ηα-集合と呼ばれる順序集合を導入し、それと両立する順序群や順序体の構造を求めることができるかを問うた。Alling (1962) は修正された形のハーン級数を用いて適当な順序数 α に対してそのような順序体を構成し、α をすべての順序数全体の成すクラスを亙って動かすことで、超現実数体に同型な順序体のクラスを与えた。
それとは別の定義および構成法が、ジョン・ホートン・コンウェイにより、囲碁の寄せについての研究から導かれている[2]。コンウェイの構成法は1974年にドナルド・クヌースの著書 Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness[注釈 2] に取り入れられた。対話形式で書かれたこの本においてクヌースは、コンウェイが単に「数」と呼んでいたものに「超現実数」という新たな名を付けた。のちにコンウェイもクヌースのこの造語を受け入れ、1976年には超現実数を用いてゲームを解析する On Numbers and Games を著した[3]。
概観
コンウェイの構成法[3]では、超現実数は、大小関係を表す順序 ≤(二つの超現実数 a, b に対し a ≤ b または b ≤ a が成立する。a ≤ b かつ b ≤ a がともに成立するとき a と b は同値であると言い、同じ数を表すものと理解する)を伴って、段階を踏んで構成される。各段階における数は、既に構成された既知の超現実数からなる部分集合の対の形をしており、そのような数からなる部分集合 L, R が与えられ、L のすべての元が R のすべての元よりも真に小さいときに、対 {L | R} は L のすべての元と R のすべての元との間に値を持つ中間数を表すものとなる。
このとき、全く異なる部分集合の対が結局は同じ数を定義するということが起こり得る —たとえ L ≠ L′ かつ R ≠ R′ となる場合であってさえも、二つの対 {L | R}, {L′ | R′} が同じ数を定義しうる—(同様の現象は、有理数を整数の商として定義するときにもあったことである。例えば 1/2 と 2/4 は同じ有理数の異なる表現である)。ゆえに厳密を期すならば、超現実数とはそのような同じ数を指す {L | R} なる形式の表現からなる同値類のことと言うべきである。
構成の緒段(第零世代)では、既存の数は何もないのだから、表現には空集合しか用いようがない。表現 { | } は L および R が空集合という意味であり、これを 0 と呼ぼう。段階を踏んでいけば
注
注釈
- ^ NBGを用いたオリジナルの定式化において、超現実数の全体は集合でない真のクラスを成すのだから、厳密に言えば体を成すというのはミスフレージングである。この区別は重要であって、文献によっては体の算術的性質を満たす真の類は "Field" や "FIELD" と呼んでいる場合もある(そのようなことをしている日本語文献があるかはわからないが、さしあたって「体」とか体とか区別をつけることはできるだろう)。真の(つまり集合となる)体を得る方法としてグロタンディーク宇宙を一つ決めてその中で構成をするという手段が考えられる。それで得られるものは、適当な強到達不能基数を持つ集合であったり、用いた集合論によってはε0のような適当な可算順序数において停止する超限帰納法による構成となったりする。
- ^ 直訳は「超現実数 – 二人の元学生は如何にして純粋数学に熱中し、そして完全な幸福を得たか」となるだろうか。和訳本の一つ (松浦俊輔訳、柏書房、2004年) には『至福の超現実数―純粋数学に魅せられた男と女の物語』とタイトルが付けられている。
- ^ この場合、yL = {2} の元は 2 しかないから、定義式において yL − y の部分は数の計算 2 − 3 = −1 に単純化できる。同様に yR は空集合で、とるべき元は存在しないから、定義式において yR を含むふたつの式は考える必要がない。
- ^ 二進分数全体の成す集合は、この種の群および環のうち非自明でもっとも単純な例になっている。つまり、誕生日が ω = ω1 = ωω0 より小さい超現実数の全体である。
- ^ この間隙の定義は、デデキント切断の条件から「L および R が空でなく、また L が最大元(存在すれば R の最小元とも一致する)を持たない」という条件が落ちている。
- ^ 重要なことに、コーシー列全体の成す集まりがNBG集合論においてクラスを成すという主張は存在しない。
- ^ これらの等式の最も自明に見えるものでさえ、その中に超限帰納法が隠されていることを思えば、これら一つ一つが別々の定理を成していると考えるに十分であろう。
出典
- ^ Bajnok, Béla (2013). An Invitation to Abstract Mathematics. "Theorem 24.29. The surreal number system is the largest ordered field"
- ^ a b O'Connor, J.J.; Robertson, E.F., Conway Biography 2008年1月24日閲覧。
- ^ a b c d e Conway 1976.
- ^ a b c d van den Dries & Ehrlich 2001.
- ^ a b Gonshor 1986.
- ^ a b Rubinstein-Salzedo, Simon; Swaminathan, Ashvin (19 May 2015). "Analysis on Surreal Numbers". arXiv:1307.7392v3 [math.CA]。
- ^ Surreal vectors and the game of Cutblock, James Propp, August 22, 1994.
- ^ Alling 1987.
参考文献
- Alling, Norman L. (1962), “On the existence of real-closed fields that are ηα-sets of power ℵα”, Trans. Amer. Math. Soc. 103: 341–352, doi:10.1090/S0002-9947-1962-0146089-X, MR0146089
- Alling, Norman L. (1987). Foundations of Analysis over Surreal Number Fields. Mathematics Studies 141. North-Holland. ISBN 0-444-70226-1
- Conway, John H. (2000-12-11) (英語). On Numbers and Games (2 ed.). CRC Press. ISBN 9781568811277
- Gonshor, Harry (1986). An Introduction to the Theory of Surreal Numbers. London Mathematical Society Lecture Note Series. 110. Cambridge University Press. doi:10.1017/CBO9780511629143. ISBN 9780521312059
- Ehrlich, Philip (2012). “The absolute arithmetic continuum and the unification of all numbers great and small”. The Bulletin of Symbolic Logic 18 (1): 1–45. doi:10.2178/bsl/1327328438. オリジナルの2017-10-07時点におけるアーカイブ。 2017年6月8日閲覧。.
- van den Dries, Lou; Ehrlich, Philip (January 2001). “Fields of surreal numbers and exponentiation”. Fundamenta Mathematicae (Warszawa: Institute of Mathematics of the Polish Academy of Sciences) 167 (2): 173–188. doi:10.4064/fm167-2-3. ISSN 0016-2736. オリジナルの2016-10-21時点におけるアーカイブ。 .
関連文献
- Donald Knuth's original exposition: Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness, 1974, ISBN 0-201-03812-9. More information can be found at 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, ISBN 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, ISBN 1-56881-130-6.
- Martin Gardner, Penrose Tiles to Trapdoor Ciphers, W. H. Freeman & Co., 1989, ISBN 0-7167-1987-8, Chapter 4. A non-technical overview; reprint of the 1976 Scientific American article.
- Polly Shulman, "Infinity Plus One, and Other Surreal Numbers", Discover, December 1995.
- A detailed treatment of surreal numbers: Norman L. Alling, Foundations of Analysis over Surreal Number Fields, 1987, ISBN 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, ISBN 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, ISBN 0-7456-3879-1 (paperback), ISBN 0-7456-3878-3 (hardcover).
- The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ: Institute for Advanced Study. MR3204653 The surreal numbers are studied in the context of homotopy type theory in section 11.6.
外部リンク
- Hackenstrings, and the 0.999... ?= 1 FAQ, by A. N. Walker, an archive of the disappeared original
- A gentle yet thorough introduction by Claus Tøndering
- Surreal number - PlanetMath.org
- Good Math, Bad Math: Surreal Numbers, a series of articles about surreal numbers and their variations