高等数学:函数极限的定义、性质
一、函数的极限
设函数\(f(x)\)在点\(x_0\)的某一去心邻域内有定义。如果存在常数\(A\),对于任意给定的正数\(\varepsilon\)(不论它多么小),总存在正数\(\delta\),使得当\(0 < |x - x_0| < \delta\)时,不等式\(|f(x)-A| < \varepsilon\)都成立,那么就称常数\(A\)是函数\(f(x)\)当\(x\to x_0\)时的极限,记作\(\lim_{x\to x_0}f(x) = A\)。
例1:证明\(\lim_{x\to2}(3x - 1)=5\)。
对于任意给定的\(\varepsilon>0\),要使\(|(3x - 1)-5| = |3x - 6| = 3|x - 2| < \varepsilon\),只要\(|x - 2| < \frac{\varepsilon}{3}\)。取\(\delta=\frac{\varepsilon}{3}\),当\(0 < |x - 2| < \delta\)时,\(|(3x - 1)-5| < \varepsilon\),所以\(\lim_{x\to2}(3x - 1)=5\)。
例2:证明\(\lim_{x\to1}\frac{x^{2}-1}{x - 1}=2\)。
函数\(f(x)=\frac{x^{2}-1}{x - 1}=\frac{(x + 1)(x - 1)}{x - 1}=x + 1\)(\(x\neq1\)),对于任意给定的\(\varepsilon>0\),要使\(|(x + 1)-2| = |x - 1| < \varepsilon\),取\(\delta=\varepsilon\),当\(0 < |x - 1| < \delta\)时,\(\left|\frac{x^{2}-1}{x - 1}-2\right| < \varepsilon\),所以\(\lim_{x\to1}\frac{x^{2}-1}{x - 1}=2\)。
例3:证明\(\lim_{x\to3}\sqrt{x + 1}=2\)。
对于任意给定的\(\varepsilon>0\),要使\(|\sqrt{x + 1}-2|=\left|\frac{(\sqrt{x + 1}-2)(\sqrt{x + 1}+2)}{\sqrt{x + 1}+2}\right|=\left|\frac{x - 3}{\sqrt{x + 1}+2}\right|\)。因为\(x\to3\),不妨设\(|x - 3| < 1\),即\(2 < x < 4\),此时\(\sqrt{x + 1}+2>3\),所以\(\left|\frac{x - 3}{\sqrt{x + 1}+2}\right|<\frac{|x - 3|}{3}\)。要使\(|\sqrt{x + 1}-2| < \varepsilon\),只要\(\frac{|x - 3|}{3}<\varepsilon\),即\(|x - 3| < 3\varepsilon\)。取\(\delta=\min\{1,3\varepsilon\}\),当\(0 < |x - 3| < \delta\)时,\(|\sqrt{x + 1}-2| < \varepsilon\),所以\(\lim_{x\to3}\sqrt{x + 1}=2\)。
设函数\(f(x)\)当\(|x|\)大于某一正数时有定义。如果存在常数\(A\),对于任意给定的正数\(\varepsilon\)(不论它多么小),总存在正数\(X\),使得当\(|x|>X\)时,不等式\(|f(x)-A| < \varepsilon\)都成立,那么就称常数\(A\)是函数\(f(x)\)当\(x\to\infty\)时的极限,记作\(\lim_{x\to\infty}f(x)=A\)。
例4:证明\(\lim_{x\to\infty}\frac{1}{x}=0\)。
对于任意给定的\(\varepsilon>0\),要使\(\left|\frac{1}{x}-0\right|=\frac{1}{x}<\varepsilon\),只要\(x>\frac{1}{\varepsilon}\)。取\(X = \frac{1}{\varepsilon}\),当\(|x|>X\)时,\(\left|\frac{1}{x}-0\right| < \varepsilon\),所以\(\lim_{x\to\infty}\frac{1}{x}=0\)。
例5:证明\(\lim_{x\to+\infty}\frac{2x + 1}{x}=2\)。
对于任意给定的\(\varepsilon>0\),\(\left|\frac{2x + 1}{x}-2\right|=\left|\frac{1}{x}\right|\),要使\(\left|\frac{1}{x}\right| < \varepsilon\),只要\(x>\frac{1}{\varepsilon}\)。取\(X=\frac{1}{\varepsilon}\),当\(x>X\)时,\(\left|\frac{2x + 1}{x}-2\right| < \varepsilon\),所以\(\lim_{x\to+\infty}\frac{2x + 1}{x}=2\)。
例6:证明\(\lim_{x\to-\infty}\frac{3x^{2}+1}{x^{2}} = 3\)。
对于任意给定的\(\varepsilon>0\),\(\left|\frac{3x^{2}+1}{x^{2}}-3\right|=\left|\frac{1}{x^{2}}\right|\),要使\(\left|\frac{1}{x^{2}}\right| < \varepsilon\),只要\(|x|>\frac{1}{\sqrt{\varepsilon}}\)。取\(X=\frac{1}{\sqrt{\varepsilon}}\),当\(x < -X\)时,\(\left|\frac{3x^{2}+1}{x^{2}}-3\right| < \varepsilon\),所以\(\lim_{x\to-\infty}\frac{3x^{2}+1}{x^{2}} = 3\)。
设函数\(f(x)\)在点\(x_0\)的右邻域\((x_0,x_0 + \delta)\)内有定义。如果存在常数\(A\),对于任意给定的正数\(\varepsilon\)(不论它多么小),总存在正数\(\delta\),使得当\(x_0 < x < x_0+\delta\)时,不等式\(|f(x)-A| < \varepsilon\)都成立,那么就称常数\(A\)是函数\(f(x)\)在点\(x_0\)处的右极限,记作\(\lim_{x\to x_0^{+}}f(x)=A\)或\(f(x_0^{+}) = A\)。
例7:(右极限)设\(f(x)=\begin{cases}x + 1, &x\geq1\\2x, &x < 1\end{cases}\),证明\(\lim_{x\to1^{+}}f(x)=2\)。
对于任意给定的\(\varepsilon>0\),当\(x > 1\)时,\(f(x)=x + 1\),要使\(|(x + 1)-2| = |x - 1| < \varepsilon\),取\(\delta=\varepsilon\),当\(1 < x < 1+\delta\)时,\(|f(x)-2| < \varepsilon\),所以\(\lim_{x\to1^{+}}f(x)=2\)。
设函数\(f(x)\)在点\(x_0\)的左邻域\((x_0-\delta,x_0)\)内有定义。如果存在常数\(A\),对于任意给定的正数\(\varepsilon\)(不论它多么小),总存在正数\(\delta\),使得当\(x_0-\delta < x < x_0\)时,不等式\(|f(x)-A| < \varepsilon\)都成立,那么就称常数\(A\)是函数\(f(x)\)在点\(x_0\)处的左极限,记作\(\lim_{x\to x_0^{-}}f(x)=A\)或\(f(x_0^{-}) = A\)。
例8:(左极限)对于上述函数\(f(x)=\begin{cases}x + 1, &x\geq1\\2x, &x < 1\end{cases}\),证明\(\lim_{x\to1^{-}}f(x)=2\)。
当\(x < 1\)时,\(f(x)=2x\),对于任意给定的\(\varepsilon>0\),要使\(|2x - 2| = 2|x - 1| < \varepsilon\),只要\(|x - 1| < \frac{\varepsilon}{2}\)。取\(\delta=\frac{\varepsilon}{2}\),当\(1-\delta < x < 1\)时,\(|f(x)-2| < \varepsilon\),所以\(\lim_{x\to1^{-}}f(x)=2\)。
函数\(f(x)\)当\(x\to x_0\)时极限存在的充分必要条件是它在点\(x_0\)处的左极限和右极限都存在且相等,即\(\lim_{x\to x_0^{-}}f(x)=\lim_{x\to x_0^{+}}f(x)\)。
例9:设\(f(x)=\begin{cases}3x - 1, &x\geq2\\x + 1, &x < 2\end{cases}\),求\(\lim_{x\to2}f(x)\)。
先求左极限\(\lim_{x\to2^{-}}f(x)=\lim_{x\to2^{-}}(x + 1)=3\),右极限\(\lim_{x\to2^{+}}f(x)=\lim_{x\to2^{+}}(3x - 1)=5\),因为左极限和右极限不相等,所以\(\lim_{x\to2}f(x)\)不存在。
例10:设\(f(x)=\begin{cases}x^{2}, &x\geq0\\x, &x < 0\end{cases}\),求\(\lim_{x\to0}f(x)\)。
左极限\(\lim_{x\to0^{-}}f(x)=\lim_{x\to0^{-}}x = 0\),右极限\(\lim_{x\to0^{+}}f(x)=\lim_{x\to0^{+}}x^{2}=0\),因为左极限等于右极限,所以\(\lim_{x\to0}f(x)=0\)。
函数极限的性质
性质1. 唯一性
性质描述:如果\(\lim_{x \to x_{0}}f(x)\)存在,那么这个极限是唯一的。
证明思路(反证法):假设\(\lim_{x \to x_{0}}f(x)=A\)且\(\lim_{x \to x_{0}}f(x)=B\)(\(A\neq B\)),不妨设\(\varepsilon=\frac{\vert A - B\vert}{2}\)。因为\(\lim_{x \to x_{0}}f(x)=A\),所以存在\(\delta_{1}>0\),当\(0 < \vert x - x_{0}\vert < \delta_{1}\)时,\(\vert f(x)-A\vert < \varepsilon\);又因为\(\lim_{x \to x_{0}}f(x)=B\),存在\(\delta_{2}>0\),当\(0 < \vert x - x_{0}\vert < \delta_{2}\)时,\(\vert f(x)-B\vert < \varepsilon\)。
举例说明:取\(\delta=\min\{\delta_{1},\delta_{2}\}\),当\(0 < \vert x - x_{0}\vert < \delta\)时,\(\vert A - B\vert=\vert A - f(x)+f(x)-B\vert\leqslant\vert A - f(x)\vert+\vert f(x)-B\vert < 2\varepsilon=\vert A - B\vert\),产生矛盾,所以极限唯一。例如函数\(y = x + 1\),当\(x\to2\)时,极限是唯一的为\(3\)。
性质2. 局部有界性
性质描述:如果\(\lim_{x \to x_{0}}f(x)=A\),那么存在常数\(M>0\)和\(\delta>0\),使得当\(0 < \vert x - x_{0}\vert < \delta\)时,\(\vert f(x)\vert\leqslant M\)。
证明思路:因为\(\lim_{x \to x_{0}}f(x)=A\),对于\(\varepsilon = 1\),存在\(\delta>0\),当\(0 < \vert x - x_{0}\vert < \delta\)时,\(\vert f(x)-A\vert < 1\),即\(\vert f(x)\vert=\vert f(x)-A + A\vert\leqslant\vert f(x)-A\vert+\vert A\vert < 1+\vert A\vert\),取\(M = 1+\vert A\vert\)即可。
举例说明:例如\(f(x)=2x - 1\),当\(x\to1\)时,极限为\(1\)。对于\(\varepsilon = 1\),存在\(\delta\)(这里\(\delta = 1\)就行),当\(0 < \vert x - 1\vert < 1\)时,\(1 - 1 < 2x - 1 < 3\),即\(\vert f(x)\vert < 3\),满足局部有界性。
性质3. 局部保号性
性质描述:如果\(\lim_{x \to x_{0}}f(x)=A\),且\(A>0\)(或\(A < 0\)),那么存在\(\delta>0\),当\(0 < \vert x - x_{0}\vert < \delta\)时,\(f(x)>0\)(或\(f(x)<0\))。
证明思路(以\(A>0\)为例):因为\(\lim_{x \to x_{0}}f(x)=A\),取\(\varepsilon=\frac{A}{2}\),存在\(\delta>0\),当\(0 < \vert x - x_{0}\vert < \delta\)时,\(\vert f(x)-A\vert < \varepsilon=\frac{A}{2}\),所以\(f(x)>A-\frac{A}{2}=\frac{A}{2}>0\)。
举例说明:对于函数\(f(x)=3x - 1\),当\(x\to1\)时,\(\lim_{x \to 1}f(x)=2>0\)。取\(\delta=\frac{1}{3}\),当\(0 < \vert x - 1\vert < \delta\)时,\(f(x)=3x - 1>0\)。
函数极限与数列极限的关系(海涅定理)
性质描述:\(\lim_{x \to x_{0}}f(x)=A\)的充分必要条件是:对于任意以\(x_{0}\)为极限的数列\(\{x_{n}\}\)(\(x_{n}\neq x_{0}\)),都有\(\lim_{n \to \infty}f(x_{n})=A\)。
证明思路(必要性):若\(\lim_{x \to x_{0}}f(x)=A\),对于任意给定的\(\varepsilon>0\),存在\(\delta>0\),当\(0 < \vert x - x_{0}\vert < \delta\)时,\(\vert f(x)-A\vert < \varepsilon\)。因为\(\lim_{n \to \infty}x_{n}=x_{0}\)且\(x_{n}\neq x_{0}\),所以对于这个\(\delta\),存在\(N\),当\(n > N\)时,\(0 < \vert x_{n}-x_{0}\vert < \delta\),从而\(\vert f(x_{n})-A\vert < \varepsilon\),即\(\lim_{n \to \infty}f(x_{n})=A\)。
举例说明:设\(f(x)=x^{2}\),\(x_{0}=2\),对于数列\(x_{n}=2+\frac{1}{n}\)(\(n = 1,2,\cdots\)),\(\lim_{n \to \infty}x_{n}=2\),且\(x_{n}\neq2\)。\(\lim_{n \to \infty}f(x_{n})=\lim_{n \to \infty}(2 + \frac{1}{n})^{2}=4\),这与\(\lim_{x \to 2}x^{2}=4\)是相符的,体现了函数极限和数列极限的这种关系。
数学基础 : 小学数学、初中数学、高中数学、高等数学
- 高中数学 14 等差数列、 等比数列、数学归纳法
- 高中数学 14 等差数列
- 高中数学 14 等比数列
- 高中数学 14 数学归纳法
- 高中数学 14 数列的通项公式
- ∑ 求和符号、∏ 连乘符号
- 导数 15 一元函数的导数及其应用
- 极限 15 函数极限的定义、性质、极限运算法则
- 极限 15 函数的连续性与间断点
- 导数 15 导数基础:定义、几何意义、运算法则
- 导数 15 函数曲线的切线方程、法线方程
- 导数 15 导数近似估算
- 导数 15 导数与函数的单调性
- 导数 15 导数与函数的极值、最大值、最小值
- 高中数学 16 计数原理:排列组合、二项式定理
- 高中数学 17 随机变量及其分布:条件、全概率
- 高中数学 18 成对数据的统计分析
- 高等数学:映射与函数的定义
- 高等数学:函数的有界性的判定方法
- 高等数学:函数的单调性、奇偶性、周期性
- 高等数学:反函数:定义、性质、存在条件
- 高等数学:复合函数:定义域、值域、求导、单调性
- 高等数学:求函数的三要素:定义域、值域、解析式
- 高等数学:双曲函数与反双曲函数
- 高等数学:数列极限的定义、收敛数列的性质
- 高等数学:函数极限的定义、性质
- 高等数学:无穷小 \(\lim_{x\to x_{0}}f(x)=0\) 与 无穷大 \(\lim_{x \to x_0}f(x)=\infty\)
- 高等数学:极限存在准则、极限运算法则
- 重要极限:\(\lim_{x \to 0}\frac{\sin x}{x}=1\) 与 \(\lim_{n\to\infty}(1 + \frac{1}{n})^{n}=e\)
- 高等数学:函数的连续性、间断点
- 高等数学:连续函数的和、差、积、商的连续性
- 高等数学:初等函数、反函数、复合函数的连续性
- 高等数学:闭区间 [a, b] 上连续函数的性质
- 高等数学:函数导数的定义、可导性与连续性
- 高等数学:求导法则、隐函数、对数、高阶、参数方程求导
- 高等数学:导数的应用:相关变化率
- 高等数学:函数的微分、运算法则、近似值应用
- 高等数学:罗尔定理、拉格朗日、柯西中值定理
- 高等数学:用洛必达法则求0/0型极限
- 高等数学:泰勒公式、麦克劳林公式
- 高等数学:函数的单调性、凹凸性、拐点、极值、最值
- 高等数学:函数图形的描绘、函数的渐近线
- 高等数学:弧微分、曲率、曲率圆、渐屈线、渐伸线、摆线
- 高等数学:求方程的近似解:二分法、切线法、割线法
- 不定积分:不定积分的定义、几何意义、计算方法
- 不定积分:基本积分表、直接积分法
- 不定积分:换元积分法、分部积分法
- 高等数学:定积分的概念、性质、应用
- 高等数学:微积分基本公式-牛顿-莱布尼茨公式
- 高等数学:定积分的计算方法、换元法、分部积分法