266:132人目の素数さん 2009/03/13(金) 00:26:55
オッケー｡
では辞書的順序判定の真偽判定に委ねてみよう｡
A=a0.a1a2a3…
と
B=b0.b1b2b3…
の大小判定をしたい｡
普通の感覚で言えば、ak>bk なる最大の k が見つかれば､
a0.a1a2a3… > b0.b1b2b3…
と言えそうだ。A=1.000…とB=0.999…に関して A>B が即座に言える｡
しかし実数体元としての A, B は A=B となるはず｡
その矛盾はどこに起因する？
やっぱ辞書的順序判定と実数体の順序判定の判定基準の違いからくる矛盾？

268:132人目の素数さん 2009/03/13(金) 02:16:39 [sage]
>> 266
>> 10（この今回のスレで言う>>6)

269:132人目の素数さん 2009/03/15(日) 11:44:51 [sage]
>> 266
実数体では　1＝1.000…＝0.999… で３つとも同じもの｡

270:132人目の素数さん 2009/03/15(日) 11:51:43 [sage]
>> 266
辞書的順序判定は１つの実数を辞書の1ページに載せると考えることと同じ｡
つまり辞書はあくまで離散的であるから、実数の順序判定はできない｡