Translation of the spectrum by a scalar
ID: translation-of-the-spectrum-by-a-scalar
The identity proves the formula directly from invertibility. In a nonzero complex unital Banach algebra, the nonemptiness of the Banach-algebra spectrum implies that if is a quasinilpotent element, then . Consequently every nonscalar element cannot simultaneously be quasinilpotent: adding the identity preserves nonscalarity while translating its spectrum.
New to topics? Read the docs here!