Open mapping theorem (functional analysis)
ID: open-mapping-theorem-functional-analysis
A bounded surjective linear map between Banach spaces is open. Baire category first puts a ball in the closure of an image; iterative correction removes the closure.
New to topics? Read the docs here!