极限运算法则
定理6(符合函数极限运算法则)
设函数 f [ g ( x ) ] f[g(x)] f[g(x)] 是由函数 u = g ( x ) u=g(x) u=g(x) 与 y = f ( u ) y=f(u) y=f(u) 复合而成, f [ g ( x ) ] f[g(x)] f[g(x)] 在点 x 0 x_0 x0 的某去心邻域内有定义,若 l i m x → x 0 g ( x ) = u 0 lim_{x\to x_0}g(x)=u_0 limx→x0g(x)=u0, lim u → u 0 f ( u ) = A \lim_{u\to u_0}f(u)=A limu→u0f(u)=A ,且存在 δ 0 > 0 \delta_0>0 δ0>0,当 x ∈ U ˚ ( x 0 , δ 0 ) x\in\mathring{U}(x_0,\delta_0) x∈U˚(x0,δ0) 时,有 f ( x ) ≠ u 0 ) f(x)\not=u_0) f(x)=u0) 则 l i m x → x 0 f [ g ( x ) ] = lim u → u 0 f ( u ) = A lim_{x\to x_0}f[g(x)]=\lim_{u\to u_0}f(u)=A limx→x0f[g(x)]=u→u0limf(u)=A.
证:按函数极限的定义,要证: ∀ ε > 0 \forall\varepsilon>0 ∀ε>0, ∃ δ > 0 \exists\ \delta>0 ∃ δ>0 使得当 0 < ∣ x − x 0 ∣ < δ 0<|x-x_0|<\delta 0<∣x−x0∣<δ 时 ∣ f [ g ( x ) ] − A ∣ < ε |f[g(x)]-A|<\varepsilon ∣f[g(x)]−A∣<ε成立.
由于 lim u → u 0 f ( u ) = A \lim_{u\to u_0}f(u)=A limu→u0f(u)=A, ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ η > 0 \exists\ \eta>0 ∃ η>0,当 0 < ∣ u − u 0 ∣ < η 0<|u-u_0|<\eta 0<∣u−u0∣<η 时, ∣ f ( u ) − A ∣ < ε |f(u)-A|<\varepsilon ∣f(u)−A∣<ε 成立.
又由于 lim x → x 0 g ( x ) = u 0 \lim_{x\to x_0}g(x)=u_0 limx→x0g(x)=u0,对于上式得到的 η > 0 \eta>0 η>0, ∃ δ 1 > 0 \exists\ \delta_1>0 ∃ δ1>0,当 0 < ∣ x − x 0 ] ∣ < δ 1 0<|x-x_0]|<\delta_1 0<∣x−x0]∣<δ1 时, ∣ g ( x ) − u 0 ∣ < η |g(x)-u_0|<\eta ∣g(x)−u0∣<η 成立.
由假设,当 x ∈ U ˚ ( x 0 , δ 0 ) x\in\mathring{U}(x_0,\delta_0) x∈U˚(x0,δ0) 时, g ( x ) ≠ u 0 g(x)\not=u_0 g(x)=u0.取 δ = min { δ 0 , δ 1 } \delta=\min\{\delta_0,\delta_1\} δ=min{δ0,δ1},则当 0 < ∣ x − x 0 ∣ < δ 0<|x-x_0|<\delta 0<∣x−x0∣<δ 时, ∣ g ( x ) − u 0 ∣ < η |g(x)-u_0|<\eta ∣g(x)−u0∣<η 和 ∣ g ( x ) − u 0 ∣ ≠ 0 |g(x)-u_0|\not=0 ∣g(x)−u0∣=0 同时成立,即 0 < ∣ g ( x ) − u 0 ∣ < η 0<|g(x)-u_0|<\eta 0<∣g(x)−u0∣<η 成立,从而 ∣ f [ g ( x ) ] − A ∣ = ∣ f ( u ) − A ∣ < ε |f[g(x)]-A|=|f(u)-A|<\varepsilon ∣f[g(x)]−A∣=∣f(u)−A∣<ε成立.