微积分 · 教材导读
按教材原顺序阅读:展开一节,看到若干知识分组,每组里是原文与例题。公式离线渲染,页码对应苏德矿《微积分(上)》第三版。
一函数与确界选自 §1.13 个知识分组
定义
设 , 是两个非空实数集,如果存在一个对应法则 ,使得对 中任何一个实数 ,在 中都有唯一确定的实数 与 对应,则称 是 上的函数,记为
称为 对应的函数值,记为
其中 叫做自变量, 叫做因变量。
有时也简称因变量 是自变量 的函数。虽然这种说法并不太确切,但反映了 是依赖于 的变量,在使用上有方便之处。所以我们以后常用这种说法,但应正确理解,函数的本质是指对应法则 与定义域,不是指因变量 。
称为函数 的定义域,记为 。集合 称为函数的值域,记为 。在平面坐标系 下,集合 称为函数 的图形或图像。
对区间我们常引入下面的记号。开区间 称为以 为心,以 为半径的邻域,简称为 的 邻域,记作 。若不需要指明半径 时,记作 ,称为 的某邻域。
称为以 为心,以 为半径的空(去)心邻域,简称为 的 空(去)心邻域,记作 。
说明
由函数的定义可知,定义域和对应法则是确定函数的两个要素。至于变量本身的具体意义及采用什么记号是无关紧要的,比如
代表同一个函数。
如果同时研究几个不同的函数,即不同的对应规律,就必须用不同的记号加以区别,如 。有时为了简便起见,可用 表示一个函数,这样 既代表对应规律又代表因变量。
在函数的定义中,当 在 上每取一个值 ,所对应的值 称为函数 在 处的值,记作 ,即有 。
如果一个函数是由数学表达式给出,而定义域没有具体的规定,那么它的定义域就是使得函数在数学上有意义的自变量所取数值的全体。如果该函数有实际背景,则它的定义域还要根据问题的实际条件来确定。
表示函数的定义域常用区间、不等式这两种方法。
确界
设 ,,若常数 满足下列两个条件:
(1) 是 的上界,即对一切 ,都有 ;
(2) 是 的最小上界,即对任意给定的 , 都不是 的上界,即任给 ,一定存在 ,使 (注意:这里的 随 变化而变化),
则称数 为数集 的上确界,记作 或 。
设 ,,若常数 满足下列两个条件:
(1) 是 的下界,即对一切 ,都有 ;
(2) 是 的最大下界,即对任意给定的 ,一定存在 ,使 ,
则称数 为数集 的下确界,记作 或 。
例如 ,;,;,。
从上面的例子可以看出,若数集 有上(下)确界,则上(下)确界可能属于 ,也可能不属于 。可以证明上(下)确界属于 的充要条件是上(下)确界为 的最大(小)值。若数集 存在上(下)确界,则一定是唯一的。
确界原理 非空有上(下)界的数集,必有上(下)确界。
推论 非空有界的数集,必有上(下)确界。
这个原理,我们作为公理来接受,它是微积分理论的基础,因此,我们应给予足够的重视。
§1.2具有某些特性的函数选自 §1.23 个知识分组 · 含例题
定义
设 是关于原点对称的数集, 为定义在 上的函数,若对每一个 (这时也有 ),都有
则称 为 上的奇(偶)函数。
从函数图像上看,奇函数的图像关于原点对称,偶函数的图像关于 轴对称。
设 为定义在 上的函数,若存在某个非零常数 ,使得对一切 ,都有 ,且
则称 为周期函数。 称为 的一个周期。显然,若 是 的周期,则 也是 的周期,。若周期函数 的所有正周期中存在最小正周期,则称这个最小正周期为 的基本周期。一般地,函数的周期指的是基本周期。
例题
判断函数 的奇偶性。
解 函数 的定义域是 ,由于
所以 是奇函数。
例 10 , 的周期为 。
例 11
是周期函数,但不存在最小正周期。
事实上,我们可以证明任何非零有理数都是 的周期。设 是一个非零有理数,任给 ,(1)当 是有理数时, 也是有理数,则 ;(2)当 是无理数时, 也是无理数,则 。
单调性与有界性
设 为定义在数集 上的函数,若对 中任意两点 ,都有 (或 ),则称 在 上单调增加(减少);若不等式严格成立( 时 ),则称 在 上严格单调增加(减少)。单调增加与单调减少的函数统称单调函数。
设 为定义在数集 上的函数,若存在常数 ,使得对每一个 ,都有 ,则称 在 上有界;否则称 在 上无界,即对任何实数 ,都存在 ,使 。
判别有界性最常用的办法:求出 在 上的最大值或一个上界。例如 在 上满足 ,故有界。
二数列极限选自 §23 个知识分组
定义
设 是一个数列, 是一个确定的常数,若对任意给定的正数 ,总存在一个正整数 ,使得当 时,都有 ,则称数列 的极限是 ,或者说数列 收敛到 ,记作
(读作当 趋向于无穷大时, 的极限是 )或记作 (读作当 趋向于无穷大时, 趋向于 )。
此定义称为数列极限的 - 定义。若“任给”用“”表示,“存在”用“”表示,则 - 定义可叙述为:
若 , 正整数 ,当 时,都有 ,则 。
说明
1. 的任意性。 是一个正数,其作用在于衡量 与 的接近程度。尽管 是任意给定的,但当它一经给出,就应暂时看成一个定值,以便根据它来求 。既然 是任意的正数,那么 ,,, 等同样也是任意的正数,因此此定义中不等式右边的 也可用 ,, 或 等来代替。同样可以把“”号换成“”号。(注意:可限制 小于某一个正常数,不影响衡量 与 接近的程度。)
2. 的相应性。 一般说, 是随着 的变小而变大的,但 给定以后,确定的 不是唯一的,因为对已给的 ,若 满足要求,则 自然更能满足要求。在定义中,只要求存在一个正整数 ,而不在于它的值有多大,只要求对一切 时,都有 。至于 时, 是大于或等于 是无关紧要的,而且 也可改成 。
3. 几何意义。 等价于任意给定正数 ,相应地存在 ,当 时,都有 ,即有 或 。换句话说, 的任何给定的 邻域中都含有数列 中除了有限项以外的所有项。
性质
若数列 的极限存在,则极限值是唯一的。
分析 如果不唯一,即有 ,,。当 充分大时,由于
要想推出矛盾,只要取 即可。
证(反证法) 假设极限值不唯一,即有 ,,。取 ,由 知,存在正整数 ,当 时,有……(教材续证)。
若数列 收敛,则 为有界数列。即存在某正常数 ,使得对一切正整数 ,都有 。
证 设 。由极限定义知,取 ,存在相应的正整数 ,对一切 ,有 。由 知,对一切 ,有 。设
则对一切正整数 ,都有 。
有界性只是数列收敛的必要条件,而非充分条件。例如,数列 有界,但它并不收敛。该性质的逆否命题为真,即:若数列 无界,则数列 发散。
性质 3 设 , 且 ,则存在正整数 ,当 时(即 充分大时),都有 。
推论(保号性) 若 ,则对于满足 的任何常数 ,存在正整数 ,当 时,都有 。
三函数极限选自 §3.13 个知识分组 · 含例题
定义
设函数 在 上有定义,若存在常数 ,对任给 ,存在 ,当 时,都有 ,则称数 为函数 当 时的极限,记作
类似地,把定义 1.15 中的“”换成“”、“”换成“”,即得 的定义;把“”换成“,”、“”换成“”,即得 的定义。
设函数 在点 的某一空心邻域 内有定义, 为一常数,若任给 ,总存在 ,使得当 (即 )时,都有 (即 )成立,则称 为函数 当 时的极限,记作
这个定义称为 - 定义。
说明
几何意义 对于任给的 ,存在 ,当 时,曲线 上的点 全部落在直线 与 之间的带形区域内。
同理, 的几何意义是:对于任给的 ,存在正数 ,当 时,曲线 上的点 全部落在直线 与 之间的带形区域内。
定理 1.9 的充要条件是 。
我们经常要研究 时,函数 的变化趋势,其中自变量 是指 无限接近于 ,但 。在 的过程中,函数 能否与某一常数无限接近,与函数在 处是否有定义、或与函数值是多少都没有关系。在考虑当 ,函数 的变化趋势时,只要在 的某一空心邻域( 可以除外)内考虑就行了。
例题
证 。
由于 ,不妨设 ,于是 ,即 ,从而
所以,任给 ,要使 ,只要 ,即 。
取 ,当 时,都有 。由定义知 。
四函数的连续性选自 §46 个知识分组 · 含例题
定义
若 在 的某邻域 内有定义,且
则称函数 在点 处连续。
用 - 语言叙述为:设 在 的某邻域内有定义,任给 ,总存在 ,当 时,都有 ,则称 在点 处连续。
连续、左连续与右连续
若 在 的某邻域内有定义且 ,则称函数 在点 处连续。
由 知,在连续意义下,极限运算 与对应法则 可交换。
有时需要研究只在 一侧有定义的函数的连续性或分段函数 在分界点处的连续性。因此,引入左、右连续的概念。
定义 1.26 设 在 的左(右)邻域 内有定义且
则称函数 在点 处左(右)连续。
定理 1.20 在点 处连续的充要条件是 在 处既左连续又右连续。
若 在开区间 内的每一点都连续,则称 在开区间 内连续。若 在开区间 内连续,且 在点 处右连续,在点 处左连续,则称 在闭区间 上连续。
间断点及其分类
若 在点 处不连续,则称 是函数 的间断点。若 为函数 的间断点,则必为下列情形之一:
(1)极限 不存在;
(2) 在 处无定义;
(3) 存在, 在 处有定义,但 。
若 ,而 在 处没有定义或有定义但 ,则称 为 的可去间断点。
若 为函数 的可去间断点,只需补充定义或改变 在 处的函数值,就可使函数在点 处连续。但必须注意这时的函数与 已经不是同一个函数,但仅在 处不同,在其他点则完全相同。
例 4 设 ,由于 , 在点 无定义,所以 是可去间断点。设 则 在 处连续。当 时,。
若 ,,但 ,则称 为函数 的跳跃间断点, 称为跳跃度。
可去间断点、跳跃间断点统称为第一类间断点。第一类间断点的特点是左、右极限均存在。
若 在 的左、右极限至少有一个不存在,则称 为函数 的第二类间断点。
例 5 设 , 是 的第二类间断点。狄利克雷函数定义域上的每一点都是第二类间断点。
如果 在区间 上仅有有限个第一类间断点,则称函数 在 上按段连续。例如 在 ( 是正整数)上按段连续。
连续函数的局部性质
若 , 在点 处连续,则 ,,( 为常数),(这里 )在点 处也连续。
若 在点 处连续, 在 处连续,则 在 处也连续,且
推论 若 , 在 处连续,则 。
注 上面定理不仅对 时成立,对于 ,,,, 的情形,也可按上述证明方法证明成立。利用这一性质,我们可以简化求极限。
例 6 求 。
解 可看成 与 的复合。由于 ,而 在 处连续,所以
熟悉了以后,这些过程都可以不写。
例 7 。
说明
函数在点 极限存在与函数在点 处连续的区别是:函数极限存在与 在 处是否有定义无关;函数连续不仅要求 在 处有定义,且函数极限等于 。
记 ,并把它称为自变量 在 处的增量或改变量,相应的函数 在 处的增量为
记为 ,即 。
注 可以是正数,也可以是负数,也可以是 。
由 ,得
即 。从而连续的定义也可叙述为:(自变量增量趋于 时,函数增量也趋于 )。
例题
设
讨论 在点 处的连续性。
解 由于
所以 在点 处既左连续又右连续,从而 在点 处连续。
设
讨论 在点 处的连续性。
解 因为
所以 在点 处不连续。
五闭区间上连续函数的性质选自 §4.32 个知识分组
定义
设 为定义在 上的函数,若存在 ,对一切 ,都有
则称 在 上有最大(小)值,并称 为 在 上的最大(小)值。
定理
若 在闭区间 上连续,则 在 上一定能取到最大值与最小值,即存在 ,,,使得对一切 ,都有
其几何意义:闭区间上的连续曲线一定有最高点与最低点。
推论 若 在闭区间 上连续,则 在 上有界。
若函数 在闭区间 上连续,且 ,则至少存在一点 ,使 。
几何意义:若点 , 分别在 轴的上、下两侧,则连接 的连续曲线 至少穿过 轴一次。
定理 1.22 为判断 在区间 是否有根提供了依据。
若函数 在闭区间 上连续,且 ,若 为介于 , 之间的任何实数,则在 内至少存在一点 ,使 。
证 设 ,则 在 上连续。由 , 异号( 介于 与 之间),对 用零点定理即得。
§1.1导数的概念选自 §1.13 个知识分组
引例
教材用四个问题引出导数:切线斜率(几何)、瞬时速度(力学)、电流强度(电学)、人口增长率(社会学)。
以切线为例:曲线上 与另一点 连成割线,其斜率为
让 沿曲线趋于 ,得切线斜率 。瞬时时速 、电流强度 、人口增长率 形式完全一样。
教材原话:以上考虑的四个问题,虽然分属于人类知识的四个不同领域:几何学、力学、电学与社会学,但都有共同的数学特征,即就某一函数施行同一种数学运算,要求出函数值增量与相应的自变量增量之比(这个比值称为差商)当自变量增量趋于 时的极限——因变量对自变量的变化率。
定义
设一平面曲线方程为 , 是曲线上一点,过 作割线 与曲线相交于 点,点 沿曲线无限趋于点 时,若割线 的极限位置的直线 存在且唯一,则称 为该曲线在点 处的切线。(注: 可在 左边也可在 右边。)
设函数 在点 的某邻域 内有定义。若极限
存在,则称 在点 可导,并称此极限值为 在点 处的导数(或微商),记作 或 或 或 ,即
另外导数的定义还可写成另一种常用的形式(令 ):
若式 (2.1) 的极限不存在,则称函数 在点 不可导。
说明
应当注意,记号 作为一个符号,表示 在点 的导数,看起来却像分数的样子。在后面的几节中,这个“分数”的分子和分母将获得独立的意义,而且它们的比值恰好与导数相等,但现在仍要把 看成一个整体,作为导数的符号。
前面所提出几个问题的结果现在可用导数表达出来:
- 切线斜率
- 瞬时速度
- 电流强度
- 人口增长率
几何意义:若 在点 可导,则 表示曲线 在点 处切线的斜率。
一几个基本初等函数的导数选自 §1.22 个知识分组
公式
1. 常值函数 :。
2. 与 ,:,。
3. ,:;特别地 。
4. ,:;特别地 。
5. ( 为常数,):;当 是正整数时 ,。
例如 ,。
若 ,必有 ,此时 ,由于
所以,当 时, 在点 可导且
且仍然适合公式 ;当 时, 在点 处不可导。
定理
若 在点 不连续,则 在点 不可导。
此定理为判断函数在一点不可导提供了一个简单有效的方法。教材同时指出:可导与连续的关系中,此定理的逆命题不真。例如 在点 连续,但不可导。
注:在利用抽象函数在一点可导作为条件,或证明抽象函数可导时,常用极限形式 。
二导数的四则运算选自 §1.21 个知识分组
定理
设函数 , 在点 处可导,则 ,, 都在点 处可导,且
应用归纳法,可把 (1)、(2) 推广到任意有限多个可导函数的情形,即若 均可导,则
由导数的四则运算知
同理
三反函数的求导法则选自 §1.25 个知识分组 · 含例题
定理
设 为函数 的反函数,若 在点 的某邻域内连续、严格单调且 ,则 在点 可导,且
证明
给 以改变量 。由于 严格单调,所以 也严格单调,从而可知 。由 在 处连续,知 在 处也连续,因此 等价于 。又 ,故
推论
由于 , 的反函数是 ,,符合反函数求导法则的条件,于是
同理可证 ,。
由于 , 的反函数是 ,,于是
同理可证 ,。
原书说明
反三角函数的导数,虽然可以根据导数定义来求,但由于要用到烦琐的反三角函数公式,因此,我们可利用反函数求导法则来求反三角函数的导数。
从而,我们求出了所有基本初等函数的导数。除了 , 在 处不可导, 在 处有时可能不可导,其余的基本初等函数在它们的定义域内的每一点都可导。
关于三角函数、反三角函数的导数的“”号,有一个简单的记忆方法:带有“正”字的三角函数、反三角函数的导数前面取“”号;带有“余”字的三角函数、反三角函数的导数前面取“”号。
例题
求 在 处的切线方程。
解 记 ,由 得
切线方程:,即 。
四复合函数的求导法则选自 §1.22 个知识分组
定理
设函数 对 可导, 对 可导,则复合函数 对 可导,且
说明
有的读者看到结论 ,可能会采取下面的求法:
事实上,这种证法不合理。当 而趋于 时,对应的 虽然也趋于 ,但在此过程中不能保证恒有 ,因此以 去除 就不能保证有意义。教材给出的反例是
令 ,取 ,,这时 ,,即在 时,虽然有 ,但它存在一个恒为 的子列 。因此,在证明时应避免上述问题。
§1.3隐函数的导数选自 §1.32 个知识分组
定义
设 为二元方程,若存在非空集合 ,,任给 ,都有唯一的 ,使得 ,则称由二元方程 确定了一个隐函数 ,。即 时,
例如 确定
满足 ;也确定
满足 。
说明
我们知道函数 可化为 。设 ,有 ,即函数可化成一个二元方程。反之一个二元方程 能否确定一个函数呢?本节就是回答这个问题,并给出不用解出 也能求导的方法。