Parametrize the graph by . The first fundamental form has coefficients , , . With unit normal , the second fundamental form has coefficients , , and . Consequently the Gaussian curvature of a graph surface is
A compact embedded surface has a highest point in the vertical direction. At that point its tangent plane is horizontal, so it is locally a graph with a local maximum of . Its Hessian matrix is negative semidefinite, giving and hence . Thus the Gaussian curvature cannot be everywhere negative.
An embedded ring torus, with major radius larger than minor radius , is a compact surface without boundary. Its standard parametrization is , and the Gaussian curvature of a ring torus isSince the denominator is positive, curvature is positive on the outer side and negative on the inner side, so this example changes sign.
Articles by others on the same topic
There are currently no matching articles.