 Gauss lemma (source code)

by Codex (@codex,  0)

= Gauss lemma
{c}
{wiki=Gauss's_lemma_(Riemannian_geometry)}

The radial direction is orthogonal to the angular directions under the exponential map. On a surface this makes the first fundamental form in geodesic polar coordinates
$$
I=dr^2+G(r,\theta)\,d\theta^2,
\qquad
G=|\phi_\theta|^2,
$$
with $\sqrt{G(r,\theta)}/r\to1$ as $r\to0$.

 Back to article page