Banach 1929 open-mapping theorem: surjective bounded linear operator between Banach spaces is open; implies inverse is bounded if injective.
Banach 1929 open-mapping theorem: surjective bounded linear operator between Banach spaces is open; implies inverse is bounded if injective.