Open Mapping Theorem

In Banach spaces: any surjective continuous linear operator between Banach spaces maps open sets to open sets; equivalently, a surjective bounded linear operator sends some neighborhood of zero in the domain to a neighborhood of zero in the codomain.