Exercise 2.24

Exercise 24: Let X be a metric space in which every infinite subset has a limit point. Then X is separable.

Answers

We can assume X is infinite. Pick δ > 0 , pick an x 1 X , and inductively pick x n + 1 such that d ( x i , x n + 1 ) > δ for all 1 i < n + 1 if possible. This process must terminate. Otherwise, { x i } i = 1 would have a limit point x , and N δ 2 ( x ) would contain two distinct points of the sequence, a contradiction.

X can therefore be covered with a finite number of neighborhoods of radius δ around a finite number of points x 1 , , x k . Let B be the collection of all such neighborhoods for δ = 1 n , n . This is a countable collection. Given a neighborhood N 𝜖 ( x ) of x X , pick k such that 1 k < 𝜖 2 . Then x is covered by some neighborhood N B of radius 1 k , and N N 𝜖 ( x ) . This shows that B is a countable base.

User profile picture
2023-08-07 00:00
Comments