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 , , andis 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
There are currently no matching articles.