Timeline for Is the space of diffeomorphisms homotopy equivalent to a CW-complex?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 9, 2013 at 4:05 | vote | accept | Ricardo Andrade | ||
| Apr 8, 2013 at 23:30 | comment | added | Ricardo Andrade | Thank you very much for your answer, Allen. I actually wrote an answer using the same idea, and you seem to have posted yours while I was writing mine. :) By the way, a continuous path in the compact-open $C^1$ topology on $\operatorname{Diff}(M)$ also gives a continuous path in the compact-open $C^0$-topology, and such a path is exactly a continuous homotopy $M\times I\to M$. That is another way to prove the claim you require at the end: different $f_n$'s are not in the same component. | |
| Apr 8, 2013 at 22:49 | history | answered | Allen Hatcher | CC BY-SA 3.0 |