随着我们进一步深入主题,知道什么是连续函数就变得非常重要。在日常用语中,一个连续的过程表示处理中没有空隙或中断或突然的变化。大体说来,如果一个函数显示相似的行为那它就是连续的,也就是说,如果
x
发生小的变化,相应的
目前为止,我们对于连续的陈述非常松散和直观,更像是在解释而不是定义。现在,我们将等式(1)作为函数
f(x)
在点
a
处连续的定义。我们发现,函数
图1
这里给出的定义告诉我们函数在其定义域内某点连续意味着什么。如果函数对定义域内所有点连续,那么该函数就是连续函数。尤其是,根据极限的性质,所有多项式和有理函数都是连续函数;通过观察图像,我们看到函数 (√x),sinθ 和 cosθ 也是连续的。我们对闭区间上连续的函数非常感兴趣。这些函数经常用他们的图像进行描述。
对符号进行小小的修改,我们就可以用点
x
(而不是点
之后会用到一些微积分定理,所以有必要将似是而非的推理转到严谨的证明。我们应该知道这些定理,但不必死记他们。我们论述三个基本定理,先不给出证据,但都会进行评论,阐明他们的含义。三个定理都是似是而非的,有些人可能会说直观上很显然。对于初学者而言,困难的部分在于面对这些非常可信的内容,我们需要持怀疑态度。
中值定理:函数
f(x)
在闭区间
[a,b]
上连续;
f(x)
在开区间
(a,b)
上可导。
那么在开区间
(a,b)
上,至少存在一点
c
使得
或等价的
通过观察图2的几何意义,我们感觉该定义是非常合理的。等式(2)的右边是
A,B
两点弦长的斜率,左边是
x=c
处的切线斜率。中值定理表明,图中至少存在一个点,该点的切线平行于弦。图3中存在两个这样的点,分别是
x=c1,x=c2
。但是这也符合要求,因为定理说至少存在一个点,这就表明允许有两个,三个或更多。
图2
中值定理的结论严格依赖于假设,因为如果假设有一点不满足,结论就不满足。考虑定义在区间 [−1,1] 上的函数 y=|x| 。该函数(图4)在闭区间 [−1,1] 上是连续的,在开区间 (−1,1) 上是可导的,除了点 x=0 ,此处导数不存在。结论对该函数就不成立,因为弦是水平的,很明显图像上没有水平的切线。
图3
图4
为了理解中值定理的重要性,我们简单非正式的考虑三个结论(之后的博文会详细介绍)。每种情况都可导,而可导暗含着函数的一个性质。中值定理是两个性质之间的桥梁。
- 如果在一个区间上 f′(x)>0 ,那么 f(x) 在这个区间上是增函数[增的意思是 a<b 那么 f(a)<f(b) ]。我们的几何直觉让我们确定这是真的,因为 f(x)>0 意味着切线指向右上方(图5)。基于中值定理更明确的结论是,等式(3)的右边是正的,所以左边也是正的,这就意味着 f(a)<f(b) 。
- 同理,如果在一个区间上 f′(x)<0 ,那么 f(x) 在这个区间上是减函数[减的意思是 a<b 那么 f(a)>f(b) ]。
- 如果在一个区间上 f′(x)=0 ,那么 f(x) 在这个区间上是常数。为了说明这种情况,我们反过来考虑,即,假设函数不是常数。那么存在两个点 a,b 且 a<b ,那么函数有两个不同的值 f(a),f(b) 。但是这意味着等式(3)的左边不等于0,而右边一定是0。这个矛盾表明我们的假设(函数不是常数)是错的。
极值定理:如果
y=f(x)
在闭区间
[a,b]
上有定义且连续,那么在区间内存在最小值和最大值;也就是说,在区间
[a,b]
上存在点
c,d
,使得
f(c)≥f(x)≥f(d)
,其中
x
在
图5
极值定理的注解
通俗地讲,这个定理断定闭区间上连续函数的图总有一个高点和一个低点。考虑图6,很明显命题是成立的,所以我们惊奇怎么可能去怀疑它呢。然而,很难用严谨的方式来证明,因为它依赖于实数轴的一个性质(完整性,意味着没有”丢失”一个点),这通常只在高级课程中讨论。
图6
另外,相对于中值定理,这里的结论只依赖于函数连续和区间是封闭的这两个假设。例如,图7所示的函数在区间 [0.1) 上是连续的,但是区间不封闭,因为不包含右端点。我们看的该函数在区间 [0,1) 上不存在最大值,因为唯一可能的最大值1在 x=1 处,但是 f(1) 没有定义。另一方面,图8中 [0,2] 区间是封闭的,函数在该区间的各处均连续,除了 x=0 外。而该函数在区间内没有最大值。
图7
关于极值有一个非常重要的事实,那就是费马定理:如果闭区间 [a,b] 上的连续函数 f(x) 在区间 [a,b] 内的一点 c 取得最大值或最小值,且
图8
介值定理:如果在闭区间 [a,b] 上 y=f(x) 有定义且连续,那么函数值都在 f(a) 和 f(b) 之间;也就是说,如果 K 是
介值定理的注解
观察图9,如果
K
位于
图9
介值定理最好的形式是如果函数 f(x) 在区间 [a,b] 上连续,且 f(a) 和 f(b) 异号,那么 (a,b) 上至少存在一点 c ,使得
该函数的图像如图11所示, f(0)<0,f(2)>0 ,因为在点 x=1 处不连续,所以区间 (0,2) 上不存在点 c 使得
图10
介值定理的实际意义通过一个例子可以更好的理解。观察方程
它不容易因式分解,因为左边没有明显的因式。然而,连续函数
f(x)=x3+2x−4
在
x=1
处为负,在
x=2
处为正[
f(1)=−1,f(2)=8
]。因此介值定理保证
f(x)
在
(1,2)
上有零点,等式在该区间内有解。更进一步,对所有
x
,
图11
评论:许多人学习微积分会失去耐心,这无可厚非,因为微积分的本质不在于定理以及如何证明他们,而在于将它们作为工具以及如何使用。数学上的严密思维是一件好事;但是就像美德一样,它被夸大了,微积分也往往如此。关注微积分证明的技巧而不是中心思想使我们对原本简单而清晰的概念生成了神秘感。