第三节—函数的极限

当x -> ∞时，f(x)的极限

-> ∞符号意义

1. “x -> ∞” <=> x取实数，且|x|无限增大
2. “x -> -∞” <=> x< 0的实数，且|x|无限增大
3. “x -> +∞” <=> x > 0 的实数，且x无限增大
   第二节我们介绍了数列的极限，数列x_n = f(n)是函数的一种，自然可以联想将数列极限推广至函数极限：
   (n -> ∞)lim x_n = (n -> ∞)lim f(n) = A => (x -> ∞)lim f(x) = A.

定义：

5. y = f(x) ,当自变量x -> ∞时，f(x)无限接近于某一常数A，则称“当x -> ∞时，f(x)以A为极限”，记作
   (x -> ∞)lim f(x) = A 或 f(x) -> A(x ->∞).
   若当x ->∞时,f(x)不能无限接近于常数，则称“当x -> ∞时，f(x)发散”，或(x -> ∞)lim f(x)不存在.
   如：y = x²,当x -> ∞时，函数值y -> +∞，不能无限接近于常数，故(x -> ∞)lim x²不存在，属于无穷型发散，可记为(x -> ∞)lim x² = +∞

注意1. 在上述中“x
-> ∞”可换成“ x -> -∞",“x -> -∞”,因题而异。
2. (x -> ∞)lim f(x) = A <=>(x -> -∞)lim f(x) = (x -> +∞)lim f(x) = A
3. 发散

例题

1. y = arctan x,(x -> ∞)lim f(x)是否存在 (y = (1/3)^x)一样，都得讨论正负∞
   解：
   当x -> -∞，(x -> ∞)lim f(x) = -2/PI，
   当x -> +∞，(x -> ∞)lim f(x) = 2/PI，不相等因此不存在

当x -> x₀时，函数f(x)的极限

”x -> x₀" <=> "x无限接近x₀,但x ≠ x₀”
例：y = (x² - 1)/(x - 1),当x -> 1时，函数值接近于2，与f(x)在x = 1处是否有定义无关。

定义

6. y = f(x),当x -> x₀时，f(x)无限接近于常数A，则称“当x -> x₀时，f(x) 以A为极限”，记作
   (x -> x₀)lim f(x) = A 或 f(x) -> A(x -> x₀).
   否则（f(x)不能无限接近于常数),称“当x -> x₀时,f(x)发散"，或(x -> x₀)lim f(x) 不存在
   注意：
   1. (x -> x₀)lim f(x) = A <=>自变量x -> x₀时，因变量(函数值) ->A
   2. (x -> x₀)lim f(x)存在与否，极限值A是多少，与f(x)在x = x₀处是否有定义无关，因(x -> x₀)lim f(x)求的是f(x)的变化趋势(x -> x₀),不是求f(x₀).
   3. 求(x -> x₀)lim f(x)时，尽可能先约分
   4. 当x -> x₀ 时，见下图
   有定义可得：
   求极限一般从左右两侧进行讨论，但是当两次表达式一样无需分段讨论
   问是否存在极限，判断左右是否相等
   问极限是可以含∞

函数极限的性质（4性质2推论）

5. (唯一性)若 (x -> x₀)lim f(x) = A ,则A唯一。
6. (局部有界性)若 (x -> x₀)lim f(x) = A，则在x₀点的去心邻域(0 < |x - x₀ |<σ)内，f(x)有界
7. (局部保号性)若(x -> x₀)lim f(x) = A ,A > 0(A < 0),则在x₀的去心邻域(0 < |x - x₀ |<σ)内，f(x) > 0(f(x) < 0).
   推论（3.)若在x₀点的某去心邻域内，f(x)≥0 (≤0)，且(x -> x₀)lim f(x) = A，则A≥0(≤0)注若f(x)>0 (<0),(x -> x₀)lim f(x) = A **=>**A ≥0 (A≤0).
8. (海因定理)(x -> x₀)lim f(x) = A <=>对任意{x_n}(x_n ∈ D_f),(x -> x₀)lim x_n = x₀且x_n≠ x₀,都有(n -> ∞)lim f(x_n) = A ，即
   (n -> ∞)lim f(x_n) = (x -> x₀)lim f(x) = A.
   性质8说明函数极限与数列极限的关系（又叫归结原则）
   
   推论(4.)两数列{x_n⁽¹⁾}与{x_n⁽²⁾}.满足 (n -> ∞)lim x_n⁽¹⁾ = x₀, (n -> ∞)lim x_n⁽²⁾ = x₀,(x_n⁽¹⁾ ≠ x₀ , x_n⁽²⁾ ≠ x₀),且(n -> ∞)lim f(x_n⁽¹⁾) = A, (n -> ∞)lim f(x_n⁽²⁾) = B, A ≠ B，则(x -> x₀)lim f(x)不存在。
   由推论可得(x -> 0)limsin(1/x )不存在，(x -> 0)limcos(1/x )不存在.

例题

2.若(x -> +∞)lim f(x) = A,则(x -> ∞)lim f(x) = A.
而(x -> ∞)lim f(x) = A不能推出(x -> +∞)lim f(x) = A