Parametrization

11.1 INTRODUCTION
- 11.1.1 Unwrapping Shapes: The Magic of Parametrization
11.2 LECTURE
11.3 EXAMPLES
- 11.3.1 Side Remark: Metric Tensors and Riemannian Geometry
- 11.3.2 Ways to Represent a Manifold
11.4 ILLUSTRATION
EXERCISES

11.1 INTRODUCTION

11.1.1 Unwrapping Shapes: The Magic of Parametrization

We have seen that when parametrizing curves , we have much more control than when looking at curves given by equations. It would be difficult to describe a helix in terms of equations for example. For surfaces also, it is good to have as many coordinates as the dimension. We live on a two dimensional sphere but do not use the coordinates to describe a point on the surface. We use two coordinates longitude) and latitude Euler used first the parametrization where , are angles. You can check quickly that adds up to so that whatever angles , we chose, we always are on the sphere.

**Figure 1.** This surface is an example of a Calabi-Yau surface. It is parametrized . We drew out some grid curves, where is constant or is constant.

11.2 LECTURE

11.2.1 Jacobians and Surface Area

A map is called a parametrization. We have seen maps from to , which were curves. Then we have seen maps which were coordinate changes. In each case we defined the Jacobian matrix . In the case of the curve , it was the velocity . In the case of coordinate changes, the Jacobian matrix was used to get the volume distortion factor . Today, we look at the case . In particular at , . As in the case of curves, we use the letter to describe the map. The image of a map is then a -dimensional surface in . The distortion factor defined as will be used later to compute surface area.¹

**Figure 2.** An ellipsoid, half an ellipsoid, a bulb, a heart and a cat.

11.2.2 Surfaces and Maps

We mostly discuss here the case and , as we ourselves are made of two-dimensional surfaces, like cells, membranes, skin or tissue. A map , written as defines a two-dimensional surface. In order to save space, we also just write . In computer graphics, the is called -map. The -plane is where you draw a texture. The map places it onto the surface. In geography, the map is called (surprise!) a map. Several maps define an atlas. The curves and are called grid curves.

11.2.3 A Look at Parametrization of Spheres and Ellipsoids

The parametrization produces the sphere . The full sphere has , . By modifying the coordinates, we get an ellipsoid satisfying . By allowing to be functions of we get "bumpy spheres" like

11.2.4 Planes and Grid Curves

Planes are described by linear maps with and . The Jacobian map is . Let be the two column vectors of . Actually, is a short cut for , which is the velocity vector of the grid curve .

11.2.5 Example in Plane Parametrization

An example is the parametrization . In this case and We see which has determinant . We also have

11.2.6 Unveiling the Distortion Factor: A Connection with the Cross Product

The previous computation suggests a relation between the normal vector and the fundamental form . In three dimensions, the distortion factor of a parametrization can indeed always be rewritten using the cross product:

Theorem 1. .

Proof. As the identity is the Cauchy-Binet identity which boils down to , where is the angle between and . This is the angle between the grid curves you see on the pictures. ◻

**Figure 3.** A plane, graph, surface of revolution and helicoid.

11.3 EXAMPLES

Example 1. For the unit sphere and : This is and is the distortion factor.

Example 2. An important class of surfaces are graphs . Its most natural parametrization is , where the map just lifts up the bottom part to the elevated version. An example is the elliptic paraboloid and the hyperbolic paraboloid . We could of course have written also .

Example 3. A surface of revolution is parametrized like Note that we can use any variables. In this case, , are used. An example is the cone or the one-sheeted hyperboloid

Example 4. The torus is in cylindrical coordinates given as . We can parametrize this using the polar angle and the polar angle centered at center of the circle as Both angles and go from to . We see now also the relation with the toral coordinates.

Example 5. The helicoid is the surface you see as a staircase or screw. The parametrization is . How can we understand this? The key is to look at grid curves. If , we get a curve which we had identified as a helix. On the other hand, if you fix , then you get lines.

11.3.1 Side Remark: Metric Tensors and Riemannian Geometry

The first fundamental form is also called a metric tensor. In Riemannian geometry one looks at a manifold equipped with a metric . The simplest case is when comes from a parametrization, as we did here. In physics, we know that it is mass which deforms space-time. The quantity is a multiplicative analogue of . For an invertible positive definite square matrix , we will later see the identity which illustrates how both determinant and trace are pivotal numerical quantities derived from a matrix. Trace is additive because of and determinant is multiplicative as we will see later.

11.3.2 Ways to Represent a Manifold

To summarize, we have seen so far that there are two fundamentally different ways to describe a manifold. The first is to write it as a level surface which is a kernel of a map . A second is to write it as the image of some map .

11.4 ILLUSTRATION

**Figure 4.** "Veritas on Earth and the Moon" theme (rendered in Povray).

**Figure 5.** A fruit and math-candy math-candy.com (rendered in Mathematica)

EXERCISES

Exercise 1. Parametrize the upper part of the two sheeted hyperboloid , as a surface of revolution.

Exercise 2.

Parametrize the plane using a map .
Now find the matrix and compute as well as the distortion factor .
Also compute , and and then compute . You should get the same number.

Exercise 3. Given a parametrization of the -torus, find the implicit equation which describes this torus.

Exercise 4. Parametrize the hyperbolic paraboloid . What is the first fundamental form which is What is the distortion factor ?

Exercise 5. The matrix is also called the first fundamental form. If is a parametrization of space time then is the space time metric tensor. The matrix entries of appear in general relativity. Now for some reasons, physics folks use Greek symbols to access matrix entries. They write for the entry at row and column . This appears for example in the Einstein field equations We just want you to look up the equation and tell from each of the variables, what it is called and whether it is a matrix, a scalar function or a constant.

Distinguish and in . They only agree for .↩︎

Table of Contents