1.1 数列极限与函数极限

第一章 数学分析

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

1.1 数列极限与函数极限

1. 数列极限为有界量

   $$\underset{n\to \infty }{\lim }{a}_n=a:\forall \epsilon >0,\exists N(\epsilon )\in \mathbb{N},s.t.\forall n>N(\epsilon ),|a_n-a|<\epsilon$$

2. 数列极限为无穷

   $$\underset{n\to \infty }{\lim }{a}_n=\infty :\forall M>0,\exists N(M)\in \mathbb{N},s.t.\forall n>N(M),|a_n|>M$$

3. 单调有界定理

   数列 { a n } \{a_n\} {an​}极限存在，如果数列 { a n } \{a_n\} {an​}单调递增有上界，或单调递减有下界。

4. $Cauchy$收敛原理

   数列 { a n } \{a_n\} {an​}极限存在，当且仅当

   $$\forall \epsilon >0,\exists N(\epsilon )\in \mathbb{N},s.t.\forall n,m>N(\epsilon ),|a_m-a_n|<\epsilon$$

5. $Stolz$定理

   若 { a n } , { b n } \{a_n\},\{b_n\} {an​},{bn​}极限均为无穷，且$b_n$严格递增趋于无穷，则

   $$\underset{n\to \infty }{\lim }\frac{a_n}{b_n}=\underset{n\to \infty }{\lim }\frac{a_n-a_{n-1}}{b_n-b_{n-1}}$$

   若 { a n } , { b n } \{a_n\},\{b_n\} {an​},{bn​}极限均为零，且$b_n$严格单调，则

   $$\underset{n\to \infty }{\lim }\frac{a_n}{b_n}=\underset{n\to \infty }{\lim }\frac{a_n-a_{n-1}}{b_n-b_{n-1}}$$

6. 夹逼定理

   若$a_n\le b_n\le c_n$，则

   $$\underset{n\to \infty }{\lim }{a}_n=\underset{n\to \infty }{\lim }{c}_n=A\Rightarrow \underset{n\to \infty }{\lim }{b}_n=A$$

7. 平均收敛定理

   $$\underset{n\to \infty }{\lim }{a}_n=A\Rightarrow \underset{n\to \infty }{\lim }\frac{a_1+a_2+\cdots +a_n}{n}=A$$

8. 数列收敛则其所有子列均收敛

   若数列中某一子列发散，则数列发散，且

   $$\underset{n\to \infty }{\lim }{a}_{np+i}=a(i=0,1,\cdots ,p-1)\Rightarrow \underset{n\to \infty }{\lim }{a}_n=a$$

9. 定积分求解数列极限

   $$\underset{n\to \infty }{\lim }\sum _{k=1}^n\frac{1}{n}f(\frac{k}{n})={\int }_0^{1}f(x)dx$$

10. 其他实数相关定理

    确界存在定理，闭区间套定理，列紧性定理，有限覆盖定理

11. 常用数列极限

    $$\begin{array}{rl}& (1)\underset{n\to \infty }{\lim }\sqrt[n]{a}=\underset{n\to \infty }{\lim }\sqrt[n]{n}=1\\ & (2)\underset{n\to \infty }{\lim }\frac{a^n}{n!}=\underset{n\to \infty }{\lim }\frac{n!}{n^n}=0\\ & (3)e=\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^n=\underset{n\to \infty }{\lim }\sum _{k=0}^n\frac{1}{k!}\end{array}$$

12. 函数极限在实数点处为有界量

    $$\underset{x\to a}{\lim }f(x)=A:\forall \epsilon >0,\exists \delta (\epsilon )>0,s.t.\forall 0<|x-a|<\delta (\epsilon ),|f(x)-A|<\epsilon$$

13. 函数极限在实数点处为无穷

    $$\underset{x\to a}{\lim }f(x)=\infty :\forall M>0,\exists \delta (M)>0,s.t.\forall 0<|x-a|<\delta (M),|f(x)|>M$$

14. 函数极限在为无穷处为有界量

    $$\underset{x\to \infty }{\lim }f(x)=A:\forall \epsilon >0,\exists X(\epsilon )>0,s.t.\forall |x|>X(\epsilon ),|f(x)-A|<\epsilon$$

15. 函数极限在无穷处为无穷

    $$\underset{x\to \infty }{\lim }f(x)=\infty :\forall M>0,\exists X(M)>0,s.t.\forall |x|>X(M),|f(x)|>M$$

16. 函数的连续性

    $$f(x)在x_0处连续:\forall \epsilon >0,\exists \delta (\epsilon )>0,s.t.\forall |x-x_0|<\delta (\epsilon ),|f(x)-f(x_0)|<\epsilon$$

    更一般地

    $$f(x)在x_0处连续:\underset{x\to x_0}{\lim }f(x)=f(x_0)$$

17. 海涅定理

    $$若\underset{n\to \infty }{\lim }{a}_n=a,则\underset{x\to a}{\lim }f(x)=\underset{n\to \infty }{\lim }f(a_n)$$

18. 无穷小与有界

    $$\begin{array}{rl}& (1)无穷小:f(x_0)=o(g(x_0))\iff \underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=0\\ & (2)有界:f(x)=O(g(x))\iff \exists M>0,s.t.|\frac{f(x)}{g(x)}|\le M\end{array}$$

19. 一致连续

    函数$f(x)$在定义域$I$上一致连续，定义为

    $$\forall \epsilon >0,\exists \delta >0,s.t.\forall x^{\prime },x^{\prime \prime }\in I,|x^{\prime }-x^{\prime \prime }|<\delta \Rightarrow |f(x^{\prime })-f(x^{\prime \prime })|<\epsilon$$

20. 间断点类型

    第一类间断点

    $$\begin{array}{rl}& (1)可去间断点:\underset{x\to x_0^{-}}{\lim }f(x)=\underset{x\to x_0^{+}}{\lim }f(x)\ne f(x_0)\\ & (2)跳跃间断点:\underset{x\to x_0^{-}}{\lim }f(x)\ne \underset{x\to x_0^{+}}{\lim }f(x)\end{array}$$

    第二类间断点：$f(x_0^{-})$与$f(x_0^{+})$至少一个不存在，例如无穷间断点和振荡间断点。

21. 连续函数的最值定理

    连续函数在闭区间上必定能取到最大值和最小值。

22. 连续函数的零点存在定理

    $$若f(x)\in C(a,b),f(a)f(b)<0,则\exists \xi \in (a,b),f(\xi )=0$$

23. 连续函数的介值定理

    $$若f(x)\in C(a,b),[f(a)-A][f(b)-A]<0,则\exists \xi \in (a,b),f(\xi )=A$$

24. 常用等价无穷小和极限运算

    ( 1 ) x ∼ sin ⁡ x ∼ tan ⁡ x ∼ arcsin ⁡ x ∼ arctan ⁡ x ∼ ln ⁡ ( x + 1 ) ∼ e x − 1 ( 2 ) x 2 2 ∼ 1 − cos ⁡ x ∼ x − ln ⁡ ( 1 + x ) ∼ e x − 1 − x ( 3 ) ( 1 + x ) α − 1 ∼ α x ( 4 ) lim ⁡ x → x 0 u ( x ) v ( x ) = exp ⁡ { lim ⁡ x → x 0 ( v ( x ) ln ⁡ u ( x ) ) } = exp ⁡ { lim ⁡ x → x 0 v ( x ) ( u ( x ) − 1 ) } ( 5 ) e x + f ( x ) − e f ( x ) = e f ( x ) ( e x − 1 ) ∼ x e f ( x ) \begin{aligned} &(1)x\sim \sin x\sim\tan x\sim\arcsin x\sim\arctan x\sim\ln(x+1)\sim e^x-1\\ &(2)\frac{x^2}2\sim 1-\cos x\sim x-\ln(1+x)\sim e^x-1-x\\ &(3)(1+x)^\alpha-1\sim\alpha x\\ &(4)\lim_{x\to x_0}u(x)^{v(x)}=\exp\{\lim_{x\to x_0}(v(x)\ln u(x))\}=\exp\{\lim_{x\to x_0}v(x)(u(x)-1)\}\\ &(5)e^{x+f(x)}-e^{f(x)}=e^{f(x)}(e^x-1)\sim xe^{f(x)} \end{aligned} ​(1)x∼sinx∼tanx∼arcsinx∼arctanx∼ln(x+1)∼ex−1(2)2x2​∼1−cosx∼x−ln(1+x)∼ex−1−x(3)(1+x)α−1∼αx(4)x→x0​lim​u(x)v(x)=exp{x→x0​lim​(v(x)lnu(x))}=exp{x→x0​lim​v(x)(u(x)−1)}(5)ex+f(x)−ef(x)=ef(x)(ex−1)∼xef(x)​