- ベストアンサー
収束列の部分列について
はじめて質問させていただきます。 学校で位相幾何学を学んでいるのですが、なぜ収束列の部分列が同じ値に収束するのかがどうしても分かりません。 感覚的には分かるのですが、証明しろと言われると何をどうしていいのかさっぱり分からなくなってしまいます。 よろしくお願いします。
- 数学・算数
- 回答数4
- ありがとう数4
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
数列が収束するという定義はよいとして、 部分列そのものの定義を見直してみましょう。 部分列 {anj} の nj には、狭義単調増加というような約束が入っていませんか? > 部分列とは数列anに対して、p≦an≦q(nは任意の自然数)となるp、qが存在するならば、数列anの部分集合である数列anjは収束するという・・・ もう一度、教科書を見直してみてください。質問者さんが言われているのは、有界列の部分列は収束するということのようですが、それは間違いです。有界列から収束する部分列を取り出すことはできますが、an が有界だからといって、その任意の部分列が収束するわけではありません。また、本問では、このことは無関係です。 この問題で問われていることは、an が α に収束するとき、任意の部分列が(質問者さんが言われた収束の定義に基づいて)α に収束することを示せということ。話は簡単で、{an} において、ある n0 より大きな n では |an - α|<ε ですね。an は α に収束するので。 ですから、任意の部分列 {anj} でも、その n0 より大きな添え字の項以降(nk >n0 となる k が存在して、k<j)で |anj - α| < ε 。これをきちんと言うために、部分列の正確な定義が必要。 参考まで http://www.ritsumei.ac.jp/~osaka/rejime/kougi04/kaikaiseki1.pdf
その他の回答 (3)
- koko_u_
- ベストアンサー率18% (459/2509)
>収束するとは任意の正のεに対してa-ε<an<a+ε >for任意の自然数n:n0<n となるn0が存在するということではないのでしょうか。 「位相幾何学」でその定義はないと思う。
お礼
ご回答ありがとうございます。 私がしっかり理解していないということですね、勉強します!
- uzumakipan
- ベストアンサー率81% (40/49)
こんばんは。 数列{an}がαに収束するとき、{an}の部分列{anj}がβに収束すると仮定して、αとβが一致することを示せばよいと思います。 きちんとε-δ論法で示すには三角不等式やコーシー列の知識も必要ですが…。 >また、部分列とは数列anに対して、p≦an≦q(nは任意の自然数)となるp、qが存在するならば、数列anの部分集合である数列anj >は収束するということだと思っています は本当に部分列の定義?私には理解できません。
お礼
ご回答ありがとうございます。 もう一度勉強し直します!
- kumipapa
- ベストアンサー率55% (246/440)
それでは、「収束する」とは、どのように定義されますか? また、部分列の定義は? 以上、補足欄へどうぞ。 これらをきちんと表現できるならば、収束列とその部分列とが同じ値に収束することを示すに何ら問題は無いはずです。これがさっぱり分からんということは、「収束とは」、「部分列とは」、の定義がさっぱり分かっていないとしか思えないのです。
補足
ご回答ありがとうございます。 収束するとは任意の正のεに対してa-ε<an<a+ε for任意の自然数n:n0<n となるn0が存在するということではないのでしょうか。 また、部分列とは数列anに対して、p≦an≦q(nは任意の自然数)となるp、qが存在するならば、数列anの部分集合である数列anjは収束するということだと思っています。
関連するQ&A
- 幾何平均の収束の問題
学校の課題で以下の問題がありました、まったくわかりません。 「区間(0,1)の一様乱数の幾何平均 データ→∞のとき ある値に収束することを示せ」 です、ヒントでも答えでも誰か教えてください!
- ベストアンサー
- 数学・算数
- an=cos(nπ/5)の収束部分列をすべて求めよ。という問題が分かり
an=cos(nπ/5)の収束部分列をすべて求めよ。という問題が分かりません。 回答よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 「収束」を定義すれば、位相も定義できる?
位相空間では、点列の収束という概念が定義されていると思います。手元に適当な本がないので、不確かな記憶ですが、 位相空間Xの点列(a_n)がαに収束する ⇔αを含む任意の開集合Oについて、あるNが存在して、n≧Nならばa_n∈Oである という雰囲気の定義だったと思います。(nは自然数のような離散的な値ではなくてもよいはずですが、自然数と考えて問題ありません) さて、ある空間X上の点列(a_n)に対して「収束(極限)」の概念を定義したとしたとします。 この時、空間Xに適当な位相構造を入れてやる事で、位相空間Xにおける収束と、ここで定義した収束が一致するようにする事は可能でしょうか?(もし、必要なら、Xはベクトル空間としても構いません) そもそも何を「収束」と呼ぶべきかすら分からないですが、一般的な定義あるのであればその定義と考えて差し支えありません。(ないのであれば、困ってしまうのですが、きっとあるでしょう) 具体的な例としては、ヒルベルト空間の線型演算子には、「弱収束」や「強収束」と言った概念がありますよね。これらの意味の収束を与える位相は存在するのか、という事です。(具体的にどう構成するのかは知りませんが、「弱位相」とか「強位相」と呼ばれる位相があったと思います)
- ベストアンサー
- 数学・算数
- 数列とその部分数列の収束の証明
----- ----- 数列{an}がaに収束するとき、その部分数列{an(j)}がすべてaに収束することを示せ。 ----- ----- 様々な書籍を参考にしてみたのですが、 ----- 任意の部分列 {an(j)}が、その n0 より大きな添え字の項以降(nk>n0 となる k が存在して、k<j)で|anj-a|<ε ----- 上を示そうにも手こずり困っています。 部分列 {n(j)}が、自然数の単調増加列であることは解るのですが…。 大まかな道筋をお願いします
- ベストアンサー
- 数学・算数
お礼
もっともっと勉強しないとだめだということを痛感しました。 ありがとうございました。