問1
β-α=γ, c_{n}=b_{n}-a_{n}>=0
とおく。このとき、c_{n}はnが無限大に発散する時、γに収束する。
ここで、γが負である
と仮定すると、-γは正となる。
よってある自然数n_{0}が存在して、この自然数より大きいすべての自然数nに対して|c_{n}-γ|<-γとなる。
すなわち、
c_{n}-γ<-γ,c_{n}<0
となる。これは、c_{n}>=0
という仮定に反する。よって矛盾。
ゆえに、β-α=γ>=0となる。
(証明終)
問2
問題の仮定より、任意の自然数n、任意の実数ε(>0)に対して、ある自然数n_{0}が存在して、n>n_{0}ならば、|a_{n}-α|<εとなる。
ここで、よってn>=n_{0}ならば、
となる。さらに、ある自然数n_{1}が存在して、n>n_{1}ならば、
a_{n}>α/2
となる。よってN=max{n_{0},n_{1}}とすれば、n>Nのとき、
よって、
となる。(εのとりかたを工夫すれば、①はもっとすっきりとした結果になるけど省略。)
(証明終)
しばらくε、δによる極限の厳密な証明から離れていたので慣れるまで少し時間がかかりそう。焦らずのんびり楽しみながら進める!
0 コメント:
コメントを投稿