考研数学：函数极限的定义

1. 函数极限的定义（当\(x\to x_0\)时）

设函数\(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\)。

2. 例子（当\(x\to x_0\)时）

例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\)。

3. 函数极限的定义（当\(x\to\infty\)时）

设函数\(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. 例子（当\(x\to\infty\)时）

例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\)。

5. 函数极限的定义（当\(x\to x_0^{+}\)时，右极限）

设函数\(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\)。

6. 右极限

例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\)。

7. 函数极限的定义（当\(x\to x_0^{-}\)时，左极限）

设函数\(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\)。

9. 函数极限的定义（单侧极限与双侧极限的关系）

函数\(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)\)不存在。