证明
下文所用的先修证明
固定整数 ,在 上使用欧几里得范数。集合若包含在某个有限半径的球内,就称为有界;若补集是开集,就称为闭集;若它的每个由 中开集组成的覆盖都有有限子覆盖,就称为紧集。我们使用实数完备性,包括闭区间套性质。
有限维欧几里得空间的 Heine–Borel 定理
定理。 集合 紧致,当且仅当它闭且有界。空集具有这三种性质。
紧致推出有界。 开球 (整数 )覆盖 。取有限子覆盖后, 包含在其中最大的球内。
紧致推出闭。 设 且 。开球 ()覆盖 。取中心为 的有限子覆盖,令 。若 在以 为中心的所选球内,三角不等式给出 。所以 不与 相交,补集是开集。
闭且有界推出紧致。 设非空的 闭且有界,把它包含在闭立方体 内,其中 。假设 的某个开覆盖没有有限子覆盖。把每个坐标区间分成两个闭半区间,所得 个闭子立方体覆盖 。至少一个子立方体与 的交集不能由给定覆盖族有限覆盖;否则把有限多个有限子覆盖合并,就能覆盖 。选取这样的子立方体并重复,得到闭立方体套 ,其边长为 ,且 不能被有限覆盖,因而非空。
对每个坐标使用闭区间套性质,得到公共坐标值;合起来得到 。 中任意两点的距离不超过 ,所以交集中只有 。选取 ,则 。闭集包含这种极限:若 在开补集中, 周围某个开球就会使最终的 落在 外,矛盾。因此 。
覆盖中有一个成员 含 ,由开放性,存在 使 。当 足够大时, 的每点到 的距离都小于 ,于是单个 就覆盖 ,与 的选取矛盾。因此每个开覆盖都有有限子覆盖。这里 是有限数;若改成无限多个子块,这个论证就不再成立。
连续像与极值
定理。 若 紧致,且 相对于 连续,则 紧致。特别地,非空紧集 上的连续函数 有界,并达到最大值和最小值。
证明。 的开覆盖 的原像是相对开集 ,其中 在 中开。这些 覆盖 ,所以有限多个足够。对应的 覆盖 ,证明了像的紧致性。对标量函数 ,由已证明定理的一维情形,其像非空、闭且有界。令 。对每个 ,由上确界定义,可取 使 。于是 ,闭性使 属于像,所以最大值可达。对 使用同一论证即得最小值。该结论证明存在性,而不提供极大点的计算公式。
导数是极限
定义
内点处的导数
若 在 附近有定义,且有限极限
存在,则称 在 可微。等价地,,其中当 时 。
在 可微蕴含在该点连续:写成 ,并令 。逆命题不成立: 在零点连续但不可微,因为左右差商分别趋向 及 。
定理
费马、罗尔及中值定理
若可微函数在内点取得局部极值,其导数在该点为零。若 , 在 连续、在 可微,且 ,则存在 使 ,这是罗尔定理。因此,在相同连续与可微假设下但不要求端点值相等,存在 满足
证明
由极值到中值
在局部最大点,正增量的差商非正、负增量的差商非负。若两者收敛至同一导数,该导数必为零;最小值情况类似。对罗尔定理,极值定理保证在 上取得最大和最小值。若函数为常数,任意内点皆可;否则由于两端值相同,至少一个极值在内部,便可用费马定理。对中值定理,减去连接 与 的仿射函数,再应用罗尔定理。
例题
导数界控制函数
若区间上 ,且 在其中每条闭线段连续,则对 ,中值定理给 。因此 在该区间为 Lipschitz 函数且一致连续。此界是充分条件,不是一致连续的必要条件。
区间假设很重要: 在 上两端值相等,但在零点不可微;开区间中没有导数为零的点。局部导数界也不自动成为单一全局界。
方法比较
在例外点及证明基础性质时用导数定义;检查假设后再用乘积和链式法则。用中值定理控制有限变化并证明单调性:区间上 蕴含 不递减。某点导数为零不代表该点是局部极值。
练习
- 证明在一点可微蕴含在该点连续。
- 证明 在原点导数为零,但没有局部极值。
- 若区间上处处 ,证明 为常数。
- 为何罗尔定理不能用于 在 的情况?
详解
- 差商趋向有限值 ;乘上 ,得到 。
- ,但对每个 有 、,故原点既非局部最大亦非局部最小。
- 对区间中任意 ,中值定理给 ,故所有函数值相等。
- 它在内点零处不满足可微性假设,尽管连续且端点值相同。
总结
可微比连续更强。只有函数在闭区间连续且在内部可微时,中值定理才把局部导数与有限变化连起来。