数列的极限
- ∃ A \exists A ∃A, ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ N ∈ N \exists N\in \mathbf{N} ∃N∈N, ∀ n > N \forall n>N ∀n>N 有 ∣ x n − A ∣ < ε |x_n-A|<\varepsilon ∣xn−A∣<ε, 则称数列 { x n } \{x_n\} {xn} 收敛, 记 lim n → ∞ x n = A \lim\limits_{n\to \infty} x_n=A n→∞limxn=A.
函数在一点处的极限
- ∃ A \exists A ∃A, ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ δ > 0 \exists \delta>0 ∃δ>0, ∀ x ∈ ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) \forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta) ∀x∈(x0−δ,x0)∪(x0,x0+δ), ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε, 则称函数 f f f 在 x 0 x_0 x0 处收敛. 但 A A A未必等于 f ( x 0 ) f(x_0) f(x0), 记 lim x → x 0 f ( x ) = A \lim\limits_{x\to x_0} f(x)=A x→x0limf(x)=A.
函数在无穷远处的极限
- ∃ A \exists A ∃A, ∀ X > 0 \forall X>0 ∀X>0, ∃ X > 0 \exists X>0 ∃X>0, ∀ x ∈ ( − ∞ , − X ) ∪ ( X , + ∞ ) \forall x\in (-\infty,-X)\cup (X,+\infty) ∀x∈(−∞,−X)∪(X,+∞), ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε, 称函数 f f f 在无穷远收敛.
极限概念表
趋势 | ε > 0 \varepsilon>0 ε>0 | X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) | x x x | 区间 | 满足 |
---|---|---|---|---|---|
x → ∞ x\to \infty x→∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (−∞,−X)∪(X,+∞) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
x → + ∞ x\to +\infty x→+∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( X , + ∞ ) (X,+\infty) (X,+∞) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
x → − ∞ x\to -\infty x→−∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) (-\infty,-X) (−∞,−X) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
x → x 0 x\to x_0 x→x0 | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0−δ,x0)∪(x0,x0+δ) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
x → x 0 + x\to x_0^+ x→x0+ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
x → x 0 − x\to x_0^- x→x0− | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0−δ,x0) | ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon ∣f(x)−A∣<ε |
无穷小量
在一点处无穷小量
-
∀
ε
>
0
\forall \varepsilon>0
∀ε>0,
∃
δ
>
0
\exists \delta>0
∃δ>0,
∀
x
∈
(
x
0
−
δ
,
x
0
)
∪
(
x
0
,
x
0
+
δ
)
\forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta)
∀x∈(x0−δ,x0)∪(x0,x0+δ),
∣
f
(
x
)
∣
<
ε
|f(x)|<\varepsilon
∣f(x)∣<ε, 则称函数
f
f
f 在
x
0
x_0
x0 处无穷小量. 记
f
(
x
)
=
o
(
x
−
x
0
)
f(x)=o(x-x_0)
f(x)=o(x−x0).
计算 lim x → 0 x + x 2 \lim\limits_{x\to 0} x+x^2 x→0limx+x2的无穷小量
`## 在无穷远处无穷小量 - ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ X > 0 \exists X>0 ∃X>0, ∀ x , ∣ x ∣ > X \forall x, |x|>X ∀x,∣x∣>X, ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε, 则称函数 f f f 无穷处是 无穷小量.
无穷小量概念表
趋势 | ε > 0 \varepsilon>0 ε>0 | X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) | x x x | 区间 | 满足 |
---|---|---|---|---|---|
x → ∞ x\to \infty x→∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (−∞,−X)∪(X,+∞) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
x → + ∞ x\to +\infty x→+∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( X , + ∞ ) (X,+\infty) (X,+∞) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
x → − ∞ x\to -\infty x→−∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) (-\infty,-X) (−∞,−X) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
x → x 0 x\to x_0 x→x0 | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0−δ,x0)∪(x0,x0+δ) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
x → x 0 + x\to x_0^+ x→x0+ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
x → x 0 − x\to x_0^- x→x0− | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0−δ,x0) | ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon ∣f(x)∣<ε |
无穷小量的比较
- α \alpha α 是 β \beta β 的高阶无穷小量: lim x α ( x ) β ( x ) = 0 \lim_{x} \frac{\alpha(x)}{\beta(x)} =0 limxβ(x)α(x)=0
- α \alpha α 是 β \beta β 的低阶无穷小量: lim x α ( x ) β ( x ) = ∞ \lim_{x} \frac{\alpha(x)}{\beta(x)} =\infty limxβ(x)α(x)=∞
- α \alpha α 是 β \beta β 的同阶无穷小量: lim x α ( x ) β ( x ) = c ≠ 0 \lim_{x} \frac{\alpha(x)}{\beta(x)} =c\neq 0 limxβ(x)α(x)=c=0
- α \alpha α 是 β \beta β 的等价无穷小量: lim x α ( x ) β ( x ) = 1 \lim_{x} \frac{\alpha(x)}{\beta(x)} =1 limxβ(x)α(x)=1
等价无穷小量列举
- x ∼ sin ( x ) ∼ tan ( x ) ∼ ln ( x + 1 ) ∼ e x − 1 ‾ ∼ arcsin ( x ) ∼ arctan ( x ) x\sim \sin(x)\sim \tan(x)\sim \ln(x+1)\sim \underline{e^x-1}~\sim \arcsin(x)\sim\arctan(x) x∼sin(x)∼tan(x)∼ln(x+1)∼ex−1 ∼arcsin(x)∼arctan(x)
- x 2 2 ∼ 1 − cos ( x ) ‾ ∼ x − ln ( 1 + x ) ‾ ∼ e x − 1 − x ‾ \frac{x^2}{2}\sim \underline{1-\cos(x)}\sim \underline{x-\ln(1+x)}\sim \underline{e^x-1-x} 2x2∼1−cos(x)∼x−ln(1+x)∼ex−1−x
- x 3 2 ∼ sin ( x ) ( 1 − cos ( x ) ) ‾ ∼ tan ( x ) − sin ( x ) ‾ \frac{x^3}{2}\sim \underline{\sin(x)(1-\cos(x))}\sim \underline{\tan(x)-\sin(x)} 2x3∼sin(x)(1−cos(x))∼tan(x)−sin(x)
- x 3 3 ∼ x − arctan ( x ) ‾ ∼ tan ( x ) − x ‾ \frac{x^3}{3}\sim \underline{x-\arctan(x)}\sim \underline{\tan(x)-x} 3x3∼x−arctan(x)∼tan(x)−x
- x 3 6 ∼ x − sin ( x ) ‾ ∼ arcsin ( x ) − x ‾ ∼ ln ( 1 + x ) + 1 − e x ‾ \frac{x^3}{6}\sim \underline{x-\sin(x)}\sim \underline{\arcsin(x)-x}\sim\underline{\ln(1+x)+1-e^x} 6x3∼x−sin(x)∼arcsin(x)−x∼ln(1+x)+1−ex
- ( 1 + x ) α − 1 ‾ ∼ α x \underline{(1+x)^\alpha-1}\sim \alpha x (1+x)α−1∼αx
- 1 + x − 1 ‾ ∼ x 2 \underline{\sqrt{1+x}-1}\sim \frac{x}{2} 1+x−1∼2x
在一点处无穷大量
- ∀ M > 0 \forall M>0 ∀M>0, ∃ δ > 0 \exists \delta>0 ∃δ>0, ∀ x ∈ ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) \forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta) ∀x∈(x0−δ,x0)∪(x0,x0+δ), ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M, 则称函数 f f f 在 x 0 x_0 x0 处无穷大量. 记 lim x → x 0 f ( x ) = ∞ \lim\limits_{x\to x_0}f(x)=\infty x→x0limf(x)=∞.
在无穷远处的正无穷大量
- ∀ M > 0 \forall M>0 ∀M>0, ∃ δ > 0 \exists \delta>0 ∃δ>0, ∀ x ∈ ( − ∞ , − δ ) ∪ ( δ , + ∞ ) \forall x\in (-\infty, -\delta)\cup (\delta,+\infty) ∀x∈(−∞,−δ)∪(δ,+∞), f ( x ) > M f(x)>M f(x)>M, 则称函数 f f f 趋于无穷远处正无穷大量. 记 lim x → x 0 f ( x ) = + ∞ \lim\limits_{x\to x_0}f(x)=+\infty x→x0limf(x)=+∞.
无穷大量概念表
趋势 | M > 0 M>0 M>0 | X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) | x x x | 区间 | 满足 |
---|---|---|---|---|---|
x → ∞ x\to \infty x→∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (−∞,−X)∪(X,+∞) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
x → + ∞ x\to +\infty x→+∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( X , + ∞ ) (X,+\infty) (X,+∞) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
x → − ∞ x\to -\infty x→−∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) (-\infty,-X) (−∞,−X) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
x → x 0 x\to x_0 x→x0 | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0−δ,x0)∪(x0,x0+δ) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
x → x 0 + x\to x_0^+ x→x0+ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
x → x 0 − x\to x_0^- x→x0− | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0−δ,x0) | ∣ f ( x ) ∣ > M |f(x)|>M ∣f(x)∣>M |
正无穷大量概念表
趋势 | ε > 0 \varepsilon>0 ε>0 | X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) | x x x | 区间 | 满足 |
---|---|---|---|---|---|
x → ∞ x\to \infty x→∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (−∞,−X)∪(X,+∞) | f ( x ) > M f(x)>M f(x)>M |
x → + ∞ x\to +\infty x→+∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( X , + ∞ ) (X,+\infty) (X,+∞) | f ( x ) > M f(x)>M f(x)>M |
x → − ∞ x\to -\infty x→−∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) (-\infty,-X) (−∞,−X) | f ( x ) > M f(x)>M f(x)>M |
x → x 0 x\to x_0 x→x0 | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0−δ,x0)∪(x0,x0+δ) | f ( x ) > M f(x)>M f(x)>M |
x → x 0 + x\to x_0^+ x→x0+ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) | f ( x ) > M f(x)>M f(x)>M |
x → x 0 − x\to x_0^- x→x0− | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0−δ,x0) | f ( x ) > M f(x)>M f(x)>M |
负无穷大量概念表
趋势 | ε > 0 \varepsilon>0 ε>0 | X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) | x x x | 区间 | 满足 |
---|---|---|---|---|---|
x → ∞ x\to \infty x→∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (−∞,−X)∪(X,+∞) | f ( x ) < − M f(x)<-M f(x)<−M |
x → + ∞ x\to +\infty x→+∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( X , + ∞ ) (X,+\infty) (X,+∞) | f ( x ) < − M f(x)<-M f(x)<−M |
x → − ∞ x\to -\infty x→−∞ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( − ∞ , − X ) (-\infty,-X) (−∞,−X) | f ( x ) < − M f(x)<-M f(x)<−M |
x → x 0 x\to x_0 x→x0 | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0−δ,x0)∪(x0,x0+δ) | f ( x ) < − M f(x)<-M f(x)<−M |
x → x 0 + x\to x_0^+ x→x0+ | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) | f ( x ) < − M f(x)<-M f(x)<−M |
x → x 0 − x\to x_0^- x→x0− | ∀ \forall ∀ | ∃ \exists ∃ | ∀ \forall ∀ | ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0−δ,x0) | f ( x ) < − M f(x)<-M f(x)<−M |
负无穷大量概念表
极限的性质
- 保加法, 减法, 乘法, 分母不为0的除法
- 保号性, 有界性, 连续函数的复合,
- 夹逼原理: lim a ( x ) = lim b ( x ) = A \lim a(x)=\lim b(x)=A lima(x)=limb(x)=A, a ( x ) ≤ f ( x ) ≤ b ( x ) a(x)\leq f(x)\leq b(x) a(x)≤f(x)≤b(x) 则 lim f ( x ) = A \lim f(x)=A limf(x)=A
- 单调有界收敛准则
∃ M \exists M ∃M, ∃ N \exists N ∃N, ∀ n ≥ N \forall n\geq N ∀n≥N, x n ≥ x n + 1 x_n\geq x_{n+1} xn≥xn+1 且 x n ≥ M x_n\geq M xn≥M 则 { x n } \{x_n\} {xn} 有极限。(单调递减有下界)
∃ M \exists M ∃M, ∃ N \exists N ∃N, ∀ n ≥ N \forall n\geq N ∀n≥N, x n ≤ x n + 1 x_n\leq x_{n+1} xn≤xn+1 且 x n ≤ M x_n\leq M xn≤M 则 { x n } \{x_n\} {xn} 有极限。(单调递增有上界)
函数的连续性
定义
- 定义1 ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ δ > 0 \exists \delta >0 ∃δ>0, ∀ x ∈ U ( x 0 , δ ) \forall x\in U(x_0,\delta) ∀x∈U(x0,δ), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon ∣f(x)−f(x0)∣<ε 称 f f f 在 x 0 x_0 x0 处 连续
- 定义2 lim x → x 0 f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0} f(x)=f(x_0) x→x0limf(x)=f(x0) 称 f f f 在 x 0 x_0 x0 处 连续
- 定义3 lim Δ x → 0 Δ f ( x ) = 0 \lim\limits_{\Delta x\to 0} \Delta f(x)=0 Δx→0limΔf(x)=0 称 f f f 在 x 0 x_0 x0 处 连续
- 定义 ∀ x ∈ A \forall x\in A ∀x∈A, f f f 在 x x x 处连续, 则称 f f f 在 A A A 上 连续
左连续
- 定义1 ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ δ > 0 \exists \delta >0 ∃δ>0, ∀ x ∈ U ( x 0 − δ , x 0 ) \forall x\in U(x_0-\delta,x_0) ∀x∈U(x0−δ,x0), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon ∣f(x)−f(x0)∣<ε 称 f f f 在 x 0 x_0 x0 处 左连续
- 定义2 lim x → x 0 − f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0^-} f(x)=f(x_0) x→x0−limf(x)=f(x0) 称 f f f 在 x 0 x_0 x0 处 左连续
右连续
- 定义1 ∀ ε > 0 \forall \varepsilon>0 ∀ε>0, ∃ δ > 0 \exists \delta >0 ∃δ>0, ∀ x ∈ U ( x 0 , x 0 + δ ) \forall x\in U(x_0,x_0+\delta) ∀x∈U(x0,x0+δ), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon ∣f(x)−f(x0)∣<ε 称 f f f 在 x 0 x_0 x0 处 右连续
- 定义2 lim x → x 0 + f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0^+} f(x)=f(x_0) x→x0+limf(x)=f(x0) 称 f f f 在 x 0 x_0 x0 处 右连续
性质: f 1 f_1 f1 在 D ( f 1 ) D(f_1) D(f1) 连续, f 2 f_2 f2 在 D ( f 2 ) D(f_2) D(f2) 连续
- 加法封闭: f 1 ( x ) + f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)+f_2(x), x\in D(f_1)\cap D(f_2) f1(x)+f2(x),x∈D(f1)∩D(f2) 连续
- 减法封闭: f 1 ( x ) − f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)-f_2(x), x\in D(f_1)\cap D(f_2) f1(x)−f2(x),x∈D(f1)∩D(f2) 连续
- 乘法封闭: f 1 ( x ) ⋅ f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)\cdot f_2(x), x\in D(f_1)\cap D(f_2) f1(x)⋅f2(x),x∈D(f1)∩D(f2) 连续
- 除法封闭: f 1 ( x ) f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) \frac{f_1(x)}{f_2(x)}, x\in D(f_1)\cap D(f_2) f2(x)f1(x),x∈D(f1)∩D(f2) 连续 ( f 2 ( x ) ≠ 0 f_2(x)\neq 0 f2(x)=0)
- 复合封闭: f 1 ( f 2 ( x ) ) f_1(f_2(x)) f1(f2(x)), x ∈ D ( f 1 ∘ f 2 ) x\in D(f_1\circ f_2) x∈D(f1∘f2) 连续
- 反函数封闭: f f f在 D ( f ) D(f) D(f) 上单调, f − 1 f^{-1} f−1 在 y 0 y_0 y0 处连续当且仅当 f f f 在 x 0 x_0 x0 处连续. ( y 0 = f ( x 0 ) y_0=f(x_0) y0=f(x0))
间断点
第一类间断点
- 可去间断点: lim x → x 0 − f ( x ) = lim x → x 0 + f ( x ) ≠ f ( x 0 ) \lim\limits_{x\to x_0^-} f(x)=\lim\limits_{x\to x_0^+} f(x)\neq f(x_0) x→x0−limf(x)=x→x0+limf(x)=f(x0), f ( x ) = sin ( x ) x , x → 0 f(x)=\frac{\sin(x)}{x}, x\to 0 f(x)=xsin(x),x→0.
- 跳跃间断点: lim x → x 0 − f ( x ) ≠ lim x → x 0 + f ( x ) \lim\limits_{x\to x_0^-} f(x)\neq \lim\limits_{x\to x_0^+} f(x) x→x0−limf(x)=x→x0+limf(x), f ( x ) = a r c t a n ( 1 x ) , x → 0 f(x)=\mathrm{arctan}(\frac{1}{x}), x\to 0 f(x)=arctan(x1),x→0
第二类间断点
- 无穷间断点: lim x → x 0 − f ( x ) = + ∞ \lim\limits_{x\to x_0^-} f(x)=+\infty x→x0−limf(x)=+∞ 或者 lim x → x 0 + f ( x ) = + ∞ \lim\limits_{x\to x_0^+} f(x)=+\infty x→x0+limf(x)=+∞, f ( x ) = 1 x , x → 0 f(x)=\frac{1}{x}, x\to 0 f(x)=x1,x→0.
- 震荡间断点:例如 f ( x ) = sin ( 1 x ) , x → 0 f(x)=\sin(\frac{1}{x}), x\to 0 f(x)=sin(x1),x→0.