Skip to main content
3 of 3
added 27 characters in body; edited title
Michael Hardy
  • 1
  • 12
  • 85
  • 126

Is there a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$?

This question was firstly asked in mathematics stack exchange. Getting no answer, I copied it to here.

For a vector space $V$ over $\mathbb R$, I say a subset $S$ of $V$ is "anti-convex" if $\forall a,b\in S (a\ne b)$, $\exists t\in \mathopen]0,1\mathclose[$, $b+t(a-b)\not\in S$. For example, all hollow circles $(x-a)^2+(y-b)^2=r^2$ on $\mathbb R^2$ are anti-convex.

Now I want to know if there is a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$.

My approach I've proven the case when $(\mathbb R\smallsetminus \mathbb Q)^2$ were replaced by a countable subset of $\mathbb R^2$ - Put them in order, and using hollow circles to connect the adjacent elements will work.

Further question (edited thanks to Sam Hopkins) Actually, I originally guessed that, if $\dim V\ge 2$, then for all anti-convex subset $S$, there's a path-connected anti-convex set containing $S$, but I'm already stuck at this special case.

yummy
  • 193
  • 5