Open mapping theorem (functional analysis)
= Open mapping theorem
{disambiguate=functional analysis}
{wiki}
= Open mapping theorem
{synonym}
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.