Riemannian Manifold as Metric Space

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {M, g}$ be a connected Riemannian manifold with or without boundary.

Let $d_g$ be the Riemannian distance.


Then $\struct {M, d_g}$ is a metric space whose metric topology is the same as the given manifold topology.


Proof




Sources