A subset is connected if, with its subspace topology, it cannot be written as with disjoint nonempty relatively open sets. Equivalently its only subsets both open and closed relative to are . This definition includes the empty set and singletons as connected sets.
The connected subsets of the real line are exactly the intervals, including singletons, unbounded intervals and the empty set. Equivalently, whenever belong to the set, every with also belongs to it. Endpoints may or may not be included.
Use the separation definition in (i). If had a separation , the intersections with each connected show that lies wholly in one side. Choose one nonempty ; every other intersects it and must lie on that same side. Thus the other side is empty, a contradiction. If the union is empty it is connected by definition. Therefore .

Articles by others on the same topic (0)

There are currently no matching articles.