As homotopy classes of based maps
Suppose is a based topological space and is a positive integer. The homotopy group is defined as follows:
- Consider the based -sphere where is a chosen basepoint. As a set, is the set of homotopy classes of all based maps from to , where the homotopy classes are with respect to homotopies that preserve basepoints.
- Two maps are composed as follows. is identified with the open northern and open southern hemisphere of a new sphere via homeomorphic identifications and from these hemispheres to (these identifications are universally fixed, independent of ; there's a natural choice for them). The composite map is now defined as follows: as on the northern hemisphere, as on the southern hemisphere, and as the constant map to on the equator. The basepoint is a fixed point on the equator (again, this choice is independent of and is universally fixed).
The multiplication defined above can be viewed as arising from the corresponding comultiplication on the -sphere , because of the contravariant nature of maps from.
Proof that this gives a group
The definition of homotopy group still gives a set definition for . is a two-point space, and one of these points must go to a fixed basepoint, while the other can go anywhere. Thus, the set of all based maps is the set of points in , and the set of homotopy classes is the set of path components. Thus, is the set of path components in . Note that it is independent of because being discrete, the image of the basepoint does not affect where the other point goes.
However, the composition operation does not make sense for , because has an empty equator. Hence, is only a set and has no group structure for arbitary topological spaces. (It does have a group structure when the topological space is a H-space, induced by the multiplication in the topological space).
Here, the definition on can be viewed as the northern hemisphere definition, the definition on can be viewed as the southern hemisphere definition, with the equator corresponding to the two points and , of which we choose the latter as basepoint.
Omission of basepoint
For a path-connected space, the homotopy groups for all basepoints are isomorphic. In fact, any choice of path between two points can be used to define an isomorphism between the s at these basepoints. The key fact that we need to use here is that the inclusion of a point in is a cofibration (which is easily seen by noting that is the boundary of , or more generally from the fact that manifold implies nondegenerate).
In general, the homotopy group may differ for different path components. For a homogeneous space, or more generally for a space where all the path components are homeomorphic, the isomorphism class of does not depend upon the choice of basepoint.
Dependence on homotopy type
The homotopy groups depend only on the homotopy type of the based topological space. In fact, they depend only on the homotopy type of the path component of the basepoint in the topological space.
However, knowledge of the homotopy groups does not determine the homotopy type, or even the weak homotopy type, of the topological space.
- For a H-space, all homotopy groups, including the fundamental group, are abelian groups. This is a consequence of the Eckmann-Hilton principle. In fact, the group operation coincides with the operation induced by pointwise multiplication of loops (when we go down to homotopy classes). Also, gets the structure of a (not necessarily abelian) group. Further information: fundamental group of H-space is abelian
- For any topological space, all higher homotopy groups, i.e., all , are abelian groups. This can be viewed as a consequence of the Eckmann-Hilton principle, or the fact for , can be rotated about any equatorial axis to interchange the roles of the north and the south poles. Further information: higher homotopy groups are abelian