Operators that are points of spectral continuity. III (Q760644)

The authors study the continuity of the set-valued maps \(\sigma^ 0:B(H)\to \Sigma\) and \({\bar \sigma}{}_ p:B(H)\to \Sigma \cup \{\emptyset \}\), where B(H) is the algebra of bounded operators on a separable Hilbert space, and \(\Sigma\) is the collection of all non-empty compact subsets of \({\mathbb{C}}\) with Hausdorff metric. The map \(\sigma^ 0\) is defined by \(\sigma^ 0(A)=(\sigma_{re}(A)\cap \sigma_{\ell e}(A))\cup \sigma^ 0_ p(A).\) Here \(\sigma_{re}(A)\) and \(\sigma_{\ell e}(A)\) are the right essential spectrum and the left essential spectrum of A, and \(\sigma^ 0_ p(A)\) is the set of isolated points of \(\sigma\) (A) for which the corresponding Riesz idempotent has finite rank. The set \({\bar \sigma}{}_ p(A)\) is the closure of \(\sigma_ p(A)\). The maps \(\sigma^ 0\) and \({\bar \sigma}{}_ p\) are neither upper nor lower semicontinuous. In this paper the points of continuity and semicontinuity of \(\sigma^ 0\) and \({\bar \sigma}{}_ p\) are characterized. In two previous papers by the same authors [ibid. 2, 174-198 (1979; Zbl 0419.47001) and ibid. 4, 459-503 (1981; Zbl 0468.47001)] the points of continuity of the maps \(\sigma:B(H)\to \Sigma\) and \(\sigma_ e:B(H)\to \Sigma\) were characterized.