6
$\begingroup$

Must every compact and connected metric space be locally connected at at least one of its points?

$\endgroup$
1

5 Answers 5

7
$\begingroup$

There is a "folklore" counterexample. Peter Nyikos gives the construction here (see the last paragraph for the compactness)

$\endgroup$
4
  • $\begingroup$ I assume it's folklore, but people more versed in this sort of thing may know differently... $\endgroup$ Jan 19, 2012 at 21:22
  • 3
    $\begingroup$ Nyikos' example seems fine, but I think he incorrectly uses positive slopes for the "left fan" and negative slopes for the "right fan." I see it making more sense with positive slopes in both. $\endgroup$
    – Matt Brin
    Jan 20, 2012 at 0:08
  • $\begingroup$ It's one of those examples where the picture is much easier to comprehend than the description. $\endgroup$ Jan 20, 2012 at 0:17
  • $\begingroup$ And yes, the picture would seem to have slopes being positive in both fans. $\endgroup$ Jan 20, 2012 at 2:30
5
$\begingroup$

One more picture: Brouwer--Janiszewski--Knaster continuum:

alt text

$\endgroup$
4
$\begingroup$

In the product of the closet unit interval $I$ with the Cantor set $C$, identify $(0,x)$ and $\big(1,f(x)\big)$ where $f(x):=3x \mod 1$.

The resulting space $X$ is the mapping cylinder of the continuous map $f:C\to C$. It is a compact metric space locally homeomorphic to $]0,1[\times C\, ,$ thus not locally connected at any point. End-points of $I$ have not a special role; we may equivalently obtain $X$ with a larger quotient, $(\mathbb{R}\times C) / \{ (t,x)=\big (t+1,f(x)\big) \} $. The important feature of the map $f:C\to C$ is that it has a dense orbit $f^n( x_0)$. This is easily seen as it is conjugate to the left-shift map on binary strings on the space ${\bf 2}^\mathbb{N}$, $(c_1,c_2,\dots)\mapsto(c_2,c_3,\dots)$ which is just how we see $f$ on the 2-digits representations of points of the Cantor set. As a consequence, the image of $\mathbb{R}\times \{x_0\}$ in the latter quotient is a path-connected dense subset of $X$, which is therefore connected.

edit. Actually, such spaces are quite common in dynamical systems; an other example is the Smale-Williams Solenoid and several strange attractors.

$\endgroup$
4
$\begingroup$

The two examples given so far do not contain an illustration of the set. So here is one drawn with a "Cantor-pen":

alt text (source)

$\endgroup$
1
$\begingroup$

No, examples abound, e.g., the $\sin\frac1x$-curve, i.e., the closure of $\lbrace \sin\frac1x : 0 < x \le 1\rbrace$ in the plane. As noted below, this is not a good example (I misread the question).

However, every indecomposable continuum, such as Knaster's bucket-handle continuum, is an example because every proper subcontinuum is nowhere dense. The pseudo-arc is, of course the ultimate example.

$\endgroup$
3
  • 1
    $\begingroup$ not this one: it has tons of points with locally connected neighbourhoods: anything off the $y$ axis $\endgroup$ Jan 19, 2012 at 22:01
  • 2
    $\begingroup$ Ah yes, I misread the question but I added the bucket handle just to be sure. There's also the pseudoarc of course. $\endgroup$
    – KP Hart
    Jan 20, 2012 at 9:08
  • $\begingroup$ I am really embarassed and must apologize to everyone for failing to keep track of some of my past questions-in particular No.36488. As Tapio Rajala has pointed out, this question is almost a duplicate of my present question and the very neat answer to it given by Victor Protsak also answers my present question-which should probably be closed out on the grounds of almost duplicating a previous question. Many thanks to all of you for your excellent answers which I was never quite able to discover for myself. $\endgroup$ Jan 21, 2012 at 19:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.