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) |
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 2020-08-14