Shape operator in a normal direction

ID: shape-operator-in-a-normal-direction

For a normal vector , this identity defines the corresponding shape operator using the vector-valued second fundamental form. It is self-adjoint because of the symmetry of the second fundamental form. Differentiating shows that . In higher codimension there is a different operator for each normal direction.

New to topics? Read the docs here!