4

I wonder the following question:

Is there a partition of $\mathbb{R}$ into two disjoint subsets $A$ and $B$ such that $B$ satisfies $B=A+A$, namely $B=$ {$ x+y|x,y \in A $}?. Here, "partition into disjoint sets" means $A\cup B=\mathbb{R}, A\cap B=\varnothing$.

Apparently, $\mathbb{Z}$ has this kind of separation (you may take $A=${$2k+1|k\in\mathbb{Z}$},$B=${$2k|k\in\mathbb{Z}$}), and it seems to me, that due to some continuity property of $\mathbb{R}$, such separation does not exist. However, the condition ($B=A+A$) given does not tell much about $A$ and $B$ from a global viewpoint.

Thanks in advance!

1 Answers1

4

$$A=\left( \bigcup_{n\in\mathbb{N}}\left(-3n+1,-3n+2\right] \right)\\ \cup \left( \bigcup_{n\in\mathbb{N}}\left[3n-2,3n-1\right) \right) $$

$$B= \left( \bigcup_{n\in\mathbb{N}}\left(-3n-1,-3n+1\right] \right)\ \cup (-1,1) \cup\left( \bigcup_{n\in\mathbb{N}}\left[3n-1,3n+1\right) \right)\ $$

Adam Rubinson
  • 20,052
  • 2
    Thanks! It seems to me that $A=\bigcup_{n\in\mathbb{Z}} [3n+1,3n+2)$, $B=\bigcup_{n\in\mathbb{Z}} [3n-1,3n+1)$ still satisfies? – Wembley Inter May 20 '22 at 14:00