How can I prove the following characterization : $\langle u-\pi_ku,w-\pi_ku\rangle\leq 0$?

53 Views Asked by At

let K be a non-empty closed convex subspace of an hilbert H, $$ \quad \forall u \in H \quad\exists \overline{u} \in K , ~~ \|u-\overline{u}\|= \min_{v ~\in K}\|u-v\| $$ $$ ~~ ( ~~ \|.\| ~~ : ~~ norm ~~ on ~~ H ~~ and ~~ \overline{u}= \pi_ku ~~ \text{ called the projection of u into K}~~).$$ How can i Prove the following characterization : $$\langle u-\pi_ku,w-\pi_ku\rangle\leq 0. $$ $$\forall w \in K,~~ \langle.,.\rangle ~~\text{ the scalar product in H}$$

1

There are 1 best solutions below

1
On BEST ANSWER

I want to delete my answer because 1) it was link-only 2) it answered a no-effort question. I copied-pasted it as a comment.