General Theory
As noted already, when i is less than n, πi(Sn) = 0, the trivial group (Hatcher 2002). The reason is that a continuous mapping from an i-sphere to an n-sphere with i < n can always be deformed so that it is not surjective. Consequently, its image is contained in Sn with a point removed; this is a contractible space, and any mapping to such a space can be deformed into a one-point mapping.
The case i = n has also been noted already, and is an easy consequence of the Hurewicz theorem: this theorem links homotopy groups with homology groups, which are generally easier to calculate; in particular, it shows that for a simply-connected space X, the first nonzero homotopy group πk(X), with k > 0, is isomorphic to the first nonzero homology group Hk(X). For the n-sphere, this immediately implies that for n > 0, πn(Sn) = Hn(Sn) = Z.
The homology groups Hi(Sn), with i > n, are all trivial. It therefore came as a great surprise historically that the corresponding homotopy groups are not trivial in general. This is the case that is of real importance: the higher homotopy groups πi(Sn), for i > n, are surprisingly complex and difficult to compute, and the effort to compute them has generated a significant amount of new mathematics.
Read more about this topic: Homotopy Groups Of Spheres
Famous quotes containing the words general and/or theory:
“There was not a tree as far as we could see, and that was many miles each way, the general level of the upland being about the same everywhere. Even from the Atlantic side we overlooked the Bay, and saw to Manomet Point in Plymouth, and better from that side because it was the highest.”
—Henry David Thoreau (1817–1862)
“No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
—André Gide (1869–1951)