按小数部分分类的有理数集合
设 ,若 ( 表示 的小数部分), 则称 与 同类。设集合
则集合 中所有元素可以分为类。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
分数 的小数部分只取决于 除以 的余数。
逐一考察完整剩余系即可, 无需枚举无限集合。
将正整数 写成
则
当 时,这些小数部分两两不同,而且每一种都由某个正整数 取得。因此集合 中所有元素恰可分为
类。
对应 等正整数,不能漏掉整数类;其余 个非零剩余类分别给出 不同的小数部分。
按有理数的小数部分分类,本质上是按分子对分母取模。必须把余数 也作为一个独立类别。
n除以2027的余数直接唯一决定小数部分,0至2026每个余数都能由正整数实现。
已记下,谢谢!