Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 2.24
Exercise 2.24
Exercise 24: Let be a metric space in which every infinite subset has a limit point. Then is separable.
Answers
We can assume is infinite. Pick , pick an , and inductively pick such that for all if possible. This process must terminate. Otherwise, would have a limit point , and would contain two distinct points of the sequence, a contradiction.
can therefore be covered with a finite number of neighborhoods of radius around a finite number of points . Let be the collection of all such neighborhoods for , . This is a countable collection. Given a neighborhood of , pick such that . Then is covered by some neighborhood of radius , and . This shows that is a countable base.