20/03/28 20:47:36 WA7Bn40i.net
>>741
> コーシー列を誤読しているよ
時枝記事の数列はコーシー列ではないんですよ
an = 0: 0, 0, 0, ... , 0, ...
an = 1/n: 1, 1/2, ... , 1/n, ...
これらが属する同値類をr(an = 0), r(an = 1/n)などと書くことにする
an = 0とan = 1/n (> 0)の数列の値の極限値はともに0であるが数列の値の極限値
は数当ての出題には使えない
箱の中の数字を1つに絞ることができないから
有限数列: 1, 1/2, ... , 1/kを数列の値の極限値が0であるような無限数列にする
sn: 1, 1/2, ... , 1/kをsn→0 (n→∞)となるようにすると
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ... など1つに絞れない
箱の中の数字を1つに絞るには無限数列が属する同値類を極限値として考えることになる
sn→r(an = 0) (n→∞)
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
sn→r(an = 1/n) (n→∞)
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
sn→r(an = 1/2n) (n→∞)
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ...
> 極限値 x を推定した上で |xn - x| を評価する必要がある。
無限数列が属する同値類を推定してその代表元rnに対して |sn - rn| を評価すると
s1-r1, s2-r2, ... , s(d-1)-r(d-1), 0, 0, ... , 0となるから収束する
つまり決定番号dが有限でd以降のsnとrnが全て一致するから収束する