How is the metric defined on the real projective space $\mathbb{RP}^n$?

The standard metric on $RP^n$ is usually defined to be the metric that locally looks like the metric on $S^n$. But as a differentiable manifold (and not just as a set), $RP^n$ is not a subset of $S^n$, it is a quotient. So there is no natural map $RP^n\to S^n$, but rather a map $S^n\to RP^n$.

The standard metric on $RP^n$ would then be a sort of "push-forward metric", but there is no such a thing, metrics can only naturally be pulled back.

What am I missing?


The point is that the metric on $S^n$ is invariant under the action of the group $\mathbb{Z}_2$, so it can be pushed down to the quotient. More explicitly, assume that we endow $S^n$ with a standard round metric and let $\pi \colon S^n \rightarrow \mathbb{RP}^n$ be the quotient map. For $p \in S^n$, we denote $\pi(p)$ by $[p]$. Let $A \colon S^n \rightarrow S^n$ be the antipodal map. Then $A$ is an isometry of $S^n$ and we have $\pi \circ A = \pi$.

The metric on $\mathbb{RP}^n$ is defined as

$$ \left< v, w \right>_{[p]} := \left< \left( d\pi|_p \right)^{-1}(v), \left( d\pi|_p \right)^{-1}(w) \right>_p. $$

This is well-defined because we have

$$ \left< \left( d\pi|_p \right)^{-1}(v), \left( d\pi|_p \right)^{-1}(w) \right>_p = \left< \left( d \left( \pi \circ A \right)|_p \right)^{-1}(v), \left( d \left( \pi \circ A \right)|_p \right)^{-1}(w) \right>_p = \left< \left( dA|_{p} \right)^{-1} \left( \left( d \pi|_{-p} \right)^{-1}(v) \right), \left( dA|_{p} \right)^{-1} \left( \left( d \pi|_{-p} \right)^{-1}(v) \right) \right>_p \\ = \left< \left( d\pi|_{-p} \right)^{-1}(v), \left( d\pi|_{-p} \right)^{-1}(w) \right>_{-p} $$

where we used the fact that $dA|_p$ is an isometry.

More generally, assume you have some Riemannian manifold $(M,g)$ with a Lie group $G$ acting on $M$ smoothly, freely and properly by isometries. Then the quotient $M / G$ is a manifold and it has a naturally and uniquely defined Riemannian metric that turns the map $\pi \colon M \rightarrow M / G$ into a Riemannian submersion. If $G$ is zero dimensional, as in your case, the map $\pi$ is a local isometry.