• ベストアンサー

部分列の収束性

こんばんは。「数列があって、それの収束する任意の部分列が同じ極限に収束するならば、その数列自身がその極限に収束する。ということを証明せよという問題です。 もしその数列がコーシー列であればその部分列がそのコーシー列と同じ値に収束するというのは証明したのですが、この問題では数列があってとだけ言ってます。コーシー列ならば、εーN法で行けるのですが、この場合どうやって証明すればいいのでしょうか?どなたか分かる方、証明宜しくお願いします。

  • kotie
  • お礼率19% (19/96)

質問者が選んだベストアンサー

  • ベストアンサー
  • kabaokaba
  • ベストアンサー率51% (724/1416)
回答No.1

反例 an = n (nが偶数) an = 1 (nが奇数) つまり 1 2 1 4 1 6 1 8 ... という数列. 収束する部分列は ...,1,1,1, .... のみでこれは1に収束. けどもとの数列は収束しない. 問題が 「それの収束する任意の部分列が同じ極限に収束するならば」 ではなくて 「それの任意の部分列が同じ極限に収束するならば」かな こうだと仮定すると「収束しない」の定義を利用して 「同じ極限に収束しない部分列」を構成できるので 証明できます. #「収束しない」をεNで書けますか? ========= コーシー列ならば収束する(実数の完備性)ので コーシー列であると仮定した段階で,収束することを 仮定しているので,示すものが「逆」になっています. 収束する数列の部分列は収束するのです.

kotie
質問者

お礼

返事遅れてすいません。結局反例を作って収束しないことを証明しました。どうもありがとうございました。

その他の回答 (2)

  • koko_u_
  • ベストアンサー率18% (459/2509)
回答No.3

>問題が >「それの収束する任意の部分列が同じ極限に収束するならば」 >ではなくて >「それの任意の部分列が同じ極限に収束するならば」かな や。それだと {a_n} 自身が {a_n} の部分列だから 意味のない命題になってしまうと思うよ。

  • ninigi
  • ベストアンサー率43% (10/23)
回答No.2

  No1氏の言うように無条件では成り立ちませんね。 数列に「有界である」とか条件はついてませんか?   もし有界であるという条件がつくのなら、この数列は集積点をひとつしか持たない事から収束する事が示せます。  

関連するQ&A

  • 数列の収束について

    コーシー列である数列{(n,1/n)}と{(n,1/n^2)}が0に収束することを証明せよという問題です。どちらも定義 任意の(どんな小さな)ε>0に対して(でも)、     | an -α|<ε/2 (n≧N )                を満たす自然数Nが存在する。 を使って証明しようと思ったのですが、anに1/nと1/n^2を、αに0を入れてから先にいけません。どなたか詳しい方なるべく詳しく教えてください。宜しくお願いします。    

  • 数列の収束に関する「コーシーの収束判定基準」を正確に述べよ。

    数列の収束に関する「コーシーの収束判定基準」を正確に述べよ。 次に、フィボナッチ数列の隣接する2項の比が黄金比に収束することを証明せよ。 証明の方針として、まず、「コーシーの収束判定基準」に照らして収束性を明らかにし、しかる後に極限値が黄金比であることを示せ。

  • 収束列の部分列について

    はじめて質問させていただきます。 学校で位相幾何学を学んでいるのですが、なぜ収束列の部分列が同じ値に収束するのかがどうしても分かりません。 感覚的には分かるのですが、証明しろと言われると何をどうしていいのかさっぱり分からなくなってしまいます。 よろしくお願いします。

  • コーシー列

    あるサイトでコーシー列であることと数列が収束するということは必要十分条件であるとあったのですが、ということは数列が収束するならばコーシー列であり、コーシー列ならば収束するということですか?つまりはコーシー列であることと数列が収束することは同じであるということになるのでしょうか?

  • 関数列の一様収束

    以下の関数列の一様収束の問題を、極限を出してεーδ論法で一様収束だろうと結論が出たのですが、本当にそうなのか分からないので、教えてください。 問題: [0,1]上で、関数列f_n(x)=(x+n)/(2n+x) (n=1,2,3・・・)の一様収束か調べよ。

  • 数列とその部分数列の収束の証明

    ----- ----- 数列{an}がaに収束するとき、その部分数列{an(j)}がすべてaに収束することを示せ。 ----- ----- 様々な書籍を参考にしてみたのですが、 ----- 任意の部分列 {an(j)}が、その n0 より大きな添え字の項以降(nk>n0 となる k が存在して、k<j)で|anj-a|<ε ----- 上を示そうにも手こずり困っています。 部分列 {n(j)}が、自然数の単調増加列であることは解るのですが…。 大まかな道筋をお願いします

  • 数列の収束と極限の問題

    数列の収束と極限の問題 はじめまして。最近数学を少し勉強し始めた者です。 頭の出来が良くない故、また独学故に多く質問させて貰うかもしれませんがよろしくお願いします。 a[1] = root(2), a[n+1] = root(2a[n])で定義される数列{a[n]}が収束することを証明し、極限値lim a[n] を求めよという問題なのですが、分かりません。 収束は、ダランベールの判定法を使おうと思い、lim a[n+1]/a[n] = lim root(2a[n])/a[n] = lim root(2/a[n]) まで求めたのですが、これが1より小さいことが分かりません。 極限値のほうは全然です。 どなたかご助言お願いします。

  • コーシー列についての問を教えてください

    問                                                             数列{an}が、コーシー列ならば、数列{an}が収束することを示せ。(※有界な実数列は常に収束する部分列をもつことを用いていい)  

  • 収束

    「収束する数列の部分列は収束する」 というのは、意味としてはわかるのですが、 具体的にどのように証明すればよいのでしょうか?

  • 一様収束の意味でのコーシー列

    「一様収束の意味でコーシー列になる」とはどういうことですか? 関数列{fε(x)}(ε>0)について0<n<εのとき | fε(x)-fn(x) |<Mε (Mはxに無関係な定数) が成り立つとする。 このとき{fε(x)}(ε>0)はε→0で一様収束の意味でコーシー列になる とテキストに記述がありました。 これはどういうことですか? ε→0で一様収束の意味でコーシー列になるとはどういうことなのでしょうか。 εδ論法を使った厳密な意味が知りたいです。 どなたか解説をお願い致します。。。