函数、极限与连续

函数、极限与连续

映射：又称为算子，一个非空集合 X 的元素按某种法则 f 与另一个非空集合 Y 的元素对应。

在映射 f 下，y称为x的像，x称为y的原像。集合X称为定义域D_f，定义域的元素的像的集合称为值域R_f。

也就是说，$R_f\subset Y$。

映射分为以下三种：

• 单射：一个x对应一个y；
• 满射：Y中任意元素在X中都有对应的像；
• 双射：既是单射也是满射。

🚩相关知识点🚩

只有单射才有逆映射。

复合映射 $(g\circ f)(x)$，g的值域必须包含在f的定义域内，也就是说g、f的顺序是有意义的。

函数：y=f(x)。函数关系中的原像称为自变量，像称为因变量。

记号f表示x、y之间的映射法则，f(x)表示x对应的函数值。

子集：A是B的子集，记作$A\subset B$或 $A\supset B$（A包含于B，B包含A）。

自然数集 N、整数集 Z、有理数集 Q、实数集 R，$N\subset Z\subset Q\subset R$

集合的交差并补：
$$A\cap B,A\setminus B,A\cup B,C_{U}A或A^C$$

补集的对偶性
$$\begin{gathered} (A\cup B{)}^C=A^C\cap B^C \\ (A\cap B{)}^C=A^C\cup B^C \end{gathered}$$

基本初等函数

🐱幂函数：$y=x^{\alpha }$（$\alpha 是常数$）

🐱指数函数：$y=a^x$（$a>0,a\ne 1$）

🐱对数函数：$y=lo{g}_{a}x$（$a>0,a\ne 1$）

常用对数等式
$$\begin{gathered} x=e^{lnx} \\ {x}^a=e^{alnx} \end{gathered}$$

🐱三角函数：

y=tan x的定义域是 { x ∣ x ≠ π 2 + k π ， k = 0 ， ± 1 ， ± 2... } \{x|x \ne \frac{\pi}{2} + k \pi，k=0，\pm 1，\pm 2 ... \} {x∣x=2π​+kπ，k=0，±1，±2...}，值域是$(-\infty ,+\infty )$，最小正周期是$\pi$，奇函数。

y=cot x的定义域是 { x ∣ x ≠ k π ， k = 0 ， ± 1 ， ± 2... } \{x|x \ne k \pi，k=0，\pm 1，\pm 2 ...\} {x∣x=kπ，k=0，±1，±2...}，值域是$(-\infty ,+\infty )$，最小正周期是$\pi$，奇函数。

🐱反三角函数：

y=arcsinx的定义域是$[-1，1]$，值域是$[-\frac{\pi }{2}，\frac{\pi }{2}]$，称为反正弦函数。

y=arccosx的定义域是$[-1，1]$，值域是$[0,\pi ]$，称为反余弦函数。

y=arctanx的定义域是$(-\infty ,\infty )$，值域是$(-\frac{\pi }{2}，\frac{\pi }{2})$，成为反正切函数。

y=arccotx的定义域是$(-\infty ,\infty )$，值域是$(0，\pi )$，成为反余切函数。

还有特殊函数如常数函数、绝对值函数、符号函数、取整函数。

数列极限

设 { x n } \{x_n\} {xn​}是一数列，如果存在某个常数$a\in R$，对于任意给定的正数$ϵ$，总存在一个正整数N，使得对于$n>N$时一切n，不等式$|x_n-a|<ϵ$，则称常数a是数列 { x n } \{x_n\} {xn​}的极限，或者称 { x n } \{x_n\} {xn​}收敛于a，记作
$$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n=a或x_n\to a(n\to \infty )$$
如果这样的a不存在，则称数列没有极限或发散。
使用简洁语言表示就是：如果$\forall ϵ>0，\exists N\in Z^{+}，当n>N时，恒有|x_n-a|<ϵ$，则$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n=a$。

数列极限运算法则（$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n=a$，$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{y}_n=b$）：

• 加减：$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }(x_n\pm y_n)=\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n\pm \underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{y}_n=a\pm b$
• 乘法：$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n\cdot y_n=\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n\cdot y_n=a\cdot b$
• 交换：$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }\sqrt{x_n}=\sqrt{\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n}=\sqrt{a}$
• 除法：$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }\frac{x_n}{y_n}=\frac{\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{x}_n}{\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }{y}_n}=\frac{a}{b}$

函数极限

趋于无穷大的极限：如果$\forall ϵ>0，\exists X>0，当x>X时，恒有|f(x)-A|<ϵ$，则$\underset{\begin{array}{c}x\to +\infty \end{array}}{\lim }f(x)=A$。

趋于某个点的极限：$\forall ϵ>0，\exists \delta >0,当0<|x-x_0|<\delta 时，恒有|f(x)-A|<ϵ，那么\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A$。

函数极限的运算与数列极限的运算类似，都有加减乘除、交换，此外还有以下法则;

• $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }[\alpha f(x)+\beta g(x)]=\alpha \underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)+\beta \underset{\begin{array}{c}x\to x_0\end{array}}{\lim }g(x)$
• $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }[f(x){]}^n=[\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x){]}^n$

复合函数的极限运算法则：

• $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f[g(x)]=\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f[u]=\underset{\begin{array}{c}u\to u_0\end{array}}{\lim }f(u)=f(u_0)$

数列极限的性质

• 数列极限的唯一性：如果 { x n } \{x_n\} {xn​}收敛，则极限唯一。
• 数列极限的有界性：如果 { x n } \{x_n\} {xn​}收敛，则 { x n } \{x_n\} {xn​}有界。
• 数列极限的保号性：如果 { x n } \{x_n\} {xn​}收敛于a，则从某项起 { x n } \{x_n\} {xn​}与a同号。
• 推论：如果 { x n } \{x_n\} {xn​}收敛于a，则 { x n } \{x_n\} {xn​}的任意子列也收敛于a。

函数极限的性质

• 函数极限的唯一性：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A$，$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=B$，则A=B。
• 函数极限的局部有界性：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A$，则存在$\delta >0$，使得当$0<|x-x_0|<\delta$时，$|f(x)|<M$。
• 函数极限的局部保号性：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A$，且A>0，则存在$\delta >0$，使得当$0<|x-x_0|<\delta$时，$f(x)>0$。
• 函数极限的局部保号性的反推：如果存在$\delta >0$，使得当$0<|x-x_0|<\delta$时，$f(x)>0$，则$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)\ge 0$。
• 函数极限的局部保号性的大于|A|/2的推论：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A(A\ne 0)$,则存在$\delta >0$，使得当$0<|x-x_0|<\delta$时，$|f(x)|>\frac{|A|}{2}$。
• 函数极限与数列极限的关系：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A$，则对于任意收敛于$x_0$的数列 { x n } \{x_n\} {xn​}，有$\underset{\begin{array}{c}n\to \infty \end{array}}{\lim }f(x_n)=A$。

两个重要极限

• $\underset{\begin{array}{c}x\to 0\end{array}}{\lim }\frac{sinx}{x}=1$
• $\underset{\begin{array}{c}x\to \infty \end{array}}{\lim }(1+\frac{1}{x}{)}^x=e$

洛必达法则

如果：

1. $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=0$，$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }g(x)=0$，或者$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=\infty$，$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }g(x)=\infty$；
2. $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)$和$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }g(x)$可导，且$g^{\prime }(x)\ne 0$；
3. $\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}$存在或为$\infty$。

则：

$$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x)}=\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}$$

但是要注意，洛必达法则只是一个充分条件，不是一个必要条件，即如果极限存在，那么洛必达法则一定成立，但是如果洛必达法则成立，极限不一定存在。

三角函数的相关公式和二项式定理

• $si{n}^{2}x+co{s}^{2}x=1$
• $sin(x\pm y)=sinxcosy\pm cosxsiny$
• $cos(x\pm y)=cosxcosy\mp sinxsiny$
• $sin2x=2sinxcosx$
• $cos2x=co{s}^{2}x-si{n}^{2}x=2co{s}^{2}x-1=1-2si{n}^{2}x$
• $sin3x=3sinx-4si{n}^{3}x$
• $cos3x=4co{s}^{3}x-3cosx$
• $sinx+siny=2sin\frac{x+y}{2}cos\frac{x-y}{2}$
• $sinx-siny=2cos\frac{x+y}{2}sin\frac{x-y}{2}$
• $cosx+cosy=2cos\frac{x+y}{2}cos\frac{x-y}{2}$
• $cosx-cosy=-2sin\frac{x+y}{2}sin\frac{x-y}{2}$
• $sinxsiny=\frac{1}{2}[cos(x-y)-cos(x+y)]$
• $cosxcosy=\frac{1}{2}[cos(x-y)+cos(x+y)]$
• $sinxcosy=\frac{1}{2}[sin(x+y)+sin(x-y)]$
• $si{n}^{2}x=\frac{1}{2}[1-cos2x]$
• $co{s}^{2}x=\frac{1}{2}[1+cos2x]$
• $tan(x\pm y)=\frac{tanx\pm tany}{1\mp tanxtany}$
• $tan2x=\frac{2tanx}{1-ta{n}^{2}x}$
• $sinx=\frac{2tan\frac{x}{2}}{1+ta{n}^2\frac{x}{2}}$
• $cosx=\frac{1-ta{n}^2\frac{x}{2}}{1+ta{n}^2\frac{x}{2}}$
• $tan\frac{x}{2}=\frac{sinx}{1+cosx}=\frac{1-cosx}{sinx}$
• 二项式定理：$(a+b{)}^n={\sum }_{k=0}^n{C}_n^k{a}^{n-k}{b}^k$

极限存在准则

• 夹逼准则：如果$\forall x\in (a,b),f(x)\le g(x)\le h(x)$，且$\underset{\begin{array}{c}x\to a\end{array}}{\lim }f(x)=\underset{\begin{array}{c}x\to a\end{array}}{\lim }h(x)=A$，则$\underset{\begin{array}{c}x\to a\end{array}}{\lim }g(x)=A$。
• 单调有界准则：如果 { x n } \{x_n\} {xn​}单调递增且有上界，则 { x n } \{x_n\} {xn​}收敛；如果 { x n } \{x_n\} {xn​}单调递减且有下界，则 { x n } \{x_n\} {xn​}收敛。

无穷小

定义：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=0$，则称f(x)是当$x\to x_0$时的无穷小。

无穷小的运算性质：有界函数与无穷小的乘积是无穷小。

无穷大

定义：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=\infty$，则称f(x)是当$x\to x_0$时的无穷大。

无穷小的比较

• 等价无穷小：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x)}=1$，则称f(x)与g(x)是当$x\to x_0$时的等价无穷小，记为$f(x)\sim g(x)$。
• 同阶无穷小：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x)}=A(A\ne 0)$，则称f(x)与g(x)是当$x\to x_0$时的同阶无穷小，记为$f(x)=O(g(x))$。
• 高阶无穷小：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x)}=0$，则称f(x)是当$x\to x_0$时的高阶无穷小，记为$f(x)=o(g(x))$。
• 低阶无穷小：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x)}=\infty$，则称f(x)是当$x\to x_0$时的低阶无穷小，记为$f(x)=\omega (g(x))$。
• k阶无穷小：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{f(x)}{g(x{)}^k}=A(A\ne 0)$，则称f(x)是当$x\to x_0$时的k阶无穷小，记为$f(x)=O(g(x{)}^k)$。

等价无穷小的重要性质

• 为等价无穷小的充分必要条件：如果$f(x)\sim g(x)$，则$f(x)=g(x)+o(g(x))$。
• 如果$\alpha \sim {\alpha }^{\prime }$，$\beta \sim {\beta }^{\prime }$，且$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{\alpha }{\beta }=A(A\ne 0)$，则$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=A$。
• 若$\alpha \sim \beta$，且$\varphi (x)$极限存在或有界，则$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\alpha \varphi (x)=\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }\beta \varphi (x)$。
• 传递性：如果$\alpha \sim \beta$，$\beta \sim \gamma$，则$\alpha \sim \gamma$。

常用等价无穷小

若$x\to 0$，则：

• $sinx\sim x$
• $tanx\sim x$
• $arcsinx\sim x$
• $arctanx\sim x$
• $ln(1+x)\sim x$
• $e^x-1\sim x$
• $(1+ax{)}^{\frac{1}{x}}\sim e^a$
• $(1+x{)}^a-1\sim ax$
• $a^x-1\sim xlna$
• $ln(1+ax)\sim ax$
• $ln(1+x^a)\sim x^a$
• $a^x-1\sim xlna$

函数在一点的连续性

定义：如果$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=f(x_0)$，则称f(x)在$x_0$处连续。

函数在区间上的连续性

定义：如果$\forall x\in (a,b),\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=f(x_0)$，则称f(x)在$(a,b)$上连续。

函数的间断点

第一类间断点（First Type Discontinuity）：也称为可去间断点或点间断点。函数在某个点上的极限存在，但函数在该点的定义值与极限值不相等。判断方法是计算该点的极限，如果存在且与函数在该点的定义值不相等，则为第一类间断点。即：$\underset{\begin{array}{c}x\to x_0\end{array}}{\lim }f(x)=A(A\ne f(x_0))$。

第二类间断点（Second Type Discontinuity）：也称为跳跃间断点或断裂间断点。函数在某个点上的极限不存在，因为左右极限值不相等。判断方法是计算该点的左右极限，如果存在且不相等，则为第二类间断点。即：$\underset{\begin{array}{c}x\to x_0^{-}\end{array}}{\lim }f(x)\ne \underset{\begin{array}{c}x\to x_0^{+}\end{array}}{\lim }f(x)$。

无穷间断点（Infinite Discontinuity）：函数在某个点上的左右极限至少有一个趋于无穷大。判断方法是计算该点的左右极限，如果至少有一个极限趋于无穷大，则为无穷间断点。即：$\underset{\begin{array}{c}x\to x_0^{-}\end{array}}{\lim }f(x)=\infty$或$\underset{\begin{array}{c}x\to x_0^{+}\end{array}}{\lim }f(x)=\infty$。

振荡间断点（Oscillating Discontinuity）：函数在某个点上的极限不存在，因为函数在该点附近不断振荡。判断方法是观察函数在该点附近的行为，如果函数在该点附近不断振荡，没有趋于确定的值，则为振荡间断点。

初等函数的连续性

• 连续函数的四则运算的结果仍然是连续函数。
• 反函数的连续性：如果f(x)在$x_0$处连续且$f^{\prime }(x_0)\ne 0$，则$f^{-1}(x)$在$y_0=f(x_0)$处连续。
• 复合函数的连续性：如果 g(x) 在某个点 a 处连续，并且 f(x) 在 g(a) 处连续，那么复合函数 h(x) = f(g(x)) 在点 a 处连续。换句话说，如果组成复合函数的内部函数 g(x) 在某个点处连续，而外部函数 f(x) 在该内部函数的值处连续，那么复合函数在该点处连续。

闭区间连续函数的性质

• 有界性：如果f(x)在$[a,b]$上连续，则f(x)在$[a,b]$上有界。
• 最值定理：如果f(x)在$[a,b]$上连续，则f(x)在$[a,b]$上有最大值和最小值。
• 介值定理：如果f(x)在$[a,b]$上连续，且$f(a)\ne f(b)$，则对于$\forall y\in (f(a),f(b))$，$\exists x_0\in (a,b)$，使得$f(x_0)=y$。