 The Riemann sums converge in the uniform operator topology.We define

In the definition of the functional calculus, "f" is assumed to be holomorphic in an open neighborhood of Γ.It will be shown below that the resolvent mapping is holomorphic on the resolvent set.