Prove that every first countable space is second countable
Let be a metric space and let . Consider the neighborhood basis
.
Clearly, this basis is countable. Hence by definition, every metric space is first countable.
Now let be a metric space where is the discrete metric
Clearly, a base for the topology induced by this metric must contain all singleton subsets of . So it is uncountable (since is uncountable). Hence is not second countable.
Comments