Let $A\subset \mathbb{R}^n$ such that $\pi_i(A)$ is a Lebesgue null set for $1\leq i\leq n$. Is the complement $\mathbb{R}^n\!\setminus\! A$ pathwise connected? If so, is it always possible to construct a rectifiable path from $x$ to $y$ in the complement with length near $|x-y|$ ?
complement of a null set pathwise connected
2
$\begingroup$
real-analysis
measure-theory
-
1This is closely related: http://math.stackexchange.com/questions/77791/separation-of-two-points-with-null-sets/77800#77800. I'm not marking as a duplicate because I assume you mean $|x-y|_2$ and that question asked for $|x-y|_\infty$. It so happens that I had an idea for getting close to $|x-y|_2$ while answering that other question; I'll think about it and answer here if I come up with something. But it does answer the first part of your question, since the construction generalizes to higher dimensions. – 2011-11-15
-
4You do want to specify that $n>1$. – 2011-11-15
-
0What is $\pi_i$? The projection to the $i$th component? – 2011-11-15
-
0$\pi_i$ is the projection to the ith component and n has to be >1, yes. – 2011-11-16
-
0The solution to the other problem was very helpful. It would be great to also see how path length $|x-y|_2$ (or $\leq |x-y|_2+\varepsilon$ for arbitrary $\varepsilon>0$) could be achieved. – 2011-11-16