【微积分】 02 - 连续和导数
1. 连续函数
1.1 连续和间断
实数的完备性是分析学的基础,它自然也是微积分的出发点。极限是实数完备性的具体描述,我们的微积分之旅也从这里开始。在《实数系统》中,我们已经讨论了实数的完备性和极限的概念,这里把极限的概念引入到函数中。在集合论中,函数被看成是集合间的映射,当在集合中引入极限的概念后,我们自然要去讨论函数在满足一定极限条件下的性质。
既然讨论的基础是实数的完备性,当然要将函数
在分析连续性时,我们可以使用更容易操作的
相对地,函数在不连续的点称为间断的,其实有些间断点也有很强的“连续性”,这里将它们单独定义。具有“连续性”的间断点有时也有连续点的很多性质,在具体情况下请留意相应性质的扩展。一种常见的情况是如式(3)的单方连续,它们分别称为左(右)连续,显然连续的充要条件是:既是左连续,又是右连续。对于任何间断点,我们都应该分别讨论它的左右连续(间断)性。
对于间断点,根据情况还可以进一步分类。若
• 判定
1.2 连续的判定
连续的概念表示了函数在点的邻域内的性质,在集合上邻域的概念可以进行扩展。如果对任意点
当
以上结论在研究中很有用,但在具体的问题中,我们还需要一些简单的判定方法。例如对称函数,只需要证明其对称轴一侧的连续性即可。对于单调连续函数
另一方面,初等函数及其组合函数的连续性也为求极限提供了直接的方法。基本方法是,通过适当的变形,将函数变形为组合函数,并且每个部分都是容易求极限。比如式(4)的推导中,等号(*)成立的依据就是
• 求证:
• 求证:
1.3 连续的性质
上面仅仅是定义了连续函数,我们最终还是要研究,这样的函数具有哪些特殊的性质?连续的定义主要是限制了函数值,根据极限的定义,连续点附近的点的值是有界的。在实数系统中我们知道,紧集可以被有限个点的领域覆,由于每个点的邻域上函数值有界,故函数在紧上有界。特别地,由于闭区间是紧集,所以如果
既然
取任意
以上结论虽然很直观,但证明却不那么明显,是因为都需要用到实数的基本定理。这些结论可以通过不同的实数定理来证明,你可以尝试一下,这样可以再次感受实数的完备性,也能够体会到为什么我一直说它是分析学的根基。当然,光依靠连续性,我们已经得不出更多有价值的结论,还需要对连续函数添加更多的限制。连续的定义仅仅限定了一点周边的值的趋势,但却没有对“趋势”本身做度量,下面就来继续的我们的讨论。
1.4 一致连续
虽然连续函数的每个点的周边都“趋于”该点,但它们“趋于”的“程度”在每个点却是不一样的。对定义中任意的
直觉上你能想到,那些处处“斜率”有界的函数一定是一致连续的,而“斜率”趋于无穷的函数则不一致连续。但真实情况要复杂的多,比如半圆形的两个端点处的斜率是趋于无穷大的,但可以证明它是一致连续的。而一些奇葩的函数,线条很“粗燥”,根本没有斜率,但它却是一致连续的。直觉可以帮助我们理解分析学的很多概念,但严格的定义和论证却是不可缺少的。
再回到一致连续的定义,由于闭区间
上面的讨论说明,定义域有界的函数一致收敛的充要条件是:任意柯西数列的函数值都是柯西数列。这个结论应用到定义域为开区间
• 求证:
2. 导数
2.1 导数的定义
一致连续对连续函数的极限“趋势”做了初步讨论,现在就来对这个“趋势”进行量化,为连续函数添加新的属性。在连续函数
当式(5)有无穷极限时,也可以称
类似单方连续的概念,我们也可以定义单方可导,左(右)导数记为
2.2 导数的计算
从定义可知,求导(函)数最终还是归结为求极限,像幂函数、指数函数、正(余)弦函数都比较容易求得,请自行验证或参考相关教材。对于组合型函数的导数,我们可以有一些结论简化求导过程。比如对于函数的四则运算,通过定义容易推导出式(6)~(8),请自行验证。利用四则运算和已知的初等函数,可以得到多项式、正(反)切函数等更多函数的导函数。
设
函数的还有一种常见组合形式就是复合函数,设
由
以上是求导函数的基本方法,在实际问题中,可能还需要一些变形以简化求导过程,其中最常用一种叫对数求导法。对数有着“降次”的功效,像
有些变量的函数关系式写成
• 计算导函数:
• 计算导函数:
2.3 常用导数
下表列出了常见初等函数的导数,以便查阅。(其中
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2.4 高阶导数
对于导函数,我们可以继续讨论它的连续性和可导性,如果
关于函数四则运算的高阶导数,我们只需要讨论乘法
从上面的表格看出,初等函数的导函数还是由初等函数组合而成,所以它们都有任意阶导数。但不是所有的高阶导数都有简洁的表达形式,下表列出了一些常用高阶导数,以便查阅。对于复杂的函数,尽量拆解为简单函数的和或积,可以简化计算过程。对有些情况,还需要巧妙的变形,以间接地求得高阶导数。
|
|
• 求
• 设
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架