给定满足平移覆盖实数集且两两不交的集合A，是否必为区间？

嘿，这个问题挺有意思的——答案明确：不是的，存在大量非区间的集合A，完全满足你给出的两个条件：平移整数后覆盖全体实数，且所有平移后的集合两两不交。

经典反例：基于等价类的代表集合 #

我们可以用等价关系来构造这类集合：在实数集$\mathbb{R}$上定义，两个数$x$和$y$等价当且仅当$x-y$是整数（也就是$x \equiv y \pmod{\mathbb{Z}}$）。根据选择公理，我们能从每个等价类里挑出恰好一个元素，把这些元素凑成集合A。

现在验证A符合要求：

• 覆盖全体实数：随便拿一个实数$r$，它肯定属于某个等价类，这个类的代表元$a \in A$，那$r - a$就是个整数$i$，也就是$r = a + i \in A_i$，所以$\bigcup_i A_i = \mathbb{R}$没问题。
• 两两不交：假设存在$i \neq j$，使得$A_i$和$A_j$有公共元素，那意味着存在$a,b \in A$，满足$a+i = b+j$，也就是$a - b = j - i$，这是个非零整数——但我们构造A的时候每个等价类只选了一个代表，a和b不可能属于同一个等价类，矛盾。所以所有$A_i$两两不交。

而这个A绝对不是区间：它甚至是勒贝格不可测集，结构极其分散——每个长度为1的区间里都有A的元素，但永远填不满任何一个子区间，完全没有区间的连通性。

更直观的可测反例（不用选择公理） #

要是觉得选择公理太抽象，我们还能构造一个可测的非区间例子：取A为$[0,1)$中所有二进制表示里，小数点后偶数位全是0的数。比如0.01（二进制）、0.0001这些都在A里，但0.10（二进制）就不在。

这个集合显然不是区间（中间有大量空隙），但平移整数后：

• 每个实数都能写成A中元素加整数（调整二进制位的奇偶位置就能对应上）；
• 不同整数平移后的集合落在不同的$[n,n+1)$区间里，自然两两不交，完美满足条件。

内容的提问来源于stack exchange，提问作者ibnAbu