Definition (bundle metric):
Let be a smooth vectur bundle. A bundle metric on is a family (), where each is a scalar product on , which satisfies the following smoothness condition: For all , the map
is smooth, ie. contained in .
Definition (Riemannian metric):
Let be a smooth manifold. A Riemannian metric is a bundle metric on the tangent space .