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