 The resolvent set ρ("T") is actually an open set on which the resolvent map is analytic.This property will be used in subsequent arguments for the functional calculus.To verify this claim, let "z"1 ∈ ρ("T") and notice the formal expression

suggests we consider

for ("z"2−"T")−1.