形式的に実な体
(実体数学 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/05/11 23:15 UTC 版)
抽象代数学において体が形式的に実（けいしきてきにじつ、英: formally real）、または形式的実体（けいしきてきじつたい、英: formally real field）とは、−1 の平方根を持たず（さらに −1 が平方元の和として表すことができない）、また平方元の和が零に等しいという関係式は自明な（つまり、その和に現れる全ての平方元がそれぞれ零に等しい、例えば x2 + y2 = 0 ⇒ x = y = 0）場合に限られるなどの、実数体とも共通する性質を満たすことを言う。形式的実体を単に実体（じつたい[1]、英: real field[2]）と呼ぶこともある[注 1]。
与えられた体が形式的に実であることは、その体を（必ずしも一意的ではない方法によって）順序体にすることができるということを特徴づける性質である。
厳密な定義
与えられた体 (K,+,×) が形式的に実であるとは、どのように自然数 n を選んでも
- x1, x2, …, xn ∈ K ならば x 2
1 + x 2
2 + ⋯ + x 2
n ≠ −1
を満たすときに言う[4]。
体 F に対して以下の条件は同値である[5][6]ことは容易に確認できる:
- −1 が F の平方元の和に等しくなることは無い。即ち F のStufeが無限大。
- 標数が 2 でない体 F において、F の平方元の和に書くことができない元が存在する。
- F の平方元の和が零に等しいならば、その和に現れる全ての平方元がそれぞれ零に等しい。
即ち、これらの条件のうちの一つ（したがって三つすべて）を満たす体は形式的に実である[2]。
1 (=12) は平方元であり、定義により形式的実体において 12 + 12 + … + 12 の形の元が 0 に等しいことはないから、形式的実体の標数は必ず 0 である。
例と反例
順序体との関係
順序体は必ず形式的に実である[注 2]。実際、順序体において任意の平方元は正であり、その和もやはり正となるが、対して −1 は正元でない。
逆はアルティンとシュライヤーが真であることを示した。即ち、
- F が形式的実体ならば適当な順序 ≤ を導入して (F,≤) を順序体にすることができる[2]。
実際、F の平方元の和全体の成す部分集合 S は前正錐 (prepositive cone) を成すから、ツォルンの補題により S を含み −1 を含まない極大な前正錐として正錐 P が得られる。このとき順序 ≤ を
- a ≤ b ⇔ b − a ∈ P
と定めれば (F,≤) は順序体になる[7]。
実閉体
形式的に実な真の代数拡大を持たない形式的実体は実閉体と呼ばれる[8]。即ち、形式的実体 R が実閉 (real closed) であるとは、E が形式的実体 R の形式的実な代数拡大体ならば必ず E = R を満たすときに言う[9]。実閉体において任意の奇数次多項式は根を持ち[10]、任意の正元は何らかの元の平方根を成す[11]。
形式的実体 K に対し、K を含む代数閉体 Ω をとる。このとき、K を含む Ω の実閉な部分体が存在する。これを形式的実体 K の実閉包 (real closure) と呼ぶ。実閉体は一意的な順序によって順序体にすることができる[8]。
注釈
出典
- ^ 永田 1985.
- ^ a b c Bochnak, Coste, Roy, Real Algebraic Geometry, p. 9, - Google ブックス
- ^ Haaser, Sullivan, Real Analysis, p. 35, - Google ブックス
- ^ 永田 1985, p. 211.
- ^ Rajwade, Theorem 15.1.
- ^ Milnor & Husemoller 1973, p. 60.
- ^ Alexander Prestel (1976), Lectures on Formally Real Fields, Instituto de Matemática Pura e Aplicada
- ^ a b Rajwade 1993, p. 216
- ^ Don Monk (PDF), Notes on real-closed fields, Math 6000, Model Theory
- ^ 永田 1985, p. 213.
- ^ 永田 1985, p. 212.
参考文献
- Milnor, John; Husemoller, Dale (1973). Symmetric bilinear forms. Springer. ISBN 3-540-06009-X.
- Rajwade, A. R. (1993). Squares. London Mathematical Society Lecture Note Series. 171. Cambridge University Press. ISBN 0-521-42668-5. Zbl 0785.11022.
- 永田雅宜 『可換体論(新版)』 裳華房〈数学選書6〉、1985年。ISBN 978-4-7853-1309-8。
外部リンク
「実体 (数学)」の例文・使い方・用例・文例
- ヒートアイランド現象の実体解析と対策のあり方について。
- どうかあなたの実体験のことを書いて下さい。
- 「情報スーパーハイウェイ」の真のインパクトは、情報インフラの構築により経済が従来のハードやモノづくり中心の実体経済から知識、情報、ソフトを主体とした経済に移行し、そこから生まれる新しい産業や経済活動にある。
- 実体のない影.
- 実体のあるもの.
- 実体論
- 実体学
- 物理的な存在がある実体
- 別々のまた自己充足的な実体
- 触れることができて目に見える実体
- 実体に属するまたは実体に特徴的な抽象的実体
- 1単位として考えられるいくつかの実体（メンバー）
- 2つの実体あるいは部分にともに属する、あるいは固有な抽象的実体
- 実体法
- もし、一つ以上の結論に対し、実体があるのであれば、誤りは広がっていく
- 単なる夢、実体も実質もない
- 夢と同じくらい実体がない
- 地平線の上の実体のない蜃気楼
- 実体のない空想
- 幽霊と他の非物質的な実体
実体数学と同じ種類の言葉
- 実体数学のページへのリンク
