跳转到内容

介值定理

维基百科,自由的百科全书

这是本页的一个历史版本,由58.209.91.27留言2014年6月19日 (四) 07:34 证明编辑。这可能和当前版本存在着巨大的差异。

数学中,介值定理的陈述是:

假设 是一个实数里的闭区间,而 连续函数,那么其像集 也是区间。它或者包含 (如果 ),或者包含 (如果 )。换言之:

  • ,

  • .

介值定理通常以下述等价的形式表述:假设 是连续函数,且实数 满足 ,则存在 使得

直观地比喻,这代表可以在纸上画出一个连续函数 的图形,而不让笔离开纸面。

介值定理首先由伯纳德·波尔查诺提出和证明,但是他的证明现在看来不是十分严格。

介值定理图解

证明

我们证明第一种情况;第二种情况也类似。

内所有 的集合,使得 。那么 是非空的,因为 的一个元素,且 是上有界的,其上界为 。于是,根据实数的完备性最小上界一定存在。我们来证明

  • 假设。那么,因此存在,使得当时,就有 ,因为 是连续函数。但是,这样一来,当时,就有(也就是说,对于 内的 ,都有 )。因此 的一个上界,与我们假设 是最小上界以及 矛盾。
  • 假设。根据连续性,存在一个,使得当时,就有。那么对于 内的 ,都有,因此存在大于 ,使得,这与 的定义矛盾。

因此

此定理仰赖于实数完备性,它对有理数不成立。例如函数 满足 ,但不存在满足 的有理数

零点定理

零点定理是介值定理的一种特殊情况。设函数在闭区间上连续,且,则必存在使成立。由于零点定理可用来找一方程式的根,也称为勘根定理。

现实世界中的意义

介值定理意味着在地球的任何大圆上,温度压强海拔二氧化碳浓度(或其他任何连续变化的变量),总存在两个对跖点,在这两个点上该变量的值是相同的。

证明:f为圆上的任何连续函数。通过圆的中心作一条直线,与圆相交于点A和点B。设df(A) − f(B)的差。如果把这条直线旋转180度,将得到值−d。根据介值定理,一定存在某个旋转角,使得d = 0,在这个角度上便有f(A) = f(B)。

这是一个更加一般的结果——博苏克-乌拉姆定理的特殊情况。

参考文献

外部链接

参见