Definition and Existence of the Eigenderivative

We define the eigenderivatives of a linear operator on any real or complex Banach space, and give a sufficient condition for their existence.