无穷小
定义
如果函数 f ( x ) f(x) f(x)当 x → x 0 x \rightarrow x_0 x→x0(或 x → ∞ x \rightarrow \infty x→∞)时的极限为零,那么称函数 f ( x ) f(x) f(x)为当 x → x 0 x \rightarrow x_0 x→x0(或 x → ∞ x \rightarrow \infty x→∞)时的无穷小。
注意:
(1)无穷小不可以和很小的量混为一谈,无穷小量不是指量的大小,而是指量的变化趋势(以零为极限);
(2)无穷小是这样的函数:在
x
→
x
0
x \rightarrow x_0
x→x0(或
x
→
∞
x \rightarrow \infty
x→∞)过程中,函数的绝对值能小于任意给定的正数
ϵ
\epsilon
ϵ。而很小的数如百万分之一,就不能小于任意给定的正数
ϵ
\epsilon
ϵ。例如取
ϵ
\epsilon
ϵ等于千万分之一,则百万分之一就不能小于这个给定的
ϵ
\epsilon
ϵ。但零是可以作为无穷小的唯一常数,因为如果
f
(
x
)
≡
0
f(x) \equiv 0
f(x)≡0,那么对于任意给定的正数
ϵ
\epsilon
ϵ,总有
∣
f
(
x
)
∣
<
ϵ
|f(x)|< \epsilon
∣f(x)∣<ϵ
无穷大
定义
设函数 f ( x ) f(x) f(x)在 x 0 x_0 x0的某一去心领域内有定义(或 ∣ x ∣ |x| ∣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 \rightarrow x_0 x→x0(或 x → ∞ x \rightarrow \infty x→∞)时的无穷大。
无穷小的比较
两个无穷小的和、差及乘积仍旧是无穷小。
但是,关于两个无穷小的商,却会出现不同的情况。例如,当
x
→
0
x \rightarrow 0
x→0时,
3
x
、
x
2
、
sin
x
3x、x^2、\sin x
3x、x2、sinx都是无穷小,而
lim
x
→
0
x
2
3
x
=
0
,
lim
x
→
0
3
x
x
2
=
∞
,
lim
x
→
0
sin
x
x
=
1
\lim_{x \rightarrow 0} \frac{x^2}{3x}=0,\lim_{x \rightarrow 0} \frac{3x}{x^2}=\infty,\lim_{x \rightarrow 0} \frac{\sin x}{x}=1
x→0lim3xx2=0,x→0limx23x=∞,x→0limxsinx=1
两个无穷小之比的极限的各种不同情况,反映了不同的无穷小趋于零的“快慢程度”。
设 α 、 β \alpha、\beta α、β都是在同一个自变量的变化过程中的无穷小,且 α ≠ 0 , lim β α \alpha \neq 0,\lim \frac{\beta}{\alpha} α̸=0,limαβ也是在这个变化过程中的极限:
1.如果 lim β α = 0 \lim \frac{\beta}{\alpha}=0 limαβ=0,就说 β \beta β是比 α \alpha α高阶的无穷小,记作 β = o ( α ) \beta=o(\alpha) β=o(α)。
2.如果 lim β α = ∞ \lim \frac{\beta}{\alpha}=\infty limαβ=∞,就说 β \beta β是比 α \alpha α低阶的无穷小。
3.如果 lim β α = c ≠ 0 \lim \frac{\beta}{\alpha}=c \neq 0 limαβ=c̸=0,就说 β \beta β是与 α \alpha α同阶无穷小。
4.如果 lim β α k = c ≠ 0 \lim \frac{\beta}{\alpha^k}=c \neq 0 limαkβ=c̸=0,就说 β \beta β是关于 α \alpha α的 k k k阶无穷小。
5.如果 lim β α k = 1 \lim \frac{\beta}{\alpha^k}=1 limαkβ=1,就说 β \beta β是与 α \alpha α等阶无穷小,记作 α ∼ β \alpha \thicksim \beta α∼β。