Is every manifold a metric space? I'm trying to learn some topology as a hobby, and my understanding is that all manifolds are examples of topological spaces. Similarly, all metric spaces are also examples of topological spaces. I want to explore the relationship between metric spaces and manifolds, could it be that all manifolds are examples of metric spaces?

Assuming the usual definition of a topological manifold as a locally Euclidean space which is both Hausdorff and second-countable, it turns out that every manifold $M$ is a metrizable space. That is, you can put a metric on $M$ which induces the topology of $M$. This follows from example from Urysohn's metrization theorem. The metric is highly non-unique and a manifold doesn't come with a preferred metric which turns it into a metric space.
