For a bounded linear operator on a complex Banach space, its spectrum is
The complement is the resolvent set. For a real space, one may use its complexification when speaking of the complex spectrum; the algebraic arguments below apply over the underlying scalar field as well.
The bounded operators on a Banach space form a Banach algebra in the operator norm. If , the Neumann series converges absolutely in that norm. Its partial sums satisfy
Taking limits proves .
If , factor and apply the same argument. Thus such are in the resolvent set and
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.
The factorization
has commuting factors because both are polynomials in . If , their product is invertible. The preceding part would then make invertible, contradicting . Therefore
This proves the required inclusion without assuming the full spectral mapping theorem.

Articles by others on the same topic (0)

There are currently no matching articles.