Transcription
Solutions toTopologyChapter 2 - Topological Spaces and Continuous FunctionsJames MunkresSolutions by positrรณn0802https://positron0802.wordpress.com1 January 2021Contents2 Topological Spaces and Continuous Functions12 Topological Spaces . . . . . . . . . . . . . .13 Basis for a Topology . . . . . . . . . . . . . .14 The Order Topology . . . . . . . . . . . . . .15 The Product Topology on ๐ ๐ . . . . . . .16 The Subspace Topology . . . . . . . . . . . .17 Closed Sets and Limit Points . . . . . . . . .18 Continuous Functions . . . . . . . . . . . . .19 The Product Topology . . . . . . . . . . . . .20 The Metric Topology . . . . . . . . . . . . .21 The Metric Topology (continued) . . . . . .22 The Quotient Topology . . . . . . . . . . . .Supplementary Exercises: Topological Groups . .2Topological Spaces and Continuous Functions12Topological Spaces.1114446111417232728No Exercises.13Basis for a TopologyExercise 13.1. For every ๐ฅ ๐ด there is an open set ๐๐ฅ such that ๐ฅ ๐๐ฅ and ๐๐ฅ ๐ด. Thenร๐ด ๐ฅ ๐ด ๐๐ฅ is open in ๐ since it is a union of open sets.1
13Basis for a TopologyExercise 13.2. These topologies are listed below:๐ฏ1 { , ๐ },๐ฏ2 { , {๐}, {๐, ๐}, ๐ },๐ฏ3 { , {๐}, {๐, ๐}, {๐, ๐}, ๐ },๐ฏ4 { , {๐}, ๐ },๐ฏ5 { , {๐}, {๐, ๐}, ๐ },๐ฏ6 { , {๐}, {๐}, {๐, ๐}, {๐, ๐}, ๐ },๐ฏ7 { , {๐, ๐}, ๐ },๐ฏ8 { , {๐}, {๐}, {๐, ๐}, ๐ },๐ฏ9 { , {๐}, {๐}, {๐}, {๐, ๐}, {๐, ๐}, {๐, ๐}, ๐ }.๐ฏ1 is coarser than any other topology, and ๐ฏ9 is finer than any other topology. Other inclusionsare ๐ฏ7 ๐ฏ2 ๐ฏ8, ๐ฏ4 ๐ฏ3 ๐ฏ6, ๐ฏ7 ๐ฏ3 ๐ฏ6 and ๐ฏ4 ๐ฏ8 .Exercise 13.3. ๐ฏ๐ is the collection of all subsets ๐ of ๐ such that ๐ \ ๐ is either countable or isall of ๐ . Clearly and ๐ are both in ๐ฏ๐ . Let {๐๐ผ }๐ผ ๐ฝ be a family of sets in ๐ฏ๐ . Thenรร๐\๐๐ผ (๐ \ ๐๐ผ )๐ผ ๐ฝ๐ผ ๐ฝis an intersection of countable sets, hence countable. If ๐ 1, . . . , ๐๐ are elements in ๐ฏ๐ , then๐\๐ร๐๐ ๐ 1๐ร(๐ \ ๐๐ )๐ 1is countable being a union of countable sets. It follows that ๐ฏ๐ is a topology on ๐ .On the other hand, ๐ฏ is in general not a topology on ๐ . For example, let ๐ R, ๐ 1 ( , 0)and ๐ 2 (0, ). Then ๐ 1 and ๐ 2 are in ๐ฏ but ๐ 1 ๐ 2 R \ {0} is not.รExercise 13.4. (a) Since and ๐ belong to ๐ฏ๐ผ for each ๐ผ, they belong to ๐ผ ๐ฏ๐ผ . Let {๐๐ฝ }๐ฝ beรรa collection of open sets in ๐ผ ๐ฏ๐ผ . For any fixed ๐ผ we have ๐ฝ ๐๐ฝ ๐ฏ๐ผ since ๐ฏ๐ผ is a topologyรรรon ๐, so ๐ฝ ๐๐ฝ ๐ผ ๐ฏ๐ผ . Similarly, if ๐ 1, . . . , ๐๐ are elements of ๐ผ ๐ฏ๐ผ , then for each ๐ผ we haveรรร๐ร๐ ๐ผ ๐ฏ๐ผ . It follows that ๐ผ ๐ฏ๐ผ is a topology on ๐ .๐ 1 ๐๐ ๐ฏ๐ผ and therefore ๐ 1 ๐๐ รOn the other hand, the union ๐ผ ๐ฏ๐ผ is in general not a topology on ๐ . For instance, let๐ {๐, ๐, ๐}. Then ๐ฏ1 { , ๐, {๐}} and ๐ฏ2 { , ๐, {๐}} are topologies on ๐ but ๐ฏ1 ๐ฏ2 { , ๐, {๐}, {๐}} is not.(b) First we prove that there is a unique smallest topology on ๐ containing all the collections๐ฏ๐ผ . Uniqueness of such topology is clear. For each ๐ผ let โฌ๐ผ be a basis for ๐ฏ๐ผ . Let ๐ฏ be theรtopology generated by the subbasis ๐ฎ ๐ผ โฌ๐ผ . Then the collection โฌ of all finite intersectionsof elements of ๐ฎ is a basis for ๐ฏ. Clearly ๐ฏ๐ผ ๐ฏ for all ๐ผ . We now prove that if ๐ช is a topologyon ๐ such that ๐ฏ๐ผ ๐ช for all ๐ผ, then ๐ฏ ๐ช. Given such ๐ช, we have โฌ๐ผ ๐ช for all ๐ผ, so ๐ฎ ๐ช.Since ๐ช is a topology, it must contain all finite intersections of elements of ๐ฎ, so โฌ ๐ช and henceร๐ฏ ๐ช. We conclude that the topology ๐ฏ generated by the subbasis ๐ฎ ๐ผ โฌ๐ผ is the uniquesmallest topology on ๐ containing all the collections ๐ฏ๐ผ .Now we prove that there exists a unique largest topology contained in all ๐ฏ๐ผ . Uniqueness ofรsuch topology is clear. Consider ๐ฏ ๐ผ ๐ฏ๐ผ . We already know that ๐ฏ is a topology by (a), and2Solutions by positrรณn0802
13Basis for a Topologyclearly ๐ฏ ๐ฏ๐ผ for all ๐ผ . If ๐ช is another topology contained in all ๐ฏ๐ผ , it must be contained intheir intersection, so ๐ช ๐ฏ. I follows that ๐ฏ is the unique largest topology contained in all ๐ฏ๐ผ .(c) We use the results obtained in (b). The smallest topology containing ๐ฏ1 and ๐ฏ2 has ๐ฏ1 ๐ฏ2 { , ๐, {๐}, {๐, ๐}, {๐, ๐}} as subbasis; taking unions of intersections of elements of ๐ฏ1 ๐ฏ2 , wefound that this topology is { , ๐, {๐}, {๐}, {๐, ๐}, {๐, ๐}}. The largest topology contained in both๐ฏ1 and ๐ฏ2 is their intersection ๐ฏ1 ๐ฏ2 { , ๐, {๐}}.Exercise 13.5. Let ๐ฏ be the topology generated by ๐ and let ๐ช be the intersection of all topologies on ๐ that contains ๐. Clearly ๐ช ๐ฏ since ๐ฏ is a topology on ๐ that contain ๐. Conversely,let ๐ ๐ฏ, so that ๐ is a union of elements of ๐. Since each of this elements is also an elementof ๐ช, their union ๐ belongs to ๐ช. Thus ๐ฏ ๐ช and the equality holds.If we now considered ๐ as a subbasis, then the elements of ๐ฏ are union of finite intersectionsof elements of ๐. The inclusion ๐ช ๐ฏ is again clear and ๐ฏ ๐ช holds since every union of finiteintersections of elements of ๐ belongs to ๐ช.Exercise 13.6. Let ๐ฏโ and ๐ฏ๐พ denote the topologies of Rโ and R๐พ respectively. Given the basiselement [0, 1) for ๐ฏโ , there is no basis element for ๐ฏ๐พ containing 0 and contained in [0, 1), so๐ฏโ ๐ฏ๐พ . Similarly, given the basis element ( 1, 1) \ ๐พ for ๐ฏ๐พ , there is no basis element for ๐ฏโcontaining 0 contained in ( 1, 1) \ ๐พ, so ๐ฏ๐พ ๐ฏโ .Exercise 13.7. Given ๐ ๐ in R, if ๐ฅ (๐, ๐) \ ๐พ then ๐ฅ (๐ฅ ๐, ๐ฅ] (๐, ๐) \ ๐พ for sufficientlysmall ๐. Thus ๐ฏ4 is finer than ๐ฏ2 . Every basis element for ๐ฏ5 is open in ๐ฏ1, and every basis elementfor ๐ฏ1 is a basis element for ๐ฏ2 . It follows that ๐ฏ5 ๐ฏ1 ๐ฏ2 ๐ฏ4 . Since every open set in ๐ฏ3is open in ๐ฏ1, we also have ๐ฏ3 ๐ฏ1 ๐ฏ2 ๐ฏ4 . Finally, we prove that ๐ฏ3 and ๐ฏ5 are notcomparable. Indeed, R \ {0, 1} is open in ๐ฏ3, but it is not a union of basis elements for ๐ฏ5, so๐ฏ3 ๐ฏ5 . Conversely, ( , 0) is open in ๐ฏ5, and is clearly not open in ๐ฏ3, so ๐ฏ5 ๐ฏ3 .Exercise 13.8. (a) First note that โฌ is a basis for a topology on R. This follows from the fact thatthe union of its elements is all of R and the intersection of two elements of โฌ is either emptyor another element of โฌ. Let ๐ฏ be the standard topology on R. Clearly the topology generatedby โฌ is coarser than ๐ฏ. Let ๐ ๐ฏ and ๐ฅ ๐ . Then ๐ contains an open interval with centre๐ฅ . Since the rationals are dense in R with the standard topology, there exists ๐ Q such that๐ฅ (๐ฅ ๐, ๐ฅ ๐) ๐ . This proves that ๐ฏ is coarser than the topology generated by โฌ. Weconclude that โฌ generates the standard topology on R.(b) ๐ is a basis for a topology on R since the union of its elements is R and the intersectionof two elements of ๐ is either empty or another element of ๐. Now consider [๐, ๐ ) where ๐ is anyirrational number and ๐ is any real number greater than ๐ . Then [๐, ๐ ) is a basis element for thetopology of Rโ , but [๐, ๐ ) is not a union of elements of ๐. Indeed, suppose that [๐, ๐ ) ๐ผ [๐๐ผ , ๐๐ผ )for rationals ๐๐ผ , ๐๐ผ . Then ๐ [๐๐ผ , ๐๐ผ ) for some ๐ผ . Since ๐ is irrational we must have ๐๐ผ ๐, butthen ๐๐ผ [๐, ๐ ), a contradiction. It follows that the topology generated by ๐ is strictly coarserthan the lower limit topology on R.3Solutions by positrรณn0802
14The Order Topology14The Order TopologyNo Exercises.15The Product Topology on ๐ ๐No Exercises.16The Subspace TopologyExercise 16.1. Let ๐ฏ be the topology ๐ด inherits as a subspace of ๐ , and ๐ช be the topology itinherits as a subspace of ๐ . A (standard) basis element for ๐ฏ has the form ๐ ๐ด where ๐ is openin ๐, so is of the form (๐ ๐ ) ๐ด ๐ ๐ด where ๐ is open in ๐ . Therefore every basis elementfor ๐ฏ is also a basis element for ๐ช. Conversely, a (standard) basis element for ๐ช have the form๐ ๐ด ๐ ๐ ๐ด where ๐ is open in ๐ . Since ๐ ๐ is open in ๐ , this is a basis element for๐ฏ, so every basis element for ๐ช is a basis element for ๐ฏ. It follows that ๐ฏ ๐ช.Exercise 16.2. Denote by ๐ฏ๐ฆ0 and ๐ฏ๐ฆ these corresponding subspace topologies. Since every openset in ๐ฏ๐ฆ have the form ๐ด ๐ with ๐ด ๐ฏ ๐ฏ 0, every open set in ๐ฏ๐ฆ is open in ๐ฏ๐ฆ0 . Therefore๐ฏ๐ฆ0 is finer than ๐ฏ๐ฆ . However, it may not be strictly finer. If for example ๐ has only one element,then ๐ฏ๐ฆ and ๐ฏ๐ฆ0 are equal.Exercise 16.3. ๐ด is open in R and ๐ด ๐ ๐ด, so it is also open in ๐ .๐ต is not open in R, but ๐ต ๐ ๐ where ๐ ( 2, 12 ) ( 12 , 2) is open in R, so ๐ต is open in ๐ .๐ถ and ๐ท are not open in R nor in ๐ , as there is no basis (for ๐ or R) open set containing12 ๐ถ ๐ท and contained in ๐ถ or ๐ท. ( 1 , 1 ) is open in R. Since ๐ธ ๐ ๐ธ, it is also open in ๐ .Finally, ๐ธ (0, 1) \ { ๐1 }๐ Z ๐ 1๐ 1 ๐Exercise 16.4. Let ๐ ๐ be a (standard) basis element for ๐ ๐ , so that ๐ is open in ๐ and ๐is open in ๐ . Then ๐ 1 (๐ ๐ ) ๐ is open in ๐ and ๐ 2 (๐ ๐ ) ๐ is open in ๐ . Since arbitraryรรmaps and unions satisfy ๐ ( ๐ผ ๐๐ผ ) ๐ผ ๐ (๐๐ผ ), it follows that ๐ 1 and ๐ 2 are open maps.Exercise 16.5. (a) Let ๐ be a (standard) basis open set in ๐ ๐ , so that ๐ ๐ ๐ where ๐ isopen in ๐ and ๐ is open in ๐ . Since ๐ฏ ๐ฏ 0 and ๐ฐ ๐ฐ 0, then ๐ is open in ๐ 0 and ๐ is openin ๐ 0 . Thus every basis open set in ๐ ๐ is open in ๐ 0 ๐ 0 and hence the product topology on๐ 0 ๐ 0 is finer that the product topology on ๐ ๐ .(b) The converse does hold. Suppose that the product topology on ๐ 0 ๐ 0 is finer than theproduct topology on ๐ ๐ . Let ๐ be open in ๐ and ๐ be open in ๐ ; let ๐ ๐ and ๐ ๐ . Since๐ ๐ is open in ๐ ๐ , it is also open in ๐ 0 ๐ 0, so there exist an open set ๐ 0 of ๐ 0 and an openset ๐ 0 of ๐ 0 such that ๐ ๐ ๐ 0 ๐ 0 ๐ ๐ . It follows that ๐ ๐ 0 ๐ and ๐ ๐ 0 ๐ . Weconclude that ๐ฏ ๐ฏ 0 and ๐ฐ ๐ฐ 0 .Exercise 16.6. In Exercise 13.8 we already proved thatโฌ {(๐, ๐) ๐ ๐, ๐ and ๐ rational}4Solutions by positrรณn0802
16The Subspace Topologyis a basis for R, so by Theorem 15.1 the above set is a basis for R2 .Exercise 16.7. No. Consider ๐ Q with the usual order and let ๐ be any irrational real number.Then ๐ ( ๐, ๐) Q is convex in Q but it is not an interval nor a ray in Q.Exercise 16.8. Recall that R, Rโ , R๐ and R๐ข denote the standard, lower limit, discrete and upperlimit topologies on the set R respectively. We will identify ๐ฟ with the set of real numbers, andconsequently we shall consider its direction. (For instance, if ๐ฟ is a vertical line, then ๐ฟ can bedirected to the top or to the bottom.)First consider ๐ฟ as a subspace of Rโ R, which has all sets of the form [๐, ๐) (๐, ๐) as basis. If ๐ฟis vertical, then the topology on ๐ฟ is that of R (no matter its direction.) If ๐ฟ is not vertical, we shallconsider its direction. We will say that ๐ฟ is โdirected to the rightโ if the ๐ฅ coordinate increasesalong the direction of ๐ฟ, and that it is โdirected to the leftโ if ๐ฅ decreases along the direction of ๐ฟ.If ๐ฟ is directed to the right, the intersection of ๐ฟ with a basis element for Rโ R is either an openinterval or a half-open interval in ๐ฟ that includes the left endpoint, so the topology on ๐ฟ in thiscase is that of Rโ . Similarly, if ๐ฟ is directed to the left then the topology ๐ฟ inherits is that of R๐ข .Now consider ๐ฟ as a subspace of Rโ Rโ , which has all sets [๐, ๐) [๐, ๐) as basis. If ๐ฟ isvertical, we must consider two cases: if ๐ฟ is upward directed, then the topology on ๐ฟ is that ofRโ , and if it is downward directed, its topology is that of R๐ข . Now, if ๐ฟ is not vertical, it dependsagain on its direction. If ๐ฟ is directed to the right, it depends on its slope. It it has non-negativeslope, ๐ฟ inherits the topology of Rโ , as the intersection of ๐ฟ with a basis element is a half-openinterval in ๐ฟ that includes the left endpoint. Now, it ๐ฟ it has negative slope, then the intersectionof ๐ฟ with a basis element can be a single point, so the topology on ๐ฟ is that of R๐ . Similarly, if ๐ฟis directed to the left, then its topology is that of R๐ข if it has non-positive slope, and that of R๐ ifit has negative slope.Exercise 16.9. A (standard) basis element for the product topology R๐ R has the form {๐} (๐, ๐),so it is also an open set in the dictionary order topology on R R. Conversely, consider an interval(๐ ๐, ๐ ๐) in the dictionary order topology on R R. If ๐ ๐, this interval is clearly open inR๐ R, so assume ๐ ๐. We want to show that it is a union of sets of the form {๐} (๐, ๐). Wenote that since ๐ ๐, we have (๐ ๐, ๐ ๐) ๐ ๐ ๐ whereรรร {๐} (๐, ๐ ) , ๐ {๐} (๐ , ๐) and ๐ {๐ก } (๐ , ๐ ) .๐ ๐ ๐๐ ๐ก ๐๐ ๐๐ ๐It follows that the dictionary order topology on the set R R is the same as the product topologyR๐ R. This topology is strictly finer than the standard topology on R2 : clearly every open setin R2 with the standard topology is open in R๐ R with the product topology, and the open set{0} (0, 1) of R๐ R is not open in R2 .Exercise 16.10. On the set ๐ผ ๐ผ, let ๐ฏ1 denote the product topology, ๐ฏ2 denote the dictionaryorder topology, and ๐ฏ3 topology inherited as a subspace of R R in the dictionary order topology.We will show that ๐ฏ1 ( ๐ฏ3, ๐ฏ2 ( ๐ฏ3, and that ๐ฏ1 and ๐ฏ2 are not comparable.5Solutions by positrรณn0802
17Closed Sets and Limit PointsFirst we prove that ๐ฏ1 and ๐ฏ2 are not comparable. Let โฌ1 be the basis for ๐ฏ1 consisting ofall sets of the form (๐ผ ๐ด) (๐ผ ๐ต), where ๐ด and ๐ต are open in R; let โฌ2 be the usual basisfor the order topology ๐ฏ2, consisting of all intervals of the form (๐ ๐, ๐ ๐), [0 0, ๐ ๐ ) and(๐ โ, 1 1]. Then ๐ ๐ผ ( 21 , 1] โฌ1 and 12 1 ๐ , but there is no basis open set in โฌ2 thatcontains 12 1 and is contained in ๐ , so ๐ฏ2 ๐ฏ1 . Conversely, the set ๐ { 12 } (0, 1) is in โฌ2 and11112 2 ๐ , but there is no basis open set in โฌ1 containing 2 2 and contained in ๐ , so ๐ฏ1 ๐ฏ2 .Now, Exercise 9 the dictionary order topology on R R is the same as the product topologyR๐ R. Thus every basis open set in ๐ฏ1 is open in ๐ฏ3, so ๐ฏ1 ๐ฏ3 . Similarly, any basis openset in โฌ2 is open in ๐ฏ3, so ๐ฏ2 ๐ฏ3 . Finally, both contentio
Solutions to Topology Chapter 2 - Topological Spaces and Continuous Functions James Munkres Solutions by positrรณn0802 https://positron0802.wordpress.com