Range of Orthogonal Projection

Theorem
Let $H$ be a Hilbert space.

Let $K$ be a closed linear subspace of $H$.

Let $P_K$ denote the orthogonal projection on $K$.

Then:


 * $\map {P_K} H = K$

Proof
We first show that $\map {P_K} H \subseteq K$.

Let $k \in \map {P_K} H$.

Then there exists $h \in H$ such that:


 * $\map {P_K} h = k$

From the definition of the orthogonal projection, we have:


 * $\map {P_K} h \in K$

so:


 * $h \in K$

giving:


 * $\map {P_K} H \subseteq K$

We now show that:


 * $K \subseteq \map {P_K} H$

Let $k \in K$.

Then, from Fixed Points of Orthogonal Projection:


 * $\map {P_K} k = k$

So:


 * $k \in \map {P_K} H$

and so:


 * $K \subseteq \map {P_K} H$

We therefore have:


 * $K = \map {P_K} H$