For an oriented smooth surface , the Gauss map sends to the chosen unit normal vector . Since , differentiation shows that is perpendicular to and hence lies in .
In a local parametrization with , differentiating
gives
Thus the bilinear form is symmetric, so is self-adjoint. The Gaussian curvature is
Writing the coefficients of the first fundamental form as
and those of the second fundamental form as
one obtains
At an umbilic point, the self-adjoint map has a repeated eigenvalue, so it is a scalar map. If every point is umbilic, there is a function with
Equality of mixed partial derivatives gives
The two tangent vectors are linearly independent, hence . Since is connected, is constant.
If , then is constant and
so lies in a plane. If , then
Thus is constant, and
Therefore lies in a sphere of radius . This proves that the surface is part of a plane or part of a sphere.

Articles by others on the same topic (0)

There are currently no matching articles.