复旦大学2019-2020学年数学分析(AI)第一学期期末试卷
证明:利用单调有界原理。
由已知可知
$\forall \eta \in [F(\alpha ),F(\beta )]\subset [F(a),F(b)],$
$F(x)$有介值性,即
$\exists \xi\in[\alpha ,\beta ]\subset [a,b],s.t.F(\xi)=\eta .$
则存在$x_n\in[\xi-\delta ,\xi)$(左邻域,单调增),由于$F(x)$在$[\xi-\delta ,\xi)$上单调增,且$F(x_n)\leq F(\xi)=\eta.$
所以,$F(x_n)$为单调有界,有极限,即
$\forall \epsilon > 0,\exists N>0,n>N,\exists \delta > 0,|x_n-\xi|< \delta ,s.t.|F(x_n)-F(\xi)|< \epsilon .$
同理,存在$x_n\in(\xi,\xi+\delta],$(右邻域,单调减)
$\forall \epsilon > 0,\exists N>0,n>N,\exists \delta > 0,|x_n-\xi|< \delta ,s.t.|F(x_n)-F(\xi)|< \epsilon .$
即
$\displaystyle \lim_{n \to \infty }F(x_n)=F(\xi)=\eta.$
左右极限存在且相等。也即$F(x)$在$\xi$点连续。而由$\xi$的任意性,可知,$F(x)$在$[a,b]$上连续。