Section 1.6

Connectedness

[11/100%]
Show
LaTeX
Problem 1.6.1

Show that a space XX is connected iff the only subsets of XX which are both open and closed are ∅\emptyset and XX.

?
Problem 1.6.2

Proposition 1.6.1:

?
(a)

A⊂XA \subset X is separated iff there are two open sets U,V⊂XU, V \subset X so that A⊂U∪VA \subset U \cup V, U∩V∩A=∅U \cap V \cap A = \emptyset, U∩A≠∅U \cap A \neq \emptyset, V∩A≠∅V \cap A \neq \emptyset.

(b)

A set A⊂XA \subset X is connected iff whenever U,VU, V are open sets in XX so that U∩V∩A=∅U \cap V \cap A = \emptyset, A⊂U∪VA \subset U \cup V, then A⊂UA \subset U or A⊂VA \subset V.

Part (a) has already been proved: suppose AA is separated. Then there are two disjoint nonempty sets U′,V′U', V' which are open in AA so that A=U′∪V′A = U' \cup V'. Since U′,V′U', V' are open in AA, there are open sets U,VU, V in XX with U′=U∩AU' = U \cap A, V′=V∩AV' = V \cap A. Since U′U' and V′V' are disjoint, we have U∩V∩A=∅U \cap V \cap A = \emptyset. Since A=U′∪V′A = U' \cup V', we have A⊂U∪VA \subset U \cup V. This proves one direction. For the other direction, given U,VU, V with A⊂U∪VA \subset U \cup V, U∩V∩A=∅U \cap V \cap A = \emptyset, U∩A≠∅U \cap A \neq \emptyset, V∩A≠∅V \cap A \neq \emptyset, then defining U′=U∩AU' = U \cap A, V′=V∩AV' = V \cap A gives two nonempty sets U′,V′U', V' which are open in AA and show that AA is separated.

Deduce part (b) from part (a).

Problem 1.6.3

Consider the property: (∗)(*) if x,y∈A⊂Rx, y \in A \subset \mathbb {R}, then the interval [x,y]⊂A[x, y] \subset A.

Proposition 1.6.3: A set A⊂RA \subset \mathbb {R} satisfies (∗)(*) iff it is an interval, a ray, or R\mathbb {R}.

It is straightforward to see that an interval, ray, or R\mathbb {R} satisfies (∗)(*). For the converse, suppose AA satisfies (∗)(*). The case where AA is bounded both from above and below has already been handled: let aa be the greatest lower bound and bb the least upper bound of AA. This implies A⊂[a,b]A \subset [a, b]. To show that (a,b)⊂A(a, b) \subset A: let cc be a point in (a,b)(a, b). Since aa is the greatest lower bound, there is an element e∈Ae \in A with a≤e<ca \leq e < c. Similarly, bb being the least upper bound implies that there is an element f∈Af \in A with c<f≤bc < f \leq b. But (∗)(*) implies that [e,f]⊂A[e, f] \subset A and so c∈Ac \in A. Hence (a,b)⊂A(a, b) \subset A. But A⊂[a,b]A \subset [a, b], so there are four possibilities for AA: (a,b)(a, b), [a,b)[a, b), (a,b](a, b], [a,b][a, b], each of which is an interval.

Complete the proof of the proposition by considering the other cases: where AA is not bounded on one side or the other or both.

?
Problem 1.6.4

Show that R\mathbb {R} is connected.

?
Problem 1.6.5

Proposition 1.6.6: Suppose that AiA_i is a collection of connected subsets of a topological space XX so that they all have at least one point aa in common. Then the union A=∪iAiA = \cup_i A_i is connected.

Use this proposition to deduce that R\mathbb {R} is connected from the fact that a closed interval is connected.

?
Problem 1.6.6

A space XX is called path connected if, given x,y∈Xx, y \in X, there is a continuous map f:[0,1]→Xf : [0, 1] \to X (called a path in XX) with f(0)=xf(0) = x and f(1)=yf(1) = y. We say that the path connects xx to yy.

Define a relation on XX by x∼yx \sim y if there is a path connecting xx to yy.

Show that the relation x∼yx \sim y as defined above is an equivalence relation.

?
Problem 1.6.7

Show that a union of path connected sets with a point in common is path connected.

?
Remark.
?

Let zz be the common point. Then show that given x,yx, y in the union, we can find a path that joins them by using paths in individual path connected spaces that join xx to zz and join zz to yy.

Problem 1.6.8

The intermediate value theorem states: suppose that f:X→Rf : X \to \mathbb {R} is a continuous function and XX is connected. Let c=f(x1)c = f(x_1) and d=f(x2)d = f(x_2) and suppose that c<e<dc < e < d. Then there is x3∈Xx_3 \in X with f(x3)=ef(x_3) = e.

Prove the intermediate value theorem using the fact that f(X)f(X) is connected and the characterization of connected sets in the line (a subset of R\mathbb {R} is connected iff it is an interval, a ray, or R\mathbb {R}).

?
Problem 1.6.9

Show that the letter T is not homeomorphic to the letter O.

?
Remark.
?

Consider what happens when a point is removed from each letter and the corresponding connectivity properties.

Problem 1.6.10

Show that S1S^1 is not homeomorphic to R\mathbb {R} by showing S1∖{x}S^1 \setminus \left\{ x\right\} is not homeomorphic to R∖{y}\mathbb {R} \setminus \left\{ y\right\}.

?
Problem 1.6.11

Show that two disjoint concentric circles in the plane are not homeomorphic to one circle.

?