You are on page 1of 1

1. Let A be a subset of the real numbers. Dene what an open cover for A is. Denition 3.3.

6: An open cover for A is a collection of open sets whose union contains A. 2. Construct an open cover of (0; 1) that does not have a nite subcover. The open sets On = (1=n; 1), where n 2 N, form an open cover for (0; 1) because if 0 < r < 1, then there exists a natural number n such that 1=n < r < 1 (by the Archimedean property). If On1 ; On2 ; : : : ; Onk are nitely many open sets in this cover, then r = min (1=n1 ; 1=n2 ; : : : ; 1=nk ) is in (0; 1) but not in On1 [ On2 [ [ Onk . 3. Dene what it means for a subset of R to be compact. Denition 3.3.1 says that a subset K is compact if every sequence in K has a subsequence that converges to an element of K. You could also use either of the other two equivalent conditions of Theorem 3.3.8. That is, a subset is compact if it is closed and bounded, or a subset is compact if every open cover for it has a nite subcover. 4. Show that the union of two compact subsets of R is compact. Your proof will depend on the characterization of compact that you choose to use. Suppose A and B are compact. (a) If (cn ) is a sequence in A[B, then (cn ) will have innitely many terms in A or innitely many terms in B (possibly innitely many terms in both). That is, it has a subsequence all of whose terms are K, where K is either A or B. As K is compact, there is a subsequence of that subsequence that converges to an element of K. As K A [ B, we have constructed a subsequence of (cn ) that converges to an element of A [ B.

(b) Since A and B are closed, A [ B is closed by Theorem 3.2.14(ii). Since A and B are bounded, there exist M and N such that jaj M for all a 2 A, and jbj N for all b 2 B. So jcj max (M; N ) for all c 2 A [ B, that is, A [ B is bounded.

(c) Any open cover C of A [ B is an open cover of A and also an open cover of B. So there is a nite subset CA of C that covers A and a nite subset CB of C that covers B. Then CA [ CB is a nite subset of C that covers A [ B.

You might also like