高等数学笔记：极限的性质总结

繁星数学随想录·笔记卷

摘录卷

极限的性质总结

一、数列极限的性质

01 唯一性

• $\underset{n\to \infty }{\lim }{x}_n=A,\underset{n\to \infty }{\lim }{x}_n=B\Rightarrow A=B$

02 有界性

• $\underset{n\to \infty }{\lim }{x}_n=A\Rightarrow \exists M>0:\left|x_n\right|<M\left(\forall n\in {\mathbf{N}}_{+}\right)$

03 保号性

• 表述01
  • $\underset{n\to \infty }{\lim }{x}_n=A>0\Rightarrow \exists N\in {\mathbf{N}}_{+}:\forall n>N,x_n>\frac{A}{2}$
• 表述02（同济版）
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A>0$​ ，那么 $\exists N\in N^{+},\forall n>N,$ 有 $x_n>0$​
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A<0$​ ，那么 $\exists N\in N^{+},\forall n>N,$ 有 $x_n<0$​
• 表述03
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A>0$ ，那么 $\forall A^{\prime }\in (0,A),\exists N\in N^{+},\forall n>N,$ 有 $x_n>A^{\prime }$
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A<0$​ ，那么 $\forall A^{\prime }\in (A,0),\exists N\in N^{+},\forall n>N,$​ 有 $x_n<A^{\prime }$​
• 保号性结论本身不涉及等于0的情况
  • 保的既然是”号“，那么就与 0 无关了
  • 考虑两个数列：$-\frac{1}{n}$ 和 $\frac{1}{n}$，两数列极限均为0，但一个恒正，一个恒负​
• 保号性的推论
  • 对表述02-②取逆否命题
  •  若对于  { x n } , ∃ N ∈ N + : 当  n > N  时,  x n ≥ 0 , 且  lim ⁡ n → ∞ x n = A ⇒ A ≥ 0 \text { 若对于 }\left\{x_{n}\right\}, \quad \exists N \in \mathbf{N}_{+}: \text {当 } n>N \text { 时, } x_{n} \geq 0 \text {, 且 }\lim \limits_{n \rightarrow \infty} x_{n}=A \Rightarrow A \geq 0  若对于 {xn​},∃N∈N+​:当 n>N 时, xn​≥0, 且 n→∞lim​xn​=A⇒A≥0​​
  • 问题 条件中 $x_n\ge 0$ 改为 $x>0$, 结论能否 $A>0$ ?
    • 改为 $x_n>0$，结论并不是 $A>0$

04 保序性

• 若 $\underset{n\to \infty }{\lim }{x}_n=A$​​​​ 与 $\underset{n\to \infty }{\lim }{y}_n=B$​​​​，且 $A>B$​​​​​ ，则 $\exists N\in N_{+},\forall n>N,$​​​ 有 $x_n>y_n$​​​
• 极限的大小顺序保证了函数的大小顺序
• 极限大的，数列有无穷项更大
• 保序性结论本身也不涉及相等的情况
  • 保的既然是”序“，那么相等就没有次序可言了
  • 考虑两个数列：$-\frac{1}{n}$ 和 $\frac{1}{n}$​，两数列极限均为0，但一个恒正，一个恒负
• 保序性的推论
  • 当 $y_n=0$ 时
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A>0$​ ，则 $\exists N\in N_{+},\forall n>N,$​ 有 $x_n>0$​​​ ① ，同样地，​
  • 若 $\underset{n\to \infty }{\lim }{x}_n=A<0$​​ ，则 $\exists N\in N_{+},\forall n>N,$​​ 有 $x_n<0$ ②​​​
  • 对②取逆否命题
    •  若对于  { x n } , ∃ N ∈ N + : 当  n > N  时,  x n ≥ 0 , 且  lim ⁡ n → ∞ x n = A ⇒ A ≥ 0 \text { 若对于 }\left\{x_{n}\right\}, \quad \exists N \in \mathbf{N}_{+}: \text {当 } n>N \text { 时, } x_{n} \geq 0 \text {, 且 }\lim \limits_{n \rightarrow \infty} x_{n}=A \Rightarrow A \geq 0  若对于 {xn​},∃N∈N+​:当 n>N 时, xn​≥0, 且 n→∞lim​xn​=A⇒A≥0
    • 此即保号性的推论，殊途同归

05 保不等式性

• $$x_n\ge y_n,\underset{n\to \infty }{\lim }{x}_n=A,\underset{n\to \infty }{\lim }{y}_n=B\Rightarrow A\ge B$$​
• 函数的不等式保证了极限的不等式
• 原来大的，极限也大
• 保不等式性结论本身允许相等的情况
  • 保的既然是”不等式“，那么相等和不相等都应该包含

06 归并性

• 子列
  • 数列 { x n } \left\{x_{n}\right\} {xn​} 中的无穷项, 它们下标依次为 $n_1<n_2<\cdots <n_k<\cdots$ ，则称数列 $x_{n_1},x_{n_2},\cdots ,x_{n_k},\cdots$ 为 { x n } \left\{x_{n}\right\} {xn​} 的子列, 记为 { x n k } \left\{x_{n_{k}}\right\} {xnk​​}
• lim ⁡ n → ∞ x n = A ⇔ ∀ { x n k } ⊂ { x n } : lim ⁡ k → ∞ x n k = A \lim \limits_{n \rightarrow \infty} x_{n}=A \Leftrightarrow \forall\left\{x_{n_{k}}\right\} \subset\left\{x_{n}\right\}: \lim \limits_{k \rightarrow \infty} x_{n_{k}}=A n→∞lim​xn​=A⇔∀{xnk​​}⊂{xn​}:k→∞lim​xnk​​=A
• 命题常应用于说明极限不存在
  • 例如：$x_n=(-1{)}^n$

07 合并性

• 我自己起的名字：奇偶子列极限同为A <=> 数列极限为A
• $\underset{k\to \infty }{\lim }{x}_{2k-1}=A$ 且 $\underset{k\to \infty }{\lim }{x}_{2k}=A\iff \underset{n\to \infty }{\lim }{x}_n=A$

二、函数极限的性质

(1) 唯一性

• $\underset{x\to a}{\lim }f(x)=A,\underset{x\to a}{\lim }f(x)=B,\Rightarrow A=B$

(2) 局部有界性

• $\underset{x\to a}{\lim }f(x)=A\Rightarrow \exists \delta >0,M>0:|f(x)|\le M,(x\in \stackrel{\circ }{U}(a,\delta ))$

(3) 局部保号性

• 表述01
  • $\underset{x\to a}{\lim }f(x)=A>0\Rightarrow \exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),f(x)>\frac{A}{2}(>0)$
• 表述02
  • 由表述01重写得
  • $\underset{x\to a}{\lim }f(x)=A>0\Rightarrow \exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),f(x)>0$​​
  • $\underset{x\to a}{\lim }f(x)=A<0\Rightarrow \exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),f(x)<0$
• 表述03
  • 若 $\underset{x\to a}{\lim }f(x)=A>0$ ，那么 $\forall A^{\prime }\in (0,A),\forall x\in \stackrel{\circ }{U}(a,\delta ),$ 有 $f(x)>A^{\prime }$
  • 若 $\underset{x\to a}{\lim }f(x)=A<0$ ，那么 $\forall A^{\prime }\in (A,0),\forall x\in \stackrel{\circ }{U}(a,\delta ),$ 有 $f(x)<A^{\prime }$
• 局部保号性的推论
  • 由表述02-②取逆否命题有
  • 若 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),$ 有 $f(x)\ge 0$，那么$\underset{x\to a}{\lim }f(x)=A\ge 0$

(4) 局部保序性

• 若 $\underset{x\to a}{\lim }f(x)=A，\underset{x\to a}{\lim }g(x)=B，A>B$​ ，那么 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),$​ 有 $f(x)>g(x)$​
• 局部保序性的特殊情况
  • 当 $g(x)=0$​​​ 时，有以下结论：
    • 若 $\underset{x\to a}{\lim }f(x)=A>0$​​​ ，那么 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),$​​​ 有 $f(x)>0$​
    • 若 $\underset{x\to a}{\lim }f(x)=A<0$​​​ ，那么 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),$​​​ 有 $f(x)<0$​
  • 将该结论②取逆否命题，有：
    • 若 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),$​​​​ 有 $f(x)\ge 0$​​​​，那么$\underset{x\to a}{\lim }f(x)=A\ge 0$​​​​
    • 此即局部保号性的推论，殊途同归

(5) 局部保不等式性

• 若 $\exists \delta >0,\forall x\in \stackrel{\circ }{U}(a,\delta ),\underset{x\to a}{\lim }f(x)=A，\underset{x\to a}{\lim }g(x)=B，f(x)>g(x)$ ，那么有 $A>B$