2016年10月5日水曜日

My Favorite Song:星色夜空

My Favorite Song:星色夜空


愛しき夜道



ヒトリシズカ


My Favorite Song:少女さとりのさとりったー

My Favorite Song:少女さとりのさとりったー




第6回 集積値とワイエルシュトラスの定理

第6回 集積値とワイエルシュトラスの定理


§1 集積値
一般項が
である数列を考える。
で、この部分列
を考えると、これは、それぞれ、+1 と –1 に収束する。
この +1 や –1 のような点を数列の集積値という。

集積値の定義
数列のある部分列がa に収束するならば、このa を数列の集積値という。

問 次の数列の集積値は何か。幾つあか。

集積値の定義は次のように言い換えてもいい。

集積値の定義’
a のどのような近傍にも、数列の項が無限に多く存在するとき、このa を数列の集積値という。

aの近傍というのは、ε > 0 とすると、開区間 (a–ε, a + ε) のことだと思って欲しい。
そして、上の定義は、どのような正の数εをとっても、数列の項がa–ε < x < a+ε の間に無数あるということ主張している。
問の(2)の場合だと、集積値は1 0 だが、a = 1 の近傍には、εをどれだけ小さくとっても、
の項が無数に存在する。
同様に、a = 0 の近傍にもの項が無数に存在する。
たとえば、
とすると、0の近傍には
に等しい項が無数に存在する。

§2 ワイエルシュトラスの定理

定理8 (ワイエルシュトラスの定理)
有界な数列には少なくとも一つ集積値が存在する。
【証明】
有界だから
を満たす正の実数Kが存在する。
つまり、
閉区間[ –K, K] を二等分して、[–K, 0] [0, K] という閉区間を作ると、 このどちらかにの無数の項がある。
かりに[0, K] にあるとして、
として、これをまた二等分する。すると[0,K/2] [K/2, K] になって、このどちらかにの無数の項が存在する。
仮に[K/2, K]に無数の項があるとすると、
として、これをまた二等分する。
こうした操作を繰り返してゆくと、
という閉区間の減少列が得られる。
すると、
になる。
区間縮小法の原理から、これら閉区間すべてに共通に含まれる一つの数a が存在する。
それで、
のなかに含まれる数列の項の中で最も番号が若い奴をに含まれる数列の中で最も番号が若い奴をといった具合に、この操作をと無限に繰り返す。
すると、
というの部分列が得られて、①と②より、a に収束する(※)。
したがって、
a
の集積値である。
(証明終了)


どして、ワイエルシュトラスの定理を証明したかというと、次回にこの定理を使って、コーシーの収束条件を証明したから。

本によっては、

定理8’ (ワイエルシュトラス・ボルツァノの定理)
有界数列は収束する部分列をもつ。
となっていると思うけれど、定理8を言い換えただけで、同じもの。

(※)
で、区間の幅がだから

2016年10月3日月曜日

My Favorite Song:EastNewSound - ENG Dream

My Favorite Song:EastNewSound - ENG Dream




 【 SOUND HOLIC × エネルギー黎明 ~ Future Dream 】 − SPARKIN' −




第5回 数列の発散

第5回 数列の発散


数列が収束しないとき、数列は発散するという。

数列aに収束する、すなわち、
をより厳密に定義すると、
となる。
したがって、この否定は
となり、これが数列の発散の定義になる。

これを日本語に翻訳すると、次のようになる。
任意の実数 a に対し、ある正の数εが存在して、任意の自然数mに対して、m 以上のある自然数n が存在して、
となる。

の定義は、
論理式で書くと
あるいは
である。

これを、日本語(翻訳数学語?)にすると

任意の実数 K に対し、ある自然数 m が存在して、n ≧ m ならば
となる。

の場合は、で定義すればいい。

なのですが、この定義は難しいので、高校数学の発散の分類を紹介することにする。

(1)が正で限りなく増大する場合
(2)が負で、その絶対値が限りなく増大する場合
(3)このいずれにも属しない場合 は不確定
(1)の場合、正の無限大に発散するといい、(2)の場合、負の無限大に発散するという。
そして、
(3)の場合、数列振動するという。

こちらの方がわかりやすいのではないか。

正の無限大に発散する例としては、
振動する例としては、
などがある。


紹介したくないのだけれど、数列の収束、発散の判定に便利なので、次の定理を紹介することにする。

定理
ならば

ちなみに、b は有限の値。

どれもほとんど明らかなので証明しないけれど、たとえば
この一般項で与えられる数列が収束するかどうかの判定は、
として、
だから、
とすればよい。