Timeline for Ehresmann's fibration theorem in the C1 class
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2014 at 10:23 | history | edited | Arnaud Chéritat | CC BY-SA 3.0 |
added 63 characters in body
|
| Oct 14, 2014 at 9:11 | history | edited | Arnaud Chéritat | CC BY-SA 3.0 |
added 525 characters in body
|
| Oct 14, 2014 at 8:55 | comment | added | Arnaud Chéritat | Sure, I'll edit the question and translate the French Wikipedia statement here. | |
| Oct 14, 2014 at 6:05 | comment | added | Ryan Budney | Could you state a precise version of Ehresmann's theorem, for the sake of making your question concrete? Ehresmann's theorem, regardless of which version you use is basically just an application of the implicit function theorem. You can use the tubular neighbourhood theorem to speed up the proof and make it a little more conceptual. If you add in Riemann metrics and use the exponential map you can (very much!) speed up the proof but you bring in the $C^2$ assumption. | |
| Oct 13, 2014 at 16:30 | answer | added | JHM | timeline score: 7 | |
| Oct 13, 2014 at 14:31 | history | asked | Arnaud Chéritat | CC BY-SA 3.0 |