Long exact sequence of homotopy of a Serre fibration

From Topospaces

Statement

Suppose is a Serre fibration with fiber . Suppose , and is the inclusion of as the fiber . Suppose . We then have the following long exact sequence of homotopy groups induced :

The long exact sequence ends with:

where the last three arrows are considered as arrows of pointed sets and exactness is interpreted in that fashion.

Note that if is a paracompact Hasudorff space, and is a fiber bundle with fiber , then is also a Serre fibration with fiber .