# Compact Idempotent is of Finite Rank

## Theorem

Let $H$ be a Hilbert space.

Let $T \in \map {B_0} H$ be a compact linear operator, and let $T$ be idempotent.

Then:

$T \in \map {B_{00} } H$

that is, $T$ is a bounded finite rank operator.