Euler characteristic fiber bundle

Let be $F \rightarrow E \rightarrow B$ be a fiber bundle where $B$ is path-connected and all three spaces are compact. Have you a simple proof that $\chi(E)=\chi(F) \chi(B)$? Where could I find that? I denote $\chi$ the Euler characteristic.


The proof that I know follows from the Serre spectral sequence. Let $k$ be a field, and suppose that $\pi_1(B)$ acts trivially on $H_*(F;k)$. (Clearly you also need to assume that $\chi(F)$ and $\chi(B)$ exist!). The $E_2$ term of the Serre spectral sequence becomes $$E_2^{s,t} \simeq H_s(B;k) \otimes H_t(F;k)$$

Now we need to define the Euler characteristic for the $r$-th page of the spectral sequence. This is $$\chi(E^r) = \sum_{s,t} (-1)^{s+t} \text{dim}E^r_{s,t}$$

So $\chi(E^2) = \chi(B)\chi(F)$.

Now one can show that $\chi(E^2) = \chi(E^3) = \cdots$, and since by assumption the spectral sequence collapses for large enough $r$ we have that $\chi(E^2) = \chi(E^\infty)$. Finally show that $\chi(E^\infty) = \chi(E)$. Putting this all together gives what you want.

For more details, see Spanier - Algebraic Topology, pp. 481-482