漫步微积分七——连续函数
随着我们进一步深入主题,知道什么是连续函数就变得非常重要。在日常用语中,一个连续的过程表示处理中没有空隙或中断或突然的变化。大体说来,如果一个函数显示相似的行为那它就是连续的,也就是说,如果xx发生小的变化,相应的f(x)f(x)值也发生小的变化。图1所示的函数在点aa处是连续,因为xx趋近aa时,f(x)f(x)趋近f(a)f(a)。或更确切地说,xx充分趋近aa时,f(x)f(x)要多接近就多接近f(a)f(a)。用极限的语言说就是
\begin{equation} \lim_{x\to a}f(x)=f(a).\tag1 \end{equation}
目前为止,我们对于连续的陈述非常松散和直观,更像是在解释而不是定义。现在,我们将等式(1)作为函数f(x)f(x)在点aa处连续的定义。我们发现,函数f(x)f(x)在点aa处连续需要满足三个条件:aa必须在f(x)f(x)定义域内,这样的话f(a)f(a)就存在;f(x)f(x)在xx趋近aa时有极限;这个极限值必须等于f(a)f(a)。我们通过图1可以更好的理解这些条件,函数在点b,c,db,c,d处不连续,并且不连续的方式也不同。在点bb处,limx→cf(x)\lim_{x\to c}f(x)存在但是f(b)f(b)不存在;点cc,f(c)f(c)存在但limx→cf(x)\lim_{x\to c}f(x)不存在;点dd,f(d),limx→df(x)f(d),\lim_{x\to d}f(x)都存在但值不相同。这个函数图存在三种不同情况的空隙或洞。
图1
这里给出的定义告诉我们函数在其定义域内某点连续意味着什么。如果函数对定义域内所有点连续,那么该函数就是连续函数。尤其是,根据极限的性质,所有多项式和有理函数都是连续函数;通过观察图像,我们看到函数 (√x),sinθ\sqrt(x),sin\theta和 cosθcos\theta也是连续的。我们对闭区间上连续的函数非常感兴趣。这些函数经常用他们的图像进行描述。
对符号进行小小的修改,我们就可以用点xx(而不是点aa)来表达函数f(x)f(x)的连续性
\lim_{\Delta x\to 0}f(x+\Delta x)=f(x)\quad or\quad \lim_{\Delta x\to 0}[f(x+\Delta x)-f(x)]=0; 如果 Δy=f(x+Δx)−f(x)\Delta y=f(x+\Delta x)-f(x),那么条件就变成
\lim_{\Delta x\to 0}\Delta y=0. 重新书写公式的目的是为了给出一个非常简单的证明,即函数在某点是可导的,那么函数在该点连续。证明只需一行:
\lim_{\Delta x\to 0}\Delta y=\lim_{\Delta x\to 0}\frac{\Delta y}{\Delta x} \cdot \Delta x=\left[\lim_{\Delta x\to 0}\frac{\Delta y}{\Delta x}\right]\left[\lim_{\Delta x\to 0}{\Delta x}\right]=\frac{dy}{dx}\cdot 0=0. 该命题的逆不成立,因为函数可以在某点连续,但没有导数。(例如,图1中的点 aa)。
之后会用到一些微积分定理,所以有必要将似是而非的推理转到严谨的证明。我们应该知道这些定理,但不必死记他们。我们论述三个基本定理,先不给出证据,但都会进行评论,阐明他们的含义。三个定理都是似是而非的,有些人可能会说直观上很显然。对于初学者而言,困难的部分在于面对这些非常可信的内容,我们需要持怀疑态度。
中值定理:函数y=f(x)y=f(x)满足下面两条性质:
f(x)\qquad f(x)在闭区间 [a,b][a,b]上连续;
f(x)\qquad f(x)在开区间 (a,b)(a,b)上可导。
那么在开区间 (a,b)(a,b)上,至少存在一点 cc使得
\begin{equation} f'(c)=\frac{f(b)-f(a)}{b-a}.\tag2 \end{equation}
或等价的
\begin{equation} f(b)-f(a)=f'(c)(b-a).\tag3 \end{equation} 中值定理的注解
通过观察图2的几何意义,我们感觉该定义是非常合理的。等式(2)的右边是A,BA,B两点弦长的斜率,左边是x=cx=c处的切线斜率。中值定理表明,图中至少存在一个点,该点的切线平行于弦。图3中存在两个这样的点,分别是x=c1,x=c2x=c_1,x=c_2。但是这也符合要求,因为定理说至少存在一个点,这就表明允许有两个,三个或更多。
图2
中值定理的结论严格依赖于假设,因为如果假设有一点不满足,结论就不满足。考虑定义在区间 [−1,1][-1,1]上的函数 y=|x|y=|x|。该函数(图4)在闭区间 [−1,1][-1,1]上是连续的,在开区间 (−1,1)(-1,1)上是可导的,除了点 x=0x=0,此处导数不存在。结论对该函数就不成立,因为弦是水平的,很明显图像上没有水平的切线。
图3
图4
为了理解中值定理的重要性,我们简单非正式的考虑三个结论(之后的博文会详细介绍)。每种情况都可导,而可导暗含着函数的一个性质。中值定理是两个性质之间的桥梁。
- 如果在一个区间上f′(x)>0f'(x)>0,那么f(x)f(x)在这个区间上是增函数[增的意思是a<ba那么f(a)<f(b)f(a)]。我们的几何直觉让我们确定这是真的,因为f(x)>0f(x)>0意味着切线指向右上方(图5)。基于中值定理更明确的结论是,等式(3)的右边是正的,所以左边也是正的,这就意味着f(a)<f(b)f(a)。
- 同理,如果在一个区间上f′(x)<0f'(x),那么f(x)f(x)在这个区间上是减函数[减的意思是a<ba那么f(a)>f(b)f(a)>f(b)]。
- 如果在一个区间上f′(x)=0f'(x)=0,那么f(x)f(x)在这个区间上是常数。为了说明这种情况,我们反过来考虑,即,假设函数不是常数。那么存在两个点a,ba,b且a<ba,那么函数有两个不同的值f(a),f(b)f(a),f(b)。但是这意味着等式(3)的左边不等于0,而右边一定是0。这个矛盾表明我们的假设(函数不是常数)是错的。
极值定理:如果y=f(x)y=f(x)在闭区间[a,b][a,b]上有定义且连续,那么在区间内存在最小值和最大值;也就是说,在区间[a,b][a,b]上存在点c,dc,d,使得f(c)≥f(x)≥f(d)f(c)\geq f(x)\geq f(d),其中xx在[a,b][a,b]上。
图5
极值定理的注解
通俗地讲,这个定理断定闭区间上连续函数的图总有一个高点和一个低点。考虑图6,很明显命题是成立的,所以我们惊奇怎么可能去怀疑它呢。然而,很难用严谨的方式来证明,因为它依赖于实数轴的一个性质(完整性,意味着没有”丢失”一个点),这通常只在高级课程中讨论。
图6
另外,相对于中值定理,这里的结论只依赖于函数连续和区间是封闭的这两个假设。例如,图7所示的函数在区间 [0.1)[0.1)上是连续的,但是区间不封闭,因为不包含右端点。我们看的该函数在区间 [0,1)[0,1)上不存在最大值,因为唯一可能的最大值1在 x=1x=1处,但是 f(1)f(1)没有定义。另一方面,图8中 [0,2][0,2]区间是封闭的,函数在该区间的各处均连续,除了 x=0x=0外。而该函数在区间内没有最大值。
图7
关于极值有一个非常重要的事实,那就是费马定理:如果闭区间 [a,b][a,b]上的连续函数 f(x)f(x)在区间 [a,b][a,b]内的一点 cc取得最大值或最小值,且f(x)f(x)在点 cc处可导,那么f′(c)=0f'(c)=0。之后我们会经常计算闭区间上连续函数的极值。费马定理告诉我们,在区间的端点或内部,我们肯定可以找到这样的点,要么 f′(x)=0f'(x)=0,要么 f′(x)f'(x)不存在。
图8
介值定理:如果在闭区间 [a,b][a,b]上 y=f(x)y=f(x)有定义且连续,那么函数值都在 f(a)f(a)和 f(b)f(b)之间;也就是说,如果 KK是f(a)f(a)和 f(b)f(b)之间的任何一个数,那么在 (a,b)(a,b)内至少存在一点 cc,使得f(c)=Kf(c)=K。
介值定理的注解
观察图9,如果KK位于f(a)f(a)和f(b)f(b)之间,那么高度为KK的水平线与y=f(x)y=f(x)图像有交点。
图9
介值定理最好的形式是如果函数 f(x)f(x)在区间 [a,b][a,b]上连续,且 f(a)f(a)和 f(b)f(b)异号,那么 (a,b)(a,b)上至少存在一点 cc,使得f(c)=0f(c)=0。换句话说,图像不可能在没有穿过横轴的情况下从一边到另一边(图10)。这看起来似乎非常明显,但是如果函数哪怕在一个点处不连续,该命题就不成立。考虑定义在 [0,2][0,2]上的函数
y=f(x)= \begin{cases} -1&\text{$0
该函数的图像如图11所示, f(0)<0,f(2)>0f(0)0,因为在点 x=1x=1处不连续,所以区间 (0,2)(0,2)上不存在点 cc使得f(c)=0f(c)=0。
图10
介值定理的实际意义通过一个例子可以更好的理解。观察方程
\begin{equation} x^3+2x-4=0\tag4 \end{equation}
它不容易因式分解,因为左边没有明显的因式。然而,连续函数f(x)=x3+2x−4f(x)=x^3+2x-4在x=1x=1处为负,在x=2x=2处为正[f(1)=−1,f(2)=8f(1)=-1,f(2)=8]。因此介值定理保证f(x)f(x)在(1,2)(1,2)上有零点,等式在该区间内有解。更进一步,对所有xx,f′(x)=3x2+2>0f'(x)=3x^2+2>0,所以只有一个零点,(4)式只有一个解。假设有两个解,那么根据中值定理,存在一点cc使得f′(c)=0f'(c)=0,而这是不会发生的。
图11
评论:许多人学习微积分会失去耐心,这无可厚非,因为微积分的本质不在于定理以及如何证明他们,而在于将它们作为工具以及如何使用。数学上的严密思维是一件好事;但是就像美德一样,它被夸大了,微积分也往往如此。关注微积分证明的技巧而不是中心思想使我们对原本简单而清晰的概念生成了神秘感。
漫步微积分七——连续函数相关推荐
- 漫步微积分二十九——微积分基本定理
目前为止,我们通过逼近和的极限,得到了一个相当复杂的连续函数定积分的定义, ∫baf(x)dx=limmax Δxk→∞∑k=1nf(x∗k)Δxk(1) \begin{equation} \int_ ...
- 漫步凸分析七——凸函数闭包
线性函数的凸性是代数性质(线性)的结果,而对于凸函数,事情就没那么简单了,但是凸函数本身依然有许多拓扑性质,通过将凸集的闭包和相对内点理论应用到凸函数的上境图或水平集上可以推出这些结论.有一个基本的结 ...
- 漫步微积分三十八——流体静力学
声明:单变量微积分的内容到这里就结束了,衷心希望可以帮到大家,再次谢谢大家的支持. 前面的文章中我们已经看到如何使用积分来解决几何和基本物理中产生的问题. 本节,我们简短介绍一下流体静力学,它主要关注 ...
- 漫步微积分三十五——弧长
弧是介于曲线上两个特定点AA和点BB之间的一部分,如图1 左边所示.物理上,弧长是一个非常简单的概念.数学上,它是稍微有点复杂.从物理观点看,我们只是折弯了一根绳子来拟合从AA到BB的曲线,标记下对应 ...
- 漫步微积分三十一——定积分的直观含义
前面的文章中,我们完成了两个主要目的.首先,我们将面积近似为给定曲线下的面积,并利用他们和的极限求出确切的面积值.第二,通过使用更强大的方法微积分基本定理,我们学会了如何计算极限的数值解.几乎前几篇文 ...
- 漫步微积分三十——定积分的性质
代数和几何面积 在前面的章节我们考虑了曲线y=f(x)y=f(x)下方和x=a,x−bx=a,x-b之间围成区域的面积,还有两个假设分别是(1)f(x)≥0;(2)a<b(1)f(x)\geq ...
- 漫步微积分二十七——曲线下的面积 定积分 黎曼
我们继续讨论我们要解决的问题.y=f(x)y=f(x)是定义在闭区间a≤x≤ba\leq x\leq b上的非负函数,如图1所示.我们如何计算阴影部分(即图像下方,xx轴上方以及垂直直线x=a,x=b ...
- 漫步微积分二十四——定积分引言
在之前的文章中我们提到过,微积分就是与曲线有关的两种计算方法即 曲线上切线的斜率 曲线围成的面积 当然,这将主题描述的过于简单,因为它强调微积分作为几何的工具,没有说它在科学研究中起着不可或缺的作用. ...
- 漫步微积分二十三——重力作用下的运动 逃逸速度和黑洞
微积分发展的许多原始灵感来自于力学,这两个主题到今天为止一直是不可分割的.力学建立在牛顿提出的基本原则上.这些原则的陈述需要导数的概念,在本文我们会看到这些应用依赖于积分和微分方程的解. 直线运动是沿 ...
最新文章
- C# 的三种序列化方法
- 基于Kmeans聚类算法的图像分割(色彩分割)实战
- [Tips on Ember 2] 如何尝试 angle-bracket component
- 段落排版--行间距, 行高(line-height)
- jquery交换数组元素位置_跟我一起学jQuery——第一集
- Visual C++编程中的文件操作
- php网页脚本代码大全,PHP编写脚本代码的详细教程
- linux系统组成以及运行模式
- java 集合工具类_Java集合中Collections工具类总结
- taro 微信公众号_Taro 如何开始微信小程序的开发
- CentOS6.4 X86_64 kvm+PXE备忘
- 快乐之道:游戏设计的黄金法则
- Linux tar命令无法执行,Linux执行tar解压报错tar: Error is not recoverable: exiting now
- centos7安装jdk1.8.0并配置JAVA_HOME环境变量
- Redhat rpm常用命令以及如何配置yum软件仓库使用yum install
- 听说你有10年的工作经验?还是你把1个经验反复用了10年?(文末赠书)
- luci编程 openwrt_openWRT之Luci简介
- HoloLens原理分析和硬件拆解
- 学习java随堂练习-20220624
- iOS代码质量要求_图片压缩(iOS)
热门文章
- BZOJ 4421: [Cerc2015] Digit Division 排列组合
- Tomcat网络IO NIO模型参数设定
- Java中的自增操作符与中间缓存变量机制
- 函数调用过程实例详解
- Vue.js 内部运行机制之总结 常见问题解答
- Centos 监控进程,并自动重启
- TypeScript 接口(Interface)
- JavaScript玩转机器学习:保存并加载 tf.Model
- 在Spring中使用JDBC访问关系数据
- RMAN备份恢复报错 ORA-19573: cannot obtain exclusive enqueue for datafile 5