Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2011/3/a/iii/solution

If has a bounded inverse, it is onto and , giving the claimed lower bound. Conversely a positive lower bound makes injective. Together with surjectivity it gives an everywhere-defined linear inverse with norm at most . Hence it is bounded, proving the equivalence.
If are individually invertible, their product has inverse . Conversely assume and put , with invertible. Both factors commute with and therefore with . Direct multiplication gives
These are bounded two-sided inverses, so an invertible commuting product has both factors invertible. The commutation assumption is used when verifying the second side of each inverse.

New to topics? Read the docs here!