超準実数

ウィキペディア

超実数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/04/02 23:21 UTC 版)

超実数（ちょうじっすう、英: hyperreal number）または超準実数（ちょうじゅんじっすう、英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体であり、

$1+1+\cdots +1$

この節の加筆が望まれています。

超冪による構成

実数列から超実数体が構成できることを見ていこう。次のようにして、実数列の加法と乗法を定義する：

$(a_{0},a_{1},a_{2},\ldots )+(b_{0},b_{1},b_{2},\ldots )=(a_{0}+b_{0},a_{1}+b_{1},a_{2}+b_{2},\ldots )$

この節の加筆が望まれています。

無限小および無限大超実数の性質

超実数体 *R の有限な元全体 F は局所環（実は付値環）であり、その唯一の極大イデアル S は無限小元全体によって与えられ、剰余体 F/S は実数体 R に同型になる。従って環準同型 st: F → R で ker(st) = S かつ、各値 st(x) (x ∈ F) は x − st(x) ∈ S となる唯一の標準実数となるものの存在が言える。言い方を変えれば、任意の有限超準実数 x は、ただ一つの標準実数 st(x) に（それらの差 x − st(x) が無限小となるという意味で）「極めて近い」のである。この標準実数 st(x) を x の標準部分函数 と言い、概念的には x に最も近い実数を意味するものである。この函数 st は順序を保つ環準同型であり、従って代数学的にも順序論的にもよく振る舞う。

• st は順序を保つが、同調写像ではない。すなわち x ≤ y ⇒ st(x) ≤ st(y) だが、x < y は st(x) < st(y) を導かない。
• x, y がともに有限超準実数ならば st(x + y) = st(x) + st(y) および st(xy) = st(x)st(y) が成り立つ。
• x が有限かつ無限小でないならば st(1/x) = 1/st(x) が成り立つ。
• x が標準実数となるための必要十分条件は st(x) = x を満たすことである。

函数 st は、この有限超実数体 F 上の順序位相に関して連続である（実は st は局所定数函数になる）。

超実体

X がチコノフ空間（T_3½-空間）で C(X) を X 上の実数値連続函数全体の成す多元環とする。M が C(X) の極大イデアルならば、商環 F = C(X)/M は実数体 R を含む全順序体である。F が真に R を含むとき、（Hewwitt (1948) に従い）M を超実イデアル (hyperreal ideal)、F を超実体 (hyperreal field) と呼ぶ。ここでは F の濃度が R の濃度より真に大きいことは仮定していないことに注意（実際に同じ濃度を取り得る）。

特に重要な場合は X の位相が離散位相のときである。この場合、X はその基数 κ に同一視することができ、C(X) は κ から R への函数全体の成す実多元環 R^κ に同一視される。このとき得られる超実体は R の超冪 と呼ばれる。これはモデル論における超冪と同一である。

関連項目

• モデル理論
• コンパクト性定理
• ゲーデルの完全性定理
• 拡大実数

参考文献

• Keisler, H. Jerome (2012) [1986], Elementary Calculus: An Infinitesimal Approach (2nd ed.), New York: Dover Publications, ISBN 978-0-486-48452-5—特に第一章に超実数の性質が、エピローグにその構成が、それぞれ平易に書かれている。 
• Ball, W.W. Rouse (1960), A Short Account of the History of Mathematics (4th ed. [Reprint. Original publication: London: Macmillan & Co., 1908] ed.), New York: Dover Publications, pp. 50–62, ISBN 0-486-20630-0 
• Hatcher, William S. (1982) "Calculus is Algebra", American Mathematical Monthly 89: 362–370.
• Hewitt, Edwin (1948) Rings of real-valued continuous functions. I. Trans. Amer. Math. Soc. 64, 45—99.
• Jerison, Meyer; Gillman, Leonard (1976), Rings of continuous functions, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90198-5 
• Keisler, H. Jerome (1994) The hyperreal line. Real numbers, generalizations of the reals, and theories of continua, 207—237, Synthese Lib., 242, Kluwer Acad. Publ., Dordrecht.
• Kleinberg, Eugene M.; Henle, James M. (2003), Infinitesimal Calculus, New York: Dover Publications, ISBN 978-0-486-42886-4 

外部リンク

• Weisstein, Eric W. "Hyperreal Number". mathworld.wolfram.com (英語).
• hyperreal number in nLab
• hyperreal - PlanetMath.（英語）