整数性
概述
整数性（integrality）是数学中规定某个对象是否具有整数性质的概念。狭义上，它指判定实数或有理数实际上是否为整数的性质；广义上，它指在交换环的扩张环境中，某个元素构成整扩张（integral extension）的性质。整数性是广泛应用于数论、代数学、分析学以及计算机科学中的数值表示和形式验证等领域的基础概念。
主要内容
基本定义与有理数的整数性
有理数 q = a/b（a、b 为互素的整数，b ≠ 0）为整数的充要条件是分母 b 为 1 或 -1。也就是说，在既约分数表示中，若分母的绝对值为 1，则该数为整数；否则不是整数。这一简单判据可通过检查是否可约分的算法实现，而利用最大公约数的欧几里得算法是标准工具。
整数性判定与取整函数
对于实数 x，地板函数 ⌊x⌋ 和天花板函数 ⌈x⌉ 分别返回不大于 x 的最大整数和不小于 x 的最小整数。此时，x 为整数的充要条件是 ⌊x⌋ = ⌈x⌉，或 x − ⌊x⌋ = 0。在数值计算中，由于浮点数误差，这一判定并不总是显然；实际应用中广泛采用设置容差（tolerance）进行比较的方法。
二次无理数与整数性
像 √2、√3 这样的无理数不是整数，但某些代数数是某个整系数方程的解，因此整数性的概念得以扩展。例如，(1+√5)/2 是黄金比例，也是方程 x² − x − 1 = 0 的根。像这样，成为整系数多项式根的复数称为代数整数（algebraic integer），这是将有理数范围内的整数推广到代数数域的概念。
整扩张与代数整数
设交换环 R 是 S 的子环。S 的元素 s 在 R 上为整，是指存在最高次项系数为 1 的首一多项式 f(x) ∈ R[x]，使得 f(s) = 0。这一定义将系数环从整数环 Z 推广到任意环，并成为域论与代数几何中环的整闭包（integral closure）和正规环（normal ring）概念的出发点。全体代数整数的集合构成一个环，在该环中可逆的元素称为单位（unit）。
应用领域
整数性是密码学中模运算与素数判定的基础，在计算机科学中则成为区分整数类型与浮点类型、检查溢出以及规定类型转换规则的依据。此外，在数值分析中，会使用控制舍入误差、使结果精确落在整数格点上的校正技术。
最新动态
2024—2025 年，利用 Lean 4、Mathlib、Coq/Rocq 等证明辅助工具，对整数性判定和整扩张相关定理进行形式化的尝试十分活跃。尤其是将代数整数环的基本性质库化，以连接数论研究与软件验证的项目正在增多；另一方面，改进数值库以处理浮点运算中整数性判定的误差问题，以及扩展基于 AI 的自动定理证明基准，也在同步推进。在教育领域，将编程语言中的整数除法与余数约定同数学中的整数性概念联系起来讲授的课程呈扩散趋势。
相关主题
- [[数论]]
- [[代数数论]]
- [[浮点数]]
- [[环论]]