Why $df_{0}\simeq \mathrm{identity}$

180 Views Asked by At

Milnor lemma 2 pg 34 "Any orientation preserving diffeomorphism f on $R^m$ is smoothly homotopic to the identity"

So he proves that $f\simeq df_0$ ,which he says is clearly homotopic to the identity. Can you explain me why?

Here I found two explanations I don't understand: 1) $Gl^{+}(m,\mathbb{R})$ is path connected. Why is $df_0 \in Gl^{+}(m,\mathbb{R})$? What prevents $df_{0}\in Gl^{-}(m,\mathbb{R})$?

2) $df_0$ is isomorphic everywhere and thus(why?) isotopic to identity.

Thanks

2

There are 2 best solutions below

2
On

First, $f$ is orientation-preserving. Second, $GL(n)^+$ is path-connected (e.g., use the $QR$ decomposition).

1
On

This is not really an answer to your specific question, but another way of proving the lemma.

Since $f$ is an orientation preserving diffeomorphism on $\mathbb R^m$ it must have degree 1. By the Hopf degree theorem (p. 51 in Milnor), it is smoothly homotopic to the identity.