函数极限(一)

极限是高等数学的入门概念,我们花了很长得篇幅来介绍数列极限的核心内容——ε-N语言并且将实数系基本的五大定理串联起来讲解。今天我们开始极限的另外一个重要语言——ε-δ语言,它是数学系的基本功,万丈高楼拔地起,让我们把这地基打扎实、打牢固。

1

首先,我们简单回顾一下函数的定义。函数是特殊的映射,映射是两个集合的对应关系,它有单射(逆像唯一)、满射(值域与像集合相等)、双射(单射+满射)等特殊形式。我们用一个例子来引入函数极限的概念。

半径为r的圆内线段OB与AC垂直,设其夹角AOB为α,考察其弦长AC与弧长ABC的比值

ab6ee06095ed343a515e5ee2c58f92b6.png

我们很容易得到它们的比值y:

d69b35c0ed44a33d3990e2917153e909.png

直观上看,随着α的越来越小,它们两者的长度越来越接近,我们考察α在取值很小时候的y值:

αy
0.5
0.95885
0.1
0.99833
0.05
0.99958
0.01
0.99998
0.001
0.99999

可以看到,当角度越来越小时(等于0没有意义,因为集中在一点上),y趋近于1.由此,我们猜想:

03ede75b79ac3f7b3e2b6bb056e41050.png

2

这样我们引出函数极限的概念:

8a9135b420d7373a4c7b20c8b6bb276f.png

红色框部分称为去心邻域,它表示开区间内但不包含点x0:

ce31516dd6c757842881fe26270927bd.png

注:邻域概念在极限已经介绍过,本质是一个开区间,传送门 数列极限(一)

函数极限这里需要注意两点,第一,函数在点x0上不需要有定义,但在它的邻域上需要有定义,第二,类比数列极限,这里不再是寻找N,而是δ,显然这里的δ最大只能是ρ,也就是必须在去心邻域范围内。

我们用数学符号简写函数极限的定义:

3bc81303877a2e7c807658d7bb0e3561.png

下面我们来看三个例题。

  • 例1

d396021e084e087097419e82a13297b9.png

这里唯一要解释的是δ的取法,首先,ε讨论小的情况才有意义,因为是任意小,所以ln(1-ε)是小于0的,当取绝对值后,显然x的取值范围为:

cc0bb1cdb8b872cc9f2bad6e942c2a9d.png

  • 例2

a7a4ba19d15016589d381bda425667f0.png

这里采取了放大法,先将变量x去掉一部分,在x趋近于2的范围内讨论,因此可以取ρ=1,这样x就在较小的去心邻域内。δ最大只能是ρ,所以最后δ的取值是1和ε/5的最小值。

  • 例3

5bbe986f159a345a5e336b9145c8efbc.png

3

类似数列极限的性质,函数极限也有如下性质。

  • 唯一性

0f4e3de5d5015209417001e49465a64f.png

  • 局部保序性

9ebd4f78fddc26741cf129a4d90e6809.png

根据局部保序性我们得到以下两个推论:

8136ceaa9f9d0d53a050cb6d057ed86f.png

推论一根据定理可以直接证明,我们来证明推论二,利用反证法。

3afdc19f463d489c3e64a7d856cfe15e.png

  • 局部有界性

0fd062974d409a6874542030111f75d8.png

对于局部保序性和局部有界性需要注意一点,它们必须在点x0附近才成立,当与讨论的点x0相去一段距离,f(x)的性质如何不得知。

  • 夹逼性

d601dcda4acc5b4053894a7ae2fe53b2.png

4

我们利用夹逼性来证明第一节的猜想:

e79ac840f980843cf33d7af47d99be5c.png

我们依然利用单位圆来证明——单位圆的圆弧BOA夹角为x,BC是圆的切线,与OA相交与点C:

1b7f604401e958b0c4cfa2436ab51d4c.png

显然,有下面的面积不等式成立:

7c8735dd60f5434ce8cd2162ae009a11.png

因此有:

dd2ab2ee08da54048777e199522cff43.png

这样我们就证明了第一节的猜想,这个也称第一个重要极限

但这里需要注意的是,我们在数列极限中,曾经定义:

f35d4be0783a8d1936f747517abc2b45.png

不能直接从数列极限推出函数极限:

42c22ce613eb5ab3c6eda444024d9062.png

但我们利用数列极限的性质,来联系函数极限:

ba883f0b5e4cf0483bf2d99c72f5ebef.png

这里需要解释的地方是对任意的x,能取到一个n使得式子成立:

0e9c1ccfb75b8b3f729cda39fa8e00fa.png

  • 2
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

整得咔咔响

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值