函数的极限
数列极限，是自变量限制在自然数内的特殊函数的极限。现在取消自变量的这种限制，使其可以在整个函数定义域内取值且讨论其相关极限，这就是所谓的函数极限。由于自变量的取值更为自由，将滋生出多种极限的形式。先定义两种函数极限，1）自变量趋于无穷大，2）自变量趋于有限值。
函数极限定义1
设 f(x) 是一个实函数，A是一个实常数。如果对于任意给定的ε>0，存在X，对于任何x，当|x|〉X时成立|f(x)-A|<ε，则称函数 f(x)="">
lim[x→∞] f(x) = A
此定义或表述为
lim[x→∞] f(x) = A ↔ ∀ε>0,∃X,∀x(|x|>X{|f(x)-A|<>
函数极限定义2
设 f(x) 是一个实函数，A和x0是两个实常数。如果对于任意给定的ε>0，存在δ，对于任何x，当0<><><ε，则称函数 f(x)="">
lim[x→x0] f(x) = A
同样，此定义可表述为
lim[x→x0] f(x) = A ↔ ∀ε>0,∃δ,∀x(0<><><>
这两个定义分别是(ε,X)和(ε,δ)分析表述。
这里需注意不等式0<><>
此外，还需注意上述定义中x→∞是指双向趋于正负无穷大，而x→x0是指左右两侧逼近x0。
为了区分正负无穷大和左右逼近x0，特别定义了单侧极限如下
函数极限定义3
设 f(x) 是一个实函数，A是一个实常数。如果对于任意给定的ε>0，存在X，对于任何x，当x>X时成立|f(x)-A|<ε，则称函数 f(x)="">
lim[x→∞+] f(x) = A
或表述为
lim[x→∞+] f(x) = A ↔ ∀ε>0,∃X,∀x>X{|f(x)-A|<>
设 f(x) 是一个实函数，A是一个实常数。如果对于任意给定的ε>0，存在X，对于任何x，当x<><ε，则称函数 f(x)="">
lim[x→∞-] f(x) = A
或表述为
lim[x→∞-] f(x) = A ↔ ∀ε>0,∃X,∀x<><>
函数极限定义4
设 f(x) 是一个实函数，A和x0是两个实常数。如果对于任意给定的ε>0，存在δ，对于任何x，当x0<><><ε，则称函数 f(x)="">
lim[x→x0+] f(x) = A
或表述为
lim[x→x0+] f(x) = A ↔ ∀ε>0,∃δ,∀x(x0<><><>
设 f(x) 是一个实函数，A和x0是两个实常数。如果对于任意给定的ε>0，存在δ，对于任何x，当x0-δ<><><ε，则称函数 f(x)="">
lim[x→x0-] f(x) = A
或表述为
lim[x→x0-] f(x) = A ↔ ∀ε>0,∃δ,∀x(x0-δ<><><>
单侧极限“x→∞+”和“x→x0+”称为右极限，而“x→∞-”和“x→x0-”称为左极限。单侧极限在连续性分析中相当重要。
如果将上述定义中的不等式|f(x)-A|<ε改为|f(x)|>ε、f(x)>ε和 f(x)<ε，将得到拓广的函数极限，即lim f(x)="∞、lim" f(x)="∞+和lim" f(x)="">
现在建立数列和函数极限的关系，即海涅定理
函数极限lim[x→x0] f(x) = A存在的充分必要条件是：对于任何满足lim[n→∞] x(n) = x0且x(n)≠x0的数列，相应的函数数列{f(x(n))}成立lim[n→∞] f(x(n)) = A。
证明：
先证必要性。由lim[x→x0] f(x) = A必有∀ε>0,∃δ,∀x(0<><><ε))。而由lim[n→∞] x(n)="x0且x(n)≠x0必有∃N,∀n">N(0<><><ε。即lim[n→∞] f(x(n))="">
再证充分性。假设lim[x→x0] f(x) = A不成立，则必有∃ε>0,∀δ,∃x(0<><δ{|f(x)-a|>ε))。取δ1，存在x1属于x0的δ1去心领域（即0<><δ1），有|f(x1)-a|>ε。再取δ2=δ1/2，存在x2属于x0的δ2去心领域（即0<><δ2），有|f(x2)-a|>ε。类推取δn=δ1/2^(n-1)，存在xn属于x0的δn去心领域（即0<><δn），有|f(xn)-a|>ε。显然，lim[x→x0] xn = x0，但lim[n→∞] f(x(n)) = A不成立，与条件矛盾。所以必然成立lim[x→x0] f(x) = A。证毕。
类似数列极限中的柯西收敛原理，函数极限中也有相似的收敛原理。
函数极限lim[x→∞] f(x)存在而且有限的充分必要条件是：∀ε>0,∃X,∀x1>X∧∀x2>X(|f(x1)-f(x2)|<>
证明：
先证必要性。设lim[x→∞] f(x) = A，即∀ε>0,∃X,∀x>X(|f(x)-A|<ε )。具体设∀x1="">X和∀x2>X，有|f(x1)-A|<ε><ε>
|f(x1)-f(x2)|<><>
即条件满足。
再证充分性。任选趋于正无穷大的数列{x(n)}，即lim[n→∞] x(n) = ∞+。由条件（∀ε>0,∃X,∀x1>X∧∀x2>X(|f(x1)-f(x2)|<ε)）可知，∃n,∀n>N∧∀m>N(x(n)>X∧x(m)>X)，则|f(x(n))-f(x(m))|<ε，即∀ε>0,∃N,∀n>N∧∀m>N(|f(x(n))-f(x(m))|<ε)。根据数列极限的柯西收敛原理，数列{f(x(n))}收敛。由于数列{x(n)}的任意性，由海涅定理可知lim[x→∞]>
证毕。
关于函数极限lim[x→x0] f(x)也有类似的收敛原理，在此不详述。
类似数列极限，函数极限也有一系列的性质和运算法则，简列如下：
1）函数极限的唯一性
2）收敛函数的局部有界性
3）收敛函数的局部保序性
4）函数极限的夹逼性
5）函数极限的运算法则
a）lim (a f(x) + b g(x)) = a lim f(x) + b lim g(x)
b）lim (f(x) g(x)) = lim f(x) lim g(x)
c) 如果lim g(x) ≠ 0，则lim (f(x)/g(x)) = lim f(x) / lim g(x)
联系客服
