The sets and are relatively open in the subspace topology on . They are disjoint and their union is . If both were nonempty, they would be a separation of , contradicting its connectedness. Therefore at least one is empty, and lies entirely in or entirely in . The assertion also holds for empty .
Articles by others on the same topic
There are currently no matching articles.