The topologist’s sine curve is usually defined as the graph of the curve plus a vertical line segment on the y-axis (see [2] and [3]). It is a handy example of a connected space that is not pathwise connected. We illustrate an alternative construction of the topologist’s sine curve and make some observations about this example. The post is concluded with some general observations about connectedness and pathwise connectedness.
Figure 1 below is the boundary of the unit square (just the edges and not the interior), the starting point of the construction.
We draw a vertical line segment at the middle of the square in Figure 1. The middle line segment splits the square into two halves. Next we draw a vertical line segment in the middle of left half of the square, which is then split into two halves. Next we draw a vertical line segment in the middle of the resulting left half. The same process is repeated successively, each time a vertical line segment is drawn in the left half created as a result of the previous vertical line segment. Figure 2 below shows the resulting vertical line segments of the first several iterations.
We start with the corner and erase the upper horizontal edge to the next vertical line (from the point to the point ). Next, we start with the point and erase the lower horizontal edge to the next vertical line (from the point to the point ). The same process is repeated successively by alternating between the upper edge and the lower edge. Figure 3 below shows the resulting topologist’s sine curve.
The left vertical line segment in Figure 3 consists of the points where . We call the vetical line segment . We call the “sine curve” , which converges to . The topologist’s sine curve is the set , which has the topology inherited from the Euclidean plane. The space is compacted, connected. On the other hand, is both not pathwise connected and locally connected.
To see that it is connected, note that the curve is connected. Also note that the closure of is the entire topologist’s sine curve (). Since the closure of a connected set is connected, is also connected.
However, is not pathwise connected. For example, there is no connected path linking the point and . In general, there is no connected path linking any point in to any point in .
A space is locally connected at a point if there is a neighborhood base consisting of open connected sets at that point. The topologist’s sine curve is not locally connected at any point on the vertical line secgment .
An interesting subspace of the topologist’s sine curve is . This is the subset with only one point of the vertical line segment . The space is not locally compact at the point . However, is the continuous image of , demonstrating that continuous image of a locally compact space needs not be locally compact.
Figure 4 below is the extended topologist’s sine curve, which is obtained by the same process as indicated above except that no lower horizonatal edges are removed. What is interesting about the extended sine curve is that it is pathwise connected but not locally connected.
Some general observations. In general, a space is disconnected if there are two disjoint nonempty open sets and such that . We say is disconnected by and . A space is connected if no disconnection exists. A space is pathwise connected if for any two points with , there exists a continuous function such that and . The function is called a path from to .
It is well known that the Cartesian product of connected spaces is also a connected space (see [1] or [3]).
Pathwise connectedness is also preserved by taking Cartesian product. Suppose that is a pathwise connected space for each . Then is pathwise connected. To see this, suppose that with .
For each , if , choose a continuous such that and . For each , if , let be defined by for all .
We now define . For each , let be the element of the product space such that for each . It is clear that is continuous and and . In other words, the function is a path from to .
Reference
- Engelking, R., General Topology, Revised and Completed edition, 1989, Heldermann Verlag, Berlin.
- Steen, L. A., Seebach, J. A.,Counterexamples in Topology, 1995, Dover Edition, Dover Publications, New York.
- Willard, S., General Topology, 1970, Addison-Wesley Publishing Company.