# 8.4 Fiber sequences and the long exact sequence

If the codomain of a function $f:X\to Y$ is equipped with a basepoint $y_{0}:Y$, then we refer to the fiber $F:\!\!\equiv{\mathsf{fib}}_{f}(y_{0})$ of $f$ over $y_{0}$ as the fiber of $f$. (If $Y$ is connected, then $F$ is determined up to mere equivalence; see \autorefex:unique-fiber.) We now show that if $X$ is also pointed and $f$ preserves basepoints, then there is a relation between the homotopy groups of $F$, $X$, and $Y$ in the form of a long exact sequence. We derive this by way of the fiber sequence associated to such an $f$.

###### Definition 8.4.1.

A pointed map between pointed types $(X,x_{0})$ and $(Y,y_{0})$ is a map $f:X\to Y$ together with a path $f_{0}:f(x_{0})=y_{0}$.

For any pointed types $(X,x_{0})$ and $(Y,y_{0})$, there is a pointed map $({\lambda}x.\,y_{0}):X\to Y$ which is constant at the basepoint. We call this the zero map and sometimes write it as $0:X\to Y$.

Recall that every pointed type $(X,x_{0})$ has a loop space $\Omega(X,x_{0})$. We now note that this operation is functorial on pointed maps.

###### Definition 8.4.2.

Given a pointed map between pointed types $f:X\to Y$, we define a pointed map $\Omega f:\Omega X\to\Omega Y$ by

 $(\Omega f)(p):\!\!\equiv\mathord{{f_{0}}^{-1}}\mathchoice{\mathbin{\raisebox{2% .15pt}{\displaystyle\centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}% {\mathbin{\raisebox{1.075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{% \raisebox{0.43pt}{\scriptscriptstyle\,\centerdot\,}}}{f}\mathopen{}\left({p}% \right)\mathclose{}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}f_{0}.$

The path $(\Omega f)_{0}:(\Omega f)(\mathsf{refl}_{x_{0}})=\mathsf{refl}_{y_{0}}$, which exhibits $\Omega f$ as a pointed map, is the obvious path of type

 $\mathord{{f_{0}}^{-1}}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}{f}\mathopen{}\left({\mathsf{refl}_{x_{0}}% }\right)\mathclose{}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}f_{0}=\mathsf{refl}_{y_{0}}.$

There is another functor on pointed maps, which takes $f:X\to Y$ to $\mathsf{pr}_{1}:{\mathsf{fib}}_{f}(y_{0})\to X$. When $f$ is pointed, we always consider ${\mathsf{fib}}_{f}(y_{0})$ to be pointed with basepoint $(x_{0},f_{0})$, in which case $\mathsf{pr}_{1}$ is also a pointed map, with witness $(\mathsf{pr}_{1})_{0}:\!\!\equiv\mathsf{refl}_{x_{0}}$. Thus, this operation can be iterated.

###### Definition 8.4.3.

The fiber sequence of a pointed map $f:X\to Y$ is the infinite sequence of pointed types and pointed maps

 $\xymatrix{\dots\ar[r]^{f^{(n+1)}}&X^{(n+1)}\ar[r]^{f^{(n)}}&X^{(n)}\ar^{-}{f^{% (n-1)}}[r]&\dots\ar[r]&X^{(2)}\ar^{-}{f^{(1)}}[r]&X^{(1)}\ar[r]^{f^{(0)}}&X^{(% 0)}}$

defined recursively by

 $X^{(0)}:\!\!\equiv Y\qquad X^{(1)}:\!\!\equiv X\qquad f^{(0)}:\!\!\equiv f\qquad$

and

 $\displaystyle X^{(n+1)}$ $\displaystyle:\!\!\equiv{\mathsf{fib}}_{f^{(n-1)}}(x^{(n-1)}_{0})$ $\displaystyle f^{(n)}$ $\displaystyle:\!\!\equiv\mathsf{pr}_{1}$ $\displaystyle:X^{(n+1)}\to X^{(n)}.$

where $x^{(n)}_{0}$ denotes the basepoint of $X^{(n)}$, chosen recursively as above.

Thus, any adjacent pair of maps in this fiber sequence is of the form

 $\xymatrix{X^{(n+1)}\equiv{\mathsf{fib}}_{f^{(n-1)}}(x^{(n-1)}_{0})\ar[rr]^{-}{% f^{(n)}\equiv\mathsf{pr}_{1}}&&X^{(n)}\ar[r]^{f^{(n-1)}}&X^{(n-1)}.}$

In particular, we have $f^{(n-1)}\circ f^{(n)}=0$. We now observe that the types occurring in this sequence are the iterated loop spaces of the base space $Y$, the total space $X$, and the fiber $F:\!\!\equiv{\mathsf{fib}}_{f}(y_{0})$, and similarly for the maps.

###### Lemma 8.4.4.

Let $f:X\to Y$ be a pointed map of pointed spaces. Then:

1. 1.

The fiber of $f^{(1)}:\!\!\equiv\mathsf{pr}_{1}:{\mathsf{fib}}_{f}(y_{0})\to X$ is equivalent to $\Omega Y$.

2. 2.

Similarly, the fiber of $f^{(2)}:\Omega Y\to{\mathsf{fib}}_{f}(y_{0})$ is equivalent to $\Omega X$.

3. 3.

Under these equivalences, the map $f^{(3)}:\Omega X\to\Omega Y$ is identified with $\Omega f\circ\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})}^{-1}}$.

###### Proof.

For 1, we have

 $\displaystyle{\mathsf{fib}}_{f^{(1)}}(x_{0})$ $\displaystyle:\!\!\equiv\mathchoice{\sum_{z:{\mathsf{fib}}_{f}(y_{0})}\,}{% \mathchoice{{\textstyle\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}}{\sum_{(z:{% \mathsf{fib}}_{f}(y_{0}))}}{\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}{\sum_{(z:{% \mathsf{fib}}_{f}(y_{0}))}}}{\mathchoice{{\textstyle\sum_{(z:{\mathsf{fib}}_{f% }(y_{0}))}}}{\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}{\sum_{(z:{\mathsf{fib}}_{f}% (y_{0}))}}{\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}}{\mathchoice{{\textstyle\sum_% {(z:{\mathsf{fib}}_{f}(y_{0}))}}}{\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}{\sum_{% (z:{\mathsf{fib}}_{f}(y_{0}))}}{\sum_{(z:{\mathsf{fib}}_{f}(y_{0}))}}}(\mathsf% {pr}_{1}(z)=x_{0})$ $\displaystyle\simeq\mathchoice{\sum_{(x:A)}\,}{\mathchoice{{\textstyle\sum_{(x% :A)}}}{\sum_{(x:A)}}{\sum_{(x:A)}}{\sum_{(x:A)}}}{\mathchoice{{\textstyle\sum_% {(x:A)}}}{\sum_{(x:A)}}{\sum_{(x:A)}}{\sum_{(x:A)}}}{\mathchoice{{\textstyle% \sum_{(x:A)}}}{\sum_{(x:A)}}{\sum_{(x:A)}}{\sum_{(x:A)}}}\mathchoice{\sum_{(p:% f(x)=y_{0})}\,}{\mathchoice{{\textstyle\sum_{(p:f(x)=y_{0})}}}{\sum_{(p:f(x)=y% _{0})}}{\sum_{(p:f(x)=y_{0})}}{\sum_{(p:f(x)=y_{0})}}}{\mathchoice{{\textstyle% \sum_{(p:f(x)=y_{0})}}}{\sum_{(p:f(x)=y_{0})}}{\sum_{(p:f(x)=y_{0})}}{\sum_{(p% :f(x)=y_{0})}}}{\mathchoice{{\textstyle\sum_{(p:f(x)=y_{0})}}}{\sum_{(p:f(x)=y% _{0})}}{\sum_{(p:f(x)=y_{0})}}{\sum_{(p:f(x)=y_{0})}}}(x=x_{0})$ (by \autorefex:sigma-assoc) $\displaystyle\simeq(f(x_{0})=y_{0})$ (as $\mathchoice{{\textstyle\sum_{(x:A)}}}{\sum_{(x:A)}}{\sum_{(x:A)}}{\sum_{(x:A)}% }(x=x_{0})$ is contractible) $\displaystyle\simeq(y_{0}=y_{0})$ (by $(f_{0}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle\centerdot}}}{% \mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1.075pt}{% \scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{\scriptscriptstyle% \,\centerdot\,}}}\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})$) $\displaystyle\equiv\Omega Y.$

Tracing through, we see that this equivalence sends $((x,p),q)$ to $\mathord{{f_{0}}^{-1}}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}{f}\mathopen{}\left({\mathord{{q}^{-1}}}% \right)\mathclose{}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}p$, while its inverse sends $r:y_{0}=y_{0}$ to $((x_{0},f_{0}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle\centerdot}% }}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1.075pt}{% \scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{\scriptscriptstyle% \,\centerdot\,}}}r),\mathsf{refl}_{x_{0}})$. In particular, the basepoint $((x_{0},f_{0}),\mathsf{refl}_{x_{0}})$ of ${\mathsf{fib}}_{f^{(1)}}(x_{0})$ is sent to $\mathord{{f_{0}}^{-1}}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}{f}\mathopen{}\left({\mathord{{\mathsf{% refl}_{x_{0}}}^{-1}}}\right)\mathclose{}\mathchoice{\mathbin{\raisebox{2.15pt}% {\displaystyle\centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{% \mathbin{\raisebox{1.075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox% {0.43pt}{\scriptscriptstyle\,\centerdot\,}}}f_{0}$, which equals $\mathsf{refl}_{y_{0}}$. Hence this equivalence is a pointed map (see \autorefex:pointed-equivalences). Moreover, under this equivalence, $f^{(2)}$ is identified with ${\lambda}r.\,(x_{0},f_{0}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}r):\Omega Y\to{\mathsf{fib}}_{f}(y_{0})$.

\cref

item:fibseq2 follows immediately by applying 1 to $f^{(1)}$ in place of $f$. Since $(f^{(1)})_{0}:\!\!\equiv\mathsf{refl}_{x_{0}}$, under this equivalence $f^{(3)}$ is identified with the map $\Omega X\to{\mathsf{fib}}_{f^{(1)}}(x_{0})$ defined by $s\mapsto((x_{0},f_{0}),s)$. Thus, when we compose with the previous equivalence ${\mathsf{fib}}_{f^{(1)}}(x_{0})\simeq\Omega Y$, we see that $s$ maps to $\mathord{{f_{0}}^{-1}}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}{f}\mathopen{}\left({\mathord{{s}^{-1}}}% \right)\mathclose{}\mathchoice{\mathbin{\raisebox{2.15pt}{\displaystyle% \centerdot}}}{\mathbin{\raisebox{2.15pt}{\centerdot}}}{\mathbin{\raisebox{1% .075pt}{\scriptstyle\,\centerdot\,}}}{\mathbin{\raisebox{0.43pt}{% \scriptscriptstyle\,\centerdot\,}}}f_{0}$, which is by definition $(\Omega f)(\mathord{{s}^{-1}})$, giving 3. ∎

Thus, the fiber sequence of $f:X\to Y$ can be pictured as:

 $\xymatrix@C=1.5pc{\dots\ar[r]&\Omega^{2}X\ar[r]^{-}{\Omega^{2}f}&\Omega^{2}Y% \ar[r]^{-}{-\Omega\partial}&\Omega F\ar[r]^{-}{-\Omega i}&\Omega X\ar[r]^{-}{-% \Omega f}&\Omega Y\ar[r]^{-}{\partial}&F\ar[r]^{-}{i}&X\ar[r]^{f}&Y.}$

where the minus signs denote composition with path inversion $\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})}^{-1}}$. Note that by \autorefex:ap-path-inversion, we have

 $\Omega\left(\Omega f\circ\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt% })}^{-1}}\right)\circ\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})}^% {-1}}=\Omega^{2}f\circ\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})}% ^{-1}}\circ\mathord{{(\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt})}^{-1}}=% \Omega^{2}f.$

Thus, there are minus signs on the $k$-fold loop maps whenever $k$ is odd.

From this fiber sequence we will deduce an exact sequence of pointed sets. Let $A$ and $B$ be sets and $f:A\to B$ a function, and recall from \autorefdefn:modal-image the definition of the image $\mathsf{im}(f)$, which can be regarded as a subset of $B$:

 $\mathsf{im}(f):\!\!\equiv\setof{b:B|\exists(a:A).\,f(a)=b}.$

If $A$ and $B$ are moreover pointed with basepoints $a_{0}$ and $b_{0}$, and $f$ is a pointed map, we define the kernel of $f$ to be the following subset of $A$:

 $\ker(f):\!\!\equiv\setof{x:A|f(x)=b_{0}}.$

Of course, this is just the fiber of $f$ over the basepoint $b_{0}$; it a subset of $A$ because $B$ is a set.

Note that any group is a pointed set, with its unit element as basepoint, and any group homomorphism is a pointed map. In this case, the kernel and image agree with the usual notions from group theory.

###### Definition 8.4.5.

An exact sequence of pointed sets is a (possibly bounded) sequence of pointed sets and pointed maps:

 $\xymatrix{\dots\ar[r]&A^{(n+1)}\ar[r]^{-}{f^{(n)}}&A^{(n)}\ar[r]^{f^{(n-1)}}&A% ^{(n-1)}\ar[r]&\dots}$

such that for every $n$, the image of $f^{(n)}$ is equal, as a subset of $A^{(n)}$, to the kernel of $f^{(n-1)}$. In other words, for all $a:A^{(n)}$ we have

 $(f^{(n-1)}(a)=a^{(n-1)}_{0})\iff\exists(b:A^{(n+1)}).\,(f^{(n)}(b)=a).$

where $a^{(n)}_{0}$ denotes the basepoint of $A^{(n)}$.

Usually, most or all of the pointed sets in an exact sequence are groups, and often abelian groups. When we speak of an exact sequence of groups, it is assumed moreover that the maps are group homomorphisms and not just pointed maps.

###### Theorem 8.4.6.

Let $f:X\to Y$ be a pointed map between pointed spaces with fiber $F:\!\!\equiv{\mathsf{fib}}_{f}(y_{0})$. Then we have the following long exact sequence, which consists of groups except for the last three terms, and abelian groups except for the last six.

 $\xymatrix@R=1.2pc@C=3pc{\vdots&\vdots&\vdots\ar[lld]\\ \pi_{k}(F)\ar[r]&\pi_{k}(X)\ar[r]&\pi_{k}(Y)\ar[lld]\\ \vdots&\vdots&\vdots\ar[lld]\\ \pi_{2}(F)\ar[r]&\pi_{2}(X)\ar[r]&\pi_{2}(Y)\ar[lld]\\ \pi_{1}(F)\ar[r]&\pi_{1}(X)\ar[r]&\pi_{1}(Y)\ar[lld]\\ \pi_{0}(F)\ar[r]&\pi_{0}(X)\ar[r]&\pi_{0}(Y)}$
###### Proof.

We begin by showing that the 0-truncation of a fiber sequence is an exact sequence of pointed sets. Thus, we need to show that for any adjacent pair of maps in a fiber sequence:

 $\xymatrix{{\mathsf{fib}}_{f}(z_{0})\ar^{-}g[r]&W\ar^{-}f[r]&Z}$

with $g:\!\!\equiv\mathsf{pr}_{1}$, the sequence

 $\xymatrix{\mathopen{}\left\|{\mathsf{fib}}_{f}(z_{0})\right\|_{0}\mathclose{}% \ar^{-}{\mathopen{}\left\|g\right\|_{0}\mathclose{}}[r]&\mathopen{}\left\|W% \right\|_{0}\mathclose{}\ar^{-}{\mathopen{}\left\|f\right\|_{0}\mathclose{}}[r% ]&\mathopen{}\left\|Z\right\|_{0}\mathclose{}}$

is exact, i.e. that $\mathsf{im}(\mathopen{}\left\|g\right\|_{0}\mathclose{})\subseteq\ker(% \mathopen{}\left\|f\right\|_{0}\mathclose{})$ and $\ker(\mathopen{}\left\|f\right\|_{0}\mathclose{})\subseteq\mathsf{im}(% \mathopen{}\left\|g\right\|_{0}\mathclose{})$.

The first inclusion is equivalent to $\mathopen{}\left\|g\right\|_{0}\mathclose{}\circ\mathopen{}\left\|f\right\|_{0% }\mathclose{}=0$, which holds by functoriality of $\|\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt}\|_{0}$ and the fact that $g\circ f=0$. For the second, we assume $w^{\prime}:\mathopen{}\left\|W\right\|_{0}\mathclose{}$ and $p^{\prime}:\mathopen{}\left\|f\right\|_{0}\mathclose{}(w^{\prime})=\mathopen{}% \left|z_{0}\right|_{0}\mathclose{}$ and show there merely exists ${t:{\mathsf{fib}}_{f}(z_{0})}$ such that $g(t)=w^{\prime}$. Since our goal is a mere proposition, we can assume that $w^{\prime}$ is of the form $\mathopen{}\left|w\right|_{0}\mathclose{}$ for some $w:W$. Now by \autorefthm:path-truncation, $p^{\prime}:\mathopen{}\left|f(w)\right|_{0}\mathclose{}=\mathopen{}\left|z_{0}% \right|_{0}\mathclose{}$ yields $p^{\prime\prime}:\mathopen{}\left\|f(w)=z_{0}\right\|_{-1}\mathclose{}$, so by a further truncation induction we may assume some $p:f(w)=z_{0}$. But now we have $\mathopen{}\left|(w,p)\right|_{0}\mathclose{}:\mathopen{}\left|{\mathsf{fib}}_% {f}(z_{0})\right|_{0}\mathclose{}$ whose image under $\mathopen{}\left\|g\right\|_{0}\mathclose{}$ is $\mathopen{}\left|w\right|_{0}\mathclose{}\equiv w^{\prime}$, as desired.

Thus, applying $\|\mathord{\hskip 1.0pt\text{--}\hskip 1.0pt}\|_{0}$ to the fiber sequence of $f$, we obtain a long exact sequence involving the pointed sets $\pi_{k}(F)$, $\pi_{k}(X)$, and $\pi_{k}(Y)$ in the desired order. And of course, $\pi_{k}$ is a group for $k\geq 1$, being the 0-truncation of a loop space, and an abelian group for $k\geq 2$ by the Eckmann–Hilton argument (\autorefthm:EckmannHilton). Moreover, \autorefthm:fiber-of-the-fiber allows us to identify the maps $\pi_{k}(F)\to\pi_{k}(X)$ and $\pi_{k}(X)\to\pi_{k}(Y)$ in this exact sequence as $(-1)^{k}\pi_{k}(i)$ and $(-1)^{k}\pi_{k}(f)$ respectively.

More generally, every map in this long exact sequence except the last three is of the form $\mathopen{}\left\|\Omega h\right\|_{0}\mathclose{}$ or $\mathopen{}\left\|-\Omega h\right\|_{0}\mathclose{}$ for some $h$. In the former case it is a group homomorphism, while in the latter case it is a homomorphism if the groups are abelian; otherwise it is an “anti-homomorphism”. However, the kernel and image of a group homomorphism are unchanged when we replace it by its negative, and hence so is the exactness of any sequence involving it. Thus, we can modify our long exact sequence to obtain one involving $\pi_{k}(i)$ and $\pi_{k}(f)$ directly and in which all the maps are group homomorphisms (except the last three). ∎

The usual properties of exact sequences of abelian groups can be proved as usual. In particular we have:

###### Lemma 8.4.7.

Suppose given an exact sequence of abelian groups:

 $\xymatrix{K\ar[r]&G\ar^{f}[r]&H\ar[r]&Q.}$
1. 1.

If $K=0$, then $f$ is injective.

2. 2.

If $Q=0$, then $f$ is surjective.

3. 3.

If $K=Q=0$, then $f$ is an isomorphism.

###### Proof.

Since the kernel of $f$ is the image of $K\to G$, if $K=0$ then the kernel of $f$ is $\{0\}$; hence $f$ is injective because it’s a group morphism. Similarly, since the image of $f$ is the kernel of $H\to Q$, if $Q=0$ then the image of $f$ is all of $H$, so $f$ is surjective. Finally, 3 follows from 1 and 2 by \autorefthm:mono-surj-equiv. ∎

As an immediate application, we can now quantify in what way $n$-connectedness of a map is stronger than inducing an equivalence on $n$-truncations.

###### Corollary 8.4.8.

Let $f:A\to B$ be $n$-connected and $a:A$, and define $b:\!\!\equiv f(a)$. Then:

1. 1.

If $k\leq n$, then $\pi_{k}(f):\pi_{k}(A,a)\to\pi_{k}(B,b)$ is an isomorphism.

2. 2.

If $k=n+1$, then $\pi_{k}(f):\pi_{k}(A,a)\to\pi_{k}(B,b)$ is surjective.

###### Proof.

As part of the long exact sequence, for each $k$ we have an exact sequence

 $\xymatrix{\pi_{k}({\mathsf{fib}}_{f}(b))\ar[r]&\pi_{k}(A,a)\ar^{f}[r]&\pi_{k}(% B,b)\ar[r]&\pi_{k-1}({\mathsf{fib}}_{f}(b)).}$

Now since $f$ is $n$-connected, $\mathopen{}\left\|{\mathsf{fib}}_{f}(b)\right\|_{n}\mathclose{}$ is contractible. Therefore, if $k\leq n$, then $\pi_{k}({\mathsf{fib}}_{f}(b))=\mathopen{}\left\|\Omega^{k}({\mathsf{fib}}_{f}% (b))\right\|_{0}\mathclose{}=\Omega^{k}(\mathopen{}\left\|{\mathsf{fib}}_{f}(b% )\right\|_{k}\mathclose{})$ is also contractible. Thus, $\pi_{k}(f)$ is an isomorphism for $k\leq n$ by \autorefthm:ses3, while for $k=n+1$ it is surjective by \autorefthm:ses2. ∎

In \autorefsec:whitehead we will see that the converse of \autorefthm:conn-pik also holds.

 Title 8.4 Fiber sequences and the long exact sequence \metatable