A weak Riemannian metric on a smooth manifold
modeled on a real Banach
space, possibly infinite dimensional, is a smooth
assignment of continuous inner
products
to its tangent spaces. The induced linear
transformation
from
to its dual normed space
is injective, but need
not be surjective.
If each induced linear transformation is an isomorphism of Banach
spaces, then
is a strong Riemannian metric. The two
notions coincide in finite dimensions, since an injective linear
transformation between vector spaces of the same
finite dimension is an isomorphism.
Thus "weak" does not exclude strong metrics (Stacey 2008).