公理的アプローチとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 公理的アプローチの意味・解説 

公理的アプローチ

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/15 10:26 UTC 版)

超現実数」の記事における「公理的アプローチ」の解説

具体的な構成から完全に離れて超現実数対す別なアプローチが Alling (1987) によって与えられた。これは構成法ではなく超現実数実現するどのような構成法もが満足する公理系集合与えるものである実数公理的構成英語版)と極めて同様に、この公理系同型を除いて一意存在保証するのである三つ組 ⟨𝐍𝐨, <, b⟩ が超現実数系 (surreal number system) であるとは、以下の公理をすべて満足するときに言う: < は 𝐍𝐨 上の全順序である; b は 𝐍𝐨 から順序数全体の成すクラスの上への写像である(この写像 b を 𝐍𝐨 上の誕生日函数」と呼ぶ); 𝐍𝐨 の部分クラス A, B が任意の x ∈ A, y ∈ B に対して x < y を満たす(このとき、アリングの語法で ⟨A, B⟩ は 𝐍𝐨 に関するコンウェイ切断」("Conway cut") と呼ばれる)ならば、z ∈ 𝐍𝐨 が一意存在して、b(z) が極小かつ任意の x ∈ A, y ∈ B に対して x < z < y とできる。(この公理はしばしば「コンウェイの単純性定理」("Conway's Simplicity Theorem") と呼ばれる) これらに加えて順序数 α が b(x) (∀x ∈ A, B よりも大きいならば、b(z) ≤ α である(アリングはこの公理まで満足する系を「完全超現実数系」("full surreal number system") と呼んでいる)。 コンウェイオリジナル構成も、符号展開による構成も、ともにこれら公理系満足する与えられたこれら公理系から Alling (1987) はコンウェイによるオリジナルの ≤ の定義を導き超現実数の算術展開した

※この「公理的アプローチ」の解説は、「超現実数」の解説の一部です。
「公理的アプローチ」を含む「超現実数」の記事については、「超現実数」の概要を参照ください。

ウィキペディア小見出し辞書の「公理的アプローチ」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「公理的アプローチ」の関連用語

公理的アプローチのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



公理的アプローチのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの超現実数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS