PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] example of a connected space that is not path-connected (Example)

This standard example shows that a connected topological space need not be path-connected (the converse is true, however).

Consider the topological spaces \begin{eqnarray*} X_1 &= \left\{(0,y)\mid y\in[-1,1]\right\}\\ X_2 &= \left\{(x,\sin\frac{1}{x})\mid x>0\right\}\\ X &= X_1 \cup X_2\\ \end{eqnarray*}with the topology induced from $\Reals^2$ .

$X_2$ is often called the ``topologist's sine curve'', and $X$ is its closure.

$X$ is not path-connected. Indeed, assume to the contrary that there exists a path $\gamma\colon[0,1]\to X$ with $\gamma(0)=(\frac{1}{\pi},0)$ and $\gamma(1)=(0,0)$ . Let$$ c = \inf \left\{ t\in[0,1] \mid \gamma(t)\in X_1 \right\}.$$ Then $\gamma([0,c])$ contains at most one point of $X_1$ , while $\overline{\gamma([0,c])}$ contains all of $X_1$ . So $\gamma([0,c])$ is not closed, and therefore not compact. But $\gamma$ is continuous and $[0,c]$ is compact, so $\gamma([0,c])$ must be compact (as a continuous image of a compact set is compact), which is a contradiction.

But $X$ is connected. Since both ``parts'' of the topologist's sine curve are themselves connected, neither can be partitioned into two open sets. And any open set which contains points of the line segment $X_1$ must contain points of $X_2$ . So $X$ is not the disjoint union of two nonempty open sets, and is therefore connected.




"example of a connected space that is not path-connected" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: connected space, path

Also defines:  topologist's sine curve

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: disjoint union, line segment, open sets, contradiction, continuous image of a compact set is compact, compact, closed, point, closure, converse, path-connected, topological space, connected
There are 2 references to this entry.

This is version 13 of example of a connected space that is not path-connected, born on 2002-06-10, modified 2008-05-28.
Object id is 3087, canonical name is ExampleOfAConnectedSpaceWhichIsNotPathConnected.
Accessed 10190 times total.

Classification:
AMS MSC54D05 (General topology :: Fairly general properties :: Connected and locally connected spaces )

Pending Errata and Addenda
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy
Topologist's sine curve is connected. by jrottman on 2008-04-02 23:31:10
I'm having trouble grasping that the topologist's sine curve is connected. I think where I'm stuck is, "... any open set which contains points of the line segment X1 must contain points of X2." Isn't, for example, (0, (-.5, .5)) an open subset of X1? Does an open set containing a point of X1 have to cover intervals in both the x-dimension and y-dimension? Is that what is meant by, "the topology induced from R2?"
[ reply | up ]
closure of a singleton set is an interval? by xen0gears55 on 2007-12-03 20:46:34
I'm sorry, I don't see how if gamma([0, c]) is a single point, then the closure of gamma([0, c]) is an entire interval? Single point sets are already closed, so wouldn't the closure of gamma([0, c]) just be that same point still?
[ reply | up ]
a stupid question by bshanks on 2002-08-28 03:27:49
I don't understand this part:

"Then $\gamma([0,c])$ contains only a single point on the Y axis, while $\overline{\gamma([0,c])}$ contains all of $X_1$. So $\gamma([0,c])$ is not compact..."

first, if $\gamma([0,c])$ contains a single point on the Y axis, how could its complement contain all of X_1? Second, even if it did, why does that mean that it is not compact? Sorry for being dense.
[ reply | up ]

Interact
post | correct | update request | add example | add (any)