漫步微积分七——连续函数

随着我们进一步深入主题,知道什么是连续函数就变得非常重要。在日常用语中,一个连续的过程表示处理中没有空隙或中断或突然的变化。大体说来,如果一个函数显示相似的行为那它就是连续的,也就是说,如果x发生小的变化,相应的f(x)值也发生小的变化。图1所示的函数在点a处是连续,因为x趋近a时,f(x)趋近f(a)。或更确切地说,x充分趋近a时,f(x)要多接近就多接近f(a)。用极限的语言说就是

limx→af(x)=f(a).(1)

目前为止,我们对于连续的陈述非常松散和直观,更像是在解释而不是定义。现在,我们将等式(1)作为函数f(x)在点a处连续的定义。我们发现,函数f(x)在点a处连续需要满足三个条件:a必须在f(x)定义域内,这样的话f(a)就存在;f(x)在x趋近a时有极限;这个极限值必须等于f(a)。我们通过图1可以更好的理解这些条件,函数在点b,c,d处不连续,并且不连续的方式也不同。在点b处,limx→cf(x)存在但是f(b)不存在;点c,f(c)存在但limx→cf(x)不存在;点d,f(d),limx→df(x)都存在但值不相同。这个函数图存在三种不同情况的空隙或洞。

图1

这里给出的定义告诉我们函数在其定义域内某点连续意味着什么。如果函数对定义域内所有点连续,那么该函数就是连续函数。尤其是,根据极限的性质,所有多项式和有理函数都是连续函数;通过观察图像,我们看到函数(√x),sinθ和cosθ也是连续的。我们对闭区间上连续的函数非常感兴趣。这些函数经常用他们的图像进行描述。

对符号进行小小的修改,我们就可以用点x(而不是点a)来表达函数f(x)的连续性

limΔx→0f(x+Δx)=f(x)orlimΔx→0[f(x+Δx)?f(x)]=0;

如果Δy=f(x+Δx)?f(x),那么条件就变成

limΔx→0Δy=0.

重新书写公式的目的是为了给出一个非常简单的证明,即函数在某点是可导的,那么函数在该点连续。证明只需一行:

limΔx→0Δy=limΔx→0ΔyΔx?Δx=[limΔx→0ΔyΔx][limΔx→0Δx]=dydx?0=0.

该命题的逆不成立,因为函数可以在某点连续,但没有导数。(例如,图1中的点a)。

之后会用到一些微积分定理,所以有必要将似是而非的推理转到严谨的证明。我们应该知道这些定理,但不必死记他们。我们论述三个基本定理,先不给出证据,但都会进行评论,阐明他们的含义。三个定理都是似是而非的,有些人可能会说直观上很显然。对于初学者而言,困难的部分在于面对这些非常可信的内容,我们需要持怀疑态度。

中值定理:函数y=f(x)满足下面两条性质:

f(x)在闭区间[a,b]上连续;

f(x)在开区间(a,b)上可导。

那么在开区间(a,b)上,至少存在一点c使得

f′(c)=f(b)?f(a)b?a.(2)

或等价的

f(b)?f(a)=f′(c)(b?a).(3)

中值定理的注解

通过观察图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

为了理解中值定理的重要性,我们简单非正式的考虑三个结论(之后的博文会详细介绍)。每种情况都可导,而可导暗含着函数的一个性质。中值定理是两个性质之间的桥梁。

  1. 如果在一个区间上f′(x)>0,那么f(x)在这个区间上是增函数[增的意思是a<b那么f(a)<f(b)]。我们的几何直觉让我们确定这是真的,因为f(x)>0意味着切线指向右上方(图5)。基于中值定理更明确的结论是,等式(3)的右边是正的,所以左边也是正的,这就意味着f(a)<f(b)。
  2. 同理,如果在一个区间上f′(x)<0,那么f(x)在这个区间上是减函数[减的意思是a<b那么f(a)>f(b)]。
  3. 如果在一个区间上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在[a,b]上。

图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取得最大值或最小值,且f(x)在点c处可导,那么f′(c)=0。之后我们会经常计算闭区间上连续函数的极值。费马定理告诉我们,在区间的端点或内部,我们肯定可以找到这样的点,要么f′(x)=0,要么f′(x)不存在。

图8

介值定理:如果在闭区间[a,b]上y=f(x)有定义且连续,那么函数值都在f(a)和f(b)之间;也就是说,如果K是f(a)和f(b)之间的任何一个数,那么在(a,b)内至少存在一点c,使得f(c)=K。

介值定理的注解

观察图9,如果K位于f(a)和f(b)之间,那么高度为K的水平线与y=f(x)图像有交点。

图9

介值定理最好的形式是如果函数f(x)在区间[a,b]上连续,且f(a)和f(b)异号,那么(a,b)上至少存在一点c,使得f(c)=0。换句话说,图像不可能在没有穿过横轴的情况下从一边到另一边(图10)。这看起来似乎非常明显,但是如果函数哪怕在一个点处不连续,该命题就不成立。考虑定义在[0,2]上的函数

y=f(x)={?110<x<1,1≤x≤2

该函数的图像如图11所示,f(0)<0,f(2)>0,因为在点x=1处不连续,所以区间(0,2)上不存在点c使得f(c)=0。

图10

介值定理的实际意义通过一个例子可以更好的理解。观察方程

x3+2x?4=0(4)

它不容易因式分解,因为左边没有明显的因式。然而,连续函数f(x)=x3+2x?4在x=1处为负,在x=2处为正[f(1)=?1,f(2)=8]。因此介值定理保证f(x)在(1,2)上有零点,等式在该区间内有解。更进一步,对所有x,f′(x)=3x2+2>0,所以只有一个零点,(4)式只有一个解。假设有两个解,那么根据中值定理,存在一点c使得f′(c)=0,而这是不会发生的。

图11

评论:许多人学习微积分会失去耐心,这无可厚非,因为微积分的本质不在于定理以及如何证明他们,而在于将它们作为工具以及如何使用。数学上的严密思维是一件好事;但是就像美德一样,它被夸大了,微积分也往往如此。关注微积分证明的技巧而不是中心思想使我们对原本简单而清晰的概念生成了神秘感。

时间: 2024-10-13 02:38:33

漫步微积分七——连续函数的相关文章

漫步微积分六——极限是概念

前面给出的导数定义都依赖于函数极限的概念,我们对极限只做了最简短的解释.现在,我们已经知道了这一概念的目的,接下来关心一下它的意义. 考虑函数f(x),自变量在点a的领域内都有定义,但是a 点本身没定义.假设存在一个实数值L,当x越来越接近a时,f(x)越来越接近L(图1).对于这种情况我们说L是x趋近a时f(x)的极限,用符号表示为 limx→af(x)=L.(1) 图1 如果不存在这样的实数 L,我们说x趋近a时f(x)没有极限,或者limx→af(x) 不存在.另一种和(1)等价且被广泛使

无情刀客之“一怒拔刀”

“哒哒哒……”一阵急促的马蹄声从远处传来,马上的人皆是一身劲装,领头的一位银白的须发随风漂浮,眉心处一颗黑痣特别显眼.他一边追一边喊:“黄毛小子,我看你再往哪里跑”在他们前面不远处一个衣衫褴褛的青年正在纵马狂奔.大约又跑了三.四里,青年胯下的马一下载倒在地,青年顺势翻了出去,蹲在地上.后面的人马立刻追了上来,最先来到青年跟前的是个独眼聋.独眼聋挥舞着长枪朝青年刺去,青年向左一闪,右手随即撇出一把飞刀,正中独眼聋咽喉,青年纵身一脚踢下对方,并跃上了对方的马,继而又朝前处奔去.后面的人见自己同伴死去

【微积分】 04 - 一元积分

1. 不定积分 1.1 原函数和不定积分 前面的微分学讨论了导数对函数局部值的影响,现在开始就来看看整体的导函数能确定怎样的函数?换句话说,已知导函数的情况下,能否确定函数本身.对于不是处处有定义的导函数,为了简单起见,可以把它拆分成多个区间讨论.为此,对于区间\(I\)上处处有定义的导函数\(f(x)\),如果存在函数满足\(F'(x)=f(x)\),那么\(F(x)\)称为\(f(x)\)的原函数. 前面我们已经知道,区间上导函数相同的函数之间只相差一个常数,从而如果原函数\(F(x)\)存

(四)分数阶微积分

我们重点考察$R-L$型分数阶微积分的性质,简记${}_{0}^{RL}D_{t}^{\beta}=D_{t}^{\beta}$,若无特殊说明.a). 线性性$$D_{t}^{\beta}[f(t)+g(t)]=D_{t}^{\beta}f(t)+D_{t}^{\beta}g(t)$$$$D_{t}^{\beta}\lambda f(t)=\lambda D_{t}^{\beta}f(t) $$证明:直接带入定义验算即可.设$m=[\beta]+1$$${}_{0}^{RL}D_{t}^{\be

贝克莱悖论:已死量的幽灵(微积分危机)

十七世纪后期,英国数学家牛顿和德国数学家莱布尼茨分别独立创建了微积分学,成为解决众多问题的重要而有力的工具,并在实际应用中获得了巨大成功,然而,微积分学产生伊始,迎来的并非全是掌声,在当时它还遭到了许多人的强烈攻击和指责,原因在于当时的微积分主要建立在无穷小分析之上,而无穷小后来证明是包含逻辑矛盾的. 1734年,大主教乔治·贝克莱以“渺小的哲学家”之名出版了一本标题很长的书<分析学家:或一篇致一位不信神数学家的论文,其中审查一下近代分析学的对象.原则及论断是不是比宗教的神秘.信仰的要点有更清晰

第七章 本源时空(补充)

                第七章        本源时空(补充) ?      第七章是匆匆结束的,有点文不对题.什么是本源时空,没有详细的论述.2个月来.我一直想做个小结,无奈心不在焉,忙于正业的玩游戏.看小说.其实,真正的原因.后面或许.会说一下吧.     我敢确定相对论.量子论等垃圾理论,100%是错误的,都将成为历史.按照本人30多年的实战经验总结,我的理论95%以上是对的:或许在小节上.不经意的地方有错误吧.嗯.注明一下:我不是"春哥",不需要"信我者永生&

机器学习之数学基础(一)-微积分,概率论和矩阵

学习python快一年了,因为之前学习python全栈时,没有记录学习笔记想回顾发现没有好的记录,目前主攻python自然语言处理方面,把每天的学习记录记录下来,以供以后查看,和交流分享.~~(.?ω?.) ~~ 这一系列主要学习和回顾机器学习的数学部分. 微积分: 一:两边夹定理 二:极限存在定理 三:两个常用的极限 四:常用函数的导数 五:泰勒公式-麦克劳林公式 六:方向导数 七:梯度的概念 八:凸函数-如x2属于凸函数 概率论: 一:基本概率公式 二:常用分布 三:Logistic函数 原

数学分析的主线,高等数学的一切:连续函数与“有理”分析

这里要讨论的,是关于数学分析(以及工科生的高等数学)这门课程本身的某些中心思想和知识内容的组织方式.我并不是数学教师,甚至不是数学系学生,但是我作为一个"业余"读者,还是从这门课程中发现了一些自己以前没有注意过的东西.在此分享出来,供大家参考和批评. 1 连续函数的意义 首先,让我们从一个高等数学中再熟悉不过的概念--连续性说起.所谓函数的连续性定义如下: 设实函数\(f(x)\)在点\(x_0\)及其附近有定义.若给定一任意小的\(\varepsilon>0\),总能找到对应的

数学基础系列(三)----第一中值定理、微积分基本定理、牛莱公式、泰勒公式

一.第一中值定理 如果函数f(x)在闭区间[a,b]上连续,则在积分区间[a,b]上至少存在一个点$\xi $,使得$\int_{a}^{b}f(x)dx=f(\xi )(b-a).(a\leqslant \xi \leqslant b)$ 二.微积分基本定理 积分上限函数:函数f(x)在区间[a,b]上连续,对于定积分$\int_{a}^{x}f(x)dx$每一个取值的x都有一个对应的定积分值.记作:$\Phi (x)=\int_{a}^{x}f(t)dt$ 定理1: 定理2(原函数存在定理)