整数性
概要
整数性（整數性、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 ベースの自動定理証明のベンチマーク拡張も併せて進められている。教育現場では、プログラミング言語の整数除算と剰余規約を数学的整数性概念と結び付けて教えるカリキュラムが広がる傾向にある。
関連トピック
- [[整数論]]
- [[代数的整数論]]
- [[浮動小数点]]
- [[環論]]