The
second fundamental form comes into play when local isometric
embedding is considered, i.e., when
is taken as a submanifold of a larger space such
that the metrical relationships are conserved. In the following,
all geometrical objects are supposed to be differentiable as often
as is needed.