For a regular parametrization , the first fundamental form is the induced Riemannian metricIt measures squared lengths of tangent vectors and therefore lengths of curves. In the plane put , . The derivatives are orthogonal, of lengths one and , soThese polar coordinates are regular for .
Two regular coordinate patches are locally isometric under a coordinate correspondence exactly when it preserves their first fundamental forms. More explicitly, a diffeomorphism of parameter domains induces a local isometry if and only ifIn common coordinates this means equality of the three coefficient functions . The criterion follows because the first fundamental form gives the inner product of every pair of tangent vectors. Equality therefore preserves lengths of all curves; conversely a smooth isometry preserves tangent-vector lengths and their inner products by polarization.
Using the two first fundamental forms calculated below, chooseThe surface of revolution is then a catenoid, with metric . On the helicoid, take , assuming so that its parametrization is regular. Substitution givesThus the coordinate mapis a local isometry on sufficiently small patches. The constant only changes the radial parametrization of the given helicoid, whose pitch is fixed at one. For the displayed helicoid parametrization is not a regular surface.
Differentiate to getTheir squared lengths are and , and their inner product is zero. Hence the helicoid has first fundamental form
For the surface of revolution,The mixed inner product vanishes, givingTaking makes both coefficients , as used in the parent calculation.
Articles by others on the same topic
There are currently no matching articles.