# Contents

## Definition

A topological space $(X,\tau)$ is called metrisable if there exists the stucture of a metric space $(X,d)$ on the underlying set, such that $\tau$ is the corresponding metric topology.

## Metrisability theorem

Various theorems state sufficient conditions for a topological space to be metrisable:

(…)