The sequence of norms is bounded. Choose and . By the spectral radius formula, every relevant spectrum lies in . The compact set is disjoint from . If nonempty, continuity of the resolvent of an element gives . For large , , and
is invertible for every by the Neumann series. If is empty there is nothing to exclude. No spectral points can lie outside the radius- disc either. Consequently for all sufficiently large . Taking to be the disc of radius also proves upper semicontinuity of the spectral radius.

Articles by others on the same topic (0)

There are currently no matching articles.