07/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
07/01/20 04:51:19
thx!!
しかし流石は数学、早々と分数表示に絞っている。
903:１３２人目の素数さん
07/01/24 22:45:41
誰かここの奴らに説教してやってくれ↓
URLﾘﾝｸ(pya.cc)
904:1－0.9dot＝0
07/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
07/01/26 04:44:30
ありゃ？>>904手落ち、補追。
>>845&>>849
と>>904中>>886-892に>>894-902
と下の文を追加。
文
>>895
空集合[empty]をφ、無限小[infinitesimal]をεとすると、φ∈0且つε∈0
─の為、1－0.9dot＝0でおｋ!!
906:１３２人目の素数さん
07/01/26 08:16:38
ところで1=0.999999999999・・・じゃないって言う人は
(9/10)+(9/100)+(9/1000)+・・・
つまり9/(10^n)の級数の∞の極限は1じゃないって思ってるの？
それともこの極限と0.999999999・・・は違うって主張してるの？
907:１３２人目の素数さん
07/01/28 03:21:09
ってかWikiの0.999...の項なんだけど
収束定理で|r|<1ならば0.999..=1とやってるけど、これって矛盾してない？
工学系の人間なんで詳しくないんだけど的外れ?
URLﾘﾝｸ(ja.wikipedia.org)
908:１３２人目の素数さん
07/01/28 04:13:12
＞収束定理で|r|<1ならば0.999..=1とやってるけど、
「|r|<1ならば0.999..=1」などと主張している部分はどこにも見当たらない。正確に抜粋してくれ。
909:1－0.9dot＝0
07/01/28 13:33:17
>>907
>>908が慎重に受けているが
極限を思い出すべし
といってみるテスト。
儂が見てみようにも
携帯房なのでそれ、読めんし。
910:１３２人目の素数さん
07/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
07/01/28 15:42:20
>>910
912:1－0.9dot＝0
07/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:１３２人目の素数さん
07/01/28 16:02:15
0.999・・・=1を収束で証明すると1は収束値となる
すると0.000・・・=0もまた収束値である
よって1/0は±∞
914:１３２人目の素数さん
07/01/28 16:30:05
>0.000…01 (ω桁目で止まる)
>0.000…00…001 (ω^ω桁で止まる)
>みたいな感じになるのでは？
みたいなどと感覚で言われても数学にはならないから。
ちゃんと定義してみたら？
915:1－0.9dot＝0
07/01/28 18:03:21
>>914
だから>>912では>>895氏のレスを意訳した上でレスしたわけだがのう。
儂も素人だからのう。
少数点第ω位以外0で当の桁が1の数と
少数点第ω^ω位以外0で当の桁が1の数。
916:１３２人目の素数さん
07/01/28 18:12:07
全然定義になっていない。
具体的な数に対してどう小数展開を求めるの？
ω桁のみが1で他は0の数の10倍はいくつ？
せめてこれぐらいは具体的に答えてくれ。
917:１３２人目の素数さん
07/01/28 18:14:00
＞桁数は 空集合(以下:=φ)の逆数集合 と(勝手に)考える。
逆数集合って何？厳密な定義ヨロシク
918:PCで1－0.9dot＝0
07/01/28 20:32:16
ああ！！>>910が消えてない！！あの話は釣りかwww
>>916-917
あ。えーと10ω＝ω10＝ω…
駄目だこりゃあー。
逆数集合も……
919:１３２人目の素数さん
07/01/28 21:36:22
>>918
それで？逆数集合って何？厳密な定義ヨロシク。
920:１３２人目の素数さん
07/01/29 10:20:31
>>886
乙。しかしなんか怪しい。
ｎ段階に到達して初めてｎという数が定義されている。
もっと具体的に言うと、超現実数ωはω段階にならなければ作ることはできない。
どんなにｎ回（有限回）繰り返しても超現実数ωという数を作ることはできない
と思うがいかがでしょう？
921:１３２人目の素数さん
07/01/29 13:34:54
>>920
帰納法は前提になるだろうね。超限の方の。
実数は連続体濃度なので有限回で出来たら不思議だし。