Wada Lakes are three disjoint open subsets of $\mathbb R^2$ with common boundary. Originally they were constructed by hand, but they also arise naturally in the real life, that is, theory of dynamical systems. (See, for example, this http://www.math.cornell.edu/~hubbard/pendulum.pdf paper of John Hubbard.)

From dynamical construction it is clear that one can have a homeomorphism that permutes the lakes. For example, this expository paper http://www.ams.org/notices/200601/fea-coudene.pdf gives such a homeomorphism (in fact, a diffeomorphism) for lakes on the sphere $S^2$. The dynamics on the boundary of the lakes is chaotic.

==

Question 1: Let $U_1$, $U_2$ and $U_3$ be open subset of $\mathbb R^d$ with common boundary $C$. Assume that each $U_i$ is an image of an injective continuous map $\mathbb R^d\to\mathbb R^d$. Is there a homeomorphism of $\mathbb R^d$ that permutes open sets $U_i$ and is identity on $C$?

Question 2: Let $U_i\subset \mathbb R^d$, $i\in \mathbb Z$, be a disjoint collection of open sets each of which is homeomorphic to $\mathbb R^d$. Is there a homeomorphism of $\mathbb R^d$ that satisfies the following

- $h$ maps $U_i$ onto $U_{i+1}$
- every point in $\partial U_i$ is periodic under $h$

==

**Edit:** Below André Henriques has produced two examples when such a homeomorphism does not exist. Both examples make use of some local structure that cannot be permuted. It is still not clear what happens for "abstact Wada Lakes": are these examples exceptions or arbitrary Wada Lakes cannot be permuted as well?

**Edit2** (Jan. 9th 2012)

- In is clear now that there is no such homeomorphism if the dimension $d=2$. (See the comments below).
- The answer to Q1 is also negative in higher dimension as explained in the reference given by Andres Koropecki.
- For $d\ge 3$ there are examples by André Henriques of open sets for which one cannot find such a homeomorphism. In general, Question 2 is still open.

7more comments