23/03/13 12:15:25.07 hloIPBYf.net
多元数は、旧ガロアスレでも、何度か取り上げている
例えば下記
現代数学の系譜11 ガロア理論を読む29
ｽﾚﾘﾝｸ(math板:30番)
30 名前：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/01/15(日) 15:30:32.80 ID:3YFHDxHU [26/31]
URLﾘﾝｸ(ja.wikipedia.org)
数の概念
様々な拡張法
これらを更に別の観点から拡張した体系が存在する。例えば、ものの個数の概念である自然数を拡張して基数が、ものの順番を表す意味での自然数の拡張として順序数が定義される。複素数を更に拡張したものとして、四元数、八元数・十六元数などの体系がある。あるいは、実数に加えて無限小や無限大を含む超実数などの体系もある。
自然数 → 基数
基数 - 有限基数（= 自然数）、無限基数
自然数 → 順序数
順序数 - 有限順序数（= 自然数）、超限順序数
実数 → 複素数 → 四元数 → 八元数 → 十六元数
有理数 → p-進数 （+ 実数 → アデール）
実数 → 超実数
URLﾘﾝｸ(ja.wikipedia.org)
超実数
1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。