Yahooウォッチャー１３

http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1835554&tid=a5ha5ta5ca5afa4ribe2aa49a4ka5ha5ta5ca5af&sid=1835554&mid=39
どっかで見たことある論だと思ったら前スレにあった。966は図星か（笑）

963 ：１３２人目の素数さん ：03/05/17 11:14
>>962

今井の実数定義の真の問題点は、
１．区間縮小法の条件が抜けている
２．区間縮小法とコーシー列条件は同値であるのに
　それを示すことができずに両方盛り込んだこと」
にある。

つまり　任意の自然数ｎについて
ａ[ｎ]＜ａ[ｎ＋１]＜ｂ[ｎ＋１]＜ｂ[ｎ］
となるような数列であれば
（これが今井には気づけなかった条件（実に簡単！））
lim(ａｎ−ｂｎ) → ０
をいうだけでＯＫなのである。

964 ：１３２人目の素数さん ：03/05/17 11:27
>>963

さて、任意の自然数ｎについて
ａ[ｎ]＜ａ[ｎ＋１]＜ｂ[ｎ＋１]＜ｂ[ｎ］
となるような数列について、
ａ[ｎ]＜ｃ［ｎ］＜ｂ［ｎ］
なる数列ｃをとれば、これがコーシー列になることは
いくら今井やepitalでもわかるだろう。

では逆にコーシー列なら適当な縮小区間が取れることは示せるか？
今井はまあ無理だろうが、epitalには出来るかな？（笑
すくなくともこれが出来たらヲチコボレの称号は返上できるぞ

964 ：１３２人目の素数さん ：03/05/17 11:27
>>963

さて、任意の自然数ｎについて
ａ[ｎ]＜ａ[ｎ＋１]＜ｂ[ｎ＋１]＜ｂ[ｎ］
となるような数列について、
ａ[ｎ]＜ｃ［ｎ］＜ｂ［ｎ］
なる数列ｃをとれば、これがコーシー列になることは
いくら今井やepitalでもわかるだろう。

では逆にコーシー列なら適当な縮小区間が取れることは示せるか？
今井はまあ無理だろうが、epitalには出来るかな？（笑
すくなくともこれが出来たらヲチコボレの称号は返上できるぞ


965 ：１３２人目の素数さん ：03/05/17 11:30
>>964

補記：
もちろんlim(ａｎ−ｂｎ) → ０の条件は満たすものとする。


966 ：１３２人目の素数さん ：03/05/17 16:17
ここでエピタルと通信しているつもりの人は、umaizojpか何か？


968 ：１３２人目の素数さん ：03/05/17 17:00
>>966

まともな数学の話ができない君はつまらない。