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
.