[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

57(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:09 ID:YIE+6BeO(4/6) AAS
>>56 補足
＞これは超現実数をハーン級数として定式化するための基礎となる。

面白いね
外部ﾘﾝｸ:ja.wikipedia.org
超現実数
(抜粋)
ハーン級数
Alling (1987)(th. 6.55, p. 246) もまた超現実数体が実係数ハーン級数（英語版）体（各級数の和の値は超現実数として解釈する）に順序体として同型となることを証明した（この級数表現は、上述した超現実数の標準形に対応するものである）。これにより、超現実数をより従来的な順序体論的アプローチに結び付けることができる。

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

---

58(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:13 ID:YIE+6BeO(5/6) AAS
>>57
＞超現実数体が実係数ハーン級数（英語版）体（各級数の和の値は超現実数として解釈する）に順序体として同型となることを証明した

外部ﾘﾝｸ:en.wikipedia.org
Hahn series
(抜粋)
In mathematics, Hahn series (sometimes also known as Hahn?Mal'cev?Neumann series) are a type of formal infinite series.
They are a generalization of Puiseux series (themselves a generalization of formal power series) and were first introduced by Hans Hahn in 1907[1] (and then further generalized by Anatoly Maltsev and Bernhard Neumann to a non-commutative setting).
They allow for arbitrary exponents of the indeterminate so long as the set supporting them forms a well-ordered subset of the value group (typically {Q} or {R} ).
Hahn series were first introduced, as groups, in the course of the proof of the Hahn embedding theorem and then studied by him as fields in his approach to Hilbert's seventeenth problem.

Contents
省8

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.045s