In functional analysis, the open mapping theorem, also known as the Banach–Schauder theorem or the Banach theorem, is a fundamental result which states that if a bounded or continuous linear operator between Banach spaces is surjective then it is an open map. Wikipedia