Teorema de la función abierta
En matemáticas, hay dos teoremas con el nombre "Teorema de la función abierta".
Análisis funcional editar
En análisis funcional, el teorema de la función abierta, también conocido como el teorema de Banach-Schauder, es un resultado fundamental que establece: si A: X → Y es un operador lineal continuo sobreyectivo entre los espacios de Banach X y Y, entonces A es una función abierta (es decir si U es un conjunto abierto en X, entonces A(U) es abierto en Y).
La prueba utiliza el Teorema de categorías de Baire.
El teorema de la función abierta tiene dos consecuencias importantes:
- Si A: X → Y es un operador lineal continuo biyectivo entre los espacios de Banach X y Y, entonces el operador inverso A-1: Y → X es continuo también (esto se llama el teorema de la función inversa).
- Si A: X → Y es un operador lineal entre los espacios de Banach X y Y, y si para cada sucesión (xn) en X con xn → 0 y Axn → y se sigue que y = 0, entonces A es continuo (teorema de la gráfica cerrada).
Análisis complejo editar
En análisis complejo, el teorema de la función abierta establece que si U es un subconjunto abierto conexo del plano complejo C y f: U → C es una función holomorfa no-constante, entonces f es una función abierta (es decir envía subconjuntos abiertos de U a los subconjuntos abiertos de C).
Datos: Q944297
