修改戴德金分割定义后实数加法逆元不存在的原因问询
嘿，这个问题戳中了戴德金分割定义里一个很关键的细节——咱们先把背景理清楚，再一步步拆解为什么逆元找不到。
首先，先明确咱们修改后的「分割（cut）」规则：
- 是有理数的非空真子集
- 满足「左闭」：如果有理数$p$在这个集合里，所有小于$p$的有理数也都在里面
- 去掉了原戴德金分割里「没有最大元素」的要求
然后咱们定义的加法单位元是 $0^* := {p\ |\ p \leq 0}$，这个没问题，它完全符合修改后的分割规则：非空、左闭，而且是真子集（大于0的有理数都不在里面）。
接下来，加法逆元的要求是：对任意一个分割$\alpha$，必须存在另一个分割$\beta$，使得$\alpha$和$\beta$的和等于$0^*$。这里的分割加法和原定义一致：$\alpha + \beta = {p + q\ |\ p \in \alpha, q \in \beta}$。
现在问题来了，不是所有分割都能找到这样的$\beta$，咱们分两种情况看：
情况1：$\alpha$是有最大元的分割
比如取 $\alpha = {p\ |\ p \leq 1}$，它的最大元是1。这时候我们可以找到 $\beta = {q\ |\ q \leq -1}$，计算一下：
$\alpha + \beta$ 就是所有 $p+q$（其中$p \leq 1$，$q \leq -1$），结果正好是所有$\leq 0$的有理数，也就是 $0^*$。这种情况是有逆元的。
情况2：$\alpha$是没有最大元的分割
这就是麻烦的根源了，比如取 $\alpha = {p\ |\ p < 2}$——它符合修改后的分割规则（非空、左闭、真子集），但没有最大元（你永远找不到一个最大的有理数小于2）。
现在咱们尝试找它的逆元$\beta$：
- 首先，$\beta$里的任意$q$必须满足：对所有$p \in \alpha$（也就是$p < 2$），$p+q \leq 0$。换句话说，$q$必须$\leq -p$ 对所有$p < 2$成立。那$q$的上限只能是-2，因为如果$q > -2$，比如$q=-1.9$，那取$p=1.95$（显然属于$\alpha$），$p+q=0.05>0$，这就会让$\alpha+\beta$里出现大于0的元素，不符合等于$0^*$的要求。
- 那$\beta$只能是 ${q\ |\ q \leq -2}$ 或者 ${q\ |\ q < -2}$。咱们分别算：
- 如果$\beta$是 ${q\ |\ q \leq -2}$，那$\alpha+\beta$就是所有 $p+q$（$p < 2$，$q \leq -2$），结果是所有小于0的有理数——因为永远找不到$p < 2$和$q \leq -2$使得$p+q=0$（要等于0的话$q=-p$，而$p < 2$意味着$q > -2$，但$\beta$里的$q$都$\leq -2$）。这时候$\alpha+\beta$是 ${r\ |\ r < 0}$，不等于 $0^* = {r\ |\ r \leq 0}$。
- 如果$\beta$是 ${q\ |\ q < -2}$，那$\alpha+\beta$还是所有小于0的有理数，同样得不到0，还是不等于$0^*$。
你看，这种没有最大元的分割，不管怎么选$\beta$，要么得到的集合缺了0元素，要么会混入大于0的元素，永远没法正好等于有最大元的$0^*$。
而原戴德金分割的巧妙之处就在于：它只允许没有最大元的分割，同时把加法单位元定义为 ${p\ |\ p < 0}$（不是$\leq 0$），这样逆元就能完美匹配——比如刚才的$\alpha={p<2}$，逆元$\beta={q<-2}$，$\alpha+\beta$正好是${p+q <0}$，也就是原定义的单位元。
总结一下：修改后的分割集合同时包含「有最大元」和「无最大元」的两类集合，而咱们定义的单位元是有最大元的，这就导致无最大元的分割找不到能匹配的逆元，因为两者的和要么凑不齐单位元的所有元素，要么会超出范围。
备注：内容来源于stack exchange，提问作者john
