• ベストアンサー

数列の収束について

lim |a_n| = 0 なら lim a_n = 0 である。 n ->∞       n ->∞ ということは、はさみうちの定理で証明されてて理解できたんですが、 この逆について、つまり lim a_n = 0 なら lim |a_n| = 0 である。 n ->∞       n ->∞ ということは可能なのでしょうか? たぶんいえないと思うのですが、 それを示すよい数列の例が浮かびません。 なので、知っている方がいたら教えてください。 逆についていうことが可能か不可能かだけでもかまいません。

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

  • ベストアンサー
  • adinat
  • ベストアンサー率64% (269/414)
回答No.1

a_n→0と|a_n|→0は同値です。だから反例などあるわけがないです。 自明なことなので、証明するほどでもないですが、どうしても証明したければ、たとえばsgn(x)という符号関数を使ってみましょう。x≧0のとき1、x<0のとき-1に値を取る関数です。そうすると、|a_n|=a_n*sgn(a_n)と書くことが出来ます。したがって、この両辺で、n→∞とすると、仮定から右辺は0に収束しますので、左辺も0に収束しなくてはなりません。

jackstraw
質問者

お礼

すばやい解答本当にありがとうございます。 大前提として、反例はあるわけないですね、、、 私が勘違いしていました。 sgnを使った証明は非常にわかりやすかったです。 とても参考になりました。

関連するQ&A

  • 数列の収束

    数列の問題なのですが a_(n+1)=√2^(a_n) という数列で (1) a_0=2,a_0=4の時,2,4に収束することを示せ。 (2) a_0<2の時,lim(n→∞)a_n=2を示せ。 (3) a_0>4の時,lim(n→∞)a_n=∞を示せ (4) 2<a_0<4のとき,lim(n→∞)a_n=2を示せ。 という問題なのですが,(1)以外がどう手を付けて良いのかわかりません>< どなたか解説お願いします。

  • 数列の極限の問題

    数列の極限の問題の解説の意味が解りません。 数列a(n)=3^n/n! のとき 0<a(n+1)≦3/4a(n) (n≧3) を示し、 lim(n→∞)3^n/n!=0 を証明せよ という問題なのですが、 解答には a(n)=3^n/n! とおくと a(n+1)=(3/n+1)*a(n) である。 そして、 n≧3 なら 0<3/n+1≦3/4 であり、a(n)>0でもあるから 0<a(n+1)≦(3/4)*a(n) (n≧3) が成立する。 したがって、n≧3のとき、 0<a(n)≦(3/4)^n-3 a(3)=9/2(3/4)^n-3 lim(n→∞)(3/4)^n-3=0 であるから、はさみうちの原理により lim(n→∞)a(n)=lim(n→∞)3^n/n!=0 と書いてあります。 ほとんどの部分は理解できるのですが、 下から3行目の、 0<a(n)≦(3/4)^n-3 a(3)=9/2(3/4)^n-3 の式の中にある、[^n-3]の意味が理解できません。 なぜ^n-3が必要なのか、どこからそれが導き出されたのか、 教えていただけると助かります。 よろしくお願いします。

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

    数列の収束と極限の問題 はじめまして。最近数学を少し勉強し始めた者です。 頭の出来が良くない故、また独学故に多く質問させて貰うかもしれませんがよろしくお願いします。 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より小さいことが分かりません。 極限値のほうは全然です。 どなたかご助言お願いします。

  • 単純減少数列?

    塾で出た問題で、先生に説明を受けてもわからないものがあったので教えてほしいことがあります。 aは4<a<12をみたす定数。数列{an}について ・a1=a ・an+1=3 + (an)2剰/16 (1) 4<an<12を示せ (2) an>an+1を示せ (3) lim an を求めよ   n→∞ (1)は数学的帰納法で、(2)はそのまま代入で求められたのですが、問題は(3)です。模範解答は an+1-4=(an-4)(an+4)/16から(1)(2)を用いてはさみうちの定理に導き lim(an-4)=0から  lim(an)=4 へと結論づけます。 n→∞       n→∞ けれどもよく考えてみるとn→∞のとき(1)(2)は証明されているのだから、 4<an+1<an<…<a2<a1<12がなりたち極限値は4となるのは自明ではないかと考えました。そのことを先生に質問したら。 「いっていることは最もだ。けどこれは単純減少数列(とかいっていたようなきがします)で大学ではあたりまえのこととしているんだけれども高校では使えない」といい、でも、といったら 「難しいけれども君の示した方法はその題意そのものであって…」などと教えられましたが、いまいちよくわかりません。  今自分は高校生ですが、高校において自分が示したような方法ははたしてつかえないのでしょうか?大学入試でもつかえないのでしょうか?わかりやすく誰か説明してもらえないでしょうか?

  • 数列の証明について

    数列の証明について質問です。 lim(n→∞){2(a_n+1)-a_n}=A・・・(1) ならば、lim(n→∞)a_n=Aが成り立つことを示せという問題です。 私はlim(n→∞)a_n=Bとおいて lim(n→∞)a_n+1=lim(n→∞)a_n という事を使い、 (1)の左辺がBとなることより B=Aを示しました。 しかし、私の回答では、lim(n→∞)a_nが収束する事を証明してないので、lim(n→∞)a_n=Bと置くのはダメみたいです。 (1)が成り立つとき、lim(n→∞)a_nが収束することの証明をお願いします。

  • 等比数列の極限

    等比数列の極限で0<r<1のときlim_[n→∞]r^n=0というのと -1<r<0のときlim_[n→∞]r^n=0という定理(といっていいんでしょうか?)の証明を見ても今いち何をしているのか理解できません 0<r<1のときはrで割って1<1/r、ここでlim_[n→∞](1/r)^n 1<1/rなのでlim_[n→∞](1/r)^n=∞ よってlim_[n→∞]r^n=1^n/(1/r)^n=0 っていう感じで何となくで解釈してるんですが合ってるのでしょうか? また-1<r<0のときにlim_[n→∞]r^nを求めるまでの過程をできるだけ詳しく教えてください。

  • 数列の収束。発散の問題について、

    有界単調数列の収束性を用いて、 lim[n→∞]1/n = 0 を証明せよ、とあります。 極限値などは、勝手に決めていいのか、 そして、どのように証明していくと、 答えになるのか良く解りません。 説明をつけて、頂けると大変、助かります。

  • 数列の収束について

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

  • 数列・関数の極限について

    俗に言う「はさみうちの原理」とその周辺に関して質問があります。 数学IIIの教科書によると, すべての自然数nに対し a_n ≦ b_n ≦ c_nのとき lim{n→∞}a_n = lim{n→∞}c_n = α(定数) ⇒ lim_{n→∞}b_n = α lim{x→∞}f(x) = lim{x→∞}h(x) = α(定数)とする。 十分大きいxに対し,f(x) ≦ g(x) ≦ h(x) ⇒ lim_{x→∞}g(x) = α となっております。 (1)limを登場させる順番がなぜ違うのか?   数列の極限の方ではまず不等式を記し,関数の極限の方ではlimから記しています。 (2)「すべての」と「十分大きい」の部分は数列の極限と関数の極限で異なるか?   数列の極限の方でも「十分大きい自然数nに対し」でもよいような気がするのですが…。 以上、よろしくお願いします。

  • 収束しない数列でチェザロ総和みたいなものを考えると

    異なる正の数a,bに対し、 数列a[n]:a,b,a,b,a,b,… は収束しないですが、 S_1[n]=(a[1]+a[2]+…+a[n])/n としたとき、 lim[n→∞]S_1[n]=(a+b)/2 と収束し、そのようなものをチェザロ総和といいます。 では、 S_2[n]=√[(a[1]*a[2]+a[1]*a[3]+…+a[1]a[n]+a[2]a[3]+…+a[n-1]a[n])/{n(n-1)/2}] としたとき、 lim[n→∞]S_2[n] はどうなるのでしょうか? さらに、lim[n→∞]S_3[n]、…、や、それらの収束の相互関係(大小関係や収束のしやすさ)などについて、なにかご存知のことがありましたら教えていただけないでしょうか?