bounded inverse theorem
The next result is a corollary of the open mapping theorem. It is often called the bounded inverse theorem or the inverse mapping theorem.
Theorem - Let be Banach spaces. Let be an invertible bounded operator
. Then is also .
Proof : is a surjective continuous operator between the Banach spaces and . Therefore, by the open mapping theorem, takes open sets to open sets.
So, for every open set , is open in .
Hence is open in , which proves that is continuous, i.e. bounded.
0.0.1 Remark
It is usually of great importance to know if a bounded operator has a bounded inverse. For example, suppose the equation
has unique solutions for every given . Suppose also that the above equation is very difficult to solve (numerically) for a given , but easy to solve for a value ”near” . Then, if is continuous, the correspondent solutions and are also ”near” since
Therefore we can solve the equation for a ”near” value instead, without obtaining a significant error.