Teorema de la función abierta

En matemáticas, hay dos teoremas con el nombre "Teorema de la función abierta".

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:

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).