topology-3-munkres

advertisement
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
Download