定义
极限保号性描述的是极限值的符号与极限过程后期项或函数值符号之间的关系。对数列而言，若数列收敛于 a，且 a 大于 0（或小于 0），则存在正整数 N，当 n 大于 N 时，对应项大于 0（或小于 0）[2]。
对函数而言，该性质通常称为函数极限的局部保号性。若函数在 x 趋于 x₀ 时的极限为 A，且 A 大于 0（或小于 0），则存在某个去心邻域，当 x 落在该邻域内时，函数值大于 0（或小于 0）[4]。
原理
保号性的证明直接来自极限的 ε-δ（或 ε-N）定义。以 A 大于 0 的函数极限为例，取 ε 等于 A/2，由定义可知存在 δ 大于 0，使满足 0 小于 |x−x₀| 且小于 δ 的 x 都有 |f(x)−A| 小于 A/2，从而 f(x) 大于 A/2，而 A/2 本身大于 0，故 f(x) 大于 0[4]。A 小于 0 的情形可以同样处理[2]。
由这一思路还可以得到更强的结论：只要极限 A 不等于 0，就存在 x₀ 的某个去心邻域，使该邻域内的函数值绝对值大于 |A|/2[5]。
保号性还有一组常用的推论，用于把函数值间的不等式传递给极限。若两个函数在同一去心邻域内满足 f(x) 小于等于 g(x)，且二者极限都存在，则极限之间满足 A 小于等于 B[5]。反方向的严格传递需要谨慎：即使邻域内 f(x) 恒大于 0，也只能推出极限 A 大于等于 0，而不能推出 A 大于 0[6]。
发展历程
保号性并非独立提出的定理，而是伴随极限严格定义的建立而逐步固定的性质。在数列极限的 ε-N 定义和函数极限的 ε-δ 定义确立后，唯一性、有界性、保号性被并列为极限的基本性质[1]。
教材中通常把数列保号性记作定理，并给出以 ε 等于 a/2 取值的标准证明，随后以推论形式列出 a 小于 0 以及 a 不等于 0 的情形[4]。函数情形则称为局部保号性，强调结论只在 x₀ 的某个邻域内成立[2]。
围绕保号性，后续研究讨论了它与保不等式性之间的等价关系，以及数列极限与函数极限两种保号性之间的相互推导，相关讨论见于数学类专业期刊[7]。另有文献把保号性写成等价形式，并证明其与其他若干极限性质彼此等价[8]。
应用
保号性最直接的用途是由极限的符号判断函数或数列在局部范围内的符号。例如，当已知某点极限为正时，可以断言该点附近函数值也为正，从而为后续论证提供局部范围上的不等式条件[3]。
在极限运算法则的推导中，保号性用于证明两个函数极限之间的大小关系，即由局部不等式推出极限不等式，这一结论有时被称为极限的不等式性质[5]。它在证明连续函数的某些局部性质、判断极值点以及分析函数单调性时也会被引用[1]。
在硕士研究生入学考试的数学科目中，局部保号性是高频考点，相关试题常要求考生由极限值的大小关系反推函数值的大小关系，或指出错误使用严格不等号的情形[1]。
局限
保号性只反映极限值与局部取值的符号关系，不能给出邻域的具体大小。定理保证存在某个 δ 或 N，但并未指明其数值，实际使用时需要另行估计[4]。
保号性也不能由局部取值反向推出极限的严格符号。即使去心邻域内恒有 f(x) 大于 0，极限也只满足大于等于 0；例如 f(x) 等于 |x| 在 x 不等于 0 时恒为正，但它在 0 处的极限值为 0[6]。
运用其推论时还须注意极限存在的前提。若两个函数的极限中有一个不存在，则不能对二者作大小比较，由局部不等式直接推出极限不等式的做法并不成立[5]。此外，若把邻域内的 f(x) 大于等于 g(x) 加强为 f(x) 大于 g(x)，得到的极限结论仍只能写成大于等于，不能加强为严格大于[5]。
参见
参考资料
- 保号性-学术百科-知网空间 [引用日期2026-10-14]
- [科普中国]-数列极限 [引用日期2026-10-14]
- 考研高数必背定理(1)：函数与极限_考研数学高数资讯-新东方在线移动版 [引用日期2026-10-14]
- 930 数学分析简明教程 上册_text(PDF) [引用日期2026-10-14]
- 小鑫考研嘚吧嘚—考研数学复习全书（数学一）(PDF) [引用日期2026-10-14]
- 931 数学分析简明教程答案.邓东皋_text(PDF) [引用日期2026-10-14]
- 关于极限的保号性与保不等式性的注记-赣南师范学院学报2011年03期-手机知网 [引用日期2026-10-14]
- 关于若干个不同形式的极限性质及其相互等价性质的证明-求知导刊2015年03期-手机知网 [引用日期2026-10-14]