|
9
2
|
We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$. My question is: is it possible to partition $\mathbb{R}$ into two midpoint convex sets in a non-trivial way? (trivial way is $\mathbb{R}=(-\infty,a]\cup(a,+\infty)$ or $\mathbb{R}=(-\infty,a)\cup[a,+\infty)$) |
||||||
|
|
10
|
Yes if you assume AC: With AC let $\{v_\alpha\}$ be a $\mathbb{Q}$-basis for $\mathbb{R}$ then the following two sets satisfies your property: $A = \{q_1v_{\alpha_1}+\cdots+q_nv_{\alpha_n} \mid q_i \in \mathbb{Q} , \sum q_i \geq 0 \}$ and $B = \{q_1v_{\alpha_1}+\cdots+q_nv_{\alpha_n} \mid q_i \in \mathbb{Q} , \sum q_i < 0 \}$ So in fact these are $\mathbb{Q}$ convex (in the obvious sense). |
|||||||||||||||||
|
|
12
|
well, if we assume that $A$ and $B$ are measurable then at least one of them (say A) should have positive measure, and since A+A for a set of positive measure contains an interval, A contains and interval, say $(a,b)$. Then I think it is easy to show that for the maximal interval of this type $a$ or $b$ must be infinity, since otherwise, by taking two sequences in $B$ converging from different sides, you get a contradiction. Solovey has constructed models of ZF in which every set is measurable, so I think this implies you need something like AC. |
|||||||||||||||||
|
