 Spectral mapping theorem

A spectral mapping theorem relates the spectrum of an operator to the spectrum after applying a function to it. For a bounded linear operator $T$ on a complex Banach space and a polynomial $p$,Factor $p(z)-\mu$ over the complex numbers. If no root lies in $\sigma (T)$, every factor $T-\lambda I$ is invertible, so their product is invertible. Conversely a product of commuting factors can be invertible only if each factor is invertible, giving the reverse inclusion.

For a matrix with eigenvalues one and three, $T^2+I$ has eigenvalues two and ten. More general functions require a specified functional calculus; an unrestricted substitution rule for unbounded operators is not automatic.