The construction techniques used for the 2D manifolds generalize nicely to higher dimensions. Of course, , is an -dimensional manifold. An -dimensional torus, , can be made by taking a Cartesian product of copies of . Note that . Therefore, the notation is used for . Different kinds of -dimensional cylinders can be made by forming a Cartesian product for positive integers and such that . Higher dimensional spheres are defined as

in which denotes the Euclidean norm of , and is a positive integer. Many interesting spaces can be made by identifying faces of the cube (or even faces of a polyhedron or polytope), especially if different kinds of twists are allowed. An -dimensional projective space can be defined in this way, for example.

Due to its coming importance in motion planning, more details are
given on projective spaces. The standard definition of an *-dimensional real projective space*
is the set of all lines in
that pass through the origin.
Each line is considered as a point in
. Using the definition
of
in (4.7), note that each of these lines
in
intersects
in exactly two
places. These intersection points are called *antipodal*, which means that they are as far
from each other as possible on
. The pair is also unique for
each line. If we identify all pairs of antipodal points of
, a
homeomorphism can be defined between each line through the origin of
and each antipodal pair on the sphere. This means that
the resulting manifold,
, is homeomorphic to
.

Another way to interpret the identification is that is just the upper half of , but with every equatorial point identified with its antipodal point. Thus, if you try to walk into the southern hemisphere, you will find yourself on the other side of the world walking north. It is helpful to visualize the special case of and the upper half of . Imagine warping the picture of from Figure 4.5 from a square into a circular disc, with opposite points identified. The result still represents . The center of the disc can now be lifted out of the plane to form the upper half of .

Steven M LaValle 2012-04-20