Midpoint-free subsets of the real numbers (Q471786)

Summary: A set of reals \(S\subset\mathbb R\) is midpoint-free if it has no subset \(\{a,b,c\}\subseteq S\) such that \(a<b<c\) and \(a+c=2b\). If \(S\subset X\subseteq\mathbb R\) and \(S\) is midpoint-free, it is a maximal midpoint-free subset of \(X\) if there is no midpoint-free set \(T\) such that \(S\subset T\subseteq X\). In each of the cases \(X=\mathbb Z^+, \mathbb Z, \mathbb Q^+, \mathbb Q, \mathbb R^+, \mathbb R\) we determine two maximal midpoint-free subsets of \(X\) characterised by digit constraints on the base 3 representations of their members.