数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■52112 / 親階層)  中間値の定理の証明(区間縮小法ではない)
□投稿者/ 未熟者 一般人(1回)-(2023/02/09(Thu) 17:56:59)
    中間値の定理の証明で、関数fが区間[a,b]で定義され、連続で、f(a)=α<0、f(b)=β>0とする。そのときf(c)=0となるcがaとbの間に存在するとあり、本にその証明として、

    a≦d<bかつ区間[a,d]で常にf(x)<0であるようなd全体の集合をAとする。bはAの一つの上界なのでAは上に有界である。そこでsup A=cとする。a≦x<cとすれば、x<d<cを満たすdがあるからf(x)<0、よって区間[a,c)でf(x)<0である。ゆえにfの連続性からlim(x→c-0)f(x)=f(c)≦0となる。(以下略)

    とあるのですが、なぜfの連続性によってf(c)≦0となるのでしょうか。区間[a,c)でf(x)<0なのになぜ=がついて<が≦になるのかがわかりません。
記事引用 [メール受信/OFF] 削除キー/

前の記事(元になった記事) 次の記事(この記事の返信)
親記事 →Re[1]: 中間値の定理の証明(区間縮小法.. /らすかる
→Re[1]: 中間値の定理の証明(区間縮小法.. /muturajcp
 
上記関連ツリー

Nomal 中間値の定理の証明(区間縮小法ではない) / 未熟者 (23/02/09(Thu) 17:56) #52112 ←Now
Nomal Re[1]: 中間値の定理の証明(区間縮小法.. / らすかる (23/02/09(Thu) 18:05) #52113
Nomal Re[1]: 中間値の定理の証明(区間縮小法.. / muturajcp (23/04/07(Fri) 20:12) #52146

All 上記ツリーを一括表示 / 上記ツリーをトピック表示
 
上記の記事へ返信

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター