同じ問題の質問を何度もすみません。
お蔭様でだんだん分かってきましたので、あともう少しだと思うので、
よろしくお願いします。
定理:『閉区間〔a,b〕で定義された連続関数は一様連続である。』
の証明についてです。
一様連続とは
「任意のε>0に対してδ>0が存在して、|x-y|<δを満たす区間内の
全てのx、yに対し、|f(x)ーf(y)|<εが成り立つ。」
ということですので、
背理法でこの定理を証明する場合は
「あるε>0において、どのようなδ>0に対しても|x'-y'|<δ
かつ|f(x')-f(y')|≧ε x'、y'∈〔a,b〕となるx'、y'が存在する。」・・・(※)
ことの矛盾を導けばよいのですが、
ここで以下のサイトの命題4、1を見てください。
http://www.google.co.jp/search?hl=ja&safe=off&q= …
これは私が勉強している参考書「微分積分学 難波誠著」と同じ証明方法です。
ここまでは過去の質問と同じなのですが、
今回の本題はここからです。
さてこの定理は、区間が開区間では成り立たないので、条件として閉区間であることが必要ですが、
証明のどこで閉区間でないと成り立たない部分があるのかが分からないのです。
この証明では閉区間〔a,b〕を開区間(a,b)と置き換えてもそのまま成り立つような気がするのです。
この証明内で使われている「ボルツァーノ・ワイヤストラスの定理」は「有界な数列は収束する部分列を持つ」という定理ですが、
有界列というのはxn∈(a,b)のように開区間の範囲内でもよかったと思うので、これも証明内で閉区間〔a,b〕を開区間(a,b)に置き換えてもそのまま成り立つと思います。
この証明ではいったいどこで開区間では成立しない閉区間限定という条件を使っているのでしょうか?
またどこかで勘違いをしていると思うのですが、
分からずに困っています。
よろしくお願いいたします。
No.1ベストアンサー
- 回答日時:
>この証明ではいったいどこで開区間では成立しない閉区間限定という条件を使っているのでしょうか?
収束する部分列の収束先が、閉区間 [a, b] に含まれているという箇所。
開区間 (a, b) の元で有界な点列を考えたとして、その集積点が開区間に含まれる保証はありません。
koko_u_さん、再度のご回答どうもありがとうございます。
>開区間 (a, b) の元で有界な点列を考えたとして、その集積点が開区間に含まれる保証はありません
なるほど!開区間だと部分列の収束先が端点aやbになってしまうことがあるということですね。
とても良く分かりました。
どうもありがとうございました。大変助かりました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 仮想通貨(暗号通貨) 仮想通貨【アプトス】もうすごく上がる可能性は高い? 10万円を1億円い増やすyoutube動画 3 2022/10/23 21:49
- 物理学 プラズマ運転と核融合運転は、違うものなのでしょうか? プラズマ運転と核融合運転は、全く違うものなので 2 2023/04/30 16:34
- 政治 辻元清美ちゃんの旧統一教会との関係の恥ずかしい言い訳……これで疑惑は更に深まりましたか? 1 2022/09/29 15:42
- 日本語 「使われている」と使い方が違うのは次のどれか 1 2022/07/11 20:08
- 政治 【旧統一教会と接点】立憲「逃げられると思ったら大きな間違い」細田議長の説明要求……大丈夫かな? 3 2023/01/11 14:35
- メディア・マスコミ 処理水放出「なぜ騒ぐの?」...福島の漁業関係者が意見発信……マスコミに反省はなさそうですね? 15 2023/08/24 16:00
- 事件・事故 前川喜平氏に疑問「正義の味方みたいになっているけど違法です」…カルトも危険ですが官僚支配も危険ですね 10 2022/08/07 09:24
- 知的財産権 本書の購入者に限り、個人、法人を問わず無料で使用できます 1 2022/05/11 05:27
- 工学 プラズマ運転と核融合運転は、違うものなのでしょうか? 1 2023/04/30 10:14
- 英語 "dozen"以外の数の単位が名詞を修飾する場合の"of"の必要性とその理由について 3 2023/04/29 16:03
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
位相交差角周波数 と ゲイン...
-
位相ずれのないフィルター
-
R^1上の任意の閉集合が高々加算...
-
閉区間[-1,1]がコンパクトであ...
-
位相について
-
第2可算公理
-
最小の位相
-
第2可算公理
-
約10ヶ月で20キロ太るて異常で...
-
高2の数学の対数関数です。 真...
-
lim[n→∞](1-1/n)^n=1/e について
-
【数学】 lim x→a ↑これってど...
-
ブラックの関係式
-
dx/dy や∂x/∂y の読み方について
-
「無限の一つ前の数字は何?」...
-
三角関数の範囲について、 0≦x≦...
-
エクセルで(~以上,~以下)...
-
極限について
-
写真の命題1.3の証明についてで...
-
数3微分についてです。 合成関...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
位相ずれのないフィルター
-
同値なノルムについて教えてく...
-
位相交差角周波数 と ゲイン...
-
位相でないものの例
-
2つの位相が一致することの証明
-
開集合
-
[a,b)と(a,b]の形の...
-
広義一様収束の定義がいまいち...
-
一点x=aと[a,a]は区間なの
-
ラプラス変換について
-
制御工学(古典制御)に関する...
-
位相差の求め方
-
コンパクトについての証明
-
閉区間[-1,1]がコンパクトであ...
-
第2可算公理
-
平均値の定理の極限のやつで x→...
-
離散位相、密着位相はなぜそう...
-
逆フーリエ変換における位相の...
-
第2可算公理が成立すると第1可...
-
生成する開基の証明問題で示す...
おすすめ情報