• 締切済み

コーシー列の証明

a_0とa_1がそれぞれ別の実数かつn≧2の場合 a_n+1 - a_n =((-1/2)^n)(a_1 - a_0)が成り立つ。 an=(a_n-1 + a_n-2)/2で定義される{a_n}がコーシー列であることを証明せよ。 結果だけでなく、用いた定義や公式など途中の過程もお願いします。

みんなの回答

noname#130496
noname#130496
回答No.1

コーシー列が何であるか分かったら、縮小列(contractive sequence)の性質の確認を。

関連するQ&A

  • コーシー列

    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の分配ができて 以下、続きを教えてください。

  • コーシー列の証明

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

  • コーシー列について、質問です。

    コーシー列について、質問です。 参考書やネットを参考に解答を作成しましたが、どなたか、修正および補足などをお願いします。 特に、(2)です。 問.{an}をQの中のコーシー列とする。bn=an+1/3n(n=1,2…)とおくとき、次の問いに答えよ。 (1)「 {bn} はQの中のコーシー列であることを証明せよ。」 (1) m>nとします。 a_nはコーシー列なので m,n→∞のとき |b_m-b_n| =|{a_m+1/(3m)}-{a_n+1/(3n)}| ≦|a_m-a_n|+(1/3)|(m-n)/mn| =|a_m-a_n|+(1/3)|{1-n/m}/n|→0 となるのでb_nはコーシー列です。 1/(3n)は有理数なので、a_nが有理数ならばb_nも、b_n=a_n+1/(3n)より有理数である。 よってb_nもQの中のコーシー列である。 (2) 「{an} ~ {bn} (同値)を証明せよ。」 ※コーシー列{an}n=1~∞を単に {an} と表記 {an}n=1~∞ ~ {bn}n=1~∞ を示すには、lim{n→∞}(an-bn)=0を示せばいい。 ∀ε>0に対して、n≧1/3([1/ε]+1) ならば、 |(an-bn)-0|=|an-bn|=|an+1/{3n}-an|=|1/{3n}|=1/3*1/n≦1/3*3([1/ε]+1)<1/{1/ε}=εだから、 lim{n→∞}(an-bn)=0となります。 よって、 {an} ~ {bn} (同値)が証明された。

  • コーシー列の問題です。

    コーシー列の問題です。 P_0をR^2の一点とし、点列{P_n;n=0,1,2...}を P_(n+1)=f(P_n),n=0,1,2... ノルムに関して||f(P)-f(Q)||≦||P-Q||は成立している。 このとき、この点列P_nはコーシー列であることを示したいのですが、 コーシー列を示すには、n,m→∞にして示すのは分かっているのですが、 この問題に関しては、 ||f(P_m)-f(P_n)||≦\\\≦||f(P_(m-n))-f(P_0)||なので、 n,m→0にして示すのですか? もしそうなら このときのコーシー列の定義式は何ですか? また実数の距離空間が完備のは、連続かつ有界という理由からですか? よろしくお願いします。

  • コーシー列での証明の仕方は?

    [問]f(x)がRで連続、{a(n)}はコーシー列とする。f(a(n))はコーシー列になる事を示せ。 という問題なのですがこれはどうやって解けばいいのでしょうか? コーシー列とは 0<∀ε∈R,∃k∈N;k<m,n⇒|a(m)-a(n)|<ε となる数列の事です。

  • 実数とコーシー列

    実数aを有理数のコーシー列anの同値類とし、a=[{an}]と表記しそれが言える時、|a|=[{|an|}]が言えるかいえないかという問題ですが、a=[{an}]が与えられてるので当たり前の様に言えると思うのですが、どうやって証明すれば良いか分かりません。 どなたか分かる方ヒントだけでも良いので教えてください。宜しくお願いします。

  • コーシー列

    {a_n},{b_n}がコーシー列であるとき{a_n±b_n},{a_n*b_n}もまたコーシー列であることを示せ。 ________________________________ 仮定より任意のε>0に対して、自然数Nが存在して、n,m≧N_1ならば|a_n-a_m|<εである。また任意のε>0に対して、自然数N_2が存在して、s,t≧N_2ならば|b_s-b_t|<εである。このさきの助言が欲しいです・・・・・

  • コーシー列上の同値関係

    (αn)、(Βn)∈C (αn)~(Βn)⇔lim n→∞(αnーΒn)=0で、 C={αn,n=1,2,3・・・|αn∈Q,n=1,2,3,・・・,コーシー列} (Cはコーシー列をすべて集めたものらしいです) と言う定義が与えられた上で、 ~はC上の同値関係であることを示せと言う問題が出ました。 ヒントとして、 (αn)も(Βn)も収束するときには lim n→∞(αn+Βn)=lim n→∞ αn+lim n→∞ Βnが成り立つ と言う定義が与えられたんですが, 頭ではなんとなくわかっていても証明するには どう書いたらいいかわからなかったので・・・ 重要なポイントが一つあるらしいのですが,それが何なのかは見当つかないです・・

  • コーシー列の証明(2)

    こちらの証明との連投で申し訳ありません。 http://okwave.jp/qa/q6626871.html Let x_i={0,1,2,3,4,5,6,7,8,9} for every i≧0. Define the sequence {Sn}=Σ(x_i)(10^-i), for some coice of a sequence{x_i}. Prove that Sn converge by proving that Sn is Cauchy. 数列Snがコーシー列であることを示すことによってSnが収束する事を証明したいのですがどうすればいいでしょうか?結果や結論だけでなく、途中の過程や考え方、定理・公式などもお願いします。

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

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