ε-N論法について、
ε-N論法について、
任意のε>0についてある自然数Nが存在して、n,m>Nのとき
|Am-An|<ε
を満たすならば、数列{An}は収束する(コーシーの収束判定条件)
ということを証明するときに、
Anは有界→収束部分列をもつ
という方針で証明するのですけど、
有界性を証明するとき、
m>Nでmを固定しAmを定数化して
|Am-An|<ε⇔Am-ε<An<Am+ε
M=max{ |A1|,…,|AN|,|Am-ε|,|Am+ε| }とおくと
|An|≦M
より有界性は示された・・・
って感じで証明したんですけど、実際、mを固定してAmを定数化したとき
Am=α とでもおいとくとすると
「∀ε>0、∃N、 s.t, ∀n>N ⇒|α-An|<ε」
が成り立つから即座にAnは収束する、ということが言えるのでしょうか?
またそもそもmを固定することは可能なんでしょうか?
お礼
回答ありがとうございます。 > なので、上のmとKを使って、ε= 1/Kとすると、 > 0≦|1/an| = 1/an < 1/K = ε この部分が思い付かずに詰まっていました。 大変助かりました。ありがとうございました!