数列の極限の復習 [位相入門]
数列の極限の復習
自然数全体の集合Nから実数全体の集合Rへの写像
数列において、任意の正数εに対して、適当な自然数mを選ぶと、n>mのすべての自然数nについて、
となるとき、
であらわし、数列はαに収束するという。また、αを数列の極限値という。
定理1 (極限値の一意性)
【証明】
となる自然数m₁、m₂が存在する。
そこで、とおくと、n>mならば、三角不等式より、
εは任意の正数なので、α−β=0、すなわち、α=βとなる。
(証明終)
定理2 (数列の極限の公式)
【略証】
(1) c=0のときは明らか。
c≠0のとき、だから、任意の正数εに対して、ある自然数mが存在し、
よって、
(2) だから、任意のε>0に対して、ある自然数m₁、m₂があって、
よって、とおくと、
(3) 任意のε>0に対し、
とすると、ある自然数mが存在して、
したがって、
(4) 任意のε>0に対して、
とおくと、ある自然数mが存在して、
となる。
このとき、
よって、
したがって、
ゆえに、(3)より
(略証終)
定理3 (ハサミ打ちの定理)
数列に対して、
が成り立ち、
とする。このとき
である。
【証明】
数列はαに収束するので、任意の正数εに対して、ある自然数m₁があって、
数列はαに収束するので、任意の正数εに対して、ある自然数m₁があって、
とおくと、n>mならば、
よって、
(証明終)
定理4 (数列の大小と極限)
数列は収束し、
が成り立つならば、
が成り立つ。
【証明】
とし、α>βと仮定する。
数列はαに収束するので、に対して、ある自然数m₁があって、n>m₁ならば、
数列はβに収束するので、に対して、ある自然数m₂があって、n>m₂ならば、
したがって、とおくと、n>mならば、
となり、矛盾する。
よって、α≦βである。
(証明終)
定理5 (収束する数列の有界性)
収束する数列は有界である。
【証明】
数列が実数αに収束するとすると、ε=1に対して、あるmが存在して、
である。
そこで、nによらない正の定数Mを
とおくと、
である。
また、n>mのときは、
よって、すべての自然数nについてが成り立つので、数列は有界である。
(証明終)
確認問題
問1 数列の極限の定義に、(1)、(2)、(3)、(4)のどの定義を採用してもよいことを示せ。
問2 数列が収束するとき、次の数列も収束することを示せ。
(ヒント)
問3 a>0、b>0とする。このとき、次の極限値を求めよ。
問4 のとき、次のことを示せ。
コメント 0