23. Mon, Oct. 21 Like Connectedness, Compactness Is Preserved by Continuous Functions

23. Mon, Oct. 21 Like Connectedness, Compactness Is Preserved by Continuous Functions

23. Mon, Oct. 21 Like connectedness, compactness is preserved by continuous functions. Proposition 23.1. Let f : X Y be continuous, and assume that X is compact. Then f(X) is compact. ! Proof. Let be an open cover of f(X). Then = f 1(V ) V is an open cover of X. Let V U { − | 2V} U1,...,Uk be a finite subcover. It follows that the corresponding V1,...,Vk is a finite subcover of{ . } { } V ⌅ Example 23.2. Recall that we have the quotient map exp : [0, 1] S1. It follows that S1 is compact. ! Theorem 23.3 (Extreme Value Theorem). Let f :[a, b] R be continuous. Then f attains a maximum and a minimum. ! Proof. Since f is continuous and [a, b] is both connected and compact, the same must be true of its image. But the compact, connected subsets are precisely the closed intervals. ⌅ The following result is also quite useful. Proposition 23.4. Let X be Hausdor↵and let A X be a compact subset. Then A is closed in X. ✓ Proof. Pick any point x X A (if we can’t, then A = X and we are done). For each a A,we have disjoint neighborhoods2 a\ U and x V .SincetheU cover A, we only need finitely2 many, 2 a 2 a a say Ua1 ,...,Uak to cover A. But then the intersection V = V V a1 \···\ ak of the corresponding Va’s is disjoint from the union of the Ua’s and therefore also from A.Since V is a finite intersection of open sets, it is open and thus gives a neighborhood of x in X A.It \ follows that A is closed. ⌅ Exercise 23.5. If A X is closed and X is compact, then A is compact. ✓ Combining these results gives the following long-awaited consequence. Corollary 23.6. Let f : X Y be continuous, where X is compact and Y is Hausdor↵, then f is a closed map. ! In particular, if f is already known to be a continuous bijection, then it is automatically a home- omorphism. For example, this shows that the map I/@I S1 is a homeomorphism. Similarly, n n n ! from Homework 5 we have D /@D ⇠= S . We will next show that finite products of compact spaces are compact, but we first need a lemma. Lemma 23.7 (Tube Lemma). Let X be compact and Y be any space. If W X Y is open and contains X y , then there is a neighborhood V of y with X V W . ✓ ⇥ ⇥{ } ⇥ ✓ Proof. For each x X, we can find a basic neighborhood U V of (x, y)inW .TheU ’s give 2 x ⇥ x x an open cover of X, so we only need finitely many of them, say Ux1 ,...,Uxn . Then we may take V = V V . x1 \···\ xn ⌅ Proposition 23.8. Let X and Y be nonempty. Then X Y is compact if and only if X and Y are compact. ⇥ 39 Proof. As for connectedness, the continuous projections make X and Y compact if X Y is compact. Now suppose that X and Y are compact and let be an open cover. For each y⇥ Y ,thecover of X Y certainly covers the slice X y . ThisU slice is homeomorphic to X2and therefore finitely-coveredU ⇥ by some . By the Tube⇥{ } Lemma, there is a neighborhood V of y such that V⇢U y the tube X Vy is covered by the same . Now the Vy’s cover Y , so we only need finitely many of these to cover⇥ X. Since each tube is finitelyV covered by and we can cover X Y by finitely many tubes, it follows that has a finite subcover. U ⇥ U ⌅ Theorem 23.9 (Heine-Borel). A subset A Rn is compact if and only if it is closed and bounded. ✓ Proof. Suppose A is compact. Then A must be closed in Rn since Rn is Hausdor↵. The subset A must also be bounded according to Homework problem VI.5. On the other hand, suppose that A is closed and bounded in Rn.SinceA is bounded, it is contained in [ k, k]n for some k>0. But this product of intervals is compact since each interval − is compact. Now A is a closed subset of a compact space, so it is compact. ⌅ Again, we have shown that compactness interacts well with finite products, and we would like a similar result in the arbitrary product case. This is a major theorem, known as the Tychono↵ theorem. First, we show the theorem does not hold with the box topology. Example 23.10. Let D =[ 1, 1] and consider DN, equipped with the box topology. For each k, let − N k k k 1 k 1 U = D ( 2 , 2 ) ( 2 − , 2 − ... k \ − ⇥ − ⇥ So ⇣ ⌘ U =[ 1, 1] ( 1, 1) ( 1/2, 1/2) ( 1/4, 1/4) ... 1 − ⇥ − ⇥ − ⇥ − ⇥ and U =[ 1, 1] [ 1, 1] ( 1, 1) ( 1/2, 1/2) ... 2 − ⇥ − ⇥ − ⇥ − ⇥ Then = U is an open cover with no finite subcover. U { k} 24. Wed, Oct. 23 It turns out that the Tychono↵Theorem is equivalent to the axiom of choice. We will thus use a form of the axiom of choice in order to prove it. Zorn’s Lemma. Let P be a partially-ordered set. If every linearly-ordered subset of P has an upper bound in P ,thenP contains at least one maximal element. Theorem 24.1 (Tychono↵). Let X = for all i . Then X is compact if and only if each i 6 ; 2I i Yi Xi is compact. Proof. As we have seen a number of times, the implication ( ) is trivial. ) We now show the contrapositive of ( ). Thus assume that X = X is not compact. We wish ( i Yi to conclude that one of the Xi must be noncompact. By hypothesis, there exists an open cover of X with no finite subcover. U We first deal with the following case. Special case: is a cover by subbasis elements. For each i ,letU be the collection 2I Ui 1 i = V Xi open pi− (V ) . U { ✓ 40 | 2U} For some i, the collection must cover X , since otherwise we could pick x X for each i with Ui i i 2 i x not in the union of .Thentheelement(x ) X would not be in since it cannot be i Ui i 2 i U i 1 Y in any pi− (V ). Then i cannot have a finite subcover, since that would provide a corresponding subcover of . It followsU that X is not compact. U i It remains to show that we can always reduce to the cover-by-subbasis case. Consider the collection of open covers of X having no finite subcovers. By assumption, this N set is nonempty, and we can partially order by inclusion of covers. Furthermore, if ↵ is a linearly order subset of ,then = isN an open cover, and it cannot have a finite{U subcover} N U ↵ U↵ since a finite subcover of would be a finite subcover of one of the ↵.Thus is an upper bound U S U U in for ↵ . By Zorn’s Lemma, has a maximal element . NowN let{U } be the subcollectionN consisting of the subbasisV elements in . We claim that covers X. SupposeS✓V not. Thus let x X such that x is not covered by .ThenVx must be in V forS some V . By the definition of the2 product topology, x must have aS basic open neighborhood in B V .2 ButV any basic open set is a finite intersection of subbasic open sets, so B = S ...S .If ⇢ 1 \ k x is not covered by , then none of the Si are in .Thus Si is not in by maximality of . In other words, S S has a finite subcover SV ,...,VV[{,S} . Let us writeN V V[{ i} { i,1 i,ni 1} Vˆ = V V . i i,1 [···[ i,ni Now X = S Vˆ S Vˆ V Vˆ i [ i ✓ i [ i ✓ [ i \i ⇣ ⌘ ⇣ \i ⌘ ⇣ [i ⌘ ⇣ [i ⌘ This shows that has a finite subcover, which contradicts that . We thus conclude that covers X using onlyV subbasis elements. V2N S But now by the argument at the beginning of the proof, , and therefore as well, has a finite S V subcover. This is a contradiction. ⌅ As we said already, Tychono↵’s theorem is equivalent to the axiom of choice (which is equivalent to Zorn’s Lemma). Theorem 24.2. Tychono↵ axiom of choice. ) Proof. This argument is quite a bit simplier than the other implication. Let X = for all i . i 6 ; 2I We want to show that X = X = . i 6 ; Yi For each i,defineYi = Xi i ,where i / Xi. We topologize Yi such that the only nontrivial [{1 } 1 2 1 open sets are X and . Now for each i,letU = p− ( ). The collection = U gives a i {1i} i i 1i U { i} collection of open subsets of Y = Y , and this collection covers Y if and only if X = . Each Y i ; i i is compact since it has only four openY sets. Thus Y must be compact by the Tychono↵theorem. But no finite subcollection of can cover Y . For example, Ui Uj does not cover Y since a Xi and b X , then we can defineU (y ) Y (U U )by [ 2 2 j i 2 \ i [ j ak= i y = bk= j k 8 k = i, j < 1k 6 The same kind of argument will work for any: finite collection of Ui’s. Since has no finite subcover and Y is compact, cannot cover Y , so that X must be nonempty.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    4 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us