![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
閲覧ありがとうございます。
以下の問題が分かりません。
http://i.imgur.com/NCS1q3U.jpg
恥ずかしながら、どのように解けばいいか、解答の方針すら立たない状況です。
特に、iに関しては証明するまでもなく当たり前ではないか?と思ってしまいます。
分かる方、どうか教えていただけないでしょうか。解説の方、よろしくお願いいたします。
No.3ベストアンサー
- 回答日時:
定義域の端点が、値域の最大・最小に対応したりする場合は、イメージしやすいし、そうでなくてもグラフを描けば、正しいだろうという検討はつきますね。
ただ、証明は別ですから、、。定理をいくつか使ってよいなら、次のステップですぐ証明は出ます:
有界閉区間Iはコンパクトである。
コンパクト集合から実数の集合への連続関数は、最大値a、最小値bをもつ。
a=bなら、特殊な有界閉区間。そうでないとすると、
aとbとの間の任意のcに対して、中間値の定理より、f(x)=cとなるIの元xが存在する。
よって、f(I)=[a,b]となるとか、、、。
使える定理からあまりすぐ証明できると練習にならないので、例えばR^nの有界閉区間I(各座標軸で有界閉区間の直積集合)上の連続実数値関数fの像f(I)は有界閉区間になることを証明せよ、、、くらいがいいかもです。もっと一般的に定義域がコンパクトで連結の時、、、くらいにしても(結論は正しいですか?)、位相の練習問題ならいいかもです。
コンパクトの概念はまだ習っておりませんでした。今ザッと専門書で確認してみたのですが、なるほどこれと中間値の定理を使えばすぐできますね。
おっしゃる方法で勉強してみます。回答ありがとうございました!
No.4
- 回答日時:
ごめん, 「その地域も端点が必ず含まれますよね」の意味がわからない. 「端点」ってなに?
ほら, そう考えるとだんだん「当たり前」じゃなくなる....
No.2
- 回答日時:
当たり前と言えば当たり前の事なんですけどね。
だけど当たり前だったら、証明してみせてくれ、ってのが数学でもあります。有界閉区間Iは両端点a,bを含むから、f(a)とf(b)が存在する。存在するからには有限なのでf(I)も有界閉区間に決まってる。こんなイメージだと思いますが、しかしf(a)やf(b)が、f(I)の最大値や最小値であるとは限りませんよ。またfがI上で最大・最小値を持つ事も、まだ証明されていません(持ちますが)。証明されてない限り使うのはまかりならん!、というのも数学です(^^;)。
例えばf(I)に穴があいてたら、それは区間ではありませんし、穴の両端が点抜けしていてf(I)は閉区間の和ですらないかも知れません(そんな事は起こりませんが(^^;))。
しかしこう考え出すと、論理的にはあまり当然の事ではないのがわかってきます。そして普通の感覚を押し通そうとすると、無限個の場合分けが必要だと気付いたりします。
そのとき役に立つのがやっぱり、閉集合と集積点と連続関数の定義なんです。これらの定義に忠実に従えば、f(I)が閉集合である事が証明できます。どのように従ったら良いかは、教科書や講義でやったと思います・
そしてf(I)が閉集合なら、実数直線上の話である事から、f(I)が区間で有界である事は、後から付いてきます。そしてf(I)が有界閉区間なら、fがI上で最大・最小値を持つ事が、逆に明らかになります。
回答ありがとうございます!精読したところ、大変分かりやすく勉強になりました。最大最小を考えなければならないところなど、見落としておりました。これから証明に取り組みたいと思います。ありがとうございました!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- iPhone(アイフォーン) web上の電話番号リンクの桁区切りが、iPhoneだと特定電話番号でおかしくなるのを解決したい 1 2023/03/28 14:27
- 大学受験 お急ぎの質問です。 現在高3受験生です。次の金曜日に明治大学総合数理学部(現象数理科)の学部別試験が 3 2023/02/13 23:38
- 弁護士・行政書士・司法書士・社会保険労務士 政治家女子48党(旧NHK党)の登記が公開されない件について 3 2023/06/22 18:25
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 宅地建物取引主任者(宅建) 未経験・知識ゼロからの宅建取引士勉強方法について 2 2022/06/10 14:38
- 数学 一様連続 e^x 証明 3 2022/10/06 11:26
- 小学校 本当にびっくりしました。 小学校の宿題は、授業中に解説や間違い直しをしないそうです。 週末の宿題がや 6 2022/07/15 19:46
- 経済学 マクロ経済学で政府支出が変化した場合に図示する方法について教えてください。 6 2022/11/23 18:48
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
位相交差角周波数 と ゲイン...
-
生成する開基の証明問題で示す...
-
Zp が Qpの開集合であること...
-
有界閉区間であることの証明
-
どちがいいですか??
-
lim[n→∞](1-1/n)^n=1/e について
-
次の無限数列の問題の解説を教...
-
シグマの範囲が2nまでの関数で...
-
dx/dy や∂x/∂y の読み方について
-
「無限の一つ前の数字は何?」...
-
電位係数を写真のようにおくと...
-
(x2乗+9)って因数分解出来ます...
-
高2の数学の対数関数です。 真...
-
極限
-
「PならばQ」と「(Pでない...
-
年代と年台・・・どちらが正し...
-
数学問題
-
「余年」の意味について教えて...
-
分極の大きさPの求め方
-
【数学】 lim x→a ↑これってど...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
閉区間[-1,1]がコンパクトであ...
-
第2可算公理が成立すると第1可...
-
位相交差角周波数 と ゲイン...
-
平均値の定理の極限のやつで x→...
-
逆フーリエ変換における位相の...
-
フーリエ変換について質問です ...
-
離散位相、密着位相はなぜそう...
-
位相でないものの例
-
Zp が Qpの開集合であること...
-
位相ずれのないフィルター
-
2つの位相が一致することの証明
-
コンパクトについての証明
-
広義一様収束の定義がいまいち...
-
基本近傍系
-
区間縮小法
-
何が箱位相と直積位相でのR^ωの...
-
リンデレーフの被覆定理
-
紐の端が2つである理由
-
|2^N|=ℵ1の証明
-
「Xを異なる3点a,b,cの集合とす...
おすすめ情報