- 1 名前：１３２人目の素数さん [2006/10/26(木) 18:36:06 ]
- 前スレ:1=0.999… その 9.999… science4.2ch.net/test/read.cgi/math/1118452051/
前スレ:1=0.999… その10.999… science4.2ch.net/test/read.cgi/math/1136133055/
前スレ:1=0.999… その11.999… science4.2ch.net/test/read.cgi/math/1142173277/
前スレ:1=0.999… その12.999… science4.2ch.net/test/read.cgi/math/1154943310/
一応激しい論議の結果、回答テンプレートが作成されました >2-5
今後書き込む際には、できるだけまず回答テンプレートを参照してから、それをふまえて行ってください。
また、回答テンプレートへの意見なども自由に書き込んでください。
- 892 名前：886 mailto:sage [2007/01/18(木) 03:18:09 ]
- さて、二進法で0.111…を考えると、これは→←→→→…=→←[→]=({1/2,3/4,7/8,…,((2^n)-1)/(2^n)),…},1)である。また、0.000…は、→←←←…=→[←]=(0,{…,1/(2^(n-1)),…,1/8,1/4,1/2,1})となる。
小数点以下が消しあうので0.111+0.000…=→←+→←=1/2+1/2==1だから0.000…==1-0.111…。よって、もし0.000…≠0が示されれば0.111…≠1が証明される。
ところで、ω段階では実は実数でない次のような超現実数も出来る。
[→]=({1,2,3,…},φ)
これは全ての自然数より大きいので、いわば正の無限大ωである。
このωに0と0.000…をそれぞれかけて結果を比較してみる。
0*ωは積の定義により(φ,φ)=0である。
一方、0.000…*ω=(0,φ)=1になるので、0≠0.000…が、従って、0.111…≠1が証明された。（0.000…=1/ωは正の無限小に相当する。どのような通常の意味での正の実数よりも小さく0より大きい数になる。）
これでこのスレ的には終わりだが、実はω+1段階、ω+2段階、…といくらでも考えることが出来るので、ω+1(=1+ω),ω+2,…,2ω,…（それどころかω-1=({1,2,3,…},ω)やω/2とかも）さらにω^2,…,ω^ω,…と
続けていくことも出来るわけである。もちろん、1/(2ω)とかも作られていく。
以上。
- 893 名前：１３２人目の素数さん [2007/01/19(金) 03:28:36 ]
- 超準解析での1=0.999…の証明と1≠0.999…の証明は？
- 894 名前：１３２人目の素数さん mailto:sage [2007/01/19(金) 09:32:24 ]
- >>892
0.000…=1/ωというのは正しいの？
おれは0.000…=1/（ω^2,…,ω^ω,…）だと思うが。
そうすると、超現実数上でのε-δ 論法のようなものを使って、
0.000…=0を示すことができるはずだね。
- 895 名前：１３２人目の素数さん mailto:sage [2007/01/19(金) 13:18:42 ]
- 感覚的な話になるけど、超現実数で得られる無限小は
0.000…01 (ω桁目で止まる)
0.000…00…001 (ω^ω桁で止まる)
みたいな感じになるのでは？そうすると、
0.000… (止まらない)
という数については やはり0.000…＝0が成り立ってしまうとか。
- 896 名前：１３２人目の素数さん [2007/01/19(金) 17:34:09 ]
- 1=0.9999999999・・・ です。
- 897 名前：１３２人目の素数さん mailto:sage [2007/01/19(金) 17:37:05 ]
- >>886乙
でも大小の定義多分間違ってる
0≦0⇔(φ,φ)≦(φ,φ)⇔¬(φ≧(φ,φ))∧¬((φ,φ)≧φ)⇔¬(x∈φ⇒x≧(φ,φ))∧¬((φ,φ)≧φ)
x∈φ⇒x≧(φ,φ)は真だから0≦0が偽になる？（？）
- 898 名前：１３２人目の素数さん mailto:sage [2007/01/19(金) 20:51:22 ]
- 超現実数では、
(10*10*10*・・・)*(0.1*0.1*0.1*･･･)の答えはどうなるのさ？
- 899 名前：１３２人目の素数さん mailto:sage [2007/01/19(金) 20:54:52 ]
- 10*10*10*・・・ なんて続くのは現実数じゃない。
よって命題偽。
- 900 名前：1−0.9dot＝0 mailto:sage [2007/01/19(金) 22:14:04 ]
- ところで、超限実数と超現実数は別々ですか？
>>886-892
乙。
付いて逝けとらんが、メモしますた。
- 901 名前：886 mailto:sage [2007/01/20(土) 01:09:31 ]
- >>894
>0.000…=1/ωというのは正しいの？
正しいです。1/ωを小数表示すれば0.000…だから。
ただし、ここではω段階までを前提にしているから任意有限桁以外扱わないということが影響しています。
その先まで考えれば無限桁を扱うか小数表示を諦めるかになると思いますが超現実数で無限桁の数学的な厳密な定義が出来るとは思えないので、
出来ると思うならまずは示してみてください。話はそれからです。自分は後者、つまり、小数表示はこの先は諦めるべきだと思います。
>>897
確認したら定義は正しかったのですが、確かに書いてある通りな気が。ｳﾑﾑ...
今頭が死んだ状態なのでゆっくり眠ってからよく考え直してみます。
>>898
極限操作を定義するのが先では？
>>900
超限順序数と超現実数なら似てはいますが別です。
例えば前者にはないω-1やω/2が超現実数では定義されます。
また、前者ではω+1≠1+ω=ω,ω2≠2ω=ωですが、
後者ではω+1=1+ω,ω2=2ωです。
- 902 名前：1−0.9dot＝0 mailto:sage [2007/01/20(土) 04:51:19 ]
- thx!!
しかし流石は数学、早々と分数表示に絞っている。
- 903 名前：１３２人目の素数さん mailto:sage [2007/01/24(水) 22:45:41 ]
- 誰かここの奴らに説教してやってくれ↓
pya.cc/pyaimg/pimg.php?imgid=37550
- 904 名前：1−0.9dot＝0 mailto:sage [2007/01/25(木) 22:13:28 ]
- >>903
携帯房の私には書き込めません!!
ここへの誘導とテンプレの掲示
とConway流の提示(>>278-281)、1≠0.9dotなる超現実数体の公理系の構築(>>886-892)
と更に下の文を掲示したかった。
文
さて 未だにに1−0.9dot＝0を認められん人はおるんだろうか？
【∵ 空集合[empty]をφ、無限小[infinitesimal]をεとすると、φ∈0且つε∈0】
まさか…
1−0.9dot≠φというなら分かるが
更に(1−0.9dot≠φ)＆(1−0.9dot≠ε)という人までいたりして…。
- 905 名前：1−0.9dot＝0 mailto:sage [2007/01/26(金) 04:44:30 ]
- ありゃ？>>904手落ち、補追。
>>845&>>849
と>>904中>>886-892に>>894-902
と下の文を追加。
文
>>895
空集合[empty]をφ、無限小[infinitesimal]をεとすると、φ∈0且つε∈0
─の為、1−0.9dot＝0でおｋ!!
- 906 名前：１３２人目の素数さん mailto:sage [2007/01/26(金) 08:16:38 ]
- ところで1=0.999999999999・・・じゃないって言う人は
(9/10)+(9/100)+(9/1000)+・・・
つまり9/(10^n)の級数の∞の極限は1じゃないって思ってるの？
それともこの極限と0.999999999・・・は違うって主張してるの？
- 907 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 03:21:09 ]
- ってかWikiの0.999...の項なんだけど
収束定理で|r|<1ならば0.999..=1とやってるけど、これって矛盾してない？
工学系の人間なんで詳しくないんだけど的外れ?
ttp://ja.wikipedia.org/wiki/0.999...%E3%81%8C1%E3%81%AB%E7%AD%89%E3%81%97%E3%81%84%E3%81%93%E3%81%A8%E3%81%AE%E8%A8%BC%E6%98%8E
- 908 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 04:13:12 ]
- ＞収束定理で|r|<1ならば0.999..=1とやってるけど、
「|r|<1ならば0.999..=1」などと主張している部分はどこにも見当たらない。正確に抜粋してくれ。
- 909 名前：1−0.9dot＝0 mailto:sage [2007/01/28(日) 13:33:17 ]
- >>907
>>908が慎重に受けているが
極限を思い出すべし
といってみるテスト。
儂が見てみようにも
携帯房なのでそれ、読めんし。
- 910 名前：１３２人目の素数さん [2007/01/28(日) 15:37:33 ]
- ＞ 超現実数で得られる無限小は
0.000…01 (ω桁目で止まる)
0.000…00…001 (ω^ω桁で止まる)
みたいな感じになるのでは？
─1*10^(ｰω)、無限小
に1*^10(ｰω^ω)、更に高位の無限小
＞ そうすると、
0.000… (止まらない)
という数については やはり0.000…＝0が成り立ってしまうとか。
─そんな数は…仮に考えると
桁数は 空集合(以下:=φ)の逆数集合 と(勝手に)考える。
つまり1*10^(1/φ)となって
ゲーデル的決定不能性と言うまでもなく
#DIV/0!的不能。
結局、lim[x→φ]xとだけしか言い切れず終いになると思う。
つまり1−0.9dotはφか否かとなると
分かり得ない となるんと違うか。
無限小の逆数を∞となるとする事＋更にまた一つ訳が違う事情。
- 911 名前：05001014289445_me mailto:sage [2007/01/28(日) 15:42:20 ]
- >>910
- 912 名前：1−0.9dot＝0 mailto:sage [2007/01/28(日) 15:48:34 ]
- >>910を書き直し。ちゃんと>>911の節穴さんで消えてますか？
本題へ。
>>895
＞ 超現実数で得られる無限小は
0.000…01 (ω桁目で止まる)
0.000…00…001 (ω^ω桁で止まる)
みたいな感じになるのでは？
─1*10^(ｰω)、無限小
に1*^10(ｰω^ω)、更に高位の無限小
＞ そうすると、
0.000… (止まらない)
という数については やはり0.000…＝0が成り立ってしまうとか。
─そんな数は…仮に考えると
桁数は 空集合(以下:=φ)の逆数集合 と(勝手に)考える。
つまり1*10^(1/φ)となって
ゲーデル的決定不能性と言うまでもなく
#DIV/0!的不能。
結局、lim[x→φ]xとだけしか言い切れず終いになると思う。
つまり1−0.9dotはφか否かとなると
分かり得ない となるんと違うか。
無限小の逆数を∞となるとする事 ＋ 更にまた一つ訳が違う事情。
…と考えてみるテスト。
- 913 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 16:02:15 ]
- 0.999・・・=1を収束で証明すると1は収束値となる
すると0.000・・・=0もまた収束値である
よって1/0は±∞
- 914 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 16:30:05 ]
- >0.000…01 (ω桁目で止まる)
>0.000…00…001 (ω^ω桁で止まる)
>みたいな感じになるのでは？
みたいなどと感覚で言われても数学にはならないから。
ちゃんと定義してみたら？
- 915 名前：1−0.9dot＝0 mailto:sage [2007/01/28(日) 18:03:21 ]
- >>914
だから>>912では>>895氏のレスを意訳した上でレスしたわけだがのう。
儂も素人だからのう。
少数点第ω位以外0で当の桁が1の数と
少数点第ω^ω位以外0で当の桁が1の数。
- 916 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 18:12:07 ]
- 全然定義になっていない。
具体的な数に対してどう小数展開を求めるの？
ω桁のみが1で他は0の数の10倍はいくつ？
せめてこれぐらいは具体的に答えてくれ。
- 917 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 18:14:00 ]
- ＞桁数は 空集合(以下:=φ)の逆数集合 と(勝手に)考える。
逆数集合って何？厳密な定義ヨロシク
- 918 名前：PCで1−0.9dot＝0 mailto:sage [2007/01/28(日) 20:32:16 ]
- ああ！！>>910が消えてない！！あの話は釣りかwww
>>916-917
あ。えーと10ω＝ω10＝ω…
駄目だこりゃあー。
逆数集合も……
- 919 名前：１３２人目の素数さん mailto:sage [2007/01/28(日) 21:36:22 ]
- >>918
それで？逆数集合って何？厳密な定義ヨロシク。
- 920 名前：１３２人目の素数さん mailto:sage [2007/01/29(月) 10:20:31 ]
- >>886
乙。しかしなんか怪しい。
ｎ段階に到達して初めてｎという数が定義されている。
もっと具体的に言うと、超現実数ωはω段階にならなければ作ることはできない。
どんなにｎ回（有限回）繰り返しても超現実数ωという数を作ることはできない
と思うがいかがでしょう？
- 921 名前：１３２人目の素数さん mailto:sage [2007/01/29(月) 13:34:54 ]
- >>920
帰納法は前提になるだろうね。超限の方の。
実数は連続体濃度なので有限回で出来たら不思議だし。
|
 |
