Let \(f:M\to N\) be a smooth map between smooth manifolds, and let \(y\) be a regular value of this map. If \(M\) and \(N\) are compact, oriented, and have the same dimension, then what is the definition of \(\deg (f;y)\), the degree of \(f\) measured at the value \(y\)? We have seen that the degree is independent of the regular value chosen, and an ingredient of that proof is the following lemma:
Suppose \(Q\) is a compact smooth manifold and that \(\partial Q=M\). If \(F:Q\to N\) is smooth, and \(z\) is a regular value of \(F|_{\partial Q}\), then \(\deg (F|_{\partial Q};z)=0\).
Prove the lemma.