#### Coordinates and parameterizations

For any open set and function such that is a homeomorphism onto a subset of , the pair is called a coordinate neighborhood (or chart in some literature). The values for some are called the coordinates of .

Example 8..11 (Coordinate Neighborhoods on )   A simple example can be obtained for the circle . Suppose is expressed as the unit circle embedded in (the set of solutions to ). Let denote a point in . Let be the subset of for which . A coordinate function , can be defined as .

Let (the range of ) for some coordinate neighborhood . Since and are homeomorphic via , the inverse function can also be defined. It turns out that the inverse is the familiar idea of a parameterization. Continuing Example 8.11, yields the mapping , which is the familiar parameterization of the circle but restricted to .

To make differentiation work at a point , it will be important to have a coordinate neighborhood defined over an open subset of that contains . This is mainly because defining derivatives of a function at a point requires that an open set exists around the point. If the coordinates appear to have no boundary, then this will be possible. It is unfortunately not possible to cover all of with a single coordinate neighborhood, unless (or is at least homeomorphic to ). We must therefore define multiple neighborhoods for which the domains cover all of . Since every domain is an open set, some of these domains must overlap. What happens in this case? We may have two or more alternative coordinates for the same point. Moving from one set of coordinates to another is the familiar operation used in calculus called a change of coordinates. This will now be formalized.

Suppose that and are coordinate neighborhoods on some manifold , and . Figure 8.9 indicates how to change coordinates from to . This change of coordinates is expressed using function composition as ( maps from into , and maps from a subset of to ).

Example 8..12 (Change of Coordinates)   Consider changing from Euler angles to quaternions for . Since is a 3D manifold, . This means that any coordinate neighborhood must map a point in to a point in . We can construct a coordinate function by computing Euler angles from a given rotation matrix. The functions are actually defined in (3.47), (3.48), and (3.49). To make this a coordinate neighborhood, an open subset of must be specified.

We can construct another coordinate function by using quaternions. This may appear to be a problem because quaternions have four components; however, the fourth component can be determined from the other three. Using (4.24) to (4.26), the , , and coordinates can be determined.

Now suppose that we would like to change from Euler angles to quaternions in the overlap region , in which is an open set on which the coordinate neighborhood for quaternions is defined. The task is to construct a change of coordinates, . We first have to invert over . This means that we instead need a parameterization of in terms of Euler angles. This is given by (3.42), which yields a rotation matrix, for , , and . Once this matrix is determined, then can be applied to it to determine the quaternion parameters, , , and . This means that we have constructed three real-valued functions, , , and , which yield , , and . Together, these define .

There are several reasons for performing coordinate changes in various contexts. Example 8.12 is motivated by a change that frequently occurs in motion planning. Imagine, for example, that a graphics package displays objects using quaternions, but a collision-detection algorithm uses Euler angles. It may be necessary in such cases to frequently change coordinates. From studies of calculus, you may recall changing coordinates to simplify an integral. In the definition of a smooth manifold, another motivation arises. Since coordinate neighborhoods are based on homeomorphisms of open sets, several may be required just to cover all of . For example, even if we decide to use quaternions for , several coordinate neighborhoods that map to quaternions may be needed. On the intersections of their domains, a change of coordinates is necessary.

Now we are ready to define a smooth manifold. Changes of coordinates will appear in the manifold definition, and they must satisfy a smoothness condition. A smooth structure8.5 on a (topological) manifold is a family8.6 of coordinate neighborhoods such that:

1. The union of all contains . Thus, it is possible to obtain coordinates in for any point in .
2. For any and in , if , then the changes of coordinates, and , are smooth functions on . The changes of coordinates must produce diffeomorphisms on the intersections. In this case, the coordinate neighborhoods are called compatible.
3. The family is maximal in the sense that if some is compatible with every coordinate neighborhood in , then must be included in .
A well-known theorem (see [133], p. 54) states that if a set of compatible neighborhoods covers all of , then a unique smooth structure exists that contains them.8.7 This means that a differential structure can often be specified by a small number of neighborhoods, and the remaining ones are implied.

A manifold, as defined in Section 4.1.2, together with a smooth structure is called a smooth manifold.8.8

Example 8..13 ( as a Smooth Manifold)   We should expect that the concepts presented so far apply to , which is the most straightforward family of manifolds. A single coordinate neighborhood can be used, which is the identity map. For all integers and , this is the only possible smooth structure on . It is truly amazing that for , there are uncountably many incompatible smooth structures, called exotic [291]. There is no need to worry, however; just use the one given by the identity map for .

Example 8..14 ( as a Smooth Manifold)   One way to define as a smooth manifold uses coordinate neighborhoods and results in simple expressions. Let be defined as

 (8.22)

The domain of each coordinate neighborhood is defined as follows. For each from to , there are two neighborhoods:

 (8.23)

and

 (8.24)

Each neighborhood is an open set that covers half of but misses the great circle at . The coordinate functions can be defined by projection down to the -dimensional hyperplane that contains the great circle. For each ,

 (8.25)

over . Each is defined the same way, but over . Each coordinate function is a homeomorphism from an open subset of to an open subset of , as required. On the subsets in which the neighborhoods overlap, the changes of coordinate functions are smooth. For example, consider changing from to for some . The change of coordinates is a function . The inverse of is expressed as

 (8.26)

When composed with , the th coordinate is dropped. This yields

 (8.27)

which is a smooth function over the domain . Try visualizing the changes of coordinates for the circle and sphere .

The smooth structure can alternatively be defined using only two coordinate neighborhoods by using stereographic projection. For , one coordinate function maps almost every point to by drawing a ray from the north pole to and mapping to the point in the plane that is crossed by the ray. The only excluded point is the north pole itself. A similar mapping can be constructed from the south pole.

Example 8..15 ( as a Smooth Manifold)   This example is particularly important because is the same manifold as , as established in Section 4.2.2. Recall from Section 4.1.2 that is defined as the set of all lines in that pass through the origin. This means that for any such that , and any , both and are identified. In projective space, scale does not matter.

A smooth structure can be specified by only coordinate neighborhoods. For each from to , let

 (8.28)

over the open set of all points in for which . The inverse coordinate function is given by

 (8.29)

It is not hard to verify that these simple transformations are smooth on overlapping neighborhoods.

A smooth structure over can be derived as a special case because is topologically equivalent to . Suppose elements of are expressed using unit quaternions. Each is considered as a point on . There are four coordinate neighborhoods. For example, one of them is

 (8.30)

which is defined over the subset of for which . The inverse of needs to be defined so that a point on maps to a point in that has unit magnitude.

Steven M LaValle 2012-04-20