Dejar estar abierto. Suponer que es sobreyectiva y es en todas partes Frechet diferenciable con invertible para todos . Es invertible?
Sé que una de las condiciones para el teorema de la función inversa es que es continuamente diferenciable, que no necesariamente tenemos. Si la pregunta no nos diera eso fuera sobreyectiva, habría concluido que no tiene que ser invertible, pero me pregunto qué intenta decirnos la pregunta al mencionar la sobreyectividad de , si implica que es continuamente diferenciable, no veo cómo.
No, y el tema no es la continuidad de la derivada. Para ver esto, podría tomar la función del artículo de wikipedia sobre el teorema de la función inversa:
(Esta es realmente la función holomorfa de a disfrazada).
Nombre para mostrar
Nombre para mostrar
Nombre para mostrar
Esteban