The Projection map on a Hilbert Space

Published on 8/8/2025

functional analysisanalysishilbert spaces

A Hilbert Space is a Vector Space together with an inner product which is complete for the norm given by the inner product.

Parallelogram Law:

∣a+b2∣2+∣a−b2∣2=12(∣a∣2+∣b∣2)\begin{equation} \left|\frac{a+b}{2}\right|^2 + \left|\frac{a-b}{2}\right|^2 = \frac{1}{2} (|a|^2 + |b|^2) \end{equation}

for all a,b∈Ha,b \in H.

Theorem Let KK be a nonempty convex closed subset of HH. For every f∈Hf \in H there exists unique u∈Ku \in K such that ∣f−u∣≤∣f−v∣|f-u| \le |f-v| for all v∈Kv \in K. We write u=PKfu = P_K f.

Proof: Let d=inf⁡v∈K∣f−v∣d = \inf_{v \in K} |f-v| and vn∈Kv_n \in K a sequence such that ∣f−vn∣→d|f-v_n| \to d. Then,

∣vn−vm2∣2=12(∣f−vn∣2+∣f−vm∣2)−∣f−vn−vm2∣2≤12(∣f−vn∣2+∣f−vm∣2)−d2.\left|\frac{v_n - v_m}{2}\right|^2 = \frac{1}{2}(|f-v_n|^2 + |f-v_m|^2) - \left| f- \frac{v_n - v_m}{2} \right|^2 \le \frac{1}{2}(|f-v_n|^2 + |f-v_m|^2) - d^2.

Thus vnv_n is a Cauchy sequence, so lim⁡vn\lim v_n exists and is in KK since KK is closed. Uniqueness follows by the same inequality.

□

An equivalent characterization of uu is the following:

Proposition 1: Let KK be as in the previous theorem. Then u=PKfu = P_K f if and only if u∈Ku \in K and
(f−u,v−u)≤0(f-u,v-u) \le 0 for all v∈Kv \in K.

Proof:

We compute

∣f−u∣2−∣f−v∣2=2(f,v−u)−(v,v)+(u,u)−2(u,v−u)+2(u,v−u)\begin{equation} |f-u|^2 - |f-v|^2 = 2 (f,v-u) - (v,v) + (u,u) - 2(u, v-u) + 2(u, v-u) \end{equation} =2(f−u,v−u)−∣v−u∣2.= 2(f-u, v-u) - |v-u|^2.

If (f−u,v−u)≤0(f-u,v-u) \le 0, then ∣f−u∣≤∣f−v∣|f-u| \le |f-v| for all v∈Kv \in K so u=Pkfu=P_k f. Conversely if u=PKfu=P_K f, then for any w∈Kw \in K, replacing v=tu+(1−t)wv=tu + (1-t)w in the above inequality yields,

2(f−u,w−u)≤(1−t)∣w−u∣22(f-u, w-u) \le (1-t) |w-u|^2

for all t∈(0,1)t \in (0,1). Letting t→1t \to 1 implies

(f−u,w−u)≤0.(f-u,w-u) \le 0.

□

Corollary 1: Let KK be a nonempty closed convex subset of HH. Then,

∣PKf1−PKf2∣≤∣f1−f2∣|P_K f_1 - P_K f_2| \le |f_1 - f_2|

for all f1,f2∈Hf_1, f_2 \in H.

Proof. The previous proposition implies

0≥(f1−PKf1,PKf2−PKf1)+(f2−PKf2,PKf1−PKf2)0 \ge (f_1 - P_K f_1, P_K f_2 - P_K f_1) + (f_2 - P_K f_2, P_K f_1 - P_K f_2) =(PKf1−PKf2,PKf1−PKf2)−(f1−f2,PKf1−PKf2).= (P_K f_1 - P_K f_2, P_K f_1 - P_K f_2) - (f_1 - f_2, P_K f_1 - P_K f_2 ).

The result follows since (f1−f2,PKf1−PKf2)≤∣f1−f2∣∣PKf1−PKf2∣(f_1 - f_2, P_K f_1 - P_K f_2 ) \le |f_1 - f_2||P_K f_1 - P_K f_2| by the Cauchy-Schwartz inequality.

□

Corollary 2 Let VV be a closed subspace of HH and f∈Hf \in H. Then u=PVfu=P_V f if and only if
(f−u,v)=0(f-u,v) = 0 for all v∈Vv \in V.

Proof. Let λ∈R\lambda \in \mathbb{R} and v=λuv = \lambda u, so that by Proposition 1

(λ−1)(f−u,u)≤0(\lambda - 1) (f-u, u) \le 0

for all λ∈R\lambda \in \mathbb{R}. It follows that (f−u,u)=0(f-u,u) = 0.

□

Corollary 3 If VV is a closed subspace of HH, then PV:H→HP_V : H \to H is a linear operator.

Proof. Let f,g∈Hf,g \in H, λ≠0\lambda \not = 0, u=PVfu = P_V f and v=PVgv=P_V g. For any w∈Vw \in V we have

(λf+g−(λu+v),w−(λu+v))=λ(f−u,λ−1(w−v)−u)+(g−v,(w−λu)−v)=0.(\lambda f + g - (\lambda u + v), w - (\lambda u + v)) = \lambda (f - u, \lambda^{-1}(w - v) - u) + (g-v, (w-\lambda u) - v) = 0.

The case λ=0\lambda = 0 is trivial. Thus, PV(λf+g)=λPV(f)+PV(g)P_V(\lambda f + g) = \lambda P_V(f) + P_V(g) .

□