< (n - L + 1)/n * (1/2) epsilon 解析演習

このQ&Aのポイント
  • 解析演習本の独学中に、証明の途中でわからなくなった部分があります。
  • 特に、最後の不等式についての仮定や導出方法が理解できません。
  • どなたかヒントや説明を教えていただけると助かります。
回答を見る
  • ベストアンサー

< (n - L + 1)/n * (1/2) epsilon

解析演習という本を独学しているのですが、解説がわからないため質問いたします。 問題は以下のものです。 ----- lim{n to infinity} a_n = alphaのとき lim{n to infinity}(a_1 + a_2 + ... + a_n)/n = alpha を証明せよ。 ----- この問題の解説において、途中まで読み進めたのですが、分からない部分がでました。 以下は、解説の分からないところまでです。 ----- [解説(途中まで)] (a_1 + a_2 + ... + a_n)/n - alpha = {(a_1 - alpha) + (a_2 - alpha) + ... + (a_n - alpha)} / nであるから、lim a_n = 0と仮定してよい. 任意にepsilon > 0をとる。L<=nとなるとき、|a_n| < (1/2)epsilonが成り立つように整数Lを決め、L<=NをN<=nで、 |a_1 + a_2 + ... + a_{L-1}| / n < (1/2)epsilon となるようにとっておく。このとき、 |a_L + ... + a_n| / n <= (|a_L| + ... + |a_n|) / n < {(n - L + 1) / n} * (1/2)epsilon 最後の不等式の{(n - L + 1) / n} * (1/2)epsilon 以下というのがどこから導かれたのかさっぱりわかりません。お分かりの方は何らかのヒントをお願いいたします。

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

  • ベストアンサー
  • Ae610
  • ベストアンサー率25% (385/1500)
回答No.1

(a_1 + a_2 + ... + a_n)/n でn個ある分子のうち始めのL-1個までをひとかたまりにして (a_1 + a_2 + ... + a_[L-1])/nとすれば残りの(a_L + a_[L+1] + ... + a_n)/nにおける 分子の個数はn-(L-1)=n-L+1個になる。 各|a_n|<ε/2なるようにL(L≦n)をとっているから |a_L + a_[L+1] + ・・・ + a_n|/n <(|a_L| + |a_[L+1]| + ・・・ + |a_n|)/n <ε/2・(n-L+1)/n (ε/2が(n-L+1)個)

flex1101
質問者

お礼

ありがとうございます!

関連するQ&A

  • 数iii極限の問題

    nを自然数とする。lim(x→∞)[a]^n/[a^n]の極限値を求めよ。ただしa≧1 という問題ですが、aが整数でないとき、aの整数部分をAとおくと 0≦[a]^n/[a^n]≦A^n/(a^n-1)とはさみうちして、よって極限0としていましたが、なぜこのような不等式が成り立つのかを教えてください! 発想とかも教えてくれるとありがたいです。 お願いします。

  • y=x-[x]

    y=x-[x] の定義域をいえ。また、定義域における連続性をもとめよ という問題で解説には まず整数nについてn≦x<n+1とn-1≦x<nで、もとめてから 次に整数ではないa(n<a<n+1)について lim(x-b)=a-n とやっているのですが、なぜaの範囲がn<a<n+1なのですか。 そしてlim(x-b)=a-n となているのもよくわかりません、ガウス記号はどこへいってしまったのですか

  • lim[n→∞](1+1/n)^n が収束することの証明について

    lim[n→∞](1+1/n)^n が収束することの証明の中で、 1+1+(1/2!)+(1/3!)+…+(1/n!) ≦1+1+(1/2)+(1/(2^2))+…+(1/2^(n-1)) =1+{1-1/(2^n)}/(1-1/2) ≦3 というような不等式があるのですが、なぜこれが成り立つのかわかりません。教えてください。

  • [ ]はガウス記号を表し、一般に不等式 x-1<[x]≦x および [

    [ ]はガウス記号を表し、一般に不等式 x-1<[x]≦x および [x]≦x<x+1 である。 (I) lim(n→∞)[2*e^n+1]/e^n 自然数nに対し等式 [logk]=n が成立するような整数kの個数をf(n)とする。このとき以下を求めよ。 (II) lim(n→∞)f(n)/e^n+1 高校生です。できるだけわかりやすく説明していただければ幸いです。

  • 数Σ級na_nが収束するならΣa_nは収束することを示す。

    級数Σ級na_nが収束するならΣa_nは収束することを示す問題で、行き詰っています! 以下は、私が考えた証明です。 Σna_nが収束するならば、lim(na_n)=0 ⇔∀ε>0に対して、適当な番号Nがあって、n≧N⇒|na_n|<ε |na_n|=n|a_n|より、 n≧N⇒|a_n|<ε/n ∴lim(a_n)=0 ・・というところまで考えました。 その後、どうすればΣa_nも収束すると言えるのかがわかりません。 どなたか、お力を貸してください! ・・というか、この証明自体、最初から間違っていたり、なんてことがあったりしますか? 回答よろしくお願いします。

  • 極限値,詳しく教えて下さい。

    a_1=1,a_n+1=√(2a_n+3)(n=2,3,…)として決まる数列{a_n}に対し,lim_(n→∞)(a_n)が存在することを示し,その極限値を求めよ。 途中の過程もできるだけ詳しく教えて下さい。 他の問題もできるようになりたいので,解説もお願いします。

  • a_1=1, a_(n+1)=√(1+a_n) (n=1,2,3,,,

    a_1=1, a_(n+1)=√(1+a_n) (n=1,2,3,,,)のときの lim(n→∞)a_n をもとめよ。 途中し式も詳しく教えてください

  • 漸化式と極限だと思います。

    (1)√2は無理数であることを用いて、   k+l√2=k´+l´√2(k,l,k´,l´は整数) であれば、k=k´,l=l´であることを示せ。 (2)自然数nに対して、(1+√2)^n=a[n]+b[n]√2 (a[n],b[n]は整数) と表せる。このとき、a[n+1],b[n+1]をa[n],b[n]で表せ。 (3)(2)のa[n],b[n]に対し、(1-√2)^n=a[n]-b[n]√2であることを、 nに関する数学的帰納法によって示せ。 (4)lim(n→∞) b[n]/a[n]を求めよ。 津田塾大学の2010年度の過去問です。 解き方を教えてください。 お願します。

  •  a_1 = 1 , a_(n+1)=√(1+a_n) (n=1,2,

     a_1 = 1 , a_(n+1)=√(1+a_n) (n=1,2,3・・)に対して、次の問題に答えよ。 (1) a^2_(n+1) - a^2_n = a_n - a_(n-1) が成り立つことを示し、数列{a_n}が単調数列であることを示せ (2) a_n<2 となることを示せ (3) lim a_n (n→∞)を求めよ 以前に質問して答えていただいたのですが、(3)が、理解できませんでした。(3)から、途中式も詳しく教えてください。よろしくお願いします。

  • 至急、集合と写像

    至急、集合と写像 明日テストなのですが、教科書に解説が乗っていない問題のため質問させて下さい。 【1】 各n∈Nに対してEn⊂En+1であれば lim(n→∞)En=∪(n=1,∞)En 各n∈Nに対してEn⊃En+1であれば lim(n→∞)En=∩(n=1,∞)En が成り立つことを示せ。 【2】 lim(n→∞)An, lim(n→∞)Bn がともに存在すれば次の等式が成り立つことを示せ。 (1) lim(n→∞)(An∪Bn)=lim(n→∞)An∪lim(n→∞)Bn (2) lim(n→∞)(An∩Bn)=lim(n→∞)An∩lim(n→∞)Bn 【3】 A,Bを集合とし、各k∈Nに対してE2k=A, E2k-1=Bとおく。次式が成り立つことを示せ。 lim(n→∞)supEn=A∪B lim(n→∞)infEn=A∩B 自分なりに色々考えたのですが、解答がないためとても困っています。 どうか宜しくお願いします。