数学 {介值定理,极值定理,零点定理}

数学 {介值定理,极值定理,零点定理}

介值定理

定义

#Intermediate value theorem#;
+(函數的介值屬性): 函數在區間$I$上的值域(像的集合) 是個區間, 即f(I)是個區間, 則該函數在區間I上滿足介值定理;
+(集合的介值屬性): 如果一個實數集合 同時是個區間, 則該集合滿足介值定理;

性质

爲什麽叫介值呢? 該定理所表達的意思 就是說 你所有的值 都是介於一個區間T裏面的(即都是區間T裏的元素);
比如說函數F在區間I上連續 (令mi,ma: 值域的最小/最大值), 那麽任意I裏的元素x 都會有mi<=f(x)<=ma, 所以叫介;
. 但這並不完全等價于這個定理 因爲該定理是說 所有的[mi,ma]都有原像, 即值域就等於[mi,ma] 而不是[mi,ma]的真子集;

@DELI;

連續函數 一定滿足介值定理, 但反之不然, 比如分段函數x+1, [-1,0]; x-1, [0,1] 該函數在[0,1]的值域是[-1,1] 是個區間 所以滿足介值定理, 但是他不是連續函數;

错误

仔细理解*$f(I)$这个值域集合, 是个区间的意思;
. 即判断一个集合 是否是区间*, 比如{1,2}就不是区间[1,2], 区间[1,2]是表示所有的{x | 1<=x<=2}的实数 他是无穷个的; (因此 比如f(x) = {1, x<0; 2, x>=0} 他在[-1,1]上 不满足介值定理, 但他在[0,1]上 满足介值定理);

应用

达布定理: LINK: https://editor.csdn.net/md/?not_checkout=1&articleId=131417635;

极值定理 Extreme value theorem

定义

前提: 设函数$f$在 闭区间$I$上是连续的;
结论: 像集$f(I)$ 一定存在最大元与最小元 (等价表述: 函数在闭区间$I$上存在最大最小值);

解释

从定义可知 他明明讨论的是最值 但为什么命名为极值呢?
. 我觉得, 因为函数的最值点 还有个等价的名字 就是全局极值点, 所以官方都叫做极值定理 (叫做最值定理可能更好吧…)

性质

他是介值定理的必要条件, 即介值定理 已经隐含了该定理, 因此 介值定理完全可以替代他;

零点定理 Bolzano's theorem

定义

前提: 设函数$f$在 闭区间$[a,b]$上是连续的, 且$f(a)\ast f(b)<0$;
结论: $\exists x\in (a,b),f(x)=0$;

性质

他是介值定理的必要条件, 即介值定理 已经隐含了该定理, 因此 介值定理完全可以替代他;