Note that I changed the theme again.

I’ve been spending a lot of time on the basic definition of the homotopy groups. Basically, in summary, we have defined for a pointed space , the group

of pointed homotopy classes . Alternatively, this is the group of pointed homotopy classes of maps ; this is because is homeomorphic to the sphere. This is a functor on the category of pointed topological spaces. If , then there is an induced homomorphism .

That’s a short summary of what I’ve discussed in these past few weeks; I won’t keep repeating it.

But now we want to fit these groups into exact sequences. This can be done directly in an ad hoc manner. Another way is to use the Puppe sequence.

**1. General nonsense **

Recall that a sequence of pointed sets

(with maps preserving the basepoints) is called **exact** if

In other words, the “kernel” at one end (i.e. the set mapping into the basepoint of ) is the image of . (more…)