ボルツァノ・ワイエルシュトラスの定理
「有界な数列{a_n}n=1,2,... は収束する部分列を含んでいる。」
という定理の証明について、サイエンス社発行、笠原晧司著の「微分積分学」の中で、
「あるaが唯一あって、
∞
∩I_k = {a}, a = lim m_k = lim M_k
k=1 k→∞ k→∞ 」
という記述があるのですが、何故唯一なのかが分かりません。
著作権侵害に当たるといけないので丸写しは出来ないのですが、自分の言葉で置きかえると、
{a_n}は有界だからある閉区間I=[m,M]に含まれる。これを真中でばっさり割って[m,(m+M)/2]、[(m+M)/2,M]を考えると少なくともどっちかには無限個のa_nが含まれる。それをI_1とする。以下同じように、半分に割って無限個含む方をI_kとすると閉区間列I_k=[m_k,M_k](k=1,2,...)が出来て、
I ⊃ I_1 ⊃ I_2 ⊃ ... ⊃ I_k ⊃ ..., M_k - m_k = 1/2^k * (M - m)→0 (k→∞)
従ってあるaが唯一あって、
∞
∩I_k = {a}, a = lim m_k = lim M_k
k=1 k→∞ k→∞
となる、というのが流れです。
半分に割って行く作業で必ずどちらかは有限個しか含まれないのであれば唯一となるのは分かります。
しかし、例えば0,1,0,1,...と言う数列を考えた場合、収束する部分列は少なくとも2つあり、上の「aが唯一あって」という記述に反すると思うのです。
私は何か勘違いをしているのでしょうか?それともこの記述が間違ってるのでしょうか?
No.1ベストアンサー
- 回答日時:
この証明では,収束する部分列が少なくとも1つ作れるという事を示しているだけで,2つ以上作れないとは言っていません。
例に出されている,{a_n} = 0,1,0,1,... という数列を考えると,
I_1 = [0,1/2] の場合と I_1 = [1/2,1] の場合が考えられますが,どちらにも無限個の a_n が含まれます。
ですから,
I_1 = [0,1/2] とすると収束値 a は唯一 0 となり,
I_1 = [1/2,1] とすると収束値 a は唯一 1 となります。
つまり収束する部分列は少なくとも2つありますが,{I_k} を1つ決めたときにはその収束値 a は唯1つ,という事ではないでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∞/0って不定形ですか?∞ですか...
-
シグマの問題なのですが。
-
数3の極限です。 0/1の極限は∞...
-
これなぜ最後の不定形が0に収束...
-
これの(3)はどういった発想で解...
-
数列の極限について
-
ラプラス変換後のsの意味って何...
-
数学の問題です
-
無限大の0乗は、1で正しいですか?
-
ニュートン法で解が収束しない
-
極限の問題
-
limの問題
-
1/n^2と1/n^3の無限和の問題を...
-
極限値lim[n→∞](3^n/(2^n+n^2))...
-
級数Σa_n が絶対収束すれば、・...
-
定数aのn乗根の極限(n→∞)...
-
デルタ関数
-
f : ℝ→ℝ が微分可能で一様連続...
-
ノルムでは収束するが、各点で...
-
無限級数Σ(n=1~∞)(n/n^2+1)の...
おすすめ情報