Definition:Projection (Hilbert Spaces)

Definition
Let $H$ be a Hilbert space.

Let $P \in B \left({H}\right)$ be an idempotent operator.

Then $P$ is said to be a projection iff:


 * $\operatorname{ker} P = \left({\operatorname{im} P}\right)^\perp$

where $\operatorname{ker} P$ denotes kernel of $P$, $\operatorname{im} P$ denotes image of $P$, and $\perp$ denotes orthocomplementation.