At , each of the given ambient rotations fixes , rotates its tangent plane and preserves the local surface. Naturality of the shape operator under that rotation makes commute with every planar rotation. A symmetric real two-by-two operator commuting with all rotations is scalar, so every point of is an umbilical point. The trace-free part of the shape operator is continuous. Density therefore makes it zero everywhere on .
Locally write . The Codazzi equation gives for tangent fields ; choosing independent fields proves . Thus the surface is locally a plane if , or has constant spherical center
since its differential is . A change of normal reverses both and , leaving this center unchanged, so these local descriptions patch across the connected surface. In the flat case the whole surface lies in one plane, where a regular surface without boundary is open; a nonempty such set cannot also be compact and closed. Hence the flat case is excluded. In the other case lies on one sphere of radius . Its inclusion in that sphere is locally open, since both have dimension two, and its compactness makes the image closed. Connectedness of the sphere forces the image to be the entire sphere. Therefore is a sphere.

Articles by others on the same topic (0)

There are currently no matching articles.