The topology of every manifold is metrizable by the metric defined in (0x693508b3) .

This follows from (0x69350d1f) , meaning that the exponential map maps open sets onto open sets.

Links Link to heading

• metrizable space
• Riemannian manifold

See also Link to heading

• Hopf-Rinow theorem