epitalは大学教養数学のヲチコボレだから、
プライドを保つのに今井を叩いてる。
>>962 今井の実数定義の真の問題点は、
1.区間縮小法の条件が抜けている
2.区間縮小法とコーシー列条件は同値であるのに
それを示すことができずに両方盛り込んだこと」
にある。
つまり 任意の自然数nについて
a[n]<a[n+1]<b[n+1]<b[n]
となるような数列であれば
(これが今井には気づけなかった条件(実に簡単!))
lim(an−bn) → 0
をいうだけでOKなのである。
>>963 さて、任意の自然数nについて
a[n]<a[n+1]<b[n+1]<b[n]
となるような数列について、
a[n]<c[n]<b[n]
なる数列cをとれば、これがコーシー列になることは
いくら今井やepitalでもわかるだろう。
では逆にコーシー列なら適当な縮小区間が取れることは示せるか?
今井はまあ無理だろうが、epitalには出来るかな?(笑
すくなくともこれが出来たらヲチコボレの称号は返上できるぞ
>>964 補記:
もちろんlim(an−bn) → 0の条件は満たすものとする。