Open Mapping Theorem

Several flavors of the open mapping theorem state:

1. A continuous surjective linear mapping between Banach spaces is an open map.

2. A nonconstant analytic function on a domain is an open map.

3. A continuous surjective linear mapping between Fr�chet spaces is an open map.