En análisis funcional, el teorema de la función abierta establece que cada operador lineal continuo sobreyectivo entre espacios de Banach es una función abierta.