Solutions To Topology - Positron0802.files.wordpress

Transcription

Solutions toTopologyChapter 3 - Connectedness and CompactnesJames MunkresSolutions by positrΓ³n0802https://positron0802.wordpress.com1 January 2021Contents3 Connectedness and Compactness23 Connected Spaces . . . . . . . . . . . .24 Connected Subspaces of the Real Line .25 Components and Local Connectedness26 Compact Spaces . . . . . . . . . . . . .27 Compact Subspaces of the Real Line . .28 Limit Point Compactness . . . . . . . .29 Local Compactness . . . . . . . . . . .Supplementary Exercises: Nets . . . . . . . .3Connectedness and Compactness23Connected Spaces.11371216182124Exercise 23.1. If (𝑋, 𝒯 0) is connected, then (𝑋, 𝒯) is connected. The converse is not true ingeneral.ÐÐExercise 23.2. Suppose that 𝑛 𝐴𝑛 𝐡 𝐢, where 𝐡 and 𝐢 are disjoint open subsets of 𝑛 𝐴𝑛 .Since 𝐴1 is connected and a subset of 𝐡 𝐢, by Lemma 23.2 it lies entirely within either 𝐡 or𝐢. Without any loss of generality, we may assume 𝐴1 𝐡. Note that given 𝑛, if 𝐴𝑛 𝐡 then𝐴𝑛 1 𝐡, for if 𝐴𝑛 1 𝐢 then 𝐴𝑛 𝐴𝑛 1 𝐡 𝐢 , in contradiction with the assumption. ByÐÐinduction, 𝐴𝑛 𝐡 for all 𝑛 Z , so that 𝑛 𝐴𝑛 𝐡. It follows that 𝑛 𝐴𝑛 is connected.1

23Connected SpacesExercise 23.3. For each 𝛼 we have 𝐴 𝐴𝛼 , so each 𝐴 𝐴𝛼 is connected by Theorem 23.3.In turn {𝐴 𝐴𝛼 }𝛼 is a collection of connected spaces that have a point in common (namely anyÐÐpoint in 𝐴), so 𝛼 (𝐴 𝐴𝛼 ) 𝐴 ( 𝛼 𝐴𝛼 ) is connected by Theorem 23.3.Exercise 23.4. Suppose that 𝐴 is a non-empty subset of 𝑋 that is both open and closed, i.e., 𝐴and 𝑋 \ 𝐴 are finite or all of 𝑋 . Since 𝐴 is non-empty, 𝑋 \ 𝐴 is finite. Thus 𝐴 cannot be finite as𝑋 \ 𝐴 is infinite, so 𝐴 is all of 𝑋 . Therefore 𝑋 is connected.Exercise 23.5. Let 𝑋 have the discrete topology and let π‘Œ be a subspace of 𝑋 containing at leasttwo different points. Let 𝑝 π‘Œ . Then {𝑝} and π‘Œ \ {𝑝} are non-empty disjoint open sets in π‘Œ whoseunion is π‘Œ , so π‘Œ is not connected. It follows that a discrete space 𝑋 is totally disconnected.The converse does not hold: 𝑋 Q (with the standard topology) is totally disconnected(Example 4), but its topology is not the discrete topology.Exercise 23.6. Suppose that 𝐢 Bd 𝐴 𝐢 𝐴 𝑋 𝐴 . Then 𝐢 𝐴 and 𝐢 (𝑋 \𝐴) are a pair ofdisjoint non-empty sets whose union is all of 𝐢, neither of which contains a limit point of the other.Indeed, if 𝐢 (𝑋 𝐴) contains a limit point π‘₯ of 𝐢 𝐴, then π‘₯ 𝐢 (𝑋 𝐴) 𝐴 0 𝐢 𝐴 𝑋 𝐴 ,a contradiction, and similarly 𝐢 𝐴 does not contain a limit point of 𝐢 (𝑋 𝐴). Then 𝐢 𝐴 and𝐢 (𝑋 𝐴) constitute a separation of 𝐢, contradicting the fact that 𝐢 is connected (Lemma 23.1).Exercise 23.7. The space Rβ„“ is not connected, as ( , 0) and [0, ) are disjoint non-emptyopen sets in Rβ„“ whose union is all of Rβ„“ .Exercise 23.8. First, we show that Rπœ” is not connected in the uniform topology. Let 𝐴 and 𝐡denote the subsets of Rπœ” consisting of all bounded and all unbounded sequences respectively.Then 𝐴 𝐡 Rπœ” and 𝐴 𝐡 . If a Rπœ” , then the setπ‘ˆ (a, 1) (π‘Ž 1 1, π‘Ž 1 1) Β· Β· Β· (π‘Žπ‘› 1, π‘Žπ‘› 1) Β· Β· Β·contains the ball 𝐡 𝜌 (a, πœ€) if πœ€ 1, and consists entirely of bounded sequences if a 𝐴, and ofunbounded sequences if a 𝐡. Thus 𝐴 and 𝐡 are open in Rπœ” . Since they are non-empty, it followsthat Rπœ” is not connected in the uniform topology.Exercise 23.9. This is similar to the proof of Theorem 23.6. Take 𝑐 𝑑 (𝑋 \ 𝐴) (π‘Œ \ 𝐡). Foreach π‘₯ 𝑋 \ 𝐴, the setπ‘ˆπ‘₯ (𝑋 {𝑑 }) ({π‘₯ } π‘Œ )is connected since 𝑋 {𝑑 } and {π‘₯ } π‘Œ are connected and have the common point π‘₯ 𝑑. ThenΓπ‘ˆ π‘₯ 𝑋 \𝐴 π‘ˆπ‘₯ is connected because it is the union of the connected spaces π‘ˆπ‘₯ which have thepoint 𝑐 𝑑 in common. Similarly, for each 𝑦 π‘Œ \ 𝐡 the set𝑉𝑦 (𝑋 {𝑦}) ({𝑐} π‘Œ )Ðis connected, so 𝑉 𝑦 π‘Œ \𝐡 𝑉𝑦 is connected. Thus (𝑋 π‘Œ ) \ (𝐴 𝐡) π‘ˆ 𝑉 is connected since𝑐 𝑑 is a common point of π‘ˆ and 𝑉 .2Solutions by positrΓ³n0802

24Connected Subspaces of the Real LineExercise 23.10. (a) Let 𝐾 {𝛼 1, . . . , 𝛼𝑛 } 𝐽 . Then the function 𝑓 : 𝑋𝐾 𝑋𝛼 1 Β· Β· Β· 𝑋𝛼𝑛 givenby 𝑓 (x) (π‘₯𝛼 1 , . . . , π‘₯𝛼𝑛 ) is a homeomorphism. Since the latter is a finite product of connectedspaces, it is connected, and therefore so is 𝑋𝐾 .(b) Since a is a point in common of the collection {𝑋𝐾 }𝐾 of connected spaces 𝑋𝐾 , for 𝐾 𝐽finite, it follows that π‘Œ is connected.Î(c) Let x (π‘₯𝛼 )𝛼 𝑋 \ π‘Œ and let π‘ˆ be a (standard) basis element for 𝛼 𝑋𝛼 containing x, soÎthat π‘ˆ 𝛼 π‘ˆπ›Ό where π‘ˆπ›Ό is open in 𝑋𝛼 for all 𝛼 and π‘ˆπ›Ό 𝑋𝛼 except for finitely many indices,say 𝛼 1, . . . , 𝛼𝑛 . Let 𝐾 {𝛼 1, . . . , 𝛼𝑛 }. Then 𝐾 is a finite subset of 𝐽 . As x π‘Œ , there exists someÎindex 𝛽 𝐽 \𝐾 such that π‘₯ 𝛽 π‘Ž 𝛽 . Let y (𝑦𝛼 )𝛼 𝛼 𝑋𝛼 be such that 𝑦𝛼𝑖 π‘₯𝛼𝑖 for all 𝑖 1, . . . , 𝑛,and 𝑦𝛼 π‘Žπ›Ό for all other indices. Then y x, and y π‘ˆ 𝑋𝐾 π‘ˆ π‘Œ . Since π‘ˆ was arbitrary,we have x π‘Œ 0 . It follows that 𝑋 π‘Œ . We deduce that 𝑋 is connected from (b) and Theorem 23.4.Exercise 23.11. Suppose that π‘ˆ and 𝑉 constitute a separation of 𝑋 . If 𝑦 𝑝 (π‘ˆ ), then 𝑦 𝑝 (π‘₯)for some π‘₯ π‘ˆ , so that π‘₯ 𝑝 1 ({𝑦}). Since 𝑝 1 ({𝑦}) is connected and π‘₯ π‘ˆ 𝑝 1 ({𝑦}), wehave 𝑝 1 ({𝑦}) π‘ˆ . Thus 𝑝 1 ({𝑦}) π‘ˆ for all 𝑦 𝑝 (π‘ˆ ), so that 𝑝 1 (𝑝 (π‘ˆ )) π‘ˆ . The inclusionπ‘ˆ 𝑝 1 (𝑝 (π‘ˆ )) if true for any subset and function, so we have the equality π‘ˆ 𝑝 1 (𝑝 (π‘ˆ )) andtherefore π‘ˆ is saturated. Similarly, 𝑉 is saturated. Since 𝑝 is a quotient map, 𝑝 (π‘ˆ ) and 𝑝 (𝑉 ) aredisjoint non-empty open sets in π‘Œ . But 𝑝 (π‘ˆ ) 𝑝 (𝑉 ) π‘Œ as 𝑝 is surjective, so 𝑝 (π‘ˆ ) and 𝑝 (𝑉 )constitute a separation of π‘Œ , contradicting the fact that π‘Œ is connected. We conclude that 𝑋 isconnected.Exercise 23.12. Suppose that 𝐢 and 𝐷 form a separation of π‘Œ 𝐴. Since π‘Œ 𝐢 𝐷 and π‘Œ isconnected, π‘Œ is entirely contained in either 𝐢 or 𝐷; suppose π‘Œ 𝐢, so that 𝐷 𝐴. Since 𝐴 is openand closed in 𝑋 \ π‘Œ , there exist π‘ˆ open in 𝑋 and 𝐹 closed in 𝑋 such that 𝐴 (𝑋 \ π‘Œ ) π‘ˆ π‘ˆ \ π‘Œand 𝐴 (𝑋 \ π‘Œ ) 𝐹 𝐹 \ π‘Œ . Note that 𝐷 𝐴 π‘ˆ and 𝐷 𝐴 𝐹 . Since 𝐷 is open in π‘Œ 𝐴 andπ‘ˆ (π‘ˆ π‘Œ ) π‘Œ π‘Œ 𝐴, it follows that 𝐷 is open in π‘ˆ . Similarly, 𝐷 is closed in 𝐹 . Thus 𝐷 isa non-empty subset open and closed in 𝑋, a contradiction. Hence π‘Œ 𝐴 is connected. Similarly,π‘Œ 𝐡 is connected.24Connected Subspaces of the Real LineExercise 24.1. (a) We follow the hint. If β„Ž : [0, 1] (0, 1] is a homeomorphism, then the restriction β„Ž 0 : (0, 1) (0, 1] \ {β„Ž(0), β„Ž(1)} of β„Ž is a homeomorphism between a connected space and adisconnected space, a contradiction. Similarly, (0, 1) is neither homeomorphic to [0, 1] nor (0, 1].(b) The function 𝑓 : (0, 1) (0, 1] given by 𝑓 (π‘₯) π‘₯/2 is continuous with image (0, 1/2),and the restriction 𝑓 0 : (0, 1) (0, 1/2) is a homeomorphism, so 𝑓 is an imbedding. Similarly,𝑔 : (0, 1] (0, 1) given by 𝑔(π‘₯) π‘₯/2 is an imbedding. But we know from (a) that (0, 1) and (0, 1]are not homeomorphic.(c) If 𝑓 : R𝑛 R is a homeomorphism, the restriction 𝑓 0 : R𝑛 \ {0} R \ {𝑓 (0)} is a homeomorphism, but R𝑛 \ {0} is connected (Example 4) while R \ {𝑓 (0)} can’t be connected. So thereis no homeomorphism between R𝑛 and R if 𝑛 1.3Solutions by positrΓ³n0802

24Connected Subspaces of the Real LineExercise 24.2. Let 𝑓 : 𝑆 1 R be continuous. Let π‘₯ 𝑆 1 . If 𝑓 (π‘₯) 𝑓 ( π‘₯) we are done, soassume 𝑓 (π‘₯) 𝑓 ( π‘₯). Define 𝑔 : 𝑆 1 R by setting 𝑔(π‘₯) 𝑓 (π‘₯) 𝑓 ( π‘₯). Then 𝑔 is continuous.Suppose 𝑓 (π‘₯) 𝑓 ( π‘₯), so that 𝑔(π‘₯) 0. Then π‘₯ 𝑆 1 and 𝑔( π‘₯) 0. By the intermediate valuetheorem, since 𝑆 1 is connected and 𝑔( π‘₯) 0 𝑔(π‘₯), there exists 𝑦 𝑆 1 such that 𝑔(𝑦) 0. i.e,𝑓 (𝑦) 𝑓 ( 𝑦). Similarly, if 𝑓 (π‘₯) 𝑓 ( π‘₯), then 𝑔(π‘₯) 0 𝑔( π‘₯) and again the intermediatevalue theorem gives the result.Exercise 24.3. If 𝑓 (0) 0 or 𝑓 (1) 1 we are done, so suppose 𝑓 (0) 0 and 𝑓 (1) 1. Let𝑔 : [0, 1] [0, 1] be given by 𝑔(π‘₯) 𝑓 (π‘₯) π‘₯ . Then 𝑔 is continuous, 𝑔(0) 0 and 𝑔(1) 0. Since[0, 1] is connected and 𝑔(1) 0 𝑔(0), by the intermediate value theorem there exists π‘₯ (0, 1)such that 𝑔(π‘₯) 0, that is, such that 𝑓 (π‘₯) π‘₯ .If 𝑋 equals [0, 1) or (0, 1) this is no longer true. For example 𝑓 : (0, 1) (0, 1) given by 𝑓 (π‘₯) π‘₯/2 is continuous with no fixed points. Similarly 𝑔 : [0, 1) [0, 1) given by 𝑔(π‘₯) π‘₯/2 1/2 iscontinuous with no fixed points.Exercise 24.4. First we prove that 𝑋 has the least upper bound property. Let 𝐴 be a non-emptysubset of 𝑋 that is bounded above. Suppose that 𝐴 does not have a supremum, so that the set 𝐡of all upper bounds for 𝐴 does not have a smallest element. Consider the subsetsØØ𝐢 ( , π‘Ž) and 𝐷 (𝑏, )π‘Ž 𝐴𝑏 𝐡of 𝑋 . Note 𝐢 and 𝐷 are non-empty since 𝐴 does not have a supremum, and they are union of openrays, so they are open in 𝑋 . They are also disjoint, for suppose π‘₯ 𝐢 𝐷. Then π‘₯ (𝑏, ) forsome 𝑏 𝐡, so π‘₯ is an upper bound for 𝐴. Also, π‘₯ ( , π‘Ž) for some π‘Ž 𝐴, so 𝑐 π‘Ž 𝑐, absurd.Thus 𝐢 𝐷 . Finally, let π‘₯ 𝑋 . Then either π‘₯ 𝐡 or π‘₯ 𝑋 \ 𝐡. If π‘₯ 𝐡, since 𝐡 does nothave a smallest element, there exist 𝑏 𝐡 such that 𝑏 𝑐, so 𝑐 (𝑏, ) 𝐷. If π‘₯ 𝑋 \ 𝐡, thereexists π‘Ž 𝐴 such that π‘₯ π‘Ž, so π‘₯ ( , π‘Ž) 𝐢. It follows that 𝐢 and 𝐷 form a separation of 𝑋,contradicting the fact that 𝑋 is connected. Hence, 𝐴 has a supremum. Since 𝐴 was arbitrary, 𝑋has the least upper bound property.Now, if π‘₯ 𝑦 and there is no element 𝑧 such that π‘₯ 𝑧 𝑦, then the sets ( , 𝑦) and (π‘₯, )form a separation of 𝑋, a contradiction. We conclude that 𝑋 is a linear continuum.Exercise 24.5. (a) We prove that 𝐴 Z [0, 1) is a linear continuum. Let π‘₯ 𝑦, 𝑧 𝑀 𝐴𝑦 𝑀and suppose that π‘₯ 𝑦 𝑧 𝑀 . If π‘₯ 𝑧 and 𝑦 𝑀, then π‘₯ 𝑦 π‘₯ 2 𝑧 𝑀 . If π‘₯ 𝑧,π‘₯ 𝑧then π‘₯ 𝑦 2 0 𝑧 𝑀 . Now, if 𝑆 𝐴 is non-empty and bounded above, let πœ‹ 1 : 𝐴 Z and πœ‹ 2 : 𝐴 [0, 1) denote the projections onto the first and second factor respectively; letπ‘₯ max πœ‹1 (𝑆) and 𝑦 sup πœ‹ 2 (𝑆 ({π‘₯ } (0, 1])). If 𝑦 1, then π‘₯ 𝑦 sup 𝑆. If 𝑦 1, then(π‘₯ 1) 0 sup 𝑆. Since 𝑆 was arbitrary, 𝐴 have the least upper bound property. We concludethat 𝐴 Z [0, 1) is a linear continuum.(b) Since 0 1 0 2 but there is no element 𝑧 in [0, 1) Z such that 0 1 𝑧 0 2, itfollows that [0, 1) Z is not a linear continuum.4Solutions by positrΓ³n0802

24Connected Subspaces of the Real Line(c) We show that 𝐢 [0, 1) [0, 1] is a linear continuum. Similarly as in (a), for every π‘₯, 𝑦 𝐡such that π‘₯ 𝑦, there exists 𝑧 𝐢 such that π‘₯ 𝑧 𝑦. Let 𝑆 𝐢 be non-empty and boundedabove, and let πœ‹1 : 𝐢 [0, 1) and πœ‹ 2 : 𝐢 [0, 1] denote the projections. Let π‘₯ sup πœ‹ 1 (𝑆). Ifπ‘₯ πœ‹1 (𝑆), let 𝑦 sup πœ‹ 2 (𝑆 ({π‘₯ } [0, 1])); then π‘₯ 𝑦 sup 𝑆. If π‘₯ πœ‹1 (𝑆), then π‘₯ 0 sup 𝑆.Since 𝑆 was arbitrary, 𝐢 have the least upper bound property, so 𝐢 [0, 1) [0, 1] is a linearcontinuum.(d) [0, 1] [0, 1) is not a linear continuum, since for any π‘₯ [0, 1), the subset 𝑆 {π‘₯ } [0, 1)is bounded above but does not have a least upper bound.Exercise 24.6. Let 𝑋 be a well-ordered set. π‘₯ 𝑦, 𝑧 𝑀 𝑋 [0, 1); suppose that π‘₯ 𝑦 𝑧 𝑀 . If𝑦 𝑀𝑦 1π‘₯ 𝑧 and 𝑦 𝑀, then π‘₯ 𝑦 π‘₯ 2 𝑧 𝑀 . If π‘₯ 𝑧, then π‘₯ 𝑦 π‘₯ 2 𝑧 𝑀 . We prove that𝑋 [0, 1) have the greatest lower bound property, which is equivalent to having the least upperbound property. Let 𝑆 𝑋 [0, 1) be non-empty and bounded below; let πœ‹1 : 𝑋 [0, 1) 𝑋 andπœ‹2 : 𝑋 [0, 1) [0, 1) denote the projections onto the first and second factor respectively. Since𝑋 is a well-ordered set, πœ‹ 1 (𝑆) has a least element π‘₯ . Then π‘₯ 𝑦, where 𝑦 inf πœ‹2 (𝑆 ({π‘₯ } 𝑆)),is a greatest lower bound for 𝑆. Since 𝑆 was arbitrary, 𝑋 [0, 1) have the greatest lower boundproperty. It follows that 𝑋 [0, 1) is a linear continuum.Exercise 24.7. (a) Since 𝑓 is order-preserving, it is injective, hence a bijection. Let (π‘Ž, ) be anopen ray in π‘Œ , π‘₯ 𝑓 1 (π‘Ž). Then 𝑓 1 ((π‘Ž, )) (π‘₯, ), so 𝑓 1 ((π‘Ž, )) is open in 𝑋 . Similarly,𝑓 1 (( , 𝑏)) ( , 𝑓 1 (𝑏)) is open in 𝑋 for each 𝑏 π‘Œ . Since open rays constitute a subbasisfor the order topology on π‘Œ , and their preimages are open in 𝑋, it follows that 𝑓 is continuous.Similarly, 𝑓 ((𝑐, )) (𝑓 (𝑐), ) and 𝑓 (( , 𝑑)) ( , 𝑓 (𝑑)) are open in π‘Œ , so the image ofevery open ray in 𝑋 is open in π‘Œ and hence 𝑓 is an open map. Therefore, 𝑓 a homeomorphism.(b) Given 𝑦 R , the point 𝑦 1/𝑛 R satisfies 𝑓 (𝑦 1/𝑛 ) 𝑦, so 𝑓 is surjective. If π‘₯, 𝑦 R andπ‘₯ 𝑦, then π‘₯ 2 π‘₯𝑦 𝑦 2 . Inductively, π‘₯ π‘˜ π‘¦π‘˜ for all π‘˜ Z , so 𝑓 is order-preserving. By (a), 𝑓is a homeomorphism, so its inverse, the 𝑛th root function, is continuous.(c) Let π‘₯ R. If π‘₯ 0, then 𝑓 (π‘₯) π‘₯ . If π‘₯ 0, then 𝑓 (π‘₯ 1) π‘₯ . Thus 𝑓 is surjective.Furthermore, 𝑓 is clearly order-preserving. But 𝑓 can’t be a homeomorphism, since R is connectedwhile ( , 1) [0, ) is not. (Recall from Theorem 16.4 that if 𝑋 have the order topologyand π‘Œ 𝑋 is convex, then the subspace topology on π‘Œ equals the order topology on π‘Œ . Since( , 1) [0, ) is not convex, we do not expect that this two topologies are equal. Indeed,[0, ) is open in the subspace topology on ( , 1) [0, ) while is not open in the ordertopology on ( , 1) [0, ).)Exercise 24.8. (a) Let {𝑋𝛼 }𝛼 𝐽 be a collection of path-connected spaces and consider the productÎÎspace 𝛼 𝑋𝛼 . Let x, y 𝛼 𝑋𝛼 . For each 𝛼, there exists a continuous function 𝑓𝛼 : [0, 1] π‘‹π›ΌΓŽsuch that 𝑓𝛼 (0) π‘₯𝛼 and 𝑓𝛼 (1) 𝑦𝛼 . Let 𝑓 : [0, 1] 𝑋𝛼 be given by the equation 𝑓 (𝑑) (𝑓𝛼 (𝑑))𝛼 𝐽 . Then 𝑓 is continuous by Theorem 19.6. Moreover, 𝑓 (0) x and 𝑓 (1) y, so x andÎÎy can be joined by a path in 𝛼 𝑋𝛼 . Since x, y 𝛼 𝑋𝛼 were arbitrary, we conclude that theÎproduct space 𝛼 𝑋𝛼 is path-connected.5Solutions by positrΓ³n0802

24Connected Subspaces of the Real Line(b) It’s not true that 𝐴 path-connected implies 𝐴 path-connected. For instance, see Example7: the subspace 𝐴 {π‘₯ sin(1/π‘₯) 0 π‘₯ 1} of R2 is pa

Solutions to Topology Chapter 3 - Connectedness and Compactnes James Munkres Solutions by positrΓ³n0802 https://positron0802.wordpress.com 1 January 2021