[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
45(6): 酒浸り 2020/03/30(月)21:51 ID:Y+NgZsAC(1) AAS
間違って踏んで仕舞った。未だに何故､ Surreal(1-0.999…)=0 & Game(1-0.999…)=ε≠0 に成るか
理由が分からない。Gameに順序性と演算規則性を補完してSurrealが構築されるならば
益々以て上記式のεはSurrealではないGameにしか成り得ない筈なのに、ε自体はSurrealだ！
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
此の a はRealではないHyperealにしか成り得ない｡
一体、どうなってしまうのか？
ガチンコ数学学園
46(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)00:02 ID:zp6RcyFj(1/6) AAS
>>45
酒浸りさん、どうも。スレ主です。
あなたが言われているのは、下記ですか？（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
超現実数
(抜粋)
数学における超現実数（ちょうげんじつすう、英: surreal number）の体系は、全順序付けられた真のクラスとして実数のみならず（任意の正実数よりも絶対値が大きい）無限大および（任意の正実数よりも絶対値が小さい）無限小まで含む。
超現実数の体系は、四則演算（加減乗除）など実数が持つ多くの性質を共有しており、順序体を成す[注釈 1] 超現実数をフォンノイマン?ベルナイス?ゲーデル集合論（英語版） (NBG) において定式化するならば、超現実数体は（有理数体、実数体、有理函数体、レヴィ?チヴィタ体、準超実数体、超実数体などを含む）すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる[1]。
超現実数は、すべての超限順序数も（その算術まで込めて）含む。あるいはまた、（NBGの中で構成した）超実体の極大クラスが超現実体の極大クラスに同型であることが示せる（大域選択公理（英語版）を持たない理論では必ずしもそうならないし、またそのような理論において超現実数体が普遍順序体になるとも限らないことに注意する）。
省24
47(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)00:28 ID:zp6RcyFj(2/6) AAS
>>45
＞間違って踏んで仕舞った。未だに何故､ Surreal(1-0.999…)=0 & Game(1-0.999…)=ε≠0 に成るか
＞分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
下記1/3＝0.333・・・ で定義するならば
両辺に3を掛けて
左辺 1/3*3＝1
右辺 (0.333・・・)*3=0.999・・・
よって、1＝0.999・・・ 成立ですが
ところで、無限小超現実数としてのεを考える
「0.999・・*：＝0.999・・・−ε」という数を定義します
省15
48: 酒浸り 2020/03/31(火)01:11 ID:syVMD0lp(1/4) AAS
>>45一部で誤記振りホイホイしてしまったので当該箇所を訂正｡
×
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
此の a はRealではないHyperealにしか成り得ない｡
一体、どうなってしまうのか？
ガチンコ数学学園
○
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-a)=e≠0 ならば
此の e はRealではないHyperealにしか成り得ない｡
省3
222: 粋蕎 ◆C2UdlLHDRI 2020/05/22(金)03:16 ID:OHCJf9VK(1/6) AAS
>>45で述べた超現実数の認識を更新する。儂は勘違いしとった｡
超現実数体では 1=0.999…;…999…;…999…;…+ε である。超現実数では任意の無限小差、違いも加味する為｡
累超実数体では 1=0.999…;…999…;…999…;… である。累超実数体では上位の無限小累超実数差が排斥される為｡
超実数体では 1=0.999…;…999… である。超実数体では無限小超々実数差が排斥される為｡
実数体では 1=0.999… である。実数体では無限小差が排斥される為｡
有限数学では 0.999… 其の物が認められない。有限数学では無限概念と共に無限小数が排斥される為｡
安達数学では無限概念と共に無限小数を排斥され意味を失した 0.999… を 0.999…999 の意味で略述する事を認めた有限数学｡
安達数学は周回遅れや世代遅れ、世紀遅れどころではない、時代遅れも時代遅れ、古代の数学｡
223: 粋蕎 ◆C2UdlLHDRI 2020/05/22(金)03:22 ID:OHCJf9VK(2/6) AAS
今、0.999…を1の準表示とする｡
⇔0.333…を1/3の準表示とする｡
⇔1.41413562…を√2の準表示とする｡
a-(aの準表示)=a*{1-(1の準表示)}=a*(1-0.999…)=a*ε
無理数の小数展開のランダム性に捕らわれとった、此んな小学生乃至中学生で簡単に分かる事じゃった｡
何も 1-0.999…=0≠ε とせず 1-0.999…≠ε としても連続性担保できたんじゃ｡
何の問題も無く、連続体に成る。否、手抜かり述べ足らず考え足らずじゃった｡
>>45は実に杞憂じゃった、不必要かつ余計にファジィ解に分類しておった｡
誰か言った通りじゃった｡
> いや、現れるんじゃないかな
省6
224: 粋蕎 ◆C2UdlLHDRI 2020/05/22(金)03:24 ID:OHCJf9VK(3/6) AAS
1-1.999…/2=2/2-1.999…)/2=(2-1.999…)/2=(1+1-1+0.999…)/2=(1-0.999…)/2=ε/2
尚、数論でも難しいもんは超現実数に舞台を移すと余計に難しくなるが同質｡
12年前に「いや超現実数でも 0.999…=1 だからｗ」と言った人の意見に流されたばかりか
流された先に>>45の杞憂に停滞してもうた｡
ふむ、超現実数体の連続性は如何なる累超実数体の連続性よりも洗練されとった｡
此う成るとカントールの対角線論法は超現実数対象の際には補正せにゃならんじゃろうな｡
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s