Let on a vector space, where is a linear functional. Its image of a linear map lies in the span of . Applying twice gives . Mathematical induction then proves the displayed power formula. If , , even when ; this is a nilpotent operator. If , then is an idempotent linear map. In a real inner product space, the special case gives .
For the bounded rank-one operator , insert the powers of a rank-one operator into the convergent operator exponential power series. Writing gives the displayed formula for . At the quotient has limit , so . This includes the zero operator and the nonzero nilpotent operator cases without dividing by zero.

Articles by others on the same topic (0)

There are currently no matching articles.