 | 中間値の定理の証明で、関数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なのになぜ=がついて<が≦になるのかがわかりません。
|
このスレッドをツリーで一括表示