46
$\begingroup$

Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?

Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and even an approach using cofiltered limits to approach that problem, but I am not read enough in that literature to see if this could be applied here.

$\endgroup$
  • 1
    $\begingroup$ There's a direct argument for this using the transversality-extension theorem. $\endgroup$ – Ryan Budney Aug 30 '15 at 6:22
  • 7
    $\begingroup$ While I harbor some doubts that one could do better than Martin's answer below, why not explain this alternative argument? It could be educational, even for professionals. $\endgroup$ – Todd Trimble Aug 30 '15 at 16:58
  • 6
    $\begingroup$ @MikeMiller Why not write up the argument carefully as an answer before the question is closed? The comment as written is a little too telegraphic for me to follow easily, and I don't know which thing of Hirsch you mean. A careful, detailed, self-contained answer would be peachy. $\endgroup$ – Todd Trimble Aug 30 '15 at 21:14
  • 4
    $\begingroup$ Is it obvious that transversality arguments work for weird non-differentiable curves? In a manifold you know any curve is homotopic to a differentiable one, but showing that fact in $\mathbb{R}^3 \setminus \mathbb{Q}^3$ doesn't seem any easier than the original question. $\endgroup$ – Martin M. W. Aug 30 '15 at 22:02
  • 2
    $\begingroup$ Adams mentions in "Lectures on Lie Groups" that there is a good theory of transversality and homotopy formulated using Hausdorff dimension, but he does not give a reference and I have never seen one. Assuming that that is correct, it would immediately answer the question asked here. $\endgroup$ – Neil Strickland Aug 31 '15 at 10:19
62
$\begingroup$

Yes, the complement of any countable set in $\mathbb{R}^3$ is simply connected, by the Baire category theorem.

Say your set is $X = \{x_1, x_2, ... \}$, and let $y$ be any point in $\mathbb{R}^3 \setminus X.$

Let $f:S^1 \rightarrow \mathbb{R}^3 \setminus X$, and consider the space of homotopies $h:S^1 \times [0,1] \rightarrow \mathbb{R}^3$, where $h(x, 0) = f(x)$ and $h(x, 1) = y$. With the natural topology the space of homotopies is a Baire space, and for each $n$, the set of homotopies that avoid the points ${x_1, ... , x_n}$ is open and dense. So the set of homotopies that miss all of $X$ is nonempty.

$\endgroup$
  • 3
    $\begingroup$ Does this argument generalize beyond countable to show also that $\mathbb{R}^3\setminus X$ is simply connected whenever $X$ has size less than $\text{cov}(\cal M)$? (The cardinal characteristic $\text{cov}(\cal M)$ is the covering number of the meager ideal, or in other words, the smallest number of meager sets that union to the whole space; it is more interesting when the continuum hypothesis fails.) $\endgroup$ – Joel David Hamkins Aug 29 '15 at 20:05
  • 2
    $\begingroup$ I think that some essential details are lacking. Where does this argument use that the ambient space is $\Bbb R^3$? Because the statement would be false for $\Bbb R$. $\endgroup$ – Victor Protsak Aug 29 '15 at 21:22
  • 12
    $\begingroup$ @Victor The argument takes for granted that the ambient space stays simply connected (even connected) when you remove just a finite set of points--fine in $\mathbb{R}^3$ but not $\mathbb{R}$ or $\mathbb{R}^2$. $\endgroup$ – Martin M. W. Aug 29 '15 at 21:47
  • 2
    $\begingroup$ @JoelDavidHamkins I think so. It might be interesting to understand this number more fully. One should be able to replace the space of homotopies with a finite-dimensional space and understand exactly what sort of spaces are being removed to get a better lower bound. $\endgroup$ – Will Sawin Aug 30 '15 at 0:28
  • 11
    $\begingroup$ Great solution! I believe this also immediately generalizes to show $\pi_{n-2}(\mathbb{R}^n \setminus \mathbb{Q}^n) = 0$. $\endgroup$ – Nick R Aug 30 '15 at 6:10

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.