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.

Articles by others on the same topic (0)

There are currently no matching articles.