5
$\begingroup$

Let $B$ be the closed unit ball in $\mathbb R^n$ and $f\colon B\to B$ a continuous map.

Consider the infinite product $B^{\mathbb Z}$ equipped with the product topology. Consider the solenoid $$ S_f=\{\{x_n; n\in\mathbb Z\}: x_{n+1}=f(x_n)\} $$ equipped with the induced topology.

Question: Is $S_f$ contractible? If yes, is there a deformation retraction?

Motivation is here: Two commuting mappings in the disk

$\endgroup$

1 Answer 1

9
$\begingroup$

No, it is not even path-connected in general, already for $n=1$.

Consider the folding map $f:[0,1]\to[0,1]$, namely $f(t)=2t$ for $t\le 1/2$ and $f(t)=2(1-t)$ for $t\ge 1/2$. There is no path connecting the orbits of the two fixed points: 0 and 2/3.

Indeed, suppose there is a continuous path $t\mapsto \{x_n(t):n\in\mathbb Z\}$ in $S_f$ such that $x_n(0)=0$ and $x_n(1)=2/3$ for all $n\in\mathbb Z$. Consider $x_0(t)$ and $x_{-n}(t)$ where $n>0$. While $x_{-n}(t)$ travels from 0 to 1/2, $x_0(t)$ will take the value 0 at $t_0=0$, then the value 1 at some $t_1>t_0$, then 0 at some $t_2>t_1$, then 1 again, and so on, $2^n$ times. Since $t\mapsto x_0(t)$ is a continuous function, it can have only finite number of alternating 0 and 1 values, but $n$ can be arbitrarily large, a contradiction.

$\endgroup$
1
  • $\begingroup$ This construction is somewhat like the Smale horseshoe, just modifying the generating map a little to map the ball into the ball itself. $\endgroup$
    – X.M. Du
    Commented Jun 16, 2010 at 13:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .