极限运算法则

定理一：
两个无穷小的和是无穷小

• 推论：有限个无穷小之和也是无穷小(数学归纳法可证)

定理二：
有界函数与无穷小的乘积是无穷小

• 推论1：常数与无穷小的乘积是无穷小
• 推论2：有限个无穷小的乘积是无穷小

定理三：
如果$\lim f(x) = A, \lim g(x) = B$，那么

• $\lim{[f(x) \pm g(x)]} = \lim f(x) \pm \lim g(x) = A \pm B$
• $\lim{[f(x) · g(x)]} = \lim f(x) · \lim g(x) = A · B$
• 若又有 $B \neq 0$ ，则： $$\lim \frac{f(x)}{g(x)} = \frac{\lim f(x)}{\lim g(x)} = \frac{A}{B}$$
• 推论1：如果$\lim f(x)$存在，而$c$为常数，那么： $$\lim{[cf(x)]} = c\lim f(x)$$
• 推论2：如果$\lim f(x)$存在，而$n$为正整数，那么： $$\lim{[f(x)]^n} = [\lim f(x)]^n$$

定理四：
设有数列$\{x_n\}$和$\{y_n\}$.如果

$$\lim_{n \to \infty}x_n = A, \lim_{n \to \infty}y_n = B$$
那么

• $\lim_{n \to \infty}(x_n \pm y_n) = A \pm B$
• $\lim_{n \to \infty}(x_n · y_n) = A · B$
• 当 $y_n \neq 0(n = 1, 2, ...)$且$B \neq 0$时，$\lim \frac{x_n}{y_n} = \frac{A}{B}$

定理五：
如果$f(x) \ge g(x)，而\lim f(x) = A, \lim g(x) = B$， 那么 $A \ge B$
证明：

$$\lim [f(x) - g(x)] = \lim f(x) - \lim g(x) = A - B$$
$$f(x) - g(x) \ge 0 \Rightarrow A - B \ge 0$$

定理六（复合函数的极限运算法则）：
设函数$y = f[g(x)]$是由函数$u = g(x)$与函数$y = f(u)$复合而成，$f[g(x)]$在点$x_0$的某去心邻域内有定义，若$\lim_{x \to x_0}g(x) = u_0, \lim_{u \to u_0}f(u) = A$，且存在$\varphi > 0$，当$x \in \mathring U(x_0, \varphi_0)$时， 有$g(x) = u_0$，则

$$\lim_{x \to x_0}f[g(x)] = \lim_{u \to u_0}f(u) = A$$