Continuity and uniqueness of holomorphic functional calculus

ID: continuity-and-uniqueness-of-holomorphic-functional-calculus

Equip holomorphic functions on an open spectral neighborhood with the compact-open topology. A fixed admissible contour gives a bound on by a constant times the supremum of on the contour, proving continuity. The Runge theorem makes rational functions with poles outside the open set dense. A unital homomorphism sending the coordinate function to must send each inverse coordinate difference to the corresponding resolvent, so its rational values and then all its holomorphic values are forced.

New to topics? Read the docs here!