Let be any equivalence class. Since is both open and closed, is both open and closed in the subspace topology on . Its connectedness makes either empty or all of . Thus an equivalence class meeting lies wholly in . Hence is saturated, a union of whole equivalence classes.
If is connected, its continuous quotient image is connected by part (a). Conversely, suppose is disconnected. It has a nonempty proper subset both open and closed. Part (i) makes and its complement saturated, so and . The quotient topology therefore makes these disjoint nonempty images open, and they cover . Thus the quotient is disconnected. This proves the two spaces are connected simultaneously.
Articles by others on the same topic
There are currently no matching articles.