homotopy groups
The homotopy groups are an infinite series of (covariant) functors
indexed by non-negative integers from based topological spaces
to groups for and sets for . as a set is the set of all homotopy classes of maps of pairs , that is, maps of the disk into , taking the boundary to the point . Alternatively, these can be thought of as maps from the sphere into , taking a basepoint on the sphereto . These sets are given a group structure
by declaring the product
of 2 maps to simply attaching two disks with the right orientation along part of their boundaries to get a new disk , and mapping by and by , to get a map of . This is continuous
because we required that the boundary go to a , and well defined up to homotopy
.
If satisfies , then we get a homomorphism of homotopy groups by simply composing with . If is a map , then .
More algebraically, we can define homotopy groups inductively by, where is the loop space of , and is the constant path sitting at .
If , the groups we get are abelian.
Homotopy groups are invariant under homotopy equivalence, and higher homotopy groups ()are not changed by the taking of covering spaces.
Some examples are:
.
if .
if .
for where is any surface of nonpositive Euler characteristic(not a sphere or projective plane
).