- 締切済み
an=1/√nとするとき、｛an｝⊆RがCauchy列であることを示せ
an=1/√nとするとき、｛an｝⊆RがCauchy列であることを示せという問題の解き方がわかりません。 ｛an｝がCauchy列であることの定義式は、 ∀ε＞0, ∃N∈N, n,m＞N⇒∥an-am∥＜ε です。 この定義式の意味はわかったのですが、どのようにこれを示せばよいのかわかりません。 回答よろしくお願いします。
- みんなの回答 （3）
- 専門家の回答
関連する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}が有界である事が言えますでしょうか?
- 締切済み
- 数学・算数
- ∪{An：n∈N}を求めよ。
∪{An：n∈N}を求めよ。 問題の回答について、よろしくお願いします。 命題pnを”-nより小さい”、命題qnを"nより大きい"と定め、Rの部分集合An＝{x∈R:(pn∨qn)(x)が真である}とおくとき、つぎの問いに答えよ。 (1) ∪{An：n∈N}を求めよ。 (2) ∩{An：n∈N}を求めよ。 という問いについて考えてみました。 もしかしたら、全く的はずれな箇所もあるかと思い、テスト問題における解答の書き方として修正および補足を回答いただければと思います。 証明の仕方が自信ないです。 (1) A1＝{x∈R:(-1＞ｘ)∨(１＜ｘ)} An＝{x∈R:(-n＞ｘ)∨(n＜ｘ)} -1≦x≦1のとき、xはいずれのAnにも属さないことになる。 A1∪A2∪・・∪An＝A1 ∪｛An：n∈N｝= A1 ＝{x∈R:(-1＞ｘ)∨(１＜ｘ)} (2) ｎ∈Nを十分大きく取れば|x|＜ｎとできる。 A1∩A2∩・・∩An＝An lim an（n→∞）＝∞ であるから， ∩｛An：n∈N｝= 空集合
- ベストアンサー
- 数学・算数
- 極限 an=n√n の求め方について
lim (n→∞)an = A< +∞ならば、 lim (n→∞)(a1+a2+....+an)=Aa であるとき an = n√nの極限値を求めよ ( aに付いているnは数列の項の番号、√nについているnはn乗根の意味です) といった問題なのですが、どう手をつけていいかさっぱり解りません。 対数を使って計算する、と教わったのですが、どうやって対数をこの式に使えば良いのかわからないのです、どなたか解法や、解法のヒントをご存知の方がいましたら、回答お願いします、よろしくお願いします。
- 締切済み
- 数学・算数
- |a(n+1)|≦r|an|⇒|an|≦r^(n-1)|a1|
|a(n+1)|≦r|an|⇒|an|≦r^(n-1)|a1| これはどういう変形を行っているのでしょうか？ nで割っている？教えてください。
- ベストアンサー
- 数学・算数
- コーシー列の問題です。
コーシー列の問題です。 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にして示すのですか？ もしそうなら このときのコーシー列の定義式は何ですか？ また実数の距離空間が完備のは、連続かつ有界という理由からですか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 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≦εが言えるのでしょうか？ どなたかご教授願います。
- ベストアンサー
- 数学・算数
- An={1+(1/n)}^n (n=1,2,3,…)について…（続く）
【問題】An={1+(1/n)}^n (n=1,2,3,…)につい数列{An}は単調増加であることを示せ。すなわちAn<A(n+1)を示せ。またAn<3であることも示せ。 （※ただし,二項定理を利用せよ。） よろしくお願いします。 二項定理にあてはめてみたのですが…そっからさっぱりです＾＾；
- ベストアンサー
- 数学・算数
- コーシー列に関する証明問題
問、｛an｝（n=1,2,…）をQの中のコーシー列とする。 bn=an+(1/2n) と定めるとき、 {an}～{bn} (n=1,2,…) (同値)であることを証明せよ。 という問題で、同値関係の推移律の証明を教えてください。 特に、任意のQの中の３つのコーシー列を{an},{bn},{cn}とした時、 任意の正の有理数εに対して、{an}～{bn}より、 N1<m,n ⇒ ｜(am-bm)-(an-bn)|< ε/2 とできる。 とありますが、なぜ、ε/2 になるのかわかりません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
