Solutions to Topology Chapter 3 - Connectedness and Compactnes James Munkres Solutions by positrón0802 https://positron0802.wordpress.com 1 January 2021 Contents 3 Connectedness and Compactness 23 Connected Spaces . . . . . . . . . . . . 24 Connected Subspaces of the Real Line . 25 Components and Local Connectedness 26 Compact Spaces . . . . . . . . . . . . . 27 Compact Subspaces of the Real Line . . 28 Limit Point Compactness . . . . . . . . 29 Local Compactness . . . . . . . . . . . Supplementary Exercises: Nets . . . . . . . . . . . . . . . . . . . . . . . . 3 Connectedness and Compactness 23 Connected Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 3 7 12 16 18 21 24 Exercise 23.1. If (π, π― 0) is connected, then (π, π―) is connected. The converse is not true in general. Ð Ð 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 23 Connected Spaces Exercise 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 least two different points. Let π ∈ π . Then {π} and π \ {π} are non-empty disjoint open sets in π whose union 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 of disjoint 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-empty open 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 of unbounded sequences if a ∈ π΅. Thus π΄ and π΅ are open in Rπ . Since they are non-empty, it follows that Rπ is not connected in the uniform topology. Exercise 23.9. This is similar to the proof of Theorem 23.6. Take π × π ∈ (π \ π΄) × (π \ π΅). For each π₯ ∈ π \ π΄, 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 the point π × π in common. Similarly, for each π¦ ∈ π \ π΅ the set ππ¦ = (π × {π¦}) ∪ ({π} × π ) Ð is connected, so π = π¦ ∈π \π΅ ππ¦ is connected. Thus (π × π ) \ (π΄ × π΅) = π ∪ π is connected since π × π is a common point of π and π . 2 Solutions by positrón0802 24 Connected Subspaces of the Real Line Exercise 23.10. (a) Let πΎ = {πΌ 1, . . . , πΌπ } ⊂ π½ . Then the function π : ππΎ → ππΌ 1 × · · · × ππΌπ given by π (x) = (π₯πΌ 1 , . . . , π₯πΌπ ) is a homeomorphism. Since the latter is a finite product of connected spaces, 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 ({π¦}), we have π −1 ({π¦}) ⊂ π . Thus π −1 ({π¦}) ⊂ π for all π¦ ∈ π (π ), so that π −1 (π (π )) ⊂ π . The inclusion π ⊂ π −1 (π (π )) if true for any subset and function, so we have the equality π = π −1 (π (π )) and therefore π is saturated. Similarly, π is saturated. Since π is a quotient map, π (π ) and π (π ) are disjoint non-empty open sets in π . But π (π ) ∪ π (π ) = π as π is surjective, so π (π ) and π (π ) constitute a separation of π , contradicting the fact that π is connected. We conclude that π is connected. Exercise 23.12. Suppose that πΆ and π· form a separation of π ∪ π΄. Since π ⊂ πΆ ∪ π· and π is connected, π is entirely contained in either πΆ or π·; suppose π ⊂ πΆ, so that π· ⊂ π΄. Since π΄ is open and 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 π· is a non-empty subset open and closed in π, a contradiction. Hence π ∪ π΄ is connected. Similarly, π ∪ π΅ is connected. 24 Connected Subspaces of the Real Line Exercise 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 a disconnected 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 there is no homeomorphism between Rπ and R if π > 1. 3 Solutions by positrón0802 24 Connected Subspaces of the Real Line Exercise 24.2. Let π : π 1 → R be continuous. Let π₯ ∈ π 1 . If π (π₯) = π (−π₯) we are done, so assume π (π₯) ≠ π (−π₯). Define π : π 1 → R by setting π(π₯) = π (π₯) − π (−π₯). Then π is continuous. Suppose π (π₯) > π (−π₯), so that π(π₯) > 0. Then −π₯ ∈ π 1 and π(−π₯) < 0. By the intermediate value theorem, since π 1 is connected and π(−π₯) < 0 < π(π₯), there exists π¦ ∈ π 1 such that π(π¦) = 0. i.e, π (π¦) = π (−π¦). Similarly, if π (π₯) < π (−π₯), then π(π₯) < 0 < π(−π₯) and again the intermediate value 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 is continuous with no fixed points. Exercise 24.4. First we prove that π has the least upper bound property. Let π΄ be a non-empty subset 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 open rays, so they are open in π . They are also disjoint, for suppose π₯ ∈ πΆ ∩ π·. Then π₯ ∈ (π, +∞) for some π ∈ π΅, so π₯ is an upper bound for π΄. Also, π₯ ∈ (−∞, π) for some π ∈ π΄, so π < π ≤ π, absurd. Thus πΆ ∩ π· = ∅. Finally, let π₯ ∈ π . Then either π₯ ∈ π΅ or π₯ ∈ π \ π΅. If π₯ ∈ π΅, since π΅ does not have a smallest element, there exist π ∈ π΅ such that π < π, so π ∈ (π, +∞) ⊂ π·. If π₯ ∈ π \ π΅, there exists π ∈ π΄ 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 conclude that π΄ = 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, it follows that [0, 1) × Z+ is not a linear continuum. 4 Solutions by positrón0802 24 Connected 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 bounded above, 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 linear continuum. (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 upper bound 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 bound property. 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 an open ray in π , π₯ = π −1 (π). Then π −1 ((π, +∞)) = (π₯, +∞), so π −1 ((π, +∞)) is open in π . Similarly, π −1 ((−∞, π)) = (−∞, π −1 (π)) is open in π for each π ∈ π . Since open rays constitute a subbasis for the order topology on π , and their preimages are open in π, it follows that π is continuous. Similarly, π ((π, +∞)) = (π (π), +∞) and π ((−∞, π)) = (−∞, π (π)) are open in π , so the image of every 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 connected while (−∞, −1) ∪ [0, +∞) is not. (Recall from Theorem 16.4 that if π have the order topology and π ⊂ π 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 order topology 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. 5 Solutions by positrón0802 24 Connected Subspaces of the Real Line (b) It’s not true that π΄ path-connected implies π΄ path-connected. For instance, see Example 7: the subspace π΄ = {π₯ × sin(1/π₯) | 0 < π₯ ≤ 1} of R2 is path-connected, but its closure π = π ∪ ({0} × [−1, 1]), the topologist’s sine curve, is not. (c) If π (π₯), π (π¦) ∈ π (π ), there exists a continuous function π : [0, 1] → π such that π(0) = π₯ and π(1). Then π β¦ π : [0, 1] → π (π ) is continuous and (π β¦ π) (0) = π (π₯), (π β¦ π) (0) = π (π¦). Thus π (π ) is path-connected. Ñ Ð (d) Let π§ ∈ πΌ π΄πΌ . Let π₯, π¦ ∈ πΌ π΄πΌ . Then there exist indices π½, πΎ such that π₯ ∈ π΄π½ and π¦ ∈ π΄πΎ . Since π΄π½ is path-connected, there exist a continuous function π : [0, 1] → π΄π½ such that π (0) = π₯ and π (1) = π§. Similarly, there is a continuous function π : [1, 2] → π΄πΎ such that π(1) = π§ and π(2) = π¦. By Theorem 18.2(e), the functions π 0 : [0, 1] → π΄π½ ∪ π΄πΎ and π 0 : [1, 2] → π΄π½ ∪ π΄πΎ obtained by expanding the range of π and π respectively are continuous. By the pasting lemma (Theorem 18.3), since [0, 1] and [1, 2] are closed in [0, 2] and π 0 (1) = π 0 (1), we can combine π 0 and π 0 to obtain a continuous function β : [0, 2] → π΄π½ ∪ π΄πΎ by setting β(π₯) = π 0 (π₯) if π₯ ∈ [0, 1] Ð and β(π₯) = π 0 (π₯) if π₯ ∈ [1, 2]. Applying Theorem 18.2(e) again, the function β 0 : [0, 2] → πΌ π΄πΌ obtained by expanding the range of β is continuous, and furthermore, β 0 (0) = π₯ and β 0 (2) = π¦. Ð Ð Thus π₯ and π¦ can be joined by a path in πΌ π΄πΌ . It follows that πΌ π΄πΌ is path-connected. Exercise 24.9. We use the hint. Let π₯, π¦ ∈ R2 \ π΄. There are uncountable many lines passing through π₯, and π΄ is countable, so choose one of the lines that do not intersect π΄. Then choose a line passing though π¦ that does not intersect π΄ but intersects the line passing though π₯ . These two lines are path-connected and have a point in common, so their union is path-connected by Exercise 24.8(d). Thus π₯ and π¦ can be joined by a path in R2 \π΄. Since π₯, π¦ ∈ R2 \π΄ were arbitrary, it follows that that R2 \ π΄ is path-connected. Exercise 24.10. We follow the hint. Given π₯ ∈ π , let πΆπ₯ be the set of points that can be joined to π₯ by a path in π . If π¦ ∈ πΆπ₯ , since π is open, there exists a ball π΅π (π¦, π ) entirely contained within π . Then every point in π΅π (π¦, π ) can be joined to π¦ by a path in π , hence can be joined to π₯ . So π¦ ∈ π΅π (π¦, π ) ⊂ πΆπ₯ and πΆπ₯ is open in π . Similarly, if π§ ∈ π \ πΆπ₯ , let π 0 > 0 be so that the ball π΅π (π§, π 0) is entirely contained within π . Then none of the points in π΅π (π§, π 0) can be joined to π₯ by a path in π , for then π§ could be joined to π₯ . So π§ ∈ π΅π (π§, π 0) ⊂ π \ πΆπ₯ and π \ πΆπ₯ is open in π . Thus πΆπ₯ is non-empty and both open and closed in π , which is connected, so πΆπ₯ = π . Since π₯ was arbitrary, it follows that π is path-connected. Exercise 24.11. Let π΅ 2 denote the closed unit ball in R2, and πΆ denote the closed ball with centre 2 × 0 and radius 1. Then 1 × 0 ∈ π΅ 2 ∩ πΆ, so π΄ = π΅ 2 ∪ πΆ is connected. But Int π΄ is not connected, since Int π΅ 2 and Int πΆ form a separation of Int π΄. Furthermore, π΄ = (0, 1) is connected while Bd π΄ = {0, 1} is not. The converse does not hold either: Bd Q = R is connected while Q is not, and Int Q ∩ (0, 1) = (0, 1) is connected while Q ∩ (0, 1) is not. Exercise 24.12. (a) First assume that [π, π) has the order type of [0, 1). There exists an orderpreserving bijection π : [π, π) → [0, 1), so its restriction to [π, π) → [0, π (π)) is an order-preserving bijection. Thus [π, π (π)) has the order type of [0, π (π)), hence of [0, 1), and similarly for [π, π). 6 Solutions by positrón0802 25 Components and Local Connectedness Conversely, assume both [π, π) and [π, π) have the order type of [0, 1). Then we have orderpreserving bijections [π, π) → [0, 1/2) and [π, π) → [1/2, 1) which glue to an order-preserving bijection [π, π) → [0, 1). (b) First suppose that [π₯ 0, π) has the order type of [0, 1). Then, for given π we have π₯π < π₯π+1 < π, so by part (a) we deduce that [π₯π , π₯π+1 ) has the order type of (0, 1]. Conversely, suppose that each interval [π₯π , π₯π+1 ) has the order type of [0,1). Then for each π ∈ N there is an order 1 , and they all glue to an order-preserving preserving bijection ππ : [π₯π , π₯π+1 ) → 1 − 21π , 1 − 2π+1 bijection [π₯ 0, π) → [0, 1). (c) We follows the hint. We prove the claim by transfinite induction. The base case is when π is the successor of π 0, and it is clear. Now let π have a immediate predecessor π (greater than π 0 ) in π Ω . Then [π 0 × 0, π × 0) has the order type of [0, 1) by induction hypothesis, and so does [π × 0, π × 0]. It then follows from (a) that [π 0 × 0, π × 0) has the order type of [0, 1). Now suppose that π is not a successor in π Ω . Then there is an increasing sequence ππ in π Ω with π = supπ {ππ }. By induction, each interval [π 0 × 0, ππ × 0) has the order type of (0, 1]. Then so does [π 0 × 0, π × 0) by part (b). We deduce by the principle of transfinite induction that the interval [π 0 × 0, π × 0] of π Ω × [0, 1) has the order type of [0, 1) for all π in π Ω distinct from π 0 . (d) Let π 1 denote the successor of π 0 in π Ω . Consider the point π 1 × 0 ∈ πΏ. As [π 0 × 0, π 1 × 0) has the order type of [0, 1) by (c), any point in this interval can be connected to π 1 × 0 by a path in πΏ. Given π ≥ π 1, every point π × π‘ for π‘ ∈ [0, 1) can be connected to the point π × 0, and in turn π × 0 can be connected to π 1 × 0 by parts (a) and (b). Thus every point of πΏ can be joined by a path to π 1 × 0, so we deduce that πΏ is path-connected. (e) This is clear for points of the form π 0 × π‘, π‘ ∈ [0, 1). Now let π > π 0 and π‘ ∈ [0, 1). Then (π 0 × 0, π × 0) ⊂ πΏ is homeomorphic to (0, 1) ⊂ R by part (c) and Exercise 24.7(a), and hence so is (π 0 × 0, π × π‘). (f) We follow the hint. Suppose that πΏ can be imbedded in Rπ for some π. In particular, πΏ is second countable. Let π = {(ππ , π‘π )}π ∈N be any countable subset of π . Then there exists π ∈ π Ω such that π > ππ for all π ∈ N. Let π 0 = π + 1 denote the successor of π. Then {π 0 } × (0, 1) is a neighbourhood of π 0 × 21 in πΏ which does not intersect π . This is a contradiction by Theorem 30.3(b). It follows that πΏ cannot be imbedded in any Rπ . 25 Components and Local Connectedness Exercise 25.1. Let π΄ be a non-empty connected subspace of Rβ and let π ∈ π΄. Then [π, +∞) ∩π΄ is non-empty and both open and closed in π΄, so [π, +∞) ∩π΄ = π΄. Thus, if π ∈ π΄, then π ∉ (−∞, π), so π ≥ π. Similarly, π ≥ π for any π ∈ π΄, so π΄ = {π}. Since each path component lies in a connected component, it follows that only the singletons {π} are path-connected in Rβ . If π : R → Rβ is continuous, its image π (R) must be connected in Rβ , so must be a singleton. Hence the continuous maps π : R → Rβ are the constant maps (cf. Exercise 18.7(b)). Exercise 25.2. (a) The product space Rπ is connected by Example 7 of §13, so the whole space 7 Solutions by positrón0802 25 Components and Local Connectedness is the only component. Since R is path-connected, the product space Rπ is path-connected by Exercise 24.8(a), so the whole space is the only path component. (b) We use the hint. Note that given x ∈ Rπ , the map π : Rπ → Rπ given by π (y) = x − y is a homeomorphism. Therefore, x and y lie in the same component if and only if x−y lies in the same component of 0. We prove that this occurs exactly when x − y is bounded. Recall from Exercise 23.8 that the set π΄ of all bounded sequences and the set π΅ of all unbounded sequences constitute a separation of Rπ . Thus, if x − y lies in the same component of 0, it must belong to π΄, i.e., x − y must be bounded. Conversely, assume that x − y is bounded; we show that x − y lies in the same component of 0. Define π : [0, 1] → Rπ by π (π‘) = π‘ (x − y). Let π > 0 be such that |π₯π − π¦π | < π for all π ∈ Z+ . Given π > 0, let πΏ = π/π. Thus, if |π‘ − π‘ 0 | < πΏ, then π (π (π‘), π (π‘ 0 )) < πΏπ = π. Hence π is a path in Rπ from 0 to π (1) = x − y. So 0 and x − y lie in the same path component, and in particular in the same component. We conclude that x − y is bounded if and only if it lies the same component of 0, and this occurs if and only if x and y lie in the same component. (c) Let R∞ denote the subspace of Rπ in the box topology consisting of all sequences which are eventually zero. We have to prove that x and y lie in the same component of Rπ in the box topology if and only if x − y ∈ R∞ . First assume x − y ∈ R∞ . Define π : [0, 1] → Rπ by π (π‘) = y + π‘ (x − y). Since x − y ∈ R∞, we Î have π₯π −π¦π = 0 for all but finitely many indices π 1, . . . , ππ . Let π‘ ∈ R and let π = π ππ be a standard basis element for Rπ in the box topology containing π (π‘). For each π = 1, . . . , π, let π π > 0 be such that the ball centred at the π π -entry of π (π‘) and having radius π π is entirely contained within ππ π . Let π = min{π π }. Then π = π ∩ [0, 1], where π = (π‘ − π, π‘ + π) is a neighbourhood of π‘ in [0, 1] and satisfies π (π ) ⊂ π . Therefore π is continuous and hence a path in Rπ joining x and y. Conversely, assume that x − y ∉ R∞ . Then there are infinitely many indices π ∈ Z+ such that π₯π ≠ π¦π . Define β(z) : Rπ → Rπ by the equation ( π§π − π₯ π , if π₯π = π¦π , β(z) = (π€ 1, π€ 2, . . .), where π€π = π if π₯π ≠ π¦π . |π₯π −π¦π | (π§π − π₯π ), Then β(x) = 0 is bounded. But β(y) is not bounded since π₯π ≠ π¦π for infinitely many indices. Furthermore, β is a homeomorphism of Rπ onto itself by Exercise 19.8. Hence x and y do not lie in the same component of R∞ . Exercise 25.3. Let πΌ o2 denote the ordered square. If π₯ × π¦ ∈ πΌ o2 and π is a neighbourhood of π₯ × π¦, then π contains a basis interval. By Theorem 24.1, since πΌ o2 is a linear continuum, this basis interval is a connected neighbourhood of π₯ × π¦ contained in π . Hence πΌ o2 is locally connected. Now we prove that πΌ o2 is not locally path-connected. Let 0 < π < 1 and consider the point π × 1 ∈ πΌ o2 . Let π be a neighbourhood of π × 0; suppose that π contains a path-connected neighbourhood π of π × 1. Then π contains a point π × 0, where π > π. Similarly as in Example 6 of §24, let π : [0, 1] → π be a path joining π × 1 and π × 0. By the intermediate value theorem. π ([0, 1]) contains every point π₯ × π¦ between π × 1 and π × 0. Thus, for each π < π₯ < π, the set ππ₯ = π −1 ({π₯ } × (0, 1)) is non-empty and open in [0, 1], so we can choose a rational point 8 Solutions by positrón0802 25 Components and Local Connectedness ππ₯ ∈ ππ₯ . Then the map π₯ β¦→ ππ₯ is an injective mapping from (π, π) to Q, but the interval (π, π) is uncountable while Q is countable, a contradiction. Therefore, πΌ o2 is not locally path-connected at the points π × 1 with 0 < π < 1. Similarly, πΌ o2 is not locally path-connected at the points π × 0 with 0 < π < 1. Hence the path components are the segments {π₯ } × [0, 1] for π₯ ∈ [0, 1]. Exercise 25.4. Let π be a open connected set in π . By Theorem 25.4, each path component of π is open in π, hence open in π . Thus, each path component in π is both open and closed in π , so must be empty or all of π . It follows that π is path-connected. Exercise 25.5. (a) Each line segment joining π to a point of π is path-connected. Hence π is union of path-connected spaces with non-empty intersection, so π is path-connected by Exercise 24.8(d). The only connected open sets in π are singletons, so they are all path-connected. (b) In (a), π is locally connected precisely at π: if π ∈ π \ {π}, then any small neighbourhood of π intersects infinitely many lines, and has infinitely many components. We can extend the example. Let π = Q ∩ ( [0, 1] × {1}). Let π be the union of all line segments joining the point 1 × 0 to points in π . Similarly to (a), π is path-connected. Then π ∪π is path-connected as 1 × 0 ∈ π ∩π . But π ∪ π is locally connected at none of its points, as now every small neighbourhood of any point, including π and 1 × 0, has infinitely many components. Exercise 25.6. We use the hint. Let π be open in π and πΆ be a component of π . If π₯ ∈ πΆ, there is a connected subspace πΆπ₯ of π contained in π that contains a neighbourhood ππ₯ of π₯ . Since πΆπ₯ is connected, it must lie entirely within the component πΆ of π . Then π₯ ∈ ππ₯ ⊂ πΆπ₯ ⊂ πΆ, and Ð therefore πΆ = π₯ ∈πΆ ππ₯ is open in π . Since πΆ was arbitrary, each component of π is open in π ; since π was arbitrary, it follows from Theorem 25.3 that π . Exercise 25.7. We use the hint. We describe the set π . Without any loss of generality, we may assume that π is the origin of R2, π = (0, 0). There is a sequence {(ππ , 0)} of points of R2 that lies in the π₯-axis, so that ππ+1 < ππ for all π ∈ Z+, and such that (ππ , 0) → π = (0, 0) when π → ∞. The line segment πΏ from π to (π 1, 0) is in π, so π contains all points (ππ , 0). From each (ππ , 0) there are emanating infinite lines πΏπ,π with endpoint (ππ+1, π π ) for some π π > 0, and such that π π+1 < π π for all π and π π → 0 when π → ∞. The space π is the union of all this lines πΏπ,π and πΏ. First, we prove that π is not locally connected at π. We show that any connected neighbourhood π of π must contain all the points (ππ , 0). Since π is open, π contains all but finitely many (ππ , 0). Let π ∈ Z+ be such that (ππ , 0) ∈ π for all π ≥ π and (π π −1, 0) ∉ π . Since π is open and contains (π π , 0), there is a ball π΅ β π΅π ((π π , 0), π) in R2 such that (π π , 0) ∈ π΅ ∩ π ⊂ π . Then π΅ ∩ π intersects all but finitely many of the lines πΏπ,π . Each of these lines is connected and intersects π , so must lie entirely within π . But then (π π −1, 0) ∈ π , contradicting the choice of π . Thus (ππ , 0) ∈ π for all π ∈ Z+ . Therefore, if π is a neighbourhood of π that does not contain all (ππ , 0), then there is no connected neighbourhood of π contained in π . For example, π΅π (π, π ) ∩ π where π < π (π, (π 1, 0)), is a neighbourhood of π that contains no connected neighbourhood of π. Hence π is not locally connected at π. 9 Solutions by positrón0802 25 Components and Local Connectedness Now we prove that π is weakly locally connected at π. Let π be a neighbourhood of π. Since π is open in π, there exists an open set π in R2 such that π = π ∩ π . Then π contains an open ball π΅ β π΅π (π, π ) for some π > 0. Since ππ → 0, π΅ must contain all but finitely many of the (ππ , 0). Let π ∈ Z+ be such that (ππ , 0) ∈ πΏπ,π ⊂ π΅ for all π ≥ π and all π ∈ Z+, and such that (π π −1, 0) ∉ π΅. Then Ø Ø πΏπ,π ∪ (πΏ ∩ π ) for each π, πΆ= πΆπ , where πΆπ = π ≥π π ∈Z+ is a contained in π΅, hence contained in π . Furthermore, each πΆπ is path-connected being a union of path-connected spaces with the common point (ππ , 0), so πΆ is path-connected since π ∈ πΆπ for all π. In particular, πΆ is connected. Moreover, πΆ contains the set π΅π (π, πΏ) ∩ π for any πΏ < π π , so πΆ contains a neighbourhood of π. Since π was arbitrary, π is weakly locally connected at π. Exercise 25.8. We follow the hint. Let π be open in π and πΆ be a component of π . We prove that πΆ is open. If π· is a component of π −1 (π ) that intersects π −1 (πΆ), then π (π·) is connected and intersects πΆ, so must lie entirely in πΆ. Then π· ⊂ π −1 (πΆ). This proves that π −1 (πΆ) is union of components of π −1 (π ). Since π is locally connected and π −1 (π ) is open in π, each component of π −1 (π ) is open in π by Theorem 25.3, hence π −1 (πΆ) is open in π . Since π is an quotient map, πΆ is open in π . Therefore, each component of π is open in π . It follows from Theorem 25.3 that π is locally connected. Exercise 25.9. We use the hint. By Exercise 4 of Supplementary Exercises of Chapter 2, given π₯ ∈ πΊ, the maps π¦ β¦→ π₯π¦ and π¦ β¦→ π¦π₯ are homeomorphisms of πΊ onto itself. Since πΆ is a component, π₯πΆ and πΆπ₯ are both components that contain π₯, so they are equal. Hence π₯πΆ = πΆπ₯ for all π₯ ∈ πΊ, so πΆ is a normal subgroup of πΊ . Exercise 25.10. (a) The relation is clearly reflexive and symmetric. Now suppose π₯ ∼ π¦ and π¦ ∼ π§. If π₯ π§, then there exists a separation π = π΄ ∪ π΅ of π into disjoints open sets such that π₯ ∈ π΄ and π§ ∈ π΅. If π¦ ∈ π΄, then π¦ π§, in contradicting with the assumption. If π¦ ∈ π΅, then π¦ π₯ and again we have a contradiction. Thus π₯ ∼ π§ and the relation is transitive, hence an equivalence relation. (b) Let πΆ be a component of π . Let π₯, π¦ ∈ πΆ and suppose π₯ π¦. Then there is a separation π = π΄ ∪ π΅ of π into disjoint open sets such that π₯ ∈ π΄ and π¦ ∈ π΅. Then πΆ ∩ π΄ and πΆ ∩ π΅ form a separation of πΆ, contradicting the fact that πΆ is connected. Hence π₯ ∼ π¦ for all π₯, π¦ ∈ πΆ and thus πΆ lies within a quasicomponent of π . Now suppose that π is locally connected. Let πΆ be a component of π . If π₯ ∈ πΆ, there exists a connected neighbourhood π of π₯ in π such that π₯ ∈ π . Since π is connected and πΆ ∩ π ≠ ∅, then π₯ ∈ π ⊂ πΆ. This proves that πΆ is open in π . Since πΆ is connected, we have πΆ = πΆ and hence πΆ is also closed in π . Hence, the components of π are both open and closed in π . Now let π be a quasicomponent of π ; we show that π is connected. If π₯ ∈ π, there exists a component πΆ of π such that π₯ ∈ πΆ. This component must lie within a quasicomponent, so πΆ ⊂ π. If π¦ ∈ π, then π¦ lies in πΆ as well, for if π¦ ∈ π \πΆ, then πΆ and π \πΆ would constitute a separation of π into disjoint open sets such that π₯ ∈ πΆ and π¦ ∈ π \ πΆ. Thus π¦ ∈ πΆ for all π¦ ∈ π, which proves π = πΆ. Hence 10 Solutions by positrón0802 25 Components and Local Connectedness π is connected. This proves that the components and quasicomponents of π are the same if π is locally connected. (c) First consider π΄ = (πΎ × [0, 1]) ∪ {0 × 0} ∪ {0 × 1}. Let π = {0 × 0} ∪ {0 × 1}. For each π ∈ Z+, let ππ denote the vertical line ππ = {1/π} × [0, 1]. We show that the path components and components of π΄ are {0 × 0}, {0 × 1} and each ππ for π ∈ Z+ . We show that the quasicomponents 1 of π΄ are each ππ and π . If π₯ ∈ ππ , π¦ ∈ ππ and π < π, let π‘ ∈ [0, 1] be such that π1 < π‘ < π−1 . Then π΄ = π· ∪ πΈ, where π· = ((−∞, π‘) × R) ∩π΄ and πΈ = ((π‘, +∞) × R) ∩π΄ are disjoint open sets in π΄ such 1 that π₯ ∈ π· and π¦ ∈ πΈ, so π₯ π¦. Similarly, if π₯ ∈ π and π¦ ∈ ππ for some π, choose π1 < π‘ < π−1 ; then π΄ = π· ∪ πΈ where π· = ((−∞, π‘) × R) ∩ π΄ and πΈ = ((π‘, +∞) × R) ∩ π΄ are disjoint open sets in π such that π₯ ∈ π· and π¦ ∈ πΈ, so π₯ π¦. So, each quasicomponent of π΄ must lie within π or some ππ . Since each ππ is path-connected, is a path component, a component and a quasicomponent. Now π splits into two more components (hence path components): {0 × 0} and {0 × 1}. We prove that π is a quasicomponent. Suppose there is a separation π΄ = π· ∪ πΈ of π΄ into disjoint open sets in π΄ such that 0 × 0 ∈ π· and 0 × 1 ∈ πΈ. Then π· and πΈ must intercept some common ππ , so π· ∩ ππ and πΈ ∩ ππ is a separation of ππ , contradicting the fact that ππ is connected. Hence there is no such separation, and π is one single quasicomponent of π΄. Now consider π΅ = π΄∪( [0, 1]×{0}). For each π ∈ Z+, ππ = {1/π}×[0, 1] intersects ( [0, 1]×{0}). Since these two subspaces are path-connected, their union ππ path-connected. Since π΅ \ {0 × 1} equals the union of the ππ and 0 × 0 ∈ ππ for all π, then π΅ \ {0 × 1} is path-connected, hence connected. Since the closure of π΅ \ {0 × 1} is π΅, it follows that π΅ is connected, so it has only one component and one quasicomponent, namely itself. We now prove that there are two path components of π΅, namely π΅ \ {0 × 1} and {0 × 1}. Suppose that 0 × 1 and 0 × 0 can be joined by a path in π΅, so that there is a continuous function π : [0, 1] → π΅ such that π (0) = 0 × 0 and π (1) = 0 × 1. Let π1 = π β¦ π be the first coordinate function of π . Then π1 is continuous and π1 (0) = 0, π1 (1) = 1, so there exists π‘ 0 ∈ (0, 1) such that π (π‘ 0 ) = 1/2 and π1 (π‘) ≥ 1/2 for all π‘ ≥ π‘ 0 . Let πΆ = π΅ ∩ (R × [1/2, 1]) \ {0 × 1}. Then the restriction π 0 : [π‘ 0, 1] → πΆ of π is continuous, so 0 × 1 can be joined by a path in πΆ to the point π (π‘ 0 ) ∈ πΆ ⊂ π΄ \ {0 × 1}, which is impossible since {0 × 1} is a path component of π΄. Therefore, there is no path between 0 × 0 and 0 × 1, and we deduce that π΅ − {0 × 1} and {0 × 1} are the two path components of π΅. Finally, consider πΆ = (πΎ × [0, 1])∪(−πΎ × [−1, 0])∪( [0, 1] ×−πΎ)∪( [−1, 0] ×πΎ). For each π ∈ Z+, let ππ = [−1, 0] × {1/π}, ππ = {1/π} × [0, 1], ππ = [0, 1] × {−1/π, }, and ππ = {−1/π} × [−1, 0]. Ð Thus πΆ = π (ππ ∪ ππ ∪ ππ ∪ ππ ). The path components of πΆ are each of the sets ππ , ππ , ππ , ππ . We prove that πΆ is connected. Suppose it is not, so that there is a separation πΆ = π· ∪ πΈ of πΆ into two non-empty disjoint open sets. Fix π ∈ Z+ and consider the point 0 × (1/π ) ∈ π π . We can assume that 0 × (1/π ) ∈ π·. Since π π is (path) connected, π π ⊂ π·. Now, since 0 × (1/π ) is Ð a limit point of π ππ and π· does not contain any limit point of πΈ, all but finitely many ππ are contained in π·. Let π denote the union of those ππ contained in π·. Then each point 0 × (1/π) Ð is a limit point of π , so 0 × (1/π) ∈ π· for all π, and hence π ππ ⊂ π·. Similarly, each point Ð Ð (−1/π) × 0 ∈ ππ is a limit point of π ππ , so π ππ ⊂ π·. Continuing this argument, it follows Ð that πΆ = π (ππ ∪ ππ ∪ ππ ∪ ππ ) ⊂ π·, contradicting the fact that πΈ is non-empty. Thus πΆ is 11 Solutions by positrón0802 26 Compact Spaces connected, so it has only one component and one quasicomponent, namely itself. 26 Compact Spaces Exercise 26.1. (a) If (π, π― 0) is compact, then (π, π―) is compact. The converse is not true in general. (b) Suppose that π― ⊂ π― 0 . Let π΄ ∈ π― 0 . Then π \ π΄ is closed in (π, π― 0), so it is compact by Theorem 26.2. Since π― ⊂ π― 0, by (a) we have that π \ π΄ is compact in (π, π―), hence closed in (π, π―) by Theorem 26.3. Thus π΄ ∈ π―, and hence π― = π― 0 . This proves the claim. Exercise 26.2. (a) Let π΅ be a subspace of R in the finite complement topology, and let π be a covering of π΅ by open sets in R. Fix π΄ ∈ π. Then R \ π΄ is finite, say R \ π΄ = {π 1, . . . , ππ }. For each π = 1, . . . , π such that ππ ∈ π΅, choose an element of π containing ππ . Then these points ππ and π΄ constitute a finite subcollection of π that also covers π΅, so π΅ is compact by Lemma 26.1. Since π΅ was arbitrary, it follows that every subspace of R in the finite complement topology is compact. (b) We show that [0, 1] is not compact in this topology. For each π ∈ Z+, let π΅π = {1/π | π ≥ π}, and let π΄π = [0, 1] \ π΅π . Note that, for each π, π΄π ⊂ π΄π+1 . The collection π = {π΄π | π ∈ Z+ } is an open covering of [0, 1]; suppose that π contains a finite subcollection that covers [0, 1]. Let π be the greatest positive number such that π΄π belongs to this subcollection. Then 1/π ∉ π΄π , so no set of this subcollection contains 1/π , contradicting the fact that this subcollection covers [0, 1]. Therefore π is an open covering of [0, 1] with no finite subcovering, so [0, 1] is not compact in this topology. Ð Exercise 26.3. Let π1, . . . , ππ be compact subspaces of π . Let π be a covering of ππ=1 ππ by sets open in π . For each π = 1, . . . , π, π is a covering of ππ by sets open in π, so by Theorem 26.1, there Ð is a finite subcollection ππ β {π΄π1, . . . , π΄ππ π } of π covering ππ . Then π ππ is a finite subcollection Ð Ð of π covering ππ=1 ππ , so ππ=1 ππ is compact by Theorem 26.1. Exercise 26.4. Let π be a compact subspace of a metric space with metric π. Since any metric space is Hausdorff, π is closed by Theorem 26.3. Fix π¦ ∈ π . For each π ∈ Z+, let π΅π β π΅π (π¦, π) be the open ball centred at π¦ having radius π. Then the collection π = {π΅π }π ∈Z+ is an open covering of π, so there is a finite subcollection of π covering π . If π is the greatest positive number such that π΅ π belongs to this subcollection, then π ⊂ π΅ π , so π is bounded. Now, let π be an infinite space with the discrete topology. Then π is a metric space with the discrete metric π. Now π is closed in itself, and it is bounded since π ⊂ π΅π (π₯, 2) for any π₯ ∈ π . But π is not compact, for the collection of singletons {π₯ }, π₯ ∈ π, constitute an open covering with no finite subcovering. Exercise 26.5. For each π₯ ∈ π΄, by Lemma 26.4 there exist disjoint open sets ππ₯ and ππ₯ of π containing π₯ and π΅, respectively. Then {ππ₯ }π₯ ∈π΄ is an open covering of π΄, so there exist π₯ 1, . . . , π₯π ∈ π also covers π΄. The corresponding π are open in π and contain π΅, so π = π΄ such that {ππ₯π }π=1 π₯π Ñπ Ðπ π is open in π and contains π΅. Let π = π . Then π and π are open sets containing π₯ π₯ π π=1 π π=1 12 Solutions by positrón0802 26 Compact Spaces π΄ and π΅ respectively. Furthermore, they are disjoint, for if π ∈ π ∩ π , then π ∈ ππ₯π ∩ ππ₯π = ∅ for some π, a contradiction. Exercise 26.6. Let πΆ be closed in π . Then πΆ is compact by Theorem 26.2, so π (πΆ) is compact by Theorem 26.5. Thus π (πΆ) is closed by Theorem 26.3, so π is a closed map. Exercise 26.7. Let πΆ be closed in π × π . Let π₯ 0 ∈ π \ π 1 (πΆ). Then the slice π₯ 0 × π of π × π is contained in the open set (π ×π ) \πΆ of π ×π . Thus, by the tube lemma (Lemma 26.8), (π ×π ) \πΆ contains some tube π × π about π₯ 0 × π , where π is a neighbourhood of π₯ 0 in π . If π₯ ∈ π , then π₯ ×π¦ ∈ π ×π for all π¦ ∈ π , so π₯ ×π¦ ∉ πΆ for all π¦ ∈ π and hence π₯ ∉ π1 (πΆ). Then π₯ 0 ∈ π ⊂ π \π 1 (πΆ), so π \ π 1 (πΆ) is open in π and π1 (πΆ) is closed in π . Since πΆ was arbitrary, it follows that π 1 is a closed map. Exercise 26.8. First suppose that π is continuous. We prove that (π × π ) \ πΊ π is open in π × π . Let π₯ 0 × π¦0 ∈ (π × π ) \ πΊ π , so that π (π₯ 0 ) ≠ π¦0 . Since π is Hausdorff, there exist disjoint open sets π and π in π such that π (π₯ 0 ) ∈ π and π¦0 ∈ π . Then π −1 (π ) × π is a neighbourhood of π₯ 0 × π¦0 . Furthermore, it does not intercept πΊ π , for if π₯ × π¦ ∈ (π −1 (π ) × π ) ∩ πΊ π , then π (π₯) = π¦ and π (π₯) × π¦ ∈ π ∩ π = ∅, absurd. Thus π₯ 0 × π¦0 ∈ π −1 (π ) × π ⊂ (π × π ) \ πΊ π , so (π × π ) \ πΊ π is open in π × π and hence πΊ π is closed in π × π . Conversely, assume that πΊ π is closed in π × π . We use the hint. Let π₯ 0 ∈ π and let π be a neighbourhood of π (π₯ 0 ). Then πΆ β πΊ π ∩ (π × (π \ π )) is closed in π × π , so by Exercise 26.7, since π is compact, π 1 (πΆ) is closed in π . We claim that π β π \ π1 (πΆ) is a neighbourhood of π₯ 0 such that π (π ) ⊂ π . Indeed, π₯ 0 ∈ π since π (π₯ 0 ) ∉ π \ π . Let π₯ ∈ π and suppose that π (π₯) ∉ π . Then π₯ × π (π₯) ∈ πΊ π ∩ (π × (π \ π )) = πΆ, so π1 (π₯ × π (π₯)) = π₯ ∈ π1 (πΆ), contradicting the fact that π₯ ∈ π . Therefore, π is a neighbourhood of π₯ 0 such that π (π ) ⊂ π , so π is continuous. Exercise 26.9. Let π ∈ π΄ and consider the slice π × π΅. Then π × π΅ ⊂ π . Cover π × π΅ by standard basis elements π × π for π × π lying in π . Since π × π΅ is compact, there are finitely many such basis elements π1 × π 1, . . . ,ππ × ππ that also cover π × π΅, such that ππ × ππ actually intersects π × π΅ for each π. Let π π Ù Ø ππ = ππ and ππ = ππ . π=1 π=1 Then ππ is a neighbourhood of π and ππ is open in π and contains π΅. Furthermore, ππ × ππ ⊂ π . Indeed, if π₯ × π¦ ∈ ππ × ππ , then there exists π ∈ {1, . . . , π} such that π¦ ∈ ππ , and hence π₯ × π¦ ∈ ππ ×ππ ⊂ π . Now, each ππ ×ππ is open in π ×π , so the collection {ππ ×ππ }π ∈π΄ is an open covering of π΄×π΅. Since π΄×π΅ is compact, a finite subcollection also covers π΄×π΅, say ππ1 ×ππ1 , . . . , πππ ×πππ . Let π π Ø Ù π = πππ and π = πππ , π=1 π=1 so that π is open in π and π is open in π . We claim that π΄×π΅ ⊂ π ×π ⊂ π . Indeed, if π ×π ∈ π΄×π΅, then π × π ∈ πππ × πππ for some π = 1, . . . , π, so π ∈ π . Since each ππ contains π΅, we have π΅ ⊂ π , 13 Solutions by positrón0802 26 Compact Spaces so π ∈ π . Thus π × π ∈ π × π . Finally, if π₯ × π¦ ∈ π × π , then π¦ ∈ πππ for some π = 1, . . . , π, so π₯ × π¦ ∈ πππ × πππ ⊂ π . Exercise 26.10. (a) Note that ππ (π₯) ≤ π (π₯) for all π ∈ Z+ and all π₯ ∈ π . Let π > 0. For each π₯ ∈ π, there exists ππ₯ ∈ Z+ such that π (π₯) − ππ (π₯) < π for all π ≥ ππ₯ . Since π and ππ are continuous, there exists a neighbourhood ππ₯ of π₯ such that π (π§) − ππ (π§) < π for all π§ ∈ ππ₯ . Now {ππ₯ }π₯ ∈π is an π also open covering of π, so there exist π₯ 1, . . . , π₯π ∈ π such that the finite subcollection {ππ₯π }π=1 covers π . Let π = max{ππ₯ 1 , . . . , ππ₯π }. Given π₯ ∈ π, there exists π ∈ {1, . . . , π} such that π₯ ∈ ππ₯π ; since π ≥ ππ₯π , we have π (π₯) − ππ (π₯) < π for all π ≥ π . Thus π (π₯) − ππ (π₯) < π for all π ≥ π and all π₯ ∈ π, so ππ converges uniformly to π . (b) In Exercise 21.9 we proved that the sequence of functions ππ : R → R given by ππ (π₯) = π 3 [π₯ 1 − (1/π)] 2 + 1 converges to the zero function, but not uniformly as the sequence π₯π = 1/π converges to π₯ = 0 but ππ (π₯π ) = 1 for all π. We can restrict its domain to any compact interval [0, 1], and the convergence is still not uniform. So the theorem fails if we delete the requirement that the sequence be monotone. Now consider ππ : R → R given by ππ (π₯) = arctan(π₯ + π). The sequence (ππ )π converges point-wise to the constant (hence continuous) function π ≡ π/2, and the sequence is monotone. Since ππ (−π) = 0 for all π, the convergence is not uniform. So the theorem fails if we delete the requirement that π be compact. Exercise 26.11. We use the hint. Since each π΄ ∈ π is closed, π is closed. Suppose that πΆ and π· form a separation of π . Then πΆ and π· are closed in π , hence closed in π . Since π is compact, πΆ and π· are compact by Theorem 26.2. Since π is Hausdorff, by Exercise 26.5, there exist π and π open in π and disjoint containing πΆ and π·, respectively. We show that Ù (π΄ \ (π ∪ π )) π΄∈π is not empty. Let {π΄1, . . . , π΄π } be a finite subcollection of elements of π. We may assume that π΄π ( π΄π+1 for all π = 1, . . . , π − 1. Then π Ù (π΄π \ (π ∪ π )) = π΄1 \ (π ∪ π ). π=1 Suppose that π΄1 \ (π ∪ π ) = ∅. Then π΄1 ⊂ π ∪ π . Since π΄1 is connected and π ∩ π = ∅, π΄1 lies within either π or π , say π΄1 ⊂ π . Then π ⊂ π΄1 ⊂ π , so that πΆ = π ∩πΆ ⊂ π ∩π = ∅, contradicting Ñ the fact that πΆ and π· form a separation of π . Hence, ππ=1 (π΄π \ (π ∪ π )) is non-empty. Therefore, the collection {π΄ \ (π ∪ π ) | π΄ ∈ π} has the finite intersection property, so Ù Ù (π΄ \ (π ∪ π )) = π΄ \ (π ∪ π ) = π \ (π ∪ π ) π΄∈π π΄∈π 14 Solutions by positrón0802 26 Compact Spaces is non-empty by Theorem 26.9. So there exists π¦ ∈ π such that π¦ ∉ π ∪ π ⊂ πΆ ∪ π·, contradicting the fact that πΆ and π· form a separation of π . We conclude that there is no such separation, so that π is connected. Exercise 26.12. We use the hint. We first show that if π is an open set containing π −1 ({π¦}), then there is a neighbourhood π of π¦ such that π −1 (π ) is contained in π . Since π − π is closed in π, π (π − π ) is closed in π and does not contain π¦, so π = π \ π (π \ π ) is a neighbourhood of π¦. Moreover, since π \ π ⊂ π −1 (π (π \ π )) (by elementary set theory), we have π −1 (π ) = π −1 (π \ π (π \ π )) = π −1 (π ) \ π −1 (π (π \ π )) ⊂ π \ (π \ π ) = π . Now let π be an open covering of π . For each π¦ ∈ π , let ππ¦ be a subcollection of π such that Ø π −1 ({π¦}) ⊂ π΄. π΄∈ππ¦ Since π −1 ({π¦}) is compact, there exists a finite subcollection of ππ¦ that also covers π −1 ({π¦}), say Ðπ π¦ π π π΄π¦ is open and contains π −1 ({π¦}), so there exists a neighbourhood ππ¦ {π΄1π¦ , . . . , π΄π¦π¦ }. Thus π=1 Ðπ π¦ π −1 of π¦ such that π (ππ¦ ) is contained in π=1 π΄π¦ . Then {ππ¦ }π¦ ∈π is an open covering of π , so there π exist π¦1, . . . , π¦π ∈ π such that {ππ¦ π } π=1 also covers π . Then −1 π = π (π ) ⊂ π −1 π Ø ππ¦ π = π=1 so π Ø −1 π (ππ¦ π ) ⊂ π=1 n o π΄ππ¦ π ππ¦ π π Ø Ø π=1 π΄ππ¦ π , π=1 π=1,...,π. π=1,...,π π¦ π . is a finite subcollection of π that also covers π . Therefore, π is compact. Exercise 26.13. (a) We follow the hint. Let π ∈ πΊ not in π΄ · π΅. Let π ∈ π΅. Then π · π −1 ∉ π΄. By Supplementary Exercise 7(c) of Chapter 2, there exists a neighbourhood π of π · π −1 disjoint from π΄. Then π = π · π΅ is a neighbourhood of π disjoint from π΄ · π΅. It follows that π΄ · π΅ is closed in πΊ . (b) Let π΄ be closed in πΊ . Let π₯ ∈ πΊ be such that π₯π» ∉ π (π΄). Then π₯ ∉ π΄ · π», which in closed in πΊ by compactness of π» and part (a), so there exists a neighbourhood π of π₯ disjoint from π΄ · π» . By Supplementary Exercise 5(c) of Chapter 2, π is an open map, so π (π ) is a neighbourhood of π₯π» disjoint from π (π΄). It follows that π is a closed map. (c) The projection π : πΊ → πΊ/π» is continuous and surjective, and it is closed by part (b). For every π₯ ∈ πΊ, the subspace π −1 (π₯π» ) = π₯π» is compact, being homeomorphic to π» (Supplementary Exercise 4 of Chapter 2). We conclude by Exercise 26.12 that πΊ is compact. 15 Solutions by positrón0802 27 Compact Subspaces of the Real Line 27 Compact Subspaces of the Real Line Exercise 27.1. Let π΄ be a subset of π bounded above. Then π΄ is closed, hence compact by assumption. Applying Theorem 27.4 to the inclusion π : π΄ → π, there exists π ∈ π΄ such that π ≤ π for all π ∈ π΄. We prove that π is the least upper bound of π΄. Indeed, since π΄ ⊂ π΄, we have π ≤ π for all π ∈ π΄. Suppose that there exists π ∈ π such that π < π and π ≤ π for all π ∈ π΄. Then π ∈ π΄, for if (π − π, π + π) is a neighbourhood of π that does not intercept π΄, then the neighbourhood (π − π − π, π + π) of π does not intercept π΄ either, contradicting the fact that π ∈ π΄. Thus π ∈ π΄, so π ≤ π, contrary to the assumption. Hence π is the least upper bound of π΄. It follows that π has the least upper bound property. Exercise 27.2. (a) If π (π₯, π΄) = πΏ > 0, then π΅π (π₯, πΏ) ∩ π΄ = ∅, so π₯ ∉ π΄. Conversely, if π₯ ∉ π΄, there exists πΏ > 0 such that π΅π (π₯, πΏ) ∩ π΄ = ∅, and hence π (π₯, π΄) > πΏ/2 > 0. (b) The distance function π : π΄ × π΄ → R is continuous by Exercise 20.3(a). Thus, given π₯ ∈ π, the function ππ₯ : π΄ → R given by ππ₯ (π) = π (π₯, π) is continuous by Exercise 19.11. Since π΄ is compact, by the extreme value theorem (Theorem 27.4), there exists π ∈ π΄ such that ππ₯ (π) = π (π₯, π) ≤ π (π₯, π 0) for all π 0 ∈ π΄. Then π (π₯, π΄) = π (π₯, π). (c) Let π¦ ∈ π (π΄, π). Then π (π¦, π΄) = inf {π (π¦, π) | π ∈ π΄} < π, so there exists π ∈ π΄ such Ð that π (π¦, π) < π, so that π¦ ∈ π΅π (π, π). Thus π (π΄, π) ⊂ π ∈π΄ π΅π (π, π). Conversely, let π ∈ π΄ and Ð π₯ ∈ π΅π (π, π). Then π (π₯, π΄) ≤ π (π₯, π) < π, so π₯ ∈ π (π΄, π). It follows that π (π΄, π) = π ∈π΄ π΅π (π, π). (d) For each π₯ ∈ π΄, there exists ππ₯ > 0 such that π΅π (π₯, ππ₯ ) ⊂ π . Then {π΅π (π₯, ππ₯ )}π₯ ∈π΄ is an open π also covers π΄. Let πΏ > 0 be covering of π΄, so there exist π₯ 1, . . . , π₯π ∈ π΄ such that {π΅π (π₯π , ππ₯π )}π=1 the Lebesgue number for this finite covering, and let π = πΏ/2. Then for any π ∈ π΄ the ball π΅π (π, π) has diameter less than πΏ, so there exists π ∈ {1, . . . , π} such that π΅π (π, π) ⊂ π΅π (π₯π , ππ₯π ). Therefore π (π΄, π) = Ø π΅π (π, π) ⊂ π ∈π΄ π Ø π΅π (π₯π , ππ₯π ) ⊂ π . π=1 (e) Let πΆ = {π₯ × tan π₯ | − π2 < π₯ < π2 }. Then πΆ is closed in π = R2, but is not compact (as not bounded). Let π = (− π2 , π2 ) × R. Then π is open in R2, but for any π > 0, there exists π ∈ πΆ such that π΅π (π, π) ∩ (R2 − π ) ≠ ∅. So no π-neighbourhood of πΆ is contained in π . Exercise 27.3. (a) The πΎ-topology and the standard topology on R are both Hausdorff. Furthermore, [0, 1] is compact in the standard topology. If [0, 1] were compact in RπΎ , these topologies on [0, 1] would be equal by Exercise 26.1(b), but the πΎ-topology is strictly finer than the standard topology. Thus [0, 1] is not compact as a subspace of RπΎ . (b) We use the hint. Clearly (−∞, 0) inherits its usual topology as subspace of RπΎ . Now, if π is a standard basis element for (0, +∞) as a subspace of RπΎ , then π = π ∩ (0, +∞) for π a standard basis element for RπΎ . If π = (π, π), then clearly π is open in (0, +∞) with the standard topology. Let πΎ denote the closure of πΎ in the standard topology. If π = (π, π) − πΎ, then π = (π, π) ∩ (0, +∞) − πΎ = (π, π) ∩ (0, +∞) − πΎ, so π is open in (0, +∞) with the standard topology 16 Solutions by positrón0802 27 Compact Subspaces of the Real Line as well. Thus (0, +∞) inherits its usual topology as a subspace of RπΎ . Hence (−∞, 0) and (0, +∞) are connected as subspaces of RπΎ , so their closures (−∞, 0] and [0, +∞) are connected and have the common point 0. It follows from Theorem 23.3 that (−∞, 0] ∪ [0, +∞) = RπΎ is connected. (c) Let R denote the real numbers with the standard topology. Suppose that there is a path from 0 to 1 in RπΎ , that is, a continuous function π : [0, 1] → RπΎ such that π (0) = 0 and π (1) = 1. Since RπΎ is finer than R, π is continuous when considered as a function to R. By the intermediate value theorem (Theorem 24.3), the interval [0, 1] is contained in π ( [0, 1]). Since [0, 1] is compact in R and π is continuous, it follows that π ( [0, 1]) is compact in RπΎ . Thus [0, 1] is closed in RπΎ and contained in the compact space π ( [0, 1]), so [0, 1] is compact in RπΎ , contradicting (a). We deduce that there is no path from 0 to 1 in RπΎ and hence RπΎ is not path-connected. Exercise 27.4. The distance function π : π × π → R is continuous by Exercise 20.3(a), so given π₯ ∈ π, the function ππ₯ : π → R given by ππ₯ (π¦) = π (π₯, π¦) is continuous by Exercise 19.11. Since π is connected, the image ππ₯ (π ) is a connected subspace of R, and contains 0 since ππ₯ (π₯) = 0. Thus, if π¦ ∈ π and π¦ ≠ π₯, then ππ₯ (π ) contains the set [0, πΏ], where πΏ = ππ₯ (π¦) > 0. Therefore π must be uncountable. Exercise 27.5. We follow the hint. Let π be any non-empty open set in π . We prove that π has Ð a point that is not in π π΄π . Since π΄1 has empty interior, we have π ⊄ π΄1 . We show that there is a non-empty open set π1 in π such that π1 ⊂ π \ π΄1 . Indeed, let π₯ ∈ π \ π΄1 . Then π΄1 ∪ (π \ π ) is closed and does not contain π₯ . Since π is compact, π΄1 ∪ (π \ π ) is compact by Theorem 26.2. Thus, by Lemma 26.4, there exist disjoint open sets π1 and π of π containing π₯ and π΄1 ∪ (π \ π ) respectively. Hence π₯ ∈ π1 ⊂ π1 ⊂ π \ (π΄1 ∪ (π \ π )) = π \ π΄1 . Similarly, π1 is a non-empty open set in π not contained in π΄2, so there exists a non-empty open set π2 such that π2 ⊂ π1 \ π΄2 . Inductively we obtain a nested sequence π1 ⊂ π1 ⊂ · · · Ñ∞ of non-empty closed sets of π . Since π is compact, π=1 ππ is non-empty by Theorem 26.9. So Ñ∞ there exists π₯ ∈ π=1 ππ ⊂ π1 ⊂ π , and π₯ ∉ π΄π for all π ∈ Z+ . Thus π has a point that is not in Ð Ð π π΄π . Since π was arbitrary, we deduce that π π΄π has empty interior. Exercise 27.6. (a) Let π΅ be a connected subspace of πΆ. Suppose that π΅ contains two different points π₯ ≠ π¦. By the Archimedean property, there exists π ∈ Z+ such that 1/3π < |π₯ − π¦|. Thus π₯ and π¦ belong to different closed intervals in π΄π . Let πΌ ⊂ π΄π be the interval containing π₯ . Then π΅ ∩ πΌ and π΅ ∩ (πΆπΌ ) form a separation of π΅, contradicting the fact that π΅ is connected. It follows that πΆ is totally disconnected. (b) Each π΄π is closed in [0, 1], so πΆ is an intersection of closed sets, hence closed. Thus πΆ is a closed subspace of the compact space [0, 1], so πΆ is compact by Theorem 26.2 (c) We use induction. Clearly π΄1 = [0, 31 ] ∪ [ 32 , 3] satisfies this property. At each step, each closed interval of length 1/3π of π΄π is divided in three closed intervals of length 1/3π+1, and the interior of the middle interval is removed, leaving in π΄π+1 two closed intervals of length 1/3π+1 . 17 Solutions by positrón0802 28 Limit Point Compactness At each step only the interior of closed intervals are removed, so the endpoints of the intervals are never removed and they lie in πΆ. (d) Let π₯ ∈ πΆ. Then π₯ ∈ π΄π for each π, so there exist intervals πΌπ ⊂ π΄π containing π₯ . For each interval πΌπ , we can choose an endpoint π₯π of the interval not equal to π₯ . These endpoints π₯π are in πΆ by (c), and π₯π → π₯ . So π₯ is not an isolated point of π . Since π₯ was arbitrary, we deduce that πΆ has no isolated points. (e) πΆ is non-empty compact Hausdorff with no isolated points, hence uncountable by Theorem 27.7. 28 Limit Point Compactness Exercise 28.1. Consider the subset π = {0, 1}π ⊂ [0, 1] π of sequences whose entries are 0’s and 1’s. π is clearly infinite. We show that π has no limit point in [0, 1] π . Let x ∈ [0, 1] π . If x ∉ π , then there exists π ∈ Z+ such that π₯π ≠ 0, 1. Let πΏ = min{1 − π₯π , π₯π }. Then π΅ π (x, πΏ) is a neighbourhood of x for which π΅ π (x, πΏ) ∩ π = ∅, so x ∉ π 0 . Now, if x ∈ π and y ∈ π with x ≠ y, then there exists π ∈ Z+ such that |π₯π − π¦π | = 1. Thus, if x ∈ π and π < 1, we have π΅ π (x, πΏ) ∩ π = {x} and hence x ∉ π 0 . It follows that π = {0, 1}π is an infinite subset of [0, 1] π that has no limit point, as claimed. Exercise 28.2. Let π΄ = {1 − 1/π | π ∈ Z+ }. Then π΄ is infinite. Clearly any point π₯ ∈ [0, 1) is not a limit point of π΄: if 1 − 1/π ≤ π₯ < 1 − 1/(π + 1), then [π₯, 1 − 1/(π + 1)) is a neighbourhood of π₯ with no point in π΄ \ {π₯ }. Furthermore, if π₯ = 1, then {1} = [1, 2) ∩ [0, 1] is a neighbourhood of π₯ with no point in π΄ \ {π₯ }. Hence π΄ is an infinite subset of [0, 1] with no limit point, so [0, 1] is not limit point compact as a subspace of Rβ . Exercise 28.3. (a) No. Consider π = Z+ ∪π of Example 1: π is a set of two points in the indiscrete topology. Then π is limit point compact and π 1 : π → Z+ is continuous, but π1 (π ) = Z+ is not limit point compact. (b) Yes. If π΄ is closed, then π΄ contains all its limit points. If π΅ ⊂ π΄ is infinite, then π΅ has a limit point π₯ in π . Then π₯ is also a limit point of π΄, so π₯ ∈ π΄ 0 ⊂ π΄. Therefore, every infinite subset of π΄ has a limit point in π΄, so π΄ is limit point compact. (c) No. Consider π Ω in the order topology. It is Hausdorff by Exercise 17.10. By Example 2, π Ω is a limit point compact subspace of π Ω , but is is not closed since it does not contain its limit point Ω. Exercise 28.4. First let π be a countable compact space. Note that if π is a closed subset of π, then π is countable compact as well, for if {ππ }π ∈Z+ is a countable open covering of π , then {ππ }π ∈Z+ ∪ (π \ π ) is a countable open covering of π ; there is a finite subcovering of π, hence a finite subcovering of π . Now let π΄ be an infinite subset. We show that π΄ has a limit point. Let π΅ be a countable infinite subset of π΄. Suppose that π΅ has no limit point, so that π΅ is closed in π . Then π΅ is countable compact. Since π΅ has no limit point, for each π ∈ π΅ there is a neighbourhood ππ of π that intersects π΅ in the point π alone. Then {ππ }π ∈π΅ is an open covering of π΅ with no finite 18 Solutions by positrón0802 28 Limit Point Compactness subcovering, contradicting the fact that π΅ is countable compact. Hence π΅ has a limit point, so that π΄ has a limit point as well. Since π΄ was arbitrary, we deduce that π is limit point compact. (Note that the π1 property is not necessary in this direction.) Now assume that π is a limit point compact π1 space. We show that π is countable compact. Suppose, on the contrary, that {ππ }π ∈Z+ is a countable open covering of π with no finite subcovering. For each π, take a point π₯π in π not in π 1 ∪ · · · ∪ ππ . By assumption, the infinite set π΄ = {π₯π | π ∈ Z+ } has a limit point π¦ ∈ π . Since {ππ }π ∈Z+ covers π, there exists π ∈ Z+ such that π¦ ∈ π 1 ∪ · · · ∪ π π . Now π is π1, so for each π = 1, . . . , π there exists a neighbourhood ππ of π¦ that does not contain π₯π (see Exercise 17.15). Then π = (π1 ∩ · · · ∩ ππ ) ∩ (π 1 ∪ · · · ∪ π π ) is a neighbourhood of π¦ that does not contain any of the points π₯π , contradicting the fact that π¦ is a limit point of π΄. It follows that every countable open covering of π must have a finite subcovering, so π is countable compact. Exercise 28.5. We could imitate the proof of Theorem 26.9, but we prove directly each direction. First let π be countable compact and let πΆ 1 ⊂ πΆ 2 ⊂ · · · be a nested sequence of closed nonempty sets of π . For each π ∈ Z+, ππ = π \ πΆπ is open in π . Then {ππ }π ∈Z+ is a countable collection of open sets with no finite subcollection covering π, for if ππ 1 ∪ · · · ∪π 1π covers π, then πΆπ 1 ∩ · · · ∩ πΆππ is empty, contrary to the assumption. Hence {ππ }π ∈Z+ does not cover π, so there Ð Ñ Ñ exist π₯ ∈ π \ π ∈Z+ ππ = π ∈π + (π \ ππ ) = π ∈π + πΆπ . Conversely, assume that every nested sequence πΆ 1 ⊂ πΆ 2 ⊂ · · · of closed non-empty sets of π has a non-empty intersection and let {ππ }π ∈Z+ be a countable open covering of π . For each π, let ππ = π 1 ∪ · · · ∪ ππ and πΆπ = π \ ππ . Suppose that no finite subcollection of {ππ }π ∈Z+ covers π . Then each πΆπ is non-empty, so πΆ 1 ⊂ πΆ 2 ⊂ · · · is a nested sequence of non-empty closed sets Ñ Ñ and π ∈Z+ πΆπ is non-empty by assumption. Then there exists π₯ ∈ π ∈Z+ πΆπ , so that π₯ ∉ ππ for all π, contradicting the fact that {ππ }π ∈Z+ covers π . It follows that there exists π ∈ Z+ such that πΆ π = ∅, so that π = ππ and hence some finite subcollection of {ππ }π ∈Z+ covers π . We deduce that π is countable compact. Exercise 28.6. We follow the hint. Note that π is an imbedding by Exercise 21.2. It remains to prove that π is surjective. Suppose it is not, and let π ∈ π (π ). Since π is compact, π (π ) is compact and hence closed (every metric space is Hausdorff). Thus, there exists π > 0 such that the πneighbourhood of π is contained in π \ π (π ). Set π₯ 1 = π, and inductively π₯π+1 = π (π₯π ) for π ∈ Z+ . We show that π (π₯π , π₯π ) ≥ π for π ≠ π. Indeed, we may assume π < π. If π ≥ 1, then π (π₯π , π₯π ) = π (π −1 (π₯π ), π −1 (π₯π )) = π (π₯π−1, π₯π−1 ). By induction it follows that π (π₯π , π₯π ) = π (π₯π−π , π₯π−π ) for all π ≥ 1, and hence π (π₯π , π₯π ) = π (π, π₯π−π ) = π (π, π (π₯π−π−1 )). Since π (π₯π−π−1 ) ∈ π (π ) and π΅(π, π) ∩ π (π ) = ∅, we have π (π₯π , π₯π ) ≥ π, as claimed. Thus {π₯π }π ∈Z+ is a sequence with no convergent subsequence, so π is not sequentially compact. By Theorem 28.2, this contradicts the fact that π is compact. Therefore π is surjective and hence a homeomorphism. 19 Solutions by positrón0802 28 Limit Point Compactness Exercise 28.7. First we prove (b), which implies (a). (b) We use the hint. For each π ∈ Z+, let π΄π = π π (π ). Since π is compact, each π΄π is compact, Ñ hence closed. Thus π΄ = π ∈Z+ π΄π is closed. Moreover, note that π΄π+1 ⊂ π΄π for all π, so π΄ is non-empty by Theorem 26.9. Now we prove that π (π΄) = π΄. Let π¦ ∈ π (π΄). There exists π₯ ∈ π΄ such that π¦ = π (π₯). Let π ∈ Z+ be such that π₯ ∈ π΄π . If π = 1, then π¦ ∈ π (π ) = π΄1 because π₯ ∈ π . If π > 1, then π¦ ∈ π π (π ) = π΄π because π₯ ∈ π΄π−1 . Thus π¦ ∈ π΄π for all π, so that π¦ ∈ π΄ and hence π (π΄) ⊂ π΄. Now let π₯ ∈ π΄. Then π₯ ∈ π π (π ) for all π, so there exists a sequence {π₯π }π ∈Z+ such that π π+1 (π₯π ) = π₯ for each π. Let π¦π = π π (π₯π ), π ∈ Z+ . Since π is a compact metric space, it is sequentially compact by Theorem 28.2, so {π¦π }π ∈Z+ has a convergent subsequence, say {π§π }π ∈Z+ with limit π ∈ π . Then π§π → π and π§π ∈ π΄ for all π, so π ∈ π΄ by the sequence lemma (Lemma 21.2). Since π΄ is closed, we have π ∈ π΄; since π is continuous and π (π§π ) = π₯ for all π, we have π (π) = π₯ . Thus π₯ ∈ π (π΄) and hence π΄ ⊂ π (π΄). Therefore π΄ = π (π΄). Moreover, π΄ has only one point. Indeed, suppose that π΄ has more than one point. Since the distance function π : π΄ × π΄ → R is continuous (Exercise 20.3(a)), it follows from the extreme value theorem (Theorem 27.4) that there exists π₯ ≠ π¦ in π΄ such that π (π₯ 0, π¦ 0) ≤ π (π₯, π¦) for all π₯ 0, π¦ 0 ∈ π΄. Let π₯ = π (π) and π¦ = π (π) with π, π ∈ π΄. Then π (π₯, π¦) = π (π (π), π (π)) < π (π, π) ≤ π (π₯, π¦), a contradiction. Hence π΄ contains only one point, and is a fixed point of π . Now π has only one fixed point, for if π₯ and π¦ are two different fixed points of π , then π (π₯, π¦) = π (π (π₯), π (π¦)) < π (π₯, π¦), absurd. Thus the point in π΄ is the only fixed point of π . (c) Note that |π (π₯) − π (π¦)| = |π₯ − π¦| 1 − π₯ +π¦ 2 π₯+π¦ for all π₯, π¦ ∈ π . Since |1 − 2 | < 1 for all π₯, π¦ ∈ π with π₯ ≠ π¦, π is a shrinking map. We show that π is not a contraction. Suppose there exists πΌ < 1 such that |π (π₯) − π (π¦)| ≤ πΌ |π₯ − π¦| for all π₯, π¦ ∈ π . Note that π₯ |π (π₯) − π (0)| = (π₯ − 0) 1 − 2 π₯ for all π₯ ∈ π . Thus, taking π₯ ≠ 0 such that πΌ < 1 − 2 , we see that the condition for being a contraction is not satisfied. (d) Note that (π₯ 2 + 1) 1/2 − (π¦ 2 + 1) 1/2 π₯ +π¦ = 2 1/2 π₯ −π¦ (π₯ + 1) + (π¦ 2 + 1) 1/2 20 Solutions by positrón0802 29 Local Compactness for all π₯, π¦ ∈ R, π₯ ≠ π¦. Thus |π₯ − π¦| (π₯ 2 + 1) 1/2 − (π¦ 2 + 1) 1/2 1+ 2 π₯ −π¦ |π₯ − π¦| π₯ +π¦ = 1+ 2 1/2 2 (π₯ + 1) + (π¦ 2 + 1) 1/2 |π₯ − π¦| |π₯ − π¦| 1 1 < + + = |π₯ − π¦|, 2 2 2 2 |π (π₯) − π (π¦)| = for all π₯, π¦ ∈ R, π₯ ≠ π¦, so π is a shrinking map. Now suppose that there exists πΌ < 1 such that π (π₯) − 1 = |π (π₯) − π (0)| ≤ πΌ |π₯ | 2 for all π₯ ∈ R. Since π is strictly increasing, we have π (π₯) > 1/2 for all π₯ > 0. Thus ! |π₯ | π₯ π₯ 1 1 1+ 2 = 1+ π (π₯) − = |π (π₯) − π (0)| = 2 2 2 (π₯ + 1) 1/2 (1 + π₯12 ) 1/2 for π₯ > 0. So, if π₯ > 0 satisfies ! 1 1 1+ > πΌ, 2 (1 + π₯12 ) 1/2 then the condition for being a contraction is not satisfied, and we can find such π₯ since the above expression tends to 1 as π₯ → ∞. So π is not a contraction. Furthermore, it has no fixed point, since π₯ + (π₯ 2 + 1) 1/2 π₯ + |π₯ | π (π₯) = > >π₯ 2 2 for all π₯ ∈ R. 29 Local Compactness Exercise 29.1. First, we prove that each set Q ∩ [π, π], where π, π are irrational numbers, is not compact. Indeed, since Q∩ [π, π] is countable, we can write Q∩ [π, π] = {π 1, π 2, . . .}. Then {ππ }π ∈Z+ , where ππ = Q ∩ [π, ππ ) for each π, is an open covering of Q ∩ [π, π] with no finite subcovering. Now let π₯ ∈ Q and suppose that Q is locally compact at π₯ . Then there exists a compact set πΆ containing a neighbourhood π of π₯ . Then π contains a set Q ∩ [π, π] where π, π are irrational numbers. Since this set is closed and contained in the compact πΆ, it follows Q ∩ [π, π] is compact, a contradiction. Therefore, Q is not locally compact. Î Exercise 29.2. (a) Recall that the projections π π½ : πΌ ππΌ → π π½ are continuous open maps. Î Î Assume that πΌ ππΌ is locally compact. Let x ∈ πΌ ππΌ . Then there exist a compact subspace Î πΆ of πΌ ππΌ containing a neighbourhood of x. This neighbourhood contains a standard basis 21 Solutions by positrón0802 29 Local Compactness Î Î element for πΌ ππΌ containing x, say π = πΌ ππΌ where ππΌ = ππΌ for all but finitely many indices, say πΌ 1, . . . , πΌπ . Let π½ ≠ πΌπ for all π = 1, . . . , π. Then π π½ (πΆ) is compact and contains π π½ (π ) = π π½ , so π π½ (πΆ) = π π½ and π π½ is compact. Hence ππΌ is compact for all but finitely many values of πΌ . Î It remains to prove that ππΌπ is locally compact for π = 1, . . . , π. Let π₯ ∈ ππΌπ . Let x ∈ πΌ ππΌ be such that π₯πΌπ = π₯ . There is a compact πΆ containing a basis neighbourhood π of x. Then ππΌπ (πΆ) is a compact subspace of ππΌπ containing the neighbourhood ππΌπ (π ) of π₯ . Thus the spaces ππΌπ , for π = 1, . . . , π, are indeed locally compact. (b) Suppose that each ππΌ is locally compact and ππΌ is compact for all but finitely many πΌ . Let Î x ∈ πΌ ππΌ . For each πΌ, there exists a compact subspace πΆπΌ of ππΌ containing a neighbourhood ππΌ of π₯πΌ . By assumption, for all but finitely many indices we may assume that πΆπΌ = ππΌ = ππΌ . By the Î Î Tychonoff theorem, πΌ πΆπΌ is compact, and it contains the neighbourhood πΌ ππΌ of x. It follows Î that πΌ ππΌ is locally compact. Exercise 29.3. If π is continuous but not open, π (π ) is not necessarily locally compact. Indeed, consider Qπ , the rational numbers having the discrete topology, and let Q denote the rational numbers in the usual topology. Then Qπ is locally compact, for if π₯ ∈ Qπ , then {π₯ } is open and compact. Let π : Qπ → Q be the identity map. Then π is continuous, but π (Qπ ) = Q is not locally compact by Exercise 29.1. Now, if π is continuous and open, then π (π ) is locally compact. Indeed, let π¦ ∈ π (π ), so that π¦ = π (π₯) for some π₯ ∈ π . Since π is locally compact, there exists a compact subspace πΆ of π containing a neighbourhood π of π₯ . Since π is continuous, π (πΆ) is compact and since π is open, π (π ) is open. Thus π (πΆ) is compact and contains the neighbourhood π (π ) of π¦, so π (π ) is locally compact. Exercise 29.4. Consider 0 ∈ [0, 1] π and suppose that [0, 1] π is locally compact at 0. Then there exists a compact πΆ containing an open ball π΅ = π΅ π (0, π) ⊂ [0, 1] π . Note that π΅ = [0, π] π . Then [0, π] π is closed and contained in the compact πΆ, so it is compact. But [0, π] π is homeomorphic to [0, 1] π , which is not compact by Exercise 28.1. This contradiction proves that [0, 1] π is not locally compact in the uniform topology. Exercise 29.5. Let π1 = π 1 ∪ {∞1 } and π2 = π 2 ∪ {∞2 } be the respective one-point compactifications. Define π : π1 → π2 by π|π 1 = π and π(∞1 ) = ∞2 . Then π is bijective. By symmetry of the problem, it suffices to prove that π is open. Let π be an open set of π1 . If π is open in π 1, then π(π ) = π (π ) is open in π 1, hence in π1 . If π = π 1 \ πΆ, where πΆ is a compact subspace of π, then π(π ) = π(π1 ) \ π(πΆ) = π2 \ π(πΆ). Since π is continuous and πΆ ⊂ π, it follows π(πΆ) = π (πΆ) is compact, so π2 \ π(πΆ) is open in π2 . Thus π is an open map, hence a homeomorphism. Exercise 29.6. The function π : R → (0, 1) given by π (π₯) = 1 1 + 2−π₯ is a homeomorphism, and the map π : (0, 1) → π 1 \ {π}, where π = 1 × 0, defined by π(π₯) = cos(2ππ₯) × sin(2ππ₯) 22 Solutions by positrón0802 29 Local Compactness is also a homeomorphism (as it is a bijective local homeomorphism). Thus R is homeomorphic to π 1 \ {π} via β β π β¦ π . Furthermore, since π 1 is compact Hausdorff and the one-point compactification is uniquely determined up to homeomorphism, the one-point compactification of π 1 \ {π} is precisely π 1 . By Exercise 29.5, β extends to a homeomorphism between the one-point compactification of R and π 1 . Exercise 29.7. Since the one-point compactification is uniquely determined up to homeomorphism, it suffices to prove that π Ω is compact Hausdorff. It is Hausdorff since it has the order topology (see Exercise 17.10). Now let π be an open covering of π Ω . Let π΄ ∈ π contain Ω. Then π΄ contains an interval (π, +∞). Let π 0 be the least element of π Ω . Since π Ω is well-ordered, [π 0, π] is compact by Theorem 27.1. Thus finitely many elements of π cover [π 0, π], and these elements together with π΄ cover π Ω , so π Ω is compact. We conclude that the one-point compactification of π Ω is homeomorphic with π Ω . Exercise 29.8. Let π = {1/π | π ∈ Z+ }. As subspaces of R, the map π : Z+ → π given by π (π) = 1/π is a homeomorphism. Since π ∪{0} is closed and bounded in R, it is compact (Theorem 27.3). It is also Hausdorff, so (up to homeomorphism) it is the one-point compactification of π . By Exercise 29.5, π extends to a homeomorphism between the one-point compactification of Z+ and π ∪ {0}. Exercise 29.9. Let π : πΊ → πΊ/π» be the quotient map. Then π is continuous, and it is open by Exercise 5(c) of Supplementary Exercises of Chapter 2. Hence π (πΊ) = πΊ/π» is locally compact by Exercise 29.3. Exercise 29.10. Let π be a neighbourhood of π₯ . Since π is locally compact at π₯, there exists a compact subspace πΆ of π containing a neighbourhood π of π₯ . Then π ∩ π is open in π, hence in πΆ. Thus, πΆ \ (π ∩ π ) is closed in πΆ, hence compact by Theorem 26.2. Since π is Hausdorff, by Lemma 26.4 there exist disjoint open sets π1 and π2 of π containing π₯ and πΆ \ (π ∩π ) respectively. Let π = π1 ∩ π ∩ π . Since π is closed in πΆ, it is compact. Furthermore, π is disjoint from πΆ \ (π ∩ π ) ⊂ πΆ \ π , so π ⊂ π . Exercise 29.11. (a) Since π and ππ are continuous and surjective, it follows that π is continuous (Exercise 18.10) and surjective. It remains to prove that π΄ is open in π × π if π −1 (π΄) is open in π × π . Let π¦ × π§ ∈ π΄ with π¦ × π§ = π (π₯ × π§). Then π₯ × π§ ∈ π −1 (π΄), so we can take π 1 × π a basis neighbourhood of π₯ × π§ contained in π −1 (π΄). Since π is a neighbourhood of π¦, by Exercise 29.10 there is a neighbourhood π of π¦ such that π is compact and π ⊂ π . Hence π₯ × π§ ∈ π 1 × π ⊂ π −1 (π΄). Note that π (π 1 × π ) = π (π 1 ) × π ⊂ π (π −1 (π΄)) ⊂ π΄, so π −1 (π (π 1 )) × π ⊂ π −1 (π΄). Now, for each π’ ∈ π −1 (π (π 1 )) use the tube lemma (Lemma 28.6) to find a neighbourhood ππ’ of Ð π’ such that π −1 (π (π 1 )) × π contains the tube ππ’ × π . Then π 2 β π’ ππ’ contains π −1 (π (π 1 )) and π 2 × π ⊂ π −1 (π΄). For each π ≥ 3 we repeat this process to find an open set ππ+1 containing Ð π −1 (π (ππ )) such that ππ+1 × π ⊂ π −1 (π΄). Let π = π ππ . We show that π is saturated. We have π ⊂ π −1 (π (π )) by elementary set theory. Now, if π₯ ∈ π −1 (π (π )) then π (π₯) = π (π€) for some some π€ ∈ π . Then π€ ∈ ππ for some π, so π₯ ∈ π −1 (π (ππ )) ⊂ ππ+1 ⊂ π . Thus π −1 (π (π )) ⊂ π . 23 Solutions by positrón0802 29 Local Compactness Therefore π = π −1 (π (π )), so π is saturated. Since π is a quotient map, π (π ) is open in π . Now π₯ × π§ ∈ π × π ⊂ π −1 (π΄), so π (π × π ) = π (π ) × π is an open set containing π¦ × π§ and contained in π (π −1 (π΄)) ⊂ π΄, so π΄ is open in π × π . We conclude that π is a quotient map. (b) Since π : π΄ → π΅ is a quotient map and πΆ is locally compact Hausdorff, it follows from (a) that π × ππΆ : π΄ × πΆ → π΅ × πΆ is a quotient map. Similarly, π π΅ × π : π΅ × πΆ → π΅ × π· is a quotient map. Therefore, π × π = (π π΅ × π) β¦ (π × ππΆ ) is a quotient map being the composite of quotient maps. Supplementary Exercises: Nets Supplementary Exercise 1. (a) If π and π are elements of a simply ordered set, then either π ≤ π or π ≤ π, so that π ≤ max{π, π} and π ≤ max{π, π}. (b) If π΄ ⊂ π and π΅ ⊂ π, then π΄ π΄ ∪ π΅ and π΅ π΄ ∪ π΅. (c) If π΄, π΅ ∈ π, then π΄ π΄ ∩ π΅ and π΅ π΄ ∩ π΅. (d) Similarly as in (b), as finite unions of closed sets is closed. Supplementary Exercise 2. We have that πΎ inherits the partial order of π½ . Let π½, πΎ ∈ πΎ . Then there exists πΌ ∈ π½ such that π½ πΌ and πΎ πΌ, and in turn πΏ ∈ πΎ such that πΌ πΏ. Thus πΎ is directed. Supplementary Exercise 3. The set Z+ is simply ordered, hence directed by Supplementary Exercise 1(a). The given definitions are precisely the usual ones in the case of sequences. Supplementary Exercise 4. Let π be a neighbourhood of π₯ and π a neighbourhood of π¦, so that π × π is a (standard) basis neighbourhood of π₯ × π¦ in π × π . By assumption, there exist πΌ, π½ ∈ π½ such that π₯πΎ ∈ π for all πΎ πΌ and π¦πΎ ∈ π for all πΎ π½. As π½ is directed, there exists πΏ ∈ π½ such that πΏ πΌ and πΏ π½. Then π₯πΎ × π¦πΎ ∈ π × π for all πΎ πΏ. It follows that (π₯πΌ × π¦πΌ )πΌ ∈π½ → π₯ × π¦ in π ×π. Supplementary Exercise 5. Let (π₯πΌ )πΌ ∈π½ be a net in π and suppose that π₯πΌ → π₯ and π₯πΌ → π¦, where π₯ ≠ π¦. Since π is Hausdorff, there exist disjoint neighbourhoods π of π₯ and π of π¦ respectively. Then there exist πΌ, π½ ∈ π½ such that π₯πΎ ∈ π for all πΎ πΌ and π₯πΎ ∈ π for all πΎ π½. Since π½ is directed, there is πΏ ∈ π½ such that πΏ πΌ and πΏ π½. But then π₯πΎ ∈ π ∩ π = ∅ for all πΎ πΏ, a contradiction. Supplementary Exercise 6. First suppose (π₯πΌ )πΌ ∈π½ is a net in π of points of π΄ converging to π₯ . If π is a neighbourhood of π₯, then it contains some π₯πΌ ∈ π΄. Thus π₯ ∈ π΄. Conversely, assume that π₯ ∈ π΄. We follow the hint. Let π denote the collection of all neighbourhoods of π₯, partially ordered by reverse inclusion. Given π ∈ π, there exists π₯π ∈ π ∩π΄ by assumption. Then (π₯π )π ∈π is a net in π of points of π΄. Moreover, if π is a neighbourhood of π₯, then π₯π ∈ π for all π ⊂ π , that is, for all π π . Thus π₯π → π₯ . 24 Solutions by positrón0802 29 Local Compactness Supplementary Exercise 7. First assume π is continuous and let (π₯πΌ )πΌ ∈π½ be a net in π converging to π₯ . Let π be a neighbourhood of π (π₯). Then π −1 (π ) is a neighbourhood of π₯, so there exists πΌ ∈ π½ such that π₯πΎ ∈ π −1 (π ) for all πΎ πΌ, so that π (π₯πΎ ) ∈ π for all such πΎ . Thus π (π₯πΌ ) → π (π₯). Conversely, suppose that π is not continuous. Then there exists π open in π such that π −1 (π ) is not open in π . Then there exists π₯ ∈ π −1 (π ) such that no neighbourhood of π₯ is contained in π −1 (π ), so that π₯ ∈ π \ π −1 (π ). It follows from Supplementary Exercise 6 that there is a net (π₯πΌ )πΌ ∈π½ in π of points of π \ π −1 (π ) converging to π₯ . As no point π (π₯πΌ ), πΌ ∈ π½, belongs to π , it follows that the net (π (π₯πΌ ))πΌ ∈π½ in π does not converge to π (π₯) ∈ π . Supplementary Exercise 8. Let π : π½ → π be a be a net in π, π (πΌ) = π₯πΌ for πΌ ∈ π½, converging to π₯ and let π : πΎ → π½ be a function form πΎ a directed set such that π β¦ π : πΎ → π is a subnet of π . Let π be a neighbourhood of π₯ in π . Then there exists πΌ ∈ π½ such that π₯πΎ ∈ π for all πΎ πΌ . Since π(πΎ) is cofinal in π½, there exists π½ ∈ πΎ such that π(π½) πΌ . Thus, for all πΎ ∈ πΎ such that πΎ π½, we have πΌ π(π½) π(πΎ), so that π₯π (πΎ ) ∈ π for all such πΎ . It follows that π β¦ π converges to π₯ . Supplementary Exercise 9. Let (π₯πΌ )πΌ ∈π½ be a net in π . first assume that the net has the point π₯ as an accumulation point. For each neighbourhood π of π₯, let π½π denote the set of those πΌ for which π₯πΌ ∈ π , which is cofinal in π½ by assumption. We follow the hint. Let πΎ be the set of all pairs (πΌ, π ) where πΌ ∈ π½ and π is a neighbourhood of π₯ containing π₯πΌ . Define (πΌ, π ) (π½, π ) if πΌ π½ and π ⊂ π . Then πΎ is partially ordered. Moreover, let (πΌ, π ) and (π½, π ) belong to πΎ . As π½ is directed, there exists πΎ ∈ π½ such that πΎ πΌ and πΎ π½. Since π½π ∩π is cofinal in π½, there exists πΏ ∈ π½π ∩π such that πΏ πΎ . Then (πΌ, π ) (πΏ, π ∩ π ) and (π½, π ) (πΏ, π ∩ π ) and therefore πΎ is directed. Now define π : πΎ → π½ by π(πΌ, π ) = πΌ . Then clearly π(πΌ, π ) π(π½, π ) for (πΌ, π ) (π½, π ). Moreover, given πΌ ∈ π½ and π any neighbourhood of π₯, then we may find π½ ∈ π½π such that πΌ π½ = π(π½, π ). Thus π(πΎ) = π½ is cofinal in π½ . It remains to prove that the subnet (π₯π (πΌ,π ) )(πΌ,π ) ∈πΎ of (π₯πΌ )πΌ ∈π½ converges to π₯ . So let π be a neighbourhood of π₯ . Then there exists πΌ ∈ π½π , so that (πΌ, π ) ∈ πΎ . If (π½, π ) (πΌ, π ), then π₯π (π½,π ) = π₯ π½ ∈ π ⊂ π . It follows that π₯π (πΌ,π ) → π₯ . Conversely, assume that some subnet (π₯π (π½) )π½ ∈πΎ (for some πΎ directed and π : πΎ → π½ ) of (π₯πΌ )πΌ ∈π½ converges to π₯ . Let π be a neighbourhood of π₯ and let π½π denote the set of those πΌ ∈ π½ for which π₯πΌ ∈ π . By assumption, there exists π½ ∈ πΎ such that π₯π (πΎ ) ∈ π for all πΎ π½. Let πΌ ∈ π½ . By cofinality of π(πΎ) in π½, there exists πΏ ∈ πΎ such that π(πΏ) πΌ . Then, taking πΎ ∈ πΎ such that πΎ π½ and πΎ πΏ, we have π(πΎ) ∈ π½π and π(πΎ) π(πΏ) πΌ . It follows that π½π is cofinal in π½ . We deduce that π₯ is an accumulation point of the net (π₯πΌ )πΌ ∈π½ . Supplementary Exercise 10. We follow the hint. First assume that π is compact and let (π₯πΌ )πΌ ∈π½ be a net in π . Given πΌ ∈ π½, let π΅πΌ = {π₯ π½ | πΌ π½}. Given indices πΌ 1, . . . , πΌπ ∈ π½, there exists πΎ such that πΎ πΌπ for all π = 1, . . . , π, so that π₯πΎ ∈ ∩ππ=1 π΅πΌπ . Thus, the collection {π΅πΌ }πΌ ∈π½ has the finite intersection property. Since π is compact, it follows from Theorem 26.9 that there exists a point π₯ ∈ ∩πΌ π΅πΌ . Let π be a neighbourhood of π₯ . Then, given πΌ ∈ π½ we have π₯ ∈ π΅πΌ , so there exists π½ πΌ such that π₯ π½ ∈ π . Thus π₯ is an accumulation point of the net (π₯πΌ )πΌ ∈π½ by definition, and it follows from Supplementary Exercise 9 that the net (π₯πΌ )πΌ ∈π½ has a convergent subnet. 25 Solutions by positrón0802 29 Local Compactness Conversely, suppose every net in π has a convergent subnet. Let π be a collection of closed sets having the finite intersection property, and let β¬ denote the collection of all finite intersections of elements of π, partially ordered by reverse inclusion. Then, for each π΅ ∈ β¬ there exists a point π₯ π΅ ∈ π΅. Then (π₯ π΅ )π΅ ∈β¬ is a net in π . By assumption and Supplementary Exercise 9, (π₯ π΅ )π΅ ∈β¬ has an accumulation point π₯ . Let π΄ ∈ π ⊂ β¬ and let π be a neighbourhood of π₯ . Then there exists π΅ ∈ β¬ such that π₯ π΅ ∈ π and π΄ π΅, i.e. π΅ ⊂ π΄. Thus π₯ π΅ ∈ π ∩ π΄. Since π΄ and π were arbitrary, it follows that π₯ ∈ π΄ = π΄ for all π΄ ∈ π, so that π₯ ∈ ∩π΄∈π π΄. We conclude that π is compact by Theorem 26.9. Supplementary Exercise 11. (Note that this was proved in Exercise 26.13(a).) Let π₯ ∈ π΄ · π΅. By Supplementary Exercise 6, there is a net (π₯πΌ )πΌ ∈π½ of points of π΄ · π΅ converging to π₯ . For each πΌ ∈ π½, we have π₯πΌ = π¦πΌ · π§πΌ for some π¦πΌ ∈ π΄ and π§πΌ ∈ π΅. Now (π§πΌ )πΌ ∈π½ is a net in π΅, so by Supplementary Exercise 10 it has a convergent subnet (π§π (π½) )π½ ∈πΎ (for some πΎ directed and π : πΎ → π½ ), say π§π (π½) → π ∈ π΅. Recall from Supplementary Exercise 1 of Chapter 2 that πΊ × πΊ → πΊ, (π × β) β¦→ π · β −1, is continuous. It follows from Supplementary Exercise 7 that (π¦π (π½) )π½ ∈πΎ = (π₯π (π½) · (π§π (π½) ) −1 )π½ ∈πΎ converges to π₯ · π −1 . Since π΄ is closed, we have π B π₯ · π −1 ∈ π΄ by Supplementary Exercise 6, so that π₯ = π · π ∈ π΄ · π΅. We conclude that π΄ · π΅ is closed in πΊ . Supplementary Exercise 12. None of the solutions given above for these exercises made use of condition (2). Please send comments, suggestions and corrections by e-mail, or at website. https://positron0802.wordpress.com positron0802@mail.com 26 Solutions by positrón0802