SSブログ

第20回 数列の極限とその定理 [ネコ騙し数学]

第20回 数列の極限とその定理

 

数列

自然数全体の集合をNで表す。すなわち、N={1, 2, 3, ・・・, n, ・・・}

自然数Nから実数Rへの写像実数列、または、数列といい、記号dai20-siki-015.pngあるいは単にdai20-siki-001.pngで表す。これは実数をと並べたものである。

 

数列の収束

数列dai20-siki-015.pngが次の条件を満たすときα∈Rが存在するとき、dai20-siki-001.pngα収束するという。

任意のε>0に対して、あるmが存在して、

である。

このとき、αを数列dai20-siki-001.png極限値といい、dai20-siki-002.pngあるいはと表す。

 

定理1 (数列の極限の一意性)

収束するdai20-siki-001.pngの極限値は1つである。

【証明】

dai20-siki-002.pngだから、任意のε>0に対して、ある正の整数m₁があって

  

また、

  

とすると、ある正の整数m₂があって

  

よって、m=max{m₁,m₂}とすると、任意のε>0に対して

  dai20-siki-008.png

となり、|α–β=0となり、α=β

よって、dai20-siki-001.pngの極限値は1つである。

(証明終)

 

 

定理2 (収束数列の有界性)

収束する数列dai20-siki-001.pngは有界である。

【証明】

dai20-siki-002.pngとする。

ある1つの値にε>0をとると、ある正の整数mがあって、n>mならば

  dai20-siki-016.png

である。

そこで、

  dai20-siki-017.png

の最大値をMとすると、

  dai20-siki-018.png

よって、収束する数列は有界である。

(証明終)

 

 

定理3 (数列の極限の大小)

数列は収束し、

  

であるならば、

 

である。

【証明】

dai20-siki-011.pngとし、α>βと仮定する。

任意のとおくと、より、ある正の整数m₁があって

  dai20-siki-010.png

より、ある正の整数m₂があって

  dai20-siki-009.png

よって、m=max{m₁,m₂}にとると、n>mならば

  

となり、に矛盾。

ゆえに、α≦βである。

(証明終)

 

 

定理4 (数列の極限の公式)

dai20-siki-011.pngλμを実数の定数とする。このとき、次が成り立つ。

  dai20-siki-006.png



定理5 (ハサミ打ちの定理)

すべての正の整数nについてで、かつ、ならば、

  

である。

【証明】

dai20-siki-002.pngより、任意のε>0に対して、ある正の整数m₁があって、n>m₁ならば

  

より、任意のε>0に対して、ある正の整数m₂があって、n>m₂ならば

  

また、だから、m=mas{m₁,m₂}にとると、

  dai20-siki-007.png

よって、である。

(証明終了)

 

 

定理6 (有界な単調数列の収束性)

dai20-siki-001.pngが単調増加数列かつ上に有界(単調減少数列かつ下に有界)ならばdai20-siki-001.pngは収束する。

【証明】

上に有界な単調増加数列の場合について証明する。

dai20-siki-001.pngは上に有界だから、上限αをもつ(実数の連続性)。

したがって、

  

で、かつ、任意のε>0に対して

  

であるmが存在する。

したがって、n>mならば

  

よって、

上に有界な単調増加数列dai20-siki-001.pngは収束し、極限値はαである。

下に有界な単調減少数列の場合も同様。

(証明終)

 

 

定理7

dai20-siki-005.pngとする。dai20-siki-013.pngならば、dai20-siki-014.pngは収束し、である。

【証明】

条件より、dai20-siki-001.pngは上に有界な単調増加数列、は下に有界な単調減少数列。よって、定理6より、dai20-siki-014.pngは収束する。

  

とおくと、定理3よりα≦β

よって

  dai20-siki-004.png

したがって、

  shineeeeee.png

で、dai20-siki-013.pngより、β–α =0となり、α=βである。

【証明終了】

 

 

定理8 (区間縮小法)

閉区間の列において

  dai20-siki-003.png

ならば、すべての閉区間に含まれる1点αが存在し、

  dai20-siki-012.png

である。

 


nice!(0)  コメント(0)  トラックバック(0) 

nice! 0

コメント 0

コメントを書く

お名前:
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。

トラックバック 0

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。