• ベストアンサー

コーシー列

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

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

  • ベストアンサー
回答No.1

考えている集合によりますが「収束列ならばコーシー列」というのは常に正しいです。ただ逆は常には正しくはありません。たとえば有理数全体を例にとれば√2(これは有理数の集合には属さないことに注意してください)に収束する有理数の列が取れるわけですが、実数全体の集合における点列とみたときそれは収束列(√2が収束先)なのでコーシー列で有理数全体の中の列としてみても当然コーシー列です。しかしその収束先は√2で有理数の集合からはみ出しています。これは有理数の集合における点列とみたときには収束列ではないということです。このように収束列という概念はどの集合における点列とみているかによって異なってくるということが分かります。ちなみにある集合がその元からなるコーシー列が常に(その集合のある元に)収束するという条件を持った集合を完備であると言います。そのような集合の典型的なものは実数全体、整数全体などです。

その他の回答 (1)

回答No.2

ちなみに、√2に収束する有理数の列としては、こういうのがあります。 a(1) = 2 a(n + 1) = (a(n) + 2/a(n))/2 すべての項は有理数ですが、有理数に収束先はありません。

関連するQ&A

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

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

  • コーシー列

    こんにちは。 有理数の数列S1, S2 がそれぞれ有理数a,bに収束して、a=bと仮定する時S1とS2が同値である事を証明せよ、 そしてS1とS2が同値である時もa=bが言えることも証明せよ。 という問題なのですが、一見するとコーシー列の定義|S1-a| <ε に当てはめて、aとbを入れ替えたら、S1はbに収束して同様にS2はaに収束するようになるからS1とS2は同じ数列と言えるとわかるのですが、これをきちんと証明するにはどういう風に書けばいいでしょうか?両方の場合について教えてください。詳しく書いていただけると大変助かります。宜しくお願いします。

  • 部分列の収束性

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

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

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

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

    等比数列{1/2}ⁿはコーシー列であることを定義にしたがって示せ。(n=1、2・・・)

  • トリボナッチ数列とコーシー列

    トリボナッチ数列{F_(n)}の隣接する二項の比a_(n)が収束することをコーシー列を絡めて証明する方法を教えて下さい 大学初等数学を勉強している際、コーシー列で証明できるという事を書いてある本を数冊見つけましたが具体的な証明方法を載せている本を見つけることはできませんでした また、教授に聞いても簡単、コーシー列で証明できる程度のことしか聞くことができず、また、検索しても証明方法を見つけることができませんでした この範囲のテストも終わりゆっくり考える時間を取れるようになりましたが三週間考えてもわかりません ご協力をお願いします ただし トリボナッチ数列 F_n=F_(n-1)+F_(n-2)+F_(n-3) 二項間の比 a_n=F_(n+1)/F_(n) としていただけると幸いです

  • コーシー列

    Q(有理数全体の集合)の2つのコーシー列{an},{bn}について、    (1){an+bn}はQの中のコーシー列であることを証明せよ。  (2){an-bn}はQの中のコーシー列であることを証明せよ。 この問題の解き方がわかりません。 『{an-bn}がコーシー列』⇔m>n,lim[n→∞]{(am-bm)-(an-bn)}=0 ⇔m>n,lim[n→∞]{(am-an)-(bm-bn)}=0 m>n,lim[n→∞](am-an)、lim[n→∞](bm-bn)は共に収束するので、 limの分配ができて 以下、続きを教えてください。

  • コーシー列の定理についての証明

    お世話になります。 同値の定義を『2つのコーシー列{an},{bn}について与えられたrに対して、|am - bn| <1/r m.n>NになるようなNが存在する時、{an},{bn}は同値でありA二重波線Bと表すことが出来る。』とする時、 定理;Sが有理数のコーシー列で、しかもSが数列{(n,0)}と同値ではない時 1,0よりも大きい正の整数rが存在し、すべてのnについて 、SはTと同値で、tn>= 1/r もしくはtn<= -1/rを満たす、有理数のコーシー列 T={(n,tn)}が存在する。 2,上のtnについて、{(n,1/tn)}はコーシー列である。 1を証明しようとしたのですが、SがTと同値になるのは分かるのですが、どうやって、tn>= 1/r もしくはtn<= -1/rであることを証明すればいいのか分かりません。 2に関しては数列{(n,1/n)}が0に収束するを使いたかったのですが、どうやって書けば良いのか分かりません。 なるべくわかりやすく教えてください。宜しくお願いします。

  • コーシー列の証明

     数列 ( n+1 n )^∞ n=1 がコーシー列であることを示しなさいという問題が解けません。  当方、文系なのですが、分かりやすく証明していただける方いれば、よろしくお願いいたします。

  • コーシー列 同値

    コーシ列の問題 コーシ列の問題 コーシー列についての質問です。 数列{an}[∞,n=1]をQ(有理数)の中のコーシー列とする。 bn=an+1/3n(n=1,2,…)とするとき、次の問題に答えよ。 (1)数列{bn}[∞,n=1]はQの中のコーシー列であることを証明せよ。 (2){an}[∞,n=1]~{bn}[∞,n=1](同値)であることを証明せよ。 教えてください。 (1)は |bmーbn| = ・・・ ≦|amーan|+|1/3mー1/3n| =e みたいな流れで証明したのですが、 (2) 反射律 対称律 推移律 を用いて照明するのらしいのですが、 良く分かりません。