从大学到毕业,到工作再到研究生,极限在高等数学中起着举足轻重的作用。当然本人在工作中为了考研也要读高数滴。极限是高数中所有树枝的一个树根,也是打开高数大门的钥匙(这些都是屁话,当然知道,但还是要说)。
极限研究的对象是函数。
函数是什么?
在我看来,函数就是自变量xxx(或者其他什么字母都行,在理解过程中可以是任意字母,但是对于从我国学习的整个系统中,用xxx代表自变量还是收到广大师生接受的)一出去就永不回头的“箭”,映射到一个唯一的函数值yyy(或者说因变量都行,只是起一个名字,但是概念必须在!),在这个过程中有一个映射关系fff。要想知道两个函数是否是同一个函数,自变量xxx的取值范围(定义域)、函数值yyy的取值范围(值域)、对应关系fff都有一模一样,两个函数才算是同一个函数。
为什么研究的是函数?
最早的极限概念的萌芽,和函数并没有几毛钱关系,甚至和微积分也没有几毛钱关系。最直观的理解是多边形无限接近圆求圆周长的情况,怎么说,圆的值受到圆周率π\piπ,这个无理数的影响,它是一个无限的数。而数学界是以函数的概念发展起来的,函数值也有无限的数这样的情况,在理论上是一个确定的值,但是由于无理数的无限又没法精确描述,从而把极限用到了函数值,也就是函数当中。(个人理解勿喷)
我们学习的高等数学(微积分)
我们现在学的是高等数学(或者说是微积分)是经过几代的天才数学家们不断的分析和总结中才成书的,所以高等数学这本书的原始作者都是数学界的大佬(可惜主要都在欧洲,那时的中国你们懂的)。在牛顿这位----我们姑息称他为大佬的《自然哲学与数学原理》中提到了极限的概念,但是他自己也说不清楚极限是个啥玩意儿,就是觉得没有不行,他总是把000和无穷小划等号,其他数学家说他荒谬吧也没错。后来的微积分的集大成者柯西盖棺定论微积分,才是我们现在所学的微积分体系,我们现在书本上用的极限的严格定义是这个叫魏尔斯特拉斯老头,给弄的,描述得好,但是给学习的人很多痛苦。
用来定义其他(微积分中)重要概念的方法,通往微分和积分的桥梁。
从以上分析可以得到:极限是一个数无限接近另一个确定值的概念,或者说逼近更准确。同时我们根据以上分析,在尝试解释函数的极限前,可以得到这样的一个大前提:
自变量xxx的趋向情况(就是极限符号limx→x0\lim\limits_{x\rightarrow x_0}x→x0lim那个箭头"→\rightarrow→"),本身也是一个极限的概念,只是为了方便起见,直接用“→\rightarrow→”表示而已。
现在可以我们尝试解释一个具体的极限定义:
limx→x0f(x)=A\lim\limits_{x\to x_0}f(x)=Ax→x0limf(x)=A
首先我们要明白xxx与x0x_0x0之间差了o(x)o(x)o(x)(xxx的无穷小),由于在对应关系fff的限制下(这里,我把函数的映射作用理解为限制作用,意味着f(x)f(x)f(x)的值并不是随意的,是受到xxx的限制),f(x)f(x)f(x)与A的值之间也差了σ\sigmaσ(自定义的符号不必深究)。因此σ\sigmaσ的大小也收到o(x)o(x)o(x)的限制(σ\sigmaσ不会乱跑)。正是这两个差,成为了我们解释函数极限定义的基础。
我们任意给出一个任意小的数ε\varepsilonε(就是你认为小的数,你认为1000是很小的数也行,你认为0.004的很小的数也行),我们认为ε\varepsilonε是上文提到的AAA与函数f(x)f(x)f(x)的差值,由于这个任意小的数ε\varepsilonε确定了(因为是你任意给的嘛),因此这里的xxx也就确定下来了(想想是不是这样,由于上文提到限制作用),我们定义为δ\deltaδ。由此我们得到:ε\varepsilonε与δ\deltaδ是两个相互限制的一对数。这就是咱们教科书中说的:任给ε\varepsilonε,都存在一个δ\deltaδ(∨\vee∨ε\varepsilonε,∃\exists∃δ\deltaδ)的内在含义。
对应于(注意不是等于,这里只是类比的效果,这里的ε\varepsilonε和σ\sigmaσ是无法比较的)上文提到的σ\sigmaσ,
2. 再从极限的性质说
一:在自变量的某个范围内函数值是有界的(高等数学书上讲的:局部有界性)
二:如果函数的某一点(自变量xxx)的函数值是大于零(或者小于零),则它在这点的极限也是大于零(或者小于零)
三:极限如果存在,则极限的值一定是唯一的(自变量从左往右趋向于特定值(x→x0−x\rightarrow x_0^{-}x→x0−),或者从右往左趋向于特定值(x→x0+x\rightarrow x_0^{+}x→x0+),函数的极限值是不变的)
这三个定理有一个很重要的前提:自变量xxx的趋向情况(就是那个箭头"→\rightarrow→"),本身也是一个极限的概念,只是为了方便起见,直接用“→\rightarrow→”表示而已。所以函数极限的定义是兼顾了自变量xxx和函数值yyy统一整体。具体其展开的理解,将在第二篇文章进行分享。