A theorem from Axler's Linear Algebra Done Right says that if 𝑇 is a linear operator on a complex finite dimensional vector space 𝑉, then there exists a basis 𝐵 for 𝑉 such that the matrix of 𝑇 with respect to the basis 𝐵 is upper triangular.
In the proof, he defines U=range(T-𝜆I) (as we have...