Section 25*: Problem 10 Solution
Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
(a) It is reflexive and symmetric. To show transitivity suppose that
but
. There is a separation of points
and
, and
is in one of these open sets, i.e. it is either separated from
or
. Contradiction.(b) If for two points in one component there is a separation of these points, then the component is not connected. On the other hand, what can make a component to be a proper subset of a quasi-component? Or, equivalently, when a quasi-component may contain two or more components? Obviously, it cannot be the case if the components are open, as otherwise they would be open and closed and form a separation for points in different components. Therefore, if the space is locally connected, then the components are open, and quasi-components are the same as components.(c)
is not (locally) (path) connected. For any two points with different
-coordinates
consider a point
such that
and
. Then open sets
and
form a separation of the points. Now, each vertical line segment is path connected, therefore, it is a path component, component and quasi-component. The remaining two points are disconnected, therefore, there are two more (path) components. The only question here is whether there is one or two quasi-components. We show that there is only one quasi-component with both points in it. The idea is that any separation of the space must "draw a line" between a pair of vertical lines without intersecting any of them, and therefore, the two points must be in one set in the separation. Suppose there is a separation
such that
and
. For each open set
and
take a small open ball-neighborhood of the corresponding point contained in the set. The balls intersect some common vertical line, therefore,
and
intersect that line and form its separation. This contradicts the fact that the line is (path) connected.
is connected (
is path connected and adding a limit point keeps it connected), so that there is one component = quasi-component. But there are two path-components:
and all other points.
is not locally (path) connected. Its path components are the line segments (so there are infinitely many of them). We show that it is connected and, hence, has one (quasi-)component. Suppose there is a separation
. Both are open, therefore, they cannot intersect the same line segment. Moreover, they do not contain limit points of each other. Take any point
and suppose it is in
. It is a limit point for the set of line segments
. Therefore, starting from some
all lines
are in
. Therefore all points
are in
. Therefore, all line segments
are in
. This implies all their limit points
in
. By continuing this argument we conclude that all points are in
, and
must be empty. Contradiction.