[過去ﾛｸﾞ] 1=0.999… その14.999… (本スレ) (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
595(3): 2008/01/22(火)10:00 AAS
辞書式で比較するのは自由だが、不等号じゃない別の記号を使ってくれ
597: 2008/01/22(火)13:25 AAS
>>595
小数表示された数を、辞書式で大小比較(<,=)するなってことか？
それで人生通すなら、>>595でもよいが、辞書式を便利に使ってる人を
納得させるのは無理だろう。
>>596
>Rを(順序体として)真に含む順序体Kを1つ取り、正の無限小ε∈Kを1つ固定する。
その前にＲを真に含む*順序体*が存在することを示さないといけない。
省6
599: 2008/01/22(火)14:16 AAS
＞小数表示された数を、辞書式で大小比較(<,=)するなってことか？
横レスだが、>595は「≦じゃなくてρでも使え」と言っているのではないか？
あんた大丈夫？「二項関係」の項目くらい勉強してるよな？
608(1): 2008/01/22(火)18:46 AAS
>片方の順序は「≦」でなく別の記号(「≦’」がよく使われる)を使う。
そう言いたかったのなら理解した。しかしそれなら肝を知った上での
>>595でしょ。何をさせたかったのやら？
それより、本質的に訊きたいのだが、
「辞書式より、1>0.99999ではないのか」という疑問に対する返答は、
「形が違っても同じものはあるんだから同じだ。」で十分なのか？
それとも「その不等号は普通の不等号じゃない」とでもするのか？
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s