Path-connected subsets of compact complement topology

connectednessgeneral-topologypath-connected

I'm trying to characterize the path-connected subsets of the compact complement topology over $\mathbb{R}$
(let's call $X$ this topological space).

I have already proved the connected subsets are the intervals (so, in particular, the whole space is connected) and the unbounded ones. As the compact complement topology is coarser than the usual topology on $\mathbb{R}$, I already know every path-connected subset of $\mathbb{R}$ is a path-connected subset of $X$, so every interval is a path-connected subset of $X$. If there were others, they would be connected,so they would be unbounded. However, as the unit interval cannot be decomposed in a denumerable quantity of disjoint, nonempty closed sets, we know a denumerable subset of $X$ is never path-connected, even if it is connected.

So, my question is, are all uncountable unbounded sets of $X$ path connected? It doesn't seem so, but I don't know the correct way of reasoning about these things. For example, $(-\infty,-1)\cup[0,1]\cup(2,\infty)$ doesn't seem path connected, while $(-\infty,-1)\cup(2,\infty)$ does. But this is just an intuition, as I don't really know hwo to work properly with functions that end in this space.

Best Answer

Any set containing an unbounded interval is path-connected. The intuitiv idea is that you can walk to infinity and jump from there to any point you like.

E.g. if it contains $(y_0,\infty)$ for some $y_0\in \mathbb{R}_{>0}$. Let $x_0\in \mathbb{R}$. If $x_0\geq y_0$, then they are clearly connected by a continuous path ($\gamma:[0,1]\rightarrow X, \gamma(t)= x_0+ t(y_0-x_0$)). On the other hand, if $x_0< y_0$, then we have the path $$ \gamma: [0,1] \rightarrow X, \gamma(t)=\begin{cases} \frac{y_0}{t},& t\neq 0, \\ x_0,& t=0. \end{cases} $$ Let me show that is continuous in the case $x_0\geq 0$ (the case $x_0<0$ is similar). Note that any open nbhd $U$ of $x_0$ in $X$ can be written as $$ U= V \setminus \{x_0\} \cup (-\infty, -m) \cup (\{x_0\} \cup (n, \infty)) $$ where $m,n\in \mathbb{R}_{>0}$ and $V\subseteq \mathbb{R}$ open and bounded. Then we have $$ \gamma^{-1}(U) = \gamma^{-1}(V\setminus \{x_0\}) \cup \gamma^{-1}((-\infty, -m)) \cup \gamma^{-1}(\{x_0\} \cup (n,\infty)).$$ We show that all of those sets are open. First we note $\gamma^{-1}((-\infty, -m))=\emptyset$, which is open in $[0,1]$. Next we have $$ \gamma^{-1}(\{x_0\} \cup (n,\infty)) = \begin{cases} [0, \frac{y_0}{n}),& n>y_0, \\ [0,1],& n\leq y_0. \end{cases} $$ In both cases the sets are open in $[0,1]$.

Finally, as $V$ is bounded, there exists $R>0$ such that $V\subseteq (-R,R)$. Then we define $$ \tau : [0,1] \rightarrow \mathbb{R},\tau(t):= \min \{ R, \gamma(t) \}. $$ As $\tau$ is continuous and $\tau^{-1}(V\setminus \{x_0\} ) = \gamma^{-1}(V\setminus \{x_0\})$, we get that also $\gamma^{-1}(V\setminus \{x_0\})$ is open in $[0,1]$.

Right now I do not have time to work it out, but I guess that that if a set does not contain an unbounded interval, then it is path-connected in $X$ iff it is path-connected in $\mathbb{R}$. The idea is that the space is first-countable and thus continuity and sequential continuity coinced (see here Sequentially continuous implies continuous). Then we should be able to use that bounded sequences in $X$ converge iff they converge in $\mathbb{R}$. This means you cannot jump unless you are at infinity.

Related Question