Skip to main content

Section Connected Subsets of R

With Theorem 18.5 in hand, we are just about ready to show that any interval in R is connected. Let us return for a moment to our example of A=(βˆ’1,0)βˆͺ(4,5) in R. It is not difficult to see that if U and V are a separation of A, then the subset (βˆ’1,0) must be entirely contained in either U or in V. The reason for this is that (βˆ’1,0) is a connected subset of A. This result is true in general.

Activity 18.5.

Let X be a topological space, and let A be a subset of X. Assume that U and V form a separation of A. Let C be a connected subset of A. In this activity we want to prove that CβŠ†U or CβŠ†V.

(a)

Use the fact that U and V form a separation to A to wxplain why CβŠ†UβˆͺV and C∩U∩V=βˆ….

(b)

Given that C is connected, what conclusion can we draw about the sets Uβ€²=U∩C and Vβ€²=V∩C?

(c)

Complete the proof of the following lemma.
Now we can prove that any interval in R is connected. Since [a,b], [a,b), and (a,b] are all sets that lie between (a,b) and (a,b)―, we can address their connectedness all at once with the next result.

Proof.

Let X be a topological space and C a connected subset of X. Let A be a subset of X such that CβŠ†AβŠ†C―. To show that A is connected, assume to the contrary that A is disconnected. Then there are nonempty open subsets U and V of X that form a separation of A. Lemma 18.7 shows that CβŠ†U or CβŠ†V. Without loss of generality we assume that CβŠ†U. Since U∩V∩A=βˆ…, it follows that
C∩V=(C∩A)∩V=C∩(A∩V)βŠ†U∩A∩V=βˆ….
Since A∩Vβ‰ βˆ…, there is an element x∈A∩V. Since xβˆ‰C and x∈AβŠ†C―, it must be the case that x is a limit point of C. Since V is an open neighborhood of x, it follows that V∩Cβ‰ βˆ…. This contradiction allows us to conclude that A is connected.
One consequence of Theorem 18.8 is that any interval of the form [a,b), (a,b], [a,b], (βˆ’βˆž,b], or [a,∞) in R is connected. This prompts the question, are there any other subsets of R that are connected?

Activity 18.6.

Let A be a subset of R.

(a)

Let A={a} be a single point subset of R. Is A connected? Explain.

(b)

Now suppose that A is a subset of R that contains two or more points. Assume that A is not an interval. Then there must exist points a and b in A and a point c in Rβˆ–A between a and b. Use this idea to find a separation of A. What can we conclude about A?