Define the holomorphic function on the disconnected open set to be one on and zero on . Since , its holomorphic functional calculus value is an idempotent. The spectral mapping theorem and the nonempty spectral intersection with show ; thus . These are the Riesz projection values selecting the indicated spectral component.
Part (b) gives . If avoided , spectral mapping would give . A nonzero idempotent always has in its spectrum: if were invertible, would force . Thus avoiding forces . That is impossible eventually, since and . Therefore eventually. This is persistence of a separated spectral component, not a claim that arbitrary individual spectral points vary continuously.
Articles by others on the same topic
There are currently no matching articles.