コーシー列と距離空間の完備性について
- コーシー列とは、ノルムに関して二つの点間の距離が徐々に小さくなる数列のことです。
- コーシー列を示すためには、点列の任意の二点間の距離が徐々に小さくなることを示す必要があります。
- 距離空間が完備であるためには、任意のコーシー列が収束することが必要です。また、実数の距離空間が完備である理由は、連続性と有界性から導かれます。
- ベストアンサー
コーシー列の問題です。
コーシー列の問題です。 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にして示すのですか? もしそうなら このときのコーシー列の定義式は何ですか? また実数の距離空間が完備のは、連続かつ有界という理由からですか? よろしくお願いします。
- harumaaa
- お礼率56% (23/41)
- 数学・算数
- 回答数4
- ありがとう数2
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
不等式の右辺に 2c がついていれば,Tacosanのあげられた函数は条件を満たしませんよね. つまり,2c がついていないから反例が出てきてしまったんです. もう少し詳しく述べます. m >= n とすると,三角不等式から ||P_m - P_n|| = ||(P_m - P_(m-1)) + (P_(m-1) - P_(m-2)) + ... + (P_(n+1) - P_n)|| <= ||P_m - P_(m-1)|| + ||P_(m-1) - P_(m-2)|| + ... + ||P_(n+1) - P_n|| が成り立ちますね. ここで(2)の結果を用いて, ||P_m - P_(m-1)|| + ||P_(m-1) - P_(m-2)|| + ... + ||P_(n+1) - P_n|| <= (2c)^(m-1) ||P_1 - P_0|| + (2c)^(m-2) ||P_1 - P_0|| + ... + (2c)^n ||P_1 - P_0|| = (2c)^n (1 + 2c + (2c)^2 + ... + (2c)^(m-n-1)) ||P_1 - P_0|| = (2c)^n (1 - (2c)^(m-n))/(1 - 2c) ||P_1 - P_0|| <= (2c)^n ||P_1 - P_0||/(1 - 2c). 最後の式は,||P_1 - P_0||/(1 - 2c) が定数なので,n を十分大きくとれば任意の正実数より小さくできます. なぜなら,2c は 1 より小さい定数ですからね.
その他の回答 (3)
- fef
- ベストアンサー率64% (16/25)
質問番号6260397の質問の方ですね. その際の回答で述べたように,(3)では(2)の結果を用います. (2)の結果は,c を c < 1/2 なる正定数として, ||f(P) - f(Q)|| <= 2 c ||P - Q|| だったはずです. この不等式の右辺に 1 より小さい正定数 2 c がついていることは重要ですよ.
補足
その重要性が分かりません…
- Tacosan
- ベストアンサー率23% (3656/15482)
#1 で与えた関数 f((x, y)) = (x+1, y) は ||f(P)-f(Q)||≦||P-Q|| を満たし, したがって点列 P_0 = (0, 0) P_(n+1) = f(P_n) はこの問題の条件を満たします. ところが P_n = (n, 0) だからどう見ても収束しない, はず. 問題は本当にこれだけ?
お礼
解決しました。 ありがとうございました。
- Tacosan
- ベストアンサー率23% (3656/15482)
「このときのコーシー列の定義式は何ですか」という質問の意味はさっぱり分からんが (というか, そもそも「コーシー列」を理解できているんだろうか?), このように与えられる点列がコーシー列とは限らんような気がする. f((x, y)) = (x+1, y) は ||f(P)-f(Q)||≦||P-Q|| を満たすのでは?
補足
そうですね。すみません。言葉使いがおかしかったです。 コーシー列にならないんですか? この問題はP_nが収束点列になることを示す問題なのですが、 実数の距離空間は完備なので、コーシー列は収束するという条件が使え、P_nがコーシー列であることを示せという問題に書き換えられるというアドバイスを受けたのですが…
関連するQ&A
- コーシー列かどうか
どのようにして良いのかわからず困っています。 宜しくお願い致します。 E:複素バナッハ空間 N:Eの閉部分空間 E/N:商ベクトル空間 E/Nにおいて ∥ξ+N∥=inf{∥ξ+η∥|η∈N} とおくとノルムになる。 E/Nはこのノルムに関してバナッハ空間 ノルムになることは証明できました。 よって、完備である事を示したいのですが、 {ξ_(n)+N}:E/Nにおけるコーシー列 ξ'_(n)を ξ'_(n)∈ξ_(n)+N ∥ξ'_(n-1)-ξ'_(n)∥<2^(-n) を満たすようにとる。 そうすると{ξ'_(n)}がコーシ-列となる ここがどうして良いのかわかりません。
- ベストアンサー
- 数学・算数
- コーシー列での証明の仕方は?
[問]f(x)がRで連続、{a(n)}はコーシー列とする。f(a(n))はコーシー列になる事を示せ。 という問題なのですがこれはどうやって解けばいいのでしょうか? コーシー列とは 0<∀ε∈R,∃k∈N;k<m,n⇒|a(m)-a(n)|<ε となる数列の事です。
- ベストアンサー
- 数学・算数
- コーシー列について、質問です。
コーシー列について、質問です。 参考書やネットを参考に解答を作成しましたが、どなたか、修正および補足などをお願いします。 特に、(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} (同値)が証明された。
- ベストアンサー
- 数学・算数
- コーシー列に関する証明問題
問、{an}(n=1,2,…)をQの中のコーシー列とする。 bn=an+(1/2n) と定めるとき、 {an}~{bn} (n=1,2,…) (同値)であることを証明せよ。 という問題で、同値関係の推移律の証明を教えてください。 特に、任意のQの中の3つのコーシー列を{an},{bn},{cn}とした時、 任意の正の有理数εに対して、{an}~{bn}より、 N1<m,n ⇒ |(am-bm)-(an-bn)|< ε/2 とできる。 とありますが、なぜ、ε/2 になるのかわかりません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- l^2 のコーシー列と収束について
l^2 は、無限個の実数の列x=(x_1 , x_2 , ・・・)でノルム ||x||=(Σ|x_k|^2)^(1/2)<∞ を満たすもので線形かつ完備なバナッハ空間になりますが、 1.l^2の元で無限個の実数の列を、無限個の整数の列、としたときもバナッハ空間でしょうか 2.l^2の部分部分集合(部分空間ではありません)は完備でしょうか よろしくお願いします。
- ベストアンサー
- 数学・算数
- コーシー列 同値
コーシ列の問題 コーシ列の問題 コーシー列についての質問です。 数列{an}[∞,n=1]をQ(有理数)の中のコーシー列とする。 bn=an+1/3n(n=1,2,…)とするとき、次の問題に答えよ。 (1)数列{bn}[∞,n=1]はQの中のコーシー列であることを証明せよ。 (2){an}[∞,n=1]~{bn}[∞,n=1](同値)であることを証明せよ。 教えてください。 (1)は |bmーbn| = ・・・ ≦|amーan|+|1/3mー1/3n| =e みたいな流れで証明したのですが、 (2) 反射律 対称律 推移律 を用いて照明するのらしいのですが、 良く分かりません。
- 締切済み
- 数学・算数
- 一様コーシー列の問題を教えて下さい
(1)f_n(x)=x^n (nは自然数、0≦x≦1) (2)f_n(x)=x^n (nは自然数、0≦x<1) 上の2つは一様コーシー列であるか? という問題です。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
お礼
理解できました。 ありがとうございました。