Now an interesting group will be constructed from the space of paths
and the equivalence relation obtained by homotopy. The *fundamental group*, (or *first homotopy group*), is associated with any topological space, .
Let a (continuous) path for which
be called a *loop*. Let some
be designated as a *base point*. For some arbitrary but fixed
base point, , consider the set of all loops such that
. This can be made into a group by defining the following
binary operation. Let
and
be two loop paths with the same base point.
Their product
is defined as

(4.9) |

This results in a continuous loop path because terminates at , and begins at . In a sense, the two paths are concatenated end-to-end.

Suppose now that the equivalence relation induced by homotopy is applied to the set of all loop paths through a fixed point, . It will no longer be important which particular path was chosen from a class; any representative may be used. The equivalence relation also applies when the set of loops is interpreted as a group. The group operation actually occurs over the set of equivalences of paths.

Consider what happens when two paths from different equivalence
classes are concatenated using . Is the resulting path
homotopic to either of the first two? Is the resulting path homotopic
if the original two are from the same homotopy class? The answers in
general are *no *and *no*, respectively. The fundamental group
describes how the equivalence classes of paths are related and
characterizes the connectivity of . Since fundamental groups are
based on paths, there is a nice connection to motion planning.

By now it seems that the fundamental group simply keeps track of how many times a path travels around holes. This next example yields some very bizarre behavior that helps to illustrate some of the interesting structure that arises in algebraic topology.

Unfortunately, two topological spaces may have the same fundamental
group even if the spaces are not homeomorphic. For example,
is
the fundamental group of
, the cylinder,
, and
the Möbius band. In the last case, the fundamental group does
not indicate that there is a ``twist'' in the space. Another problem
is that spaces with interesting connectivity may be declared as simply
connected. The fundamental group of the sphere
is just
, the same as for
. Try envisioning loop paths on the
sphere; it can be seen that they all fall into one equivalence class.
Hence,
is simply connected. The fundamental group also
neglects bubbles in
because the homotopy can warp paths around
them. Some of these troubles can be fixed by defining second-order
homotopy groups. For example, a continuous function,
, of two variables can be used instead
of a path. The resulting homotopy generates a kind of sheet or
surface that can be warped through the space, to yield a homotopy
group that wraps around bubbles in
. This idea can
be extended beyond two dimensions to detect many different kinds of
holes in higher dimensional spaces. This leads to the *higher order homotopy groups*.
A stronger concept than simply connected for a space is that its
homotopy groups of all orders are equal to the identity group. This
prevents all kinds of holes from occurring and implies that a space,
, is *contractible*, which means a
kind of homotopy can be constructed that shrinks to a point
[439]. In the plane, the notions of *contractible* and
*simply connected* are equivalent; however, in higher dimensional
spaces, such as those arising in motion planning, the term *contractible* should be used to indicate that the space has no
interior obstacles (holes).

An alternative to basing groups on homotopy is to derive them using
*homology*, which is based on the structure of cell complexes
instead of homotopy mappings. This subject is much more complicated
to present, but it is more powerful for proving theorems in topology.
See the literature overview at the end of the chapter for suggested
further reading on algebraic topology.

Steven M LaValle 2012-04-20