1701015995
1701015996
函数极限的ε-δ定义 若存在某一个实数A，使得对任意给定的正数ε＞0，总有实数δ＞0，当0＜|x-x0|＜δ时，必有|f（x）-A|＜ε，则称函数f（x）在x0点有极限，且极限为A。记为x→x0时，f（x）→A或
1701015997
1701015998
1701015999
1701016000
1701016001
函数极限有一系列与前述数列极限相似的性质，这里不再叙述。
1701016002
1701016003
特别要提到的一点是：在这一定义中，f（x）在x0点处的极限A不一定正好等于f（x0）。f（x）在x=x0处可能取任意的值，甚至可能没有定义。如果f（x）在x=x0处有定义且正好等于A，这时就称f（x）在x=x0处连续。将这一段话用ε-δ语言来表述，就是
1701016004
1701016005
函数连续的ε-δ定义 如对任意给定的正数ε＞0，总有实数δ＞0，当|x-x0|＜δ时，必有|f（x）-f（x0）|＜ε，则称函数f（x）在x0点连续，记为
1701016006
1701016007
1701016008
1701016009
1701016010
3.数学的存在性定理
1701016011
1701016012
前面提到过，贾岛《寻隐者不遇》诗云：
1701016013
1701016014
松下问童子，言师采药去。
1701016015
1701016016
只在此山中，云深不知处。
1701016017
1701016018
这是只知其存在，但不知道确切位置的一种意境。在微积分学中，连续函数有两个重要的存在性定理。
1701016019
1701016020
最值定理 在闭区间[a，b]上连续的函数必定在该区间上取到最大值和最小值。（至于在哪里取得，定理并没有给出。参见图5.3.4。）
1701016021
1701016022
介值定理 在区间[a，b]上定义的连续函数，如果在[a，b]中存在两点p，q使得f（p）＜0且f（q）＞0，那么必定在p，q之间存在点c，使得f（c）=0。（至于c在哪里，定理并未回答。参见图5.3.5。）
1701016023
1701016024
1701016025
1701016026
1701016027
▲ 图5.3.4 函数的最大值点
1701016028
1701016029
f（x）在[a，b]上连续，在点ξ处达到最大值。ξ具体在何处，尚无法断定。
1701016030
1701016031
1701016032
1701016033
1701016034
▲ 图5.3.5 函数的介值性
1701016035
1701016036
这一函数在[-2，2]上连续，在-1处函数值小于0，在1处函数值大于0，所以可以判断必有一点函数值等于0，即函数图像和横坐标轴相交。至于具体是哪一点，目前还不能确定。
1701016037
1701016038
这两个定理可以用实数理论严格证明，这里从略。
1701016039
1701016040
1701016041
1701016042
1701016043
数学文化教程 [:1701013736]
1701016044
数学文化教程 第四节 “无穷小量的鬼魂”——早期微积分学有效但不严谨