At , regularity makes linearly independent. The tangent space is , and an oriented unit normal vector is
Reversing its sign chooses the opposite orientation. The first fundamental form is the squared length of a tangent displacement:
where , , . Its determinant is positive.
Use to distinguish the scalar coefficient of the second fundamental form from the normal vector. Since , its derivatives are perpendicular to it and hence tangent. Write and . Differentiating gives
Substitution of the tangent expansions proves
The shape operator is ; its matrix in the parametrized tangent basis is the negative transpose of the coefficient matrix shown. Its determinant, the product of the principal curvatures, is therefore
the Gaussian curvature. Transposition and the two minus signs do not change this determinant.

Articles by others on the same topic (0)

There are currently no matching articles.