Ivars Peterson
A GLOBAL VIEW

FIGURE 4.7 The stereographic projection of a sphere onto a plane preserves the shapes of some geometric forms and alters others. 
A simple mathematical formula gives every starting point on the sphere its
particular destination on the plane. A point on the globe's equator stays
on the equator, now seen as a circle on the planar map. The point
(^{3}/_{5}, 0, ^{4}/_{5}) in the northern
hemisphere is sent to the spot (3, 0). In fact, every point in that hemisphere
ends up somewhere on the plane outside of the circle marked by the equator.
A point, such as (^{3}/_{5}, 0,
^{4}/_{5}), in the southern hemisphere goes to a planar
point (^{1}/_{3}, 0), that falls inside the equatorial circle.
In general, each point (x_{1} , x_{2},
x_{3}) on the sphere arrives at
[x_{1}/(1x_{3}),x_{2}/(1x_{3})]
in the equatorial plane. The south pole sits at the center (0, 0), while
the north pole is banished to infinity.
Although the resulting map is a decidedly distorted view of the globe, with
every southern point crowded inside a circle and all the northern points
spread out over the rest of the plane, no point on the sphere has been lost
and no points overlap. Structures and patterns visible on a globe appear
in warped but recognizable forms on the resulting map. By carefully studying
what happens to the shape of particular global structures when they are
transferred to a flat surface, mathematicians can learn to deduce or construct
global properties merely by examining features on a flat map. For
fourdimensional objects, which can't be seen directly, mathematicians have
to rely entirely on threedimensional "maps" to get a sense of their
fourdimensional counterparts.
One way to see what's happening under a stereographic projection is to imagine
a transparent globe on which circles of latitude have been drawn. If a light
is fixed at the usual position of the north pole and the globe's south pole
rests on a flat surface, then the shadow cast by the circles of latitude
is a set of concentric circles. If the globe is tilted while the light stays
fixed in position, the images of the circles shift and become distorted.
Any circles that momentarily happen to pass through the light's position
would cast a fleeting straightline shadow.
Thus, any circle on the twosphere reappears as a circle in the plane. The
only exceptions are circles that happen to pass through the north pole. They
project to a straight line. Thus, a set of stripes, all of equal width and
parallel to circles of latitude, would project into a bull'seye of concentric
rings on the plane. Each ring gets wider as its distance from the center
of the plane, or south pole, increases (see Figure 4.8).
FIGURE 4.8 Projections of bands encircling a sphere onto a plane 
The procedure used to create planar images of the twosphere can be extended
to generate images of a hypersphere, or threesphere, as it would appear
in threedimensional space. The threesphere in fourdimensional euclidean
space is defined by the equation x_{1}^{2} +
x_{2}^{2} + x_{3}^{2} +
x_{4}^{2} = 1. Compared with the twosphere, all that's
new is the addition of the coordinate x_{4}.
What does the threesphere look like? The experience of "A Square" in Flatland
suggests one way to visualize the object. When Flatlanders view a sphere
descending from above into their planar world, they see only the part of
the sphere that intersects their plane. Their first view is of a point, followed
by circles of increasing diameter up to the largest circle, when the sphere's
equator passes through Flatland. Then diminishing circles appear until they
dwindle to a point and vanish. By analogy, a threedimensional human visited
by a hypersphere would first see a single spot, a tiny sphere, growing steadily
through a sequence of ever larger spheres. Then the spheres would begin to
shrink, at last disappearing altogether.
Projections, such as the fourspace equivalent of the stereographic projection,
provide some mathematically more useful glimpses of a hypersphere. One example
of such a projection is the Hopf map, named for German mathematician Heinz
Hopf. This map takes points on the threesphere and systematically finds
places for them on the twosphere. Mathematically, each point
(X_{1}, X_{2}, X_{3},
X_{4}) on the threesphere becomes the point
(x_{1}, x_{2}, x_{3}) on the
twosphere, where
x_{1} = 2 (X_{1}X_{2} +
X_{3}X_{4}), x_{2} = 2 (X_{1}X_{4}  X_{2}X_{3}), x_{3} = (X_{2}^{2} + X_{3}^{2})  (X_{2}^{2} + X_{4}^{2}) 
Under the Hopf map, every point on the twosphere represents a circle (called
a Hopf circle) on the threesphere. Reversing the projection by going from
the twosphere to the threesphere, that is, finding the map's inverse, reveals
that a circle of latitude on the twosphere represents a doughnutshaped
surface, or torus, in the threesphere. This is enough to build up a picture
of the hypersphere. Just as two points (representing the north and south
poles) and a series of adjacent bands on a planar map can be used to build
up a complete picture of a twosphere, two linked circles and a family of
tori make up a full threesphere. A sliced threesphere can be imagined as
a sequence of doughnuts within doughnuts, with each successive doughnut swelling
in size as its distance from the center increases (see Figure 4.9).
FIGURE 4.9 A view of a hypersphere with its image sliced open to expose its inner structure. 
By manipulating the computergenerated image of a threesphere, mathematicians
can turn this abstract mathematical object into the star of an animated film
and use it to explore properties of threemanifolds. By tinkering with the
equations that define these objects, they can highlight particular surface
features. They can slice the objects open to get a better view. They can
watch the objects move, linking strings of images to reveal coherent patterns,
such as the smoothly twisted tori that swell up and sweep past one another
when a hypersphere rotates (see Color Plate 4).
Pictures alone, however, don't tell the whole story. The Hopf map itself
was the first example of a special type of projection of points from one
sphere to another sphere of lower dimension. Its existence inspired further
mathematical research in various geometric topics, including the sorting
out of several types of threemanifolds in fourspace.
Threemanifolds, such as the hypersphere, show up in applied mathematics
and physics. Different sets of mathematical equations, which may be useful
for describing physical processes as diverse as fluid flow and crystal growth,
generate different curves and shapes in space. The changing behavior
of complex systems over time turns out to correspond neatly to motion on
the curving shapes of certain surfaces. In many instances, understanding
the solutions of particular equations can be turned into a question of
geometry. Although some equation solutions show up as collections of
points on a sphere or a torus, others may reside on a more exotic object,
such as a onesided, oneedged Möbius strip or
a threedimensional tube called a Klein bottle,
whose inside surface loops back on itself to merge with the outside.
The hypersphere, for one, makes an appearance in the analysis of motion in
phase space, in which each dimension represents one of the variables in the
equation used to model a particular system. For a mechanical system, the
variables may be just the positions and velocities of each particle in the
system. Beginning at a point representing the initial values of all the
variables, the equation generates a trajectory that winds through phase space.
The location of a point on the trajectory at any time contains all the
information needed to describe the state of the system  that is, the values
of all the variables  at that particular time. Although the motion itself
isn't directly visible, such phasespace
portraits provide a useful collection of information about the motion.
Plate 4 Sliced dounuts 
For example, in the motion of a pair of
oscillators, such as two windshield wipers, it takes one variable, the
angle, to define each wiper's position and another variable to define each
wiper's velocity. Together, the positions and velocities of both wipers trace
out a path on the surface of a hypersphere in fourdimensional space. A similar
analysis applies to a pendulum bob fixed to a stiff rod and mounted so that
the bob is physically free to trace out a path on the surface of a sphere.
It takes two coordinates to define the bob's position and two to specify
how quickly it is moving. Tracking the pendulum's path through phase space
 that is, plotting its position and velocity at different timesgives a
graphical history of the pendulum's behavior. Fourspace, however, has so
much room that this curving, four dimensional path could wander almost anywhere.
Luckily, physical constraints  the laws of conservation of energy and momentum
 keep the system within strictly defined bounds. The fourdimensional
phasespace curves are confined to a threemanifold in fourspace.
In normal situations, these curves, as seen in fourdimensional phase space.
fall on the surface of a doughnut, or torus. Each torus represents a certain
combination of energy and momentum, equivalent to the initial push given
to a pendulum to get it started. In a hypersphere picture. the Hopf tori
represent the constant "energy momentum" surfaces, and the Hopf circles
on them are curves representing the changing positions and velocities of
each pendulum (see Figure 4.10). These curves are essentially solutions to
differential equations, called
Hamilton's equations, which define how the motion
changes with time. We take a closer look at the behavior of differential
equations in Chapter 6.
Computer graphics provides a way for researchers to study what the solution
curves look like for various physical systems and sets of initial conditions.
These pictures greatly enrich the study of dynamical systemsthe way things
change in time or space.
Further Reading

Chaos  Quantum  Logic  Cosmos  Conscious  Belief  Elect.  Art  Chem.  Maths 