微积分Z2J9 连续函数在闭区间上的性质

一、最值定理

内容

若$f(x)$在$[a,b]$上连续，则对$f(x)$在该区间内的最大值M和最小值N而言，
必然有$ϵ,\xi \in [a,b]$使得：
$N=f(ϵ)\le f(x)\le f(\xi )=M$

换句话说，闭区间上的连续函数必然存在最大值和最小值。

几何含义：连续函数在闭区间内的图像总在最值代表的直线之间。

注意，该定理是充分性定理，并且闭区间、连续性缺一不可。

推广：有界定理

连续函数在闭区间上必然有界。

数学语言：
若$f(x)$在区间$[a,b]$上连续，则必然存在$M>0$使得$|f(x)|\le M$，这个M通常为函数在该区间内能取到的最大值。

二、零点定理

$f(x)$在$[a,b]$上连续，且$f(a)f(b)<0$，则函数在该区间内至少有一个零点。

即：对在$[a,b]$上的连续函数$f(x)$,若$f(a)f(b)<0$,则函数在该区间必然有一个零点。

三、介值定理

介值定理是零点定理的推广。

函数在区间内连续，则函数必然取到在该区间对应函数最值之间的某个数。

即$f(x)$在$[a,b]$内连续，且值域为$[N,M]$,则$\exists \xi \in [a,b],f(\xi )\in [N,M]$

或者：对在$[a,b]$上的连续函数$f(x)$，若$f(a)\ne f(b)$，$f(x)$必然取到介于$f(a)、f(b)$上的任意值。

几何含义：函数图像必然通过介于最值代表的直线之间的水平线

换句话说，连续函数的函数值不可能越过其间的任何值