2

There are many questions in math.stackexchange dealing with the closed topologist's sine curve $T$ and the Warsaw circle (aka quasi-circle) $W$ which contains a copy of $T$, e.g. recently quasi-circle has trivial homology group.

Many of these questions deal with maps $f$ with domain $I = [0,1]$, $\Delta^n$ = $n$-simplex or $S^n$ = $n$-sphere and codomain $T$ or $W$ and ask

  1. why the the images of such maps cannot contain the complete "oscillating part" of $T, W$.

  2. why these maps are null-homotopic.

Clearly 2. is a consequence of 1.

My question:

Are there more general spaces $X$ containing a copy $T'$ of $T$ and more general spaces $Y$ than those mentioned above such that all maps $f : Y \to X$ have the property that their images do not contain the complete "oscillating part" of $T'$?

Note that if we know that for some space $X$ as above, we automatically also know it for $T$ because each map $f : Y \to T' \approx T$ can be regarded as a map into $X$.

2 Answers2

2

The following is perhaps the overarching general result you are looking for. Given a topological space $X$, let $X'$ be $X$ equipped with the following finer topology: a subset $U\subseteq X'$ is open if for each $x\in U$ there is an $X$-neighborhood $V$ of $x$ such that $U$ contains the entire path-component of $V$ which contains $x$.

Theorem: Let $Y$ be a locally path-connected space and $f:Y\to X$ be continuous. Then $f$ is also continuous as a map $Y\to X'$.

For instance, when $X$ is your $T$ or $W$, then $X'$ has the topology which "unglues" the sine curve from its limiting line $\{0\}\times[-1,1]$, since a neighborhood of a point on $\{0\}\times[-1,1]$ no longer needs to contain any of the nearby points on the sine curve (since they are not locally in the same path-component). The resulting space is easily seen to be contractible in the case $X=W$ and a disjoint union of two contractible components in the case $X=T$. So, the Theorem immediately implies any map from a connected locally path-connected space to $X$ is nullhomotopic, since it factors through the contractible space $X'$. Also, no compact subspace of $X'$ contains the entire sine curve, and so no map from a compact locally path-connected space to $X$ can contain the entire sine curve.

Proof of Theorem: Let $U\subseteq X'$ be open and $y\in Y$ be such that $f(y)\in U$; we wish to find a neighborhood of $y$ which $f$ maps into $U$. By definition, there is some $X$-neighborhood $V$ of $f(y)$ such that $U$ contains the path-component of $V$ which contains $f(y)$. Then $f^{-1}(V)$ is a neighborhood of $y$, so by local path-connectedness we can find a path-connected neighborhood $W$ of $y$ which is contained in $f^{-1}(V)$. Since $W$ is path-connected, $f$ must map all of $W$ into the path-component of $V$ which contains $f(y)$. Thus $f(W)\subseteq U$, and $W$ is our desired neighborhood.

(In fact, $X'$ itself is locally path-connected, and so this Theorem says the category of locally path-connected spaces is a coreflective subcategory of the category of topological spaces, with $X\mapsto X'$ as the coreflector. You could also make the analogous constructions and prove the analogous Theorem with "path-connected" replaced by "connected" everywhere. This gives a slightly stronger conclusion in the case $X=T$ or $X=W$, since the topology on $X'$ will still be the same but now $Y$ only has to be locally connected. Note though that in general, the $X'$ you get in this way may not be locally connected; to get a locally connected space you have to iterate the construction transfinitely (and this transfinite iteration is the coreflector to the subcategory of locally connected spaces).)

Eric Wofsey
  • 330,363
2

Short answer: Yes. But we have to make to precise what we mean by "$X$ contains a copy of $T$". See the theorem below.

I am not sure about the relationship to Eric Wofsey's elegant solution, perhaps my answer is just a supplement.

Let $L = \{0\} \times [-1,1]$ and $S = \{(t,\sin(1/t)) \in \mathbb R^2 \mid t \in (0,1]\}$.

The closed topologist's sine curve is the space $$T = L \cup S$$ with the subpace topology inherited from $\mathbb R^2$. It is a compactum (= compact metric space). Let us define for $r \in (0,1]$ $$S_r = T \cap \left((0,r) \times \mathbb R \right).$$ This in an open subset of $T$ homeomorphic to the open interval $(0,r)$. In fact, $S_r$ is the graph $G(\tau)$ of the function $\tau : (0,r) \to \mathbb R, \tau(t) = \sin(1/t)$.

A topologist's sine pair is a pair $(X,h)$ consisting of a topological space $X$ and a closed embedding $h : T \to X$ such that $h(S_1)$ is open in $X$. The latter condition is essential, otherwise we could take for example $X = \mathbb R^2$ and $h : T \hookrightarrow X$ which is completely uninteresting. Examples are $(T, id_T)$ and $(W,T \hookrightarrow W)$, where $W$ is the Warsaw circle $W = T \cup A$ with an arc $A \subset \mathbb R^2$ intersecting $T$ in the points $(0,-1)$ and $(1,\sin(1))$. Other examples are the covering spaces of $T$ formed by gluing $n$ copies of $T$ to a "circular" shape (for $n = 1$ we obtain $W$) and by gluing infinitely many copies of $T$ to a "line" shape.

Theorem. Let $(X,h)$ be a topologist's sine pair, $Y$ be a locally connected sequentially compact space and $f : Y \to X$ be continuous. Then there exists $r \in (0,1]$ such that $f(Y) \cap h(S_r) = \emptyset$.

Before we prove it, let us observe that it implies that $T$ is not locally connected. Just consider $id : T \to T$. The same holds for $W$.

Proof of Theorem. Assume that $f(Y) \cap h(S_r) \ne \emptyset$ for all $r \in (0,1]$. Then there exists a sequence $(y_n)$ in $Y$ such that $f(y_n) \in h(S_{1/n})$. Write $f(y_n) = h(t_n, \sin(1/t_n))$ with $t_n > 0$. Clearly $t_n \to 0$.

$(y_n)$ has a convergent subsequence; we may therefore assume w.l.o.g. that $(y_n)$ itself converges to some $y^* \in Y$. Hence $f(y_n) \to x^* = f(y^*)$. We conclude that also $x_n = h(t_n, \sin(1/t_n)) \to x^*$. Since $h(T)$ is closed in $X$, we see that $x^* \in h(T)$. Thus $(t_n,\sin(1/t_n)) \to h^{-1}(x^*) \in T$. This shows that $\xi^* = h^{-1}(x^*) \in L$, i.e. $x^* \in h(L)$. Write $\xi^* = (0,u^*)$.

The open sets $U_- = T \cap ([0,2/\pi) \times (-1,1])$ and $U_+ = T \cap ([0,2/\pi) \times [-1,1))$ cover $L$, thus one of them contains $\xi^*$. W.l.o.g. assume it is $U_+$. It is obtained from $T$ be removing the points $\xi_n = (2/(2n - 1)\pi, 1)$, $n \in \mathbb N$ and the graph $G(\tau \mid_{[2/\pi,1]})$. It is therefore the disjoint union of $U^* = U_+ \cap L$ and infinitely many open $U_n \subset S_1$ (which are the graphs $G(\tau \mid_{(2/(2n+1)\pi, 2/(2n-1)\pi)})$). The sets $U^*$ and $U_n$ are connected, but this is irrelevant here. Note that the $U_n$ are also closed in $U$. Since $h(U_+)$ is open in $h(T)$, we find an open $U' \subset X$ such that $U' \cap h(T) = h(U_+)$. Since $h(T)$ is closed in $X$, we see that $h(U_+)$ is closed in $U'$. Hence all $h(U_n)$ are closed in $U'$. But $h(S_1)$ is open in $X$, thus the $h(U_n)$ are open subsets of $X$ which are contained in $U'$, thus they are open in $U'$. Hence the $h(U_n)$ are clopen in $U'$.

Let $V$ be a connected open neigborhood of $y^*$ such that $f(V) \subset U$. We have $y_n \in V$ for $n \ge n_0$. Since $f(V)$ is connected, we conclude that if $f(V)$ would intersect one of the clopen sets $h(U_n)$, then $f(V) \subset h(U_n)$. But $x^* = f(y^*) \in f(V)$, thus $f(V) \subset h(U_n)$ is impossible. Hence $f(V) \cap h(U_n) = \emptyset$ for all $n$. On the other hand $x^* \in h(U_+) \subset h(T)$, thus $f(y_n) \to x^*$ implies that $f(y_n) \in h(U_+)$ for $n \ge n_1 \ge n_0$. In other words, $f(V)$ intersects $h(\bigcup_n U_n) = \bigcup_n h(U_n)$ because by construction $f(y_n) \notin h(U^*)$. This contradiction proves the theorem.

Paul Frost
  • 76,394
  • 12
  • 43
  • 125