- ベストアンサー
Cauchyの判定法(数列の収束の条件)
解析概論を読み始めたのですが、はやくもCauchyの判定法で躓きました。 Cauchyの条件 「任意のε>0に対応して番号n0が定まり、p>n0 , q>n0 のとき |A_p-A_q|<ε」 を仮定して数列{A_n}が収束することを証明する過程で、{A_n}が有界であることは 理解できましたが、次のステップが理解できません。 n番目の項から始まる列、A_n,A_(n+1),・・・の上限と下限をL_n , M_nとする。 仮定によりε>0にn0が対応して、p>n0 , q>n0 のときA_p-A_q<ε。よってn>n0とすれば 『上限の意味により任意のq≧nに対してL_n-A_q≦ε』←この部分がわからないんです！！！ L_nは上限なのでA_p≦L_nなので、A_p-A_q≦L_n-A_q ですが、ここからなぜ 不等式L_n-A_q≦εが言えるのでしょうか？ どなたかご教授願います。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
その他の回答 (1)
関連するQ&A
- この場合,Cauchy列が有界となる理由は?
宜しくお願い致します。 最下の命題の証明でCauchy列が有界となる理由がわかりません。 [定義-3]順序集合(A,≦')の部分集合Bに於いて、{b∈B ;∀x∈B,b≦'x}≠φの時、 {b∈B;∀x∈B,b≦'x}:単集合となる{b∈B ;∀x∈B,b≦'x}のただ一つの元bをminBと表記し、(A,≦')に於けるBの最小元と言う。 [定義-2]順序集合(A,≦')の部分集合Bに於いて、{a∈A ;∀x∈B,x≦'a}≠φの時、 {a∈A ;x∈B⇒x≦'a}の元を(A,≦')に於けるBの上界と言う。 [定義-1] 順序集合(A,≦')に於いて、Aの部分集合Bに於ける上界が存在する時、Bは(A,≦')の中で上に有界であると言う。 [定義0] 順序集合(A,≦')に於いて、Aの部分集合Bに於ける上界が存在する時、その上界の集合の最小限をBの上限といい,supBと書く。 [定義1] 数列{a_n}のある部分列がaに収束する時,このaを数列{a_n}の集積値という。 [定義2] 順序集合(A,≦')が完備 ⇔ (i) (A⊃)Bが上に有界ならば∃supB∈A (ii) (A⊃)Bが下に有界ならば∃infB∈A [命題1](Weierstrassの定理) 有界な数列には少なくとも1つの集積値が存在する。 [命題2] 数列{a_n}が収束する ⇔ (i) {a_n}が有界 (ii) {a_n}の集積値は唯一つ [命題3] 順序集合(A,≦')を距離空間(その距離をdとする)とする。Aが完備ならばAの任意のCauchy列{c_n}はlim[n→∞]c_n∈A. を示しています。 [証] Cauchy列の定義から0<∀ε∈R,∃M∈N;M<m,n∈N⇒d(c_m,c_n)<ε {c_n}は有界(∵?)。 従って,sup{c_n}∈A,inf{c_n}∈A(∵定義2) これから{c_n}は有界と言えるから,{c_n}は収束する (∵唯1つの集積値が存在する (∵{c_n}には少なくとも1つの集積値が存在するから(命題1), {c_n}の集積値が2つあったと仮定し,その集積値をa,bとする。 {c_n}の部分列{a_n}がaに収束,部分列{b_n}がbに収束。 収束の定義から夫々 0<ε'∈R,∃M'∈N;M'<k⇒|a_k-a|<ε' 0<ε'∈R,∃M"∈N;M"<h⇒|b_h-b|<ε' ところが |a-b|=|(a-a_k)-(b-b_h)+(a_k-b_h)| ≦|a-a_k|+|b-b_h|+|a_k-b_h|<2ε'+|a_k-b_h| ∴ |a_k-b_h|>|a-b|-2ε' これはmax{M',M"}<∀k,h∈Nに対しても|a_k-b_h|>|a-b|-2ε'となってしまう事を意味しているので ここでε':=|a-b|/4と採ってしまうと, ∃M∈N;M<k,h∈N⇒|a_k-b_h|>|a-b|/2 となり,Cauchy列の定義に反する) よって命題2) そして,{c_n}の収束値をcとするとc∈A (∵c∈A^cだと仮定してみると今,lim[n→∞]c_n=cなので 0<∀ε∈R,∃M∈N;M<m∈N⇒d(c_m,c)<εと書ける筈だが書けない(∵dはAでしか定義されてない)) 、、、と示せると思うのですが2行目「{c_n}が有界」の理由がわかりません。 d(c_m,c_n)<εからどうすれば{c_n}が有界である事が言えますでしょうか?
- 締切済み
- 数学・算数
- 数列の収束、有界など
数列a(n)=1+1/1+1/2!+1/3!…+1/n!について (1){a(n)}は単調増加を示せ。 解: a(n+1)-a(n)=1/(n+1)!-1/n!＞0 ⇒a(n)＜a(n+1) (2)上に有界を示せ。 (3)収束することを示せ。 (1)は自力で解けたのですが、(2)(3)が分かりません。 申し訳ないのですが、分かる方は教えて下さい。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数列が収束するための必要十分条件(定理)の証明が分かりません
コーシー列の手前のところの勉強をしています。旧版の「解析学序説(上)」P130（2003年の新版では下巻 P5）です。 [定理] 数列a(n）が、ある有限な値に収束するための必要十分条件は、数列が有界であって、しかもその集積値ただ一つしかないことである。 ちょっと長くなりますが、証明を全体を引用します。 [証明] 必要なことはすでに述べたから、十分なことを証明する。a(n）は有界だから(前出の定理により)集積値があり、それは仮定によりαただ一つである。もしa(n）がこのαに収束しなかったとすると、ある限界ε0（イプシロンゼロ)があって、どんなに先へ行っても|a(n）－α|≧ε0 であるa(n）があるから、a(n）から部分列 a(ni）を選んで、すべてのniについて|a(ni）－α|≧ε0 であるようにできる。(前出の定理により) a(ni）は集積値βを持つが、|β－α|≧ε0 だから、β≠α。しかもβはもとの数列の集積値でもあるから、これは仮定に反する。ゆえにa(n）→α。 (引用終わり） この中で、|β－α|≧ε0 というのがどうしても導けません、というか分かりません。 線分図というか数直線表示をすると、「すべてのniについて|a(ni）－α|≧ε0 であるようにできる」ので、もしβが(α-ε0,α+ε0) の中に入ってしまうとするならば、すべてのa(ni）が(α-ε0,α+ε0) の中に入ってしまい、矛盾を生じることは分かるのですが、絶対値を含む初歩的な不等式を使うことによって、|β－α|≧ε0 が導けると推測するのですけれども、できませんでした。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 必要十分条件の判定について
m≠0であり、A=n^2-n-mとする。 mが整数Aの約数であることは、mがnまたはn-1の約数であるための□である。 という問題なんですが、まずAをn(n-1)-mとすると後者から前者であることはわかりました。とりあえず必要条件成立です。ですが前者から後者の判定が出来ませんでした。解答を見ると「例えばm=6,n=4の場合を考えると...」と書いて反例を挙げることによりこれを成り立たないとしていました。ここでなんですが、この反例の具体値って言うのは何か根拠があって出てくる数字なのでしょうか？それとも適当に当てはめていって運よく見つかるのでしょうか？こういった反例というものを見つけるのに何か目をつけるべきポイントがあればアドバイスいただきたいです。 あとこれとは違う問題で「または」「かつ」を含んだ必要十分について、 「P=1かつQ=1」というのは「P=1が成り立つ」し「Q=1が成り立つ」。だから「P=1である」という命題は成り立つ、ということです。だが逆は不可。P=1であるだけでQ=1とはいえないから。といったように教わりました。「または」ですと「P=1またはQ=1」は分けられない。どっちか分からないので。よって「P=1またはQ=1」なら「P=1である」はいえない。Q=1の可能性もあるから。逆に「P=1」なら「P=1またはQ=1」は成り立つ。ここは最初前述と矛盾するように感じましたが、どちらかが成り立てばいいので理解しました。 とこんな感じでやっています。 そこで問題ですが、 (a+b)(a-b)>0 かつ a+b>0 → a-b>0 （a,bは実数） 左側はまとめてa-b>0としてこれは成り立ちますが、逆に右から左の判定をするときには成り立たないとありました。これは右から左を見るときはバラバラにみないといけないということでしょうか？どうもこの辺が曖昧で... 長くなってしまいましたが、よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 数列が収束するかの証明問題
数列{a_n}{b_n}を写真のように定める。 （a_n,b_nはすべて正数とする） a_n,b_nが同じ値に収束することをしめしなさいという問題なのですが、 流れとしては、 1) a_n=b_nならば代入すれば、a_(n+1)=b_(n+1) 数学的帰納法（？）で数列{a_n}{b_n}は同じ値に収束する 2) a_n>b_nとして、 b_n=√(b_n*b_n)<√(a_n*b_n)=b_(n+1) a_n=2(a_n)^2/2(a_n)>2a_n*b_n/a_(n)+b_n=a_(n+1) (ここは計算すると、不等号が成り立ちますが、省略します。） またa_(n+1)<b_(n+1) (0<(a_n-b_n)^2から計算すれば出ますので省略します） これをまとめてb_n<a_(n+1)<b_(n+1)<a_nとなる 3) 次にa_n<b_nのときは 上記と同じような計算で b_(n+1)<b_n a(n+1)>a_n a_(n+1)<b_(n+1)がえられる。 2)3)の結果を合わせて a_n>b_nの場合は、a_(n+1)<b_(n+1)に、 a_n<b_nの場合はa_n<a_(n+1)<b_(n+1)<b_n…(1)となる。 nが2以上で(1)が無限に繰り返されていき、a_2<a_3<a_4<a_5<...<b_5<b_4<b_3<b_2が成立するため{a_n}{b_n}はともに有界であり、n=2以上で {a_n}は単調増加、{b_n}は単調減少であるとわかる。よってともに収束する。 数列{a_n}の収束値をA、数列{b_n}の収束値をBとして 与式に代入するとA=Bがえられ、数列{a_n}b_n}は同じ値に収束することがわかる。 といった感じ大まかにはあってますか？
- ベストアンサー
- 数学・算数
- 数列の問題
実数列 …,a(-3),a(-2),a(-1),a(0),a(1),a(2),a(3),… が、任意の整数nに対して、 (a(n+1)+1)^2 + (a(n)-1)^2 ≦ 2 を満たしているとき、数列{a(n)}が有界であることを示したいのですが、どのように考えたらよいのでしょうか？ a(n)→x , a(n+1)→y というように見なせば、(1,-1)中心、半径√2の円を考えることができると思いますが、うまくいきません。どなたか、アドバイスをいただけないでしょうか？ また、このような、数列（極限など）を不等式で考えていくような場合に対して、コツなどをご教授していただけると大変助かります。 以上です。読みづらい文章かと思いますが、よろしくお願いします。
- 締切済み
- 数学・算数
補足
ご回答ありがとうございます。 >>(L_n-ε)≦A_p≦L_nを満たすA_pがある これだとすべてのp≧nに対して成立するとは言えませんよね。 本の証明だと『任意の』q≧nに対してL_n-A_q≦εとなっていますが。