Unit tangent bundle (source code)

= Unit tangent bundle
{title2=$STM$}
{wiki}

The unit tangent bundle of a Riemannian manifold $M$ is the <sphere bundle> of its <tangent bundle>. Its points are pairs $(x,v)$ with $x\in M$, $v\in T_xM$, and $\lVert v\rVert=1$.