1
$\begingroup$

Could anyone help me with this problem? I don't know where to start.

Let $\{ e_n \}_{n=1}^\infty$ be an orthonormal basis in a separable Hilbert space $H$. Denote by $P_n$ the orthogonal projection onto the subspace spanned by $e_1, \dots ,e_n$.

  1. Show that $P_nx \rightarrow x$ as $n \rightarrow \infty$ for any $x \in H$ and, furthermore, the convergence is uniform on any compact subset of $H$.
  2. Show that for any compact operator $T$ on $H$ we have $\Vert P_nT - T \Vert \rightarrow 0$ as $n \rightarrow \infty$. Therefore $T$ is approximated by the finite rank operators $P_nT$.

Thanks for any help!

$\endgroup$
  • 3
    $\begingroup$ Have you made any start on these questions on your own? $\endgroup$ – Kevin Carlson Oct 16 '12 at 9:24
  • $\begingroup$ @Kevin Carlson I didn't really know where to begin, to be honest. $\endgroup$ – Maethor Oct 20 '12 at 19:04
3
$\begingroup$
  1. Let $x\in X$. We have $P_n(x)=\sum_{j=1}^n\langle x,e_j\rangle e_j$ so , by Bessel-Parseval equality $$\lVert P_nx-x\rVert^2=\sum_{j\geq n+1}|\langle x,e_j\rangle|^2.$$ As the latest series is convergent we have the result.

    Now, let $K\subset H$ compact. Fix $\varepsilon >0$. Then we can find an integer $N$ and $x_1,\dots,x_N\in K$ such that for each $x\in K$, we can find $1\leq k \leq N$ such that $\lVert x-x_k\rVert\leq\varepsilon$. Fix $x\in K$. Then $$\lVert P_nx-x\rVert^2=\sum_{j\geq n+1}|\langle x-x_k+x_k,e_j\rangle|^2\leq \varepsilon^2+\max_{1\leq k\leq N}\sum_{j\geq n+1}|\langle x_k,e_j\rangle|^2.$$ As the RHS doesn't depend on $x$, we have $$\sup_{x\in K}\lVert P_nx-x\rVert^2\leq \varepsilon^2+\max_{1\leq k\leq N}\sum_{j\geq n+1}|\langle x_k,e_j\rangle|^2.$$ Now take the $\limsup_{n\to+\infty}$ to get the result.

  2. If $T$ is compact, then $K:=\overline{T(B(0,1))}$ is compact, so we apply the previous result to this $K$.

Note that the property of approximation of a compact operator by a finite rank operator is true in any Hilbert space, not only in separable ones. To see that, fix $\varepsilon>0$; then take $v_1,\dots,v_N$ such that $T(B(0,1))\subset \bigcup_{j=1}^NB(y_j,\varepsilon)$. Let $P$ the projection over the vector space generated by $\{y_1,\dots,y_N\}$ (it's a closed subspace). Consider $PT$: it's a finite ranked operator. Now take $x\in B(0,1)$. Then pick $j$ such that $\lVert Tx-y_j\rVert\leq\varepsilon$. We also have, as $\lVert P\rVert\leq 1$, that $\lVert PTx-Py_j\rVert\leq \varepsilon$. As $Py_j=y_j$, we get $\lVert PTx-Tx\rVert\leq 2\varepsilon$.

$\endgroup$
  • $\begingroup$ @David_Giraudo what use in first inequal $\leq \epsilon ^{2}+max...$ $\endgroup$ – user89940 Feb 13 at 22:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.