Deje φ:Mn→Nn ser un adecuado suave mapa entre dos conectadas suave colectores. A continuación, φ induce lineal mapa de φ∗:Hnc(N)≃R→Hnc(M)≃R (donde Hnc n- ésimo de Rham cohomology grupo con soporte compacto), de modo que existe d∈R, de modo que φ∗:x↦d⋅x; d se llama el grado de φ. Por otra parte, se puede demostrar que si φ:M→N ϕ:M→N son suavemente homotópica, a continuación, φ∗=ϕ∗ por lo tanto deg(φ)=deg(ϕ).
Sin embargo, cada apropiado suave mapa de f:Rn→Rn g:Rn→Rn son suavemente homotópica (gracias a H(t,x)=tf(x)+(1−t)g(x)), por lo que cada apropiado suave mapa de Rn→Rn debe tener el mismo grado...
Probablemente es una pregunta tonta, pero ¿de dónde viene mi argumento no?
Edit: Sean Eberhard encontrado un primer problema; de hecho, a la conclusión de que la φ∗=ϕ∗ es necesario que el homotopy ser adecuada en cualquier t. Sin embargo, aquí hay otra contradicción:
Si P(z)=zn (donde R2 C no se distingue), deg(P)=n P es adecuada si n≥1. Tomando H(t,z)=tzm+(1−t)zn con m>n>1, m=deg(H(1,⋅))=deg(H(0,⋅))=n, una contradicción.