超実数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/04/02 23:21 UTC 版)
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 (2023年7月) |
 | 原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 |
超実数（ちょうじっすう、英: hyperreal number）または超準実数（ちょうじゅんじっすう、英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体であり、
この節の加筆が望まれています。超冪による構成
実数列から超実数体が構成できることを見ていこう[7]。次のようにして、実数列の加法と乗法を定義する：
- この節の加筆が望まれています。
無限小および無限大超実数の性質
超実数体 *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 がチコノフ空間（T3½-空間）で 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 の超冪 と呼ばれる。これはモデル論における超冪と同一である。
関連項目
出典
- ^ Hewitt, Edwin (1948), p. 74
- ^ Keisler (1994).
- ^ Keisler
- ^ a b Kanovei, Vladimir; Shelah, Saharon (2004), “A definable nonstandard model of the reals”, Journal of Symbolic Logic 69: 159–164, doi:10.2178/jsl/1080938834
- ^ the super-real numbers の体系。superreal numbers と呼ばれる体系には、ほかに David Tall によるものもある。参考リンク: http://www.jonhoyle.com/MAAseaway/Infinitesimals.html
- ^ Woodin, W. H.; Dales, H. G. (1996), Super-real fields: totally ordered fields with additional structure, Oxford: Clarendon Press, ISBN 978-0-19-853991-9
- ^ Loeb, Peter A. (2000), “An introduction to nonstandard analysis”, Nonstandard analysis for the working mathematician, Math. Appl., 510, Dordrecht: Kluwer Acad. Publ., pp. 1–95
参考文献
- 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.
歴史 
関連分野 定式化 個々の概念 数学者 教科書
超実数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/08 16:13 UTC 版)
「モナド (超準解析)」の記事における「超実数」の解説
超実数体 ∗ R {\displaystyle ^{\ast }\mathbb {R} } の元 x {\displaystyle x} のモナドとは μ ( x ) = { y ∈ ∗ R ∣ x − y is infinitesimal } {\displaystyle \mu (x)=\{y\in {}^{\ast }\mathbb {R} \mid x-y{\text{ is infinitesimal}}\}} で定義される集合である。 x {\displaystyle x} が有限のとき、 x {\displaystyle x} のモナドは標準実数をただひとつだけ含み、これを x {\displaystyle x} の標準部分（standard point）と呼ぶ。
※この「超実数」の解説は、「モナド (超準解析)」の解説の一部です。
「超実数」を含む「モナド (超準解析)」の記事については、「モナド (超準解析)」の概要を参照ください。
- 超実数のページへのリンク
