open mapping theorem

There are two important theorems having this .

$\bullet$ In the context of functions of a complex variable:

Theorem. Every non-constant analytic function on a region is an open mapping.

$\bullet$ In the context of functional analysis:

Theorem. Every surjective continuous linear mapping between two Banach spaces is an open mapping.