IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

356: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/08/05(水) 10:38:33.60 ID:R1ZAm1zP

>>355
１．コウモリさん、スレ違いだよ。あんたは、素人スレで素人相手に延々と威張りたいんだろう？ｗ
２．細かいことは良いんだ。下記に、超実数と、準超実数と、超現実数とかある。これ以外にもあるかもしれない
　実数Ｒを拡張して、例えば超実数*Rを構成し、無限小をその内部に含むようにする。こうすると、>>354のように
　”　https://ja.wikipedia.org/wiki/0.999...#p-%E9%80%B2%E6%95%B0
　0.999... テレンス・タオ 　"0.999…" は 1 に「無限に近い」。”
　が正当化できる
３．だが、実数Ｒの中では、『"0.999…" は 1 に「無限に近い」』は言えない
４．つまりは、21世紀の現代数学では、スタンダードな実数Ｒと、無限小をその内部に含む超実数*Rと
　二つの立場が可能であって、両立するってことだ

分かったら、巣へお帰り

（参考）
https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0
超実数（英: hyperreal number）または超準実数（英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体
超実数は（ライプニッツの経験則的な連続の法則（英語版）を厳密なものにした）移行原理（英語版）を満たす。この移行原理が主張するのは、R についての一階述語論理の真なる主張は *R においても真であることである。
1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。
超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。

https://ja.wikipedia.org/wiki/%E6%BA%96%E8%B6%85%E5%AE%9F%E6%95%B0
準超実数
準超実数 (super-real number, super-real number)
(Dales & Woodin) 超準解析における超実数を一般化するもので、その全体 (super-real field) は超現実数体の部分体を成す。→ 準超実体を参照

https://ja.wikipedia.org/wiki/%E8%B6%85%E7%8F%BE%E5%AE%9F%E6%95%B0
超現実数
超現実数（ちょうげんじつすう、英: surreal number）の体系は、全順序付けられた真のクラスとして実数のみならず（任意の正実数よりも絶対値が大きい）無限大および（任意の正実数よりも絶対値が小さい）無限小まで含む。

http://rio2016.5ch.net/test/read.cgi/math/1592654877/356

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

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

ぬこの手ぬこTOP 0.040s