At , regularity makes linearly independent. The tangent space is , and an oriented unit normal vector isReversing 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 givesSubstitution of the tangent expansions provesThe 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 thereforethe Gaussian curvature. Transposition and the two minus signs do not change this determinant.
Articles by others on the same topic
There are currently no matching articles.