For a regular parametrization , the first fundamental form is the induced Riemannian metric
It measures squared lengths of tangent vectors and therefore lengths of curves. In the plane put , . The derivatives are orthogonal, of lengths one and , so
These 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 if
In 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, choose
The surface of revolution is then a catenoid, with metric . On the helicoid, take , assuming so that its parametrization is regular. Substitution gives
Thus the coordinate map
is 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 get
Their 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, giving
Taking makes both coefficients , as used in the parent calculation.

Articles by others on the same topic (0)

There are currently no matching articles.