Metric topology

Metrizable implies first-countable

Let be a metric space. Then is first-countable under its metric topology. #m/thm/topology

Proof

The following set defines a (nested) neighbourhood basis for a point :

For any open neighbourhood of must contain an open ball for . Letting , it follows the basic open neighbourhood .

#state/tidy | #lang/en | #SemBr