Definition
In the n-sphere Sn we choose a base point a. For a space X with base point b, we define πn(X) to be the set of homotopy classes of maps
- f : Sn → X
that map the base point a to the base point b. In particular, the equivalence classes are given by homotopies that are constant on the basepoint of the sphere. Equivalently, we can define πn(X) to be the group of homotopy classes of maps g : n → X from the n-cube to X that take the boundary of the n-cube to b.
For n ≥ 1, the homotopy classes form a group. To define the group operation, recall that in the fundamental group, the product f * g of two loops f and g is defined by setting (f * g)(t) = f(2t) if t is in and (f * g)(t) = g(2t − 1) if t is in . The idea of composition in the fundamental group is that of following the first path and the second in succession, or, equivalently, setting their two domains together. The concept of composition that we want for the n-th homotopy group is the same, except that now the domains that we stick together are cubes, and we must glue them along a face. We therefore define the sum of maps f, g : n → X by the formula (f + g)(t1, t2, ... tn) = f(2t1, t2, ... tn) for t1 in and (f + g)(t1, t2, ... tn) = g(2t1 − 1, t2, ... tn) for t1 in . For the corresponding definition in terms of spheres, define the sum f + g of maps f, g : Sn → X to be composed with h, where is the map from Sn to the wedge sum of two n-spheres that collapses the equator and h is the map from the wedge sum of two n-spheres to X that is defined to be f on the first sphere and g on the second.
If n ≥ 2, then πn is abelian. (For a proof of this, note that in two dimensions or greater, two homotopies can be "rotated" around each other. See Eckmann–Hilton argument)
It is tempting to try to simplify the definition of homotopy groups by omitting the base points, but this does not usually work for spaces that are not simply connected, even for path connected spaces. The set of homotopy classes of maps from a sphere to a path connected space is not the homotopy group, but is essentially the set of orbits of the fundamental group on the homotopy group, and in general has no natural group structure.
A way out of these difficulties has been found by defining higher homotopy groupoids of filtered spaces and of n-cubes of spaces. These are related to relative homotopy groups and to n-adic homotopy groups respectively. A higher homotopy van Kampen theorem then enables one to derive some new information on homotopy groups and even on homotopy types. For more background and references, see "Higher dimensional group theory" and the references below.
Read more about this topic: Homotopy Group
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)