一、无穷小
定义:如果函数 f ( x ) f(x) f(x) 当 x → x 0 x \to x_0 x→x0 (或 x → ∞ x \to \infty x→∞)时的极限为零,那么称函数 f ( x ) f(x) f(x) 为当 x → x 0 x \to x_0 x→x0 (或 x → ∞ x \to \infty x→∞)时的无穷小.
特别地,以零为极限的数列 { x n } \{ x_n \} {xn} 称为 n → ∞ n \to \infty n→∞ 时的无穷小。
注意:不要把无穷小与很小的数(例如百万分之一)混为一谈,因为无穷小是这样的函数,在 x → x 0 x \to x_0 x→x0 (或 x → ∞ x \to \infty x→∞)的过程中,这个函数的绝对值小于任意给定的正数 ε \varepsilon ε ,而很小的数如百万分之一,就不能小于任意给定的正数 ε \varepsilon ε ,例如取 ε \varepsilon ε 等于千万分之一,则百万分之一就不能小于这个给定的 ε \varepsilon ε 。但零是可以作为无穷小的唯一的常数,因为如果 f ( x ) ≡ 0 f(x) \equiv 0 f(x)≡0 ,那么对于任意给定的 ε > 0 \varepsilon > 0 ε>0 总有 ∣ f ( x ) ∣ < ε \vert f(x) \vert < \varepsilon ∣f(x)∣<ε 。
定理:在自变量的同一变化过程 x → x 0 x \to x_0 x→x0 (或 x → ∞ x \to \infty x→∞)中,函数 f ( x ) f(x) f(x) 具有极限 A A A 的充分必要条件是 f ( x ) = A + α f(x) = A + \alpha f(x)=A+α ,其中 α \alpha α 是无穷小。
二、无穷大
定义:设函数
f
(
x
)
f(x)
f(x) 在
x
0
x_0
x0 的某一去心邻域内有定义(或
∣
x
∣
\vert x \vert
∣x∣ 大于某一正数时有定义)。如果对于给定的正数
M
M
M (不论它多么大),总存在正数
δ
\delta
δ (或正数
X
X
X),只要
x
x
x 适合不等式
0
<
∣
x
−
x
0
∣
<
δ
0 < | x - x_0 | < \delta
0<∣x−x0∣<δ (或
∣
x
∣
>
X
| x | > X
∣x∣>X)对应的函数值
f
(
x
)
f(x)
f(x) 总满足不等式
∣
f
(
x
)
∣
>
M
| f(x) | > M
∣f(x)∣>M
那么称函数
f
(
x
)
f(x)
f(x) 是当
x
→
x
0
x \to x_0
x→x0 (或
x
→
∞
x \to \infty
x→∞)时的无穷大。
按函数极限的定义来说,当
x
→
x
0
x \to x_0
x→x0 (或
x
→
∞
x \to \infty
x→∞)时的无穷大的函数
f
(
x
)
f(x)
f(x) 的极限是不存在的。但为了便于叙述函数的这一性态,我们也说“函数的极限是无穷大”,并记作
lim
x
→
x
0
f
(
x
)
=
∞
(
或
lim
x
→
∞
f
(
x
)
=
∞
)
\lim_{x \to x_0} f(x) = \infty \quad (或 \lim_{x \to \infty} f(x) = \infty)
x→x0limf(x)=∞(或x→∞limf(x)=∞)
如果在无穷大的定义中,把
∣
f
(
x
)
∣
>
M
| f(x) | > M
∣f(x)∣>M 换成
f
(
x
)
>
M
f(x) > M
f(x)>M (或
f
(
x
)
<
−
M
f(x) < -M
f(x)<−M),就记作
lim
x
→
x
0
(
x
→
∞
)
f
(
x
)
=
+
∞
(
或
lim
x
→
x
0
(
x
→
+
∞
)
f
(
x
)
=
−
∞
)
\lim_{x \to x_0(x \to \infty)} f(x) = + \infty \quad (或 \lim_{x \to x_0(x \to +\infty)} f(x) = - \infty)
x→x0(x→∞)limf(x)=+∞(或x→x0(x→+∞)limf(x)=−∞)
必须注意,无穷大( ∞ \infty ∞)不是数,不可与很大的数(如1000万、1亿等)混为一谈。
一般地说,如果 lim x → x 0 = ∞ \lim \limits_{x \to x_0} = \infty x→x0lim=∞ ,那么直线 x = x 0 x = x_0 x=x0 是函数 y = f ( x ) y = f(x) y=f(x) 的图形的铅直渐近线。
定理:在自变量的同一变化过程中,如果 f ( x ) f(x) f(x) 为无穷大,那么 1 f ( x ) \cfrac{1}{f(x)} f(x)1 为无穷小;反之,如果 f ( x ) f(x) f(x) 为无穷小,且 f ( x ) ≠ 0 f(x) \neq 0 f(x)=0 为无穷大。