>>355
1.コウモリさん、スレ違いだよ。あんたは、素人スレで素人相手に延々と威張りたいんだろう?w
2.細かいことは良いんだ。下記に、超実数と、準超実数と、超現実数とかある。これ以外にもあるかもしれない
実数Rを拡張して、例えば超実数*Rを構成し、無限小をその内部に含むようにする。こうすると、>>354のように
” https://ja.wikipedia.org/wiki/0.999...#p-%E9%80%B2%E6%95%B0
0.999... テレンス・タオ "0.999…" は 1 に「無限に近い」。”
が正当化できる
3.だが、実数Rの中では、『"0.999…" は 1 に「無限に近い」』は言えない
4.つまりは、21世紀の現代数学では、スタンダードな実数Rと、無限小をその内部に含む超実数*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)の体系は、全順序付けられた真のクラスとして実数のみならず(任意の正実数よりも絶対値が大きい)無限大および(任意の正実数よりも絶対値が小さい)無限小まで含む。
IUTを読むための用語集資料集スレ
■ このスレッドは過去ログ倉庫に格納されています
356現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/08/05(水) 10:38:33.60ID:R1ZAm1zP■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 《皇室乗っ取りクーデター》麻生太郎氏 “養子案”主導に広がる反発…“天皇の外戚になる可能性”との指摘も [バイト歴50年★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★97【メキシコ/カナダ/アメリカ】
- 西武線 7
- わしせん3
- はません ★3
- 巨専】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★96【メキシコ/カナダ/アメリカ】
- 妹「えへへ、お兄ちゃんの精子おまんこから一滴も零さないからね♪」←おもむろに逆立ちをして股を開いたり閉じたりし始める
- 愚かな人たちよ……あなた方がひざ枕と呼んでいるものはどう見てももも枕です😔
- 最高の景色をー🏡⚽👊😅👊⚽
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- おっさん「切符落とした」東京駅駅員「じゃあ一番遠い区間(博多東京間)の三倍の運賃払うまで駅から出さねぇ」→どっちが悪いかXで紛糾 [793117252]