Timeline for Regarding use of inverse function theorem in Folland's Real analysis
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 31, 2024 at 0:10 | comment | added | Andrew | I thought about it more, you are right. | |
| Oct 30, 2024 at 21:32 | comment | added | Andrew | That's not true. You have to check that the local functions the inverse function theorem gives can be stitched together to give a $C^1$ function, but it's not clear how to do this. | |
| Oct 30, 2024 at 20:39 | comment | added | Jorge S. | @Andrew Is the usual IFT, $U$ is a neighborhood of $x$. What allow us to obtain the global inverse $G^{-1}$ is the injectivity of $G$. | |
| Oct 30, 2024 at 20:07 | comment | added | Andrew | You are using a "global inverse function theorem," so it would be nice to know where it comes from. Indeed, the OP acknowledges the inverse function theorem, but is not aware of a global version of one. | |
| Oct 30, 2024 at 19:52 | history | answered | Jorge S. | CC BY-SA 4.0 |