« Section 25*: Problem 9 Solution

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.