# Definition:Complementary Idempotent

Jump to navigation
Jump to search

## 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$.