3

Let $H$ be Hilbert space and $u_1,u_2,...u_n \in H$ (vectors dont have to be orthogonal)
$V=span\{u_1,u_2,...u_n\}\subset H$
and $S$ is unit sphere in $V$. $P_V$ is orthogonal projection on V.

Now lets take some $h\in H$ $$ \sup_{v\in S}|\langle h,v \rangle| = \|P_Vh \| $$

How can I show this property? I know that $\|P_Vh-h \|= \inf_{v\in V}\|v-h\|$ for $V$ closed and convex , $(P_Vh-h) \perp V $ , uniqueness , $P^2=P$ ... but supremum confused me. Is there some short elegant way to show this?

P.S. give hint if its easy and short

Svetoslav
  • 5,205
  • 2
  • 16
  • 35
jack
  • 691

1 Answers1

2

Hint: From $(P_Vh-h) \perp V$ you know $\langle h,v \rangle=\langle P_Vh,v \rangle$. Which $v\in S$ maximizes this expression?

joriki
  • 238,052
  • now cauchy-schwartz $|\langle P_V h,v \rangle| \le |P_V h| | v |$ equality of $v=\alpha P_V h $ , $|v|=1$ so $\alpha = 1/ | P_V h | $. correct? – jack Feb 21 '16 at 23:21
  • 1
    @jack: Yes, except that's $\alpha^{-1}$ (and you need to treat $h=0$ separately). – joriki Feb 21 '16 at 23:24