Definition:Complementary Idempotent

Definition
Let $\HH$ be a Hilbert space.

Let $A$ be an idempotent operator on $\HH$.

Then the complementary idempotent (operator) of $A$ is the bounded linear operator $I - A$, where $I$ is the identity operator on $H$.

Complementary Projection
If $A$ is a projection, $I - A$ is called the complementary projection.

This name is justified by Complementary Projection is Projection.

Also see
The name is appropriate, by Complementary Idempotent is Idempotent and the fact that $I - \paren {I - A} = A$.


 * Complementary Idempotent is Idempotent
 * Complementary Projection is Projection
 * Range of Idempotent is Kernel of Complementary Idempotent