Exercise 2.23

Exercise 23: Every separable space has a countable base.

Answers

Let B be a countable, dense subset of X . Note that the collection B = { N 1 n ( x ) : x B , n } is countable. We claim that it is a base. Let x U , U open. Then N 𝜖 ( x ) U for some 𝜖 . Pick k such that 1 k < 𝜖 2 . By density, we can find y B such that d ( x , y ) < 1 k . Then x N 1 k ( y ) , which is in B , and N 1 k ( y ) N 𝜖 ( x ) U . This finishes the proof.

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