Compact Idempotent is of Finite Rank

From ProofWiki
Jump to navigation Jump to search

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.


Proof


Sources