6
$\begingroup$

I've wondered about the following question, whose answer is perhaps well known (in this case I apologize in advance).

The Lakes of Wada are a famous example of three disjoint connected open sets of the plane with the counterintuitive property that they all have the same boundary (!)

My question is the following :

Can we find four disjoint connected open sets of the plane that have the same boundary?

More generally :

For each $n \geq 3$, does there exist $n$ disjoint connected open sets of the plane that have the same boundary? If not, then what is the smallest $n$ such that the answer is no?

Thank you, Malik

  • 1
    The article you link to says "A variation of this construction can produce a countable infinite number of connected lakes with the same boundary: instead of extending the lakes in the order 1, 2, 0, 1, 2, 0, 1, 2, 0, ...., extend them in the order 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, ...and so on.", so the answer seems to be "you can do it for all $n$ including $n =\aleph_0$". I'd guess (but have no idea really) that the corresponding question for other cardinalities is independent of ZFC, assuming NOT CH. Though, since $\mathbb{R}^n$ is first countable, there may be an answer...2012-03-19
  • 0
    Found this in the link. It seems to answer your question. "A variation of this construction can produce a countable infinite number of connected lakes with the same boundary: instead of extending the lakes in the order 1, 2, 0, 1, 2, 0, 1, 2, 0, ...., extend them in the order ..."2012-03-19
  • 0
    See, also, [here](http://books.google.com/books?id=cDAMh5n4lkkC&pg=PA138&source=gbs_toc_r&cad=4#v=onepage&q&f=false), where your question is answered in the affirmative.2012-03-19
  • 1
    Given that the basins of attraction of Newton's method for $z^3=1$ are an example for $n=3$, I'd say that the basins of attraction of Newton's method for $z^n=1$ should work just as fine.2012-03-19
  • 0
    @lhf Your comment is very interesting! It should be clear that for $n=3$ the basins of attraction of Newton´s method for $z^n=1$ are an example? Otherwise may I have a reference or an idea for the proof? Actually I cannot see it!2012-03-19
  • 2
    Jason, separability precludes finding any uncountable collection of pairwise disjoint nonempty open sets, irrespective of any conditions you put on their boundaries.2012-03-19
  • 0
    @Student73, I don't know a reference except [Wikipedia](http://en.wikipedia.org/wiki/Wada_basin#Wada_basins). Perhaps there's something in *Newton's method and dynamical systems*, edited by Heinz-Otto Peitgen, Reprint from *Acta applicandae mathematicae*, vol. 13:1-2.2012-03-19
  • 1
    @Student73, ah, this may contain a proof: Frame, Michael; Neger, Nial. Newton's method and the Wada property: a graphical approach. *College Math. J.* 38 (2007), no. 3, 192–204. [MR2310015 (2008e:37082)](http://www.ams.org/mathscinet-getitem?mr=2310015)2012-03-19
  • 0
    @lhf Thank you! I´m going to read it!2012-03-19
  • 0
    Oh... I missed that sentence in the wikipedia link (for some reason, it didn't display correctly on my phone...) Anyway, thank you all for your comments! @lhf : I didn't know about the basins of attraction approach to the lakes of Wada, that's very interesting. If you're willing to post that link as an answer, I will gladly accept it!2012-03-19
  • 0
    @ccc: You're right - thanks for catching that. (Also, you need to put the @ in front of my name in order for me to get pinged about it. I just randomly came back to this question).2012-03-19

1 Answers 1

4

Given that the basins of attraction of Newton's method for $z^3=1$ are Wada sets for $n=3$, I'd say that the basins of attraction of Newton's method for $z^n=1$ should work just as fine. I don't know a reference to a proof but try these:

  • Newton's method and dynamical systems, edited by Heinz-Otto Peitgen, Reprint from Acta applicandae mathematicae, vol. 13:1-2.
  • Frame, Michael; Neger, Nial. Newton's method and the Wada property: a graphical approach. College Math. J. 38 (2007), no. 3, 192–204. MR2310015 (2008e:37082)