Bound on Riemannian Distance Outside Coordinate Neighborhood

From ProofWiki
Jump to navigation Jump to search


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

Let $d_g$ be the Riemannian distance.

Suppose $U \subseteq M$ is an open subset.

Let $p \in M$ be a point.

Then $p$ has a coordinate neighborhood $V \subseteq U$ such that:

$\forall q \in M \setminus V : \exists D \in \R_{> 0} : \map {d_g} {p, q} \ge D$

where $\setminus$ denotes the set difference.