Let $\left\{ {{e_n}} \right\}_{n = 1}^\infty $are orthonormal basis in a Hilbert space H,A is a bounded linear operator on H; if ${M_n} = {\{ {e_1},{e_2}, \cdots ,{e_n}\} ^ \bot }$,when $x\in M_n,\mathop {\sup }\limits_{\left\| x \right\| = 1} \left\| {Ax} \right\| \to 0(n \to \infty )$. Show that the $A$ is a compact operator
my proof: $H=M_n + {M_n}^{\bot}$,so $A$ is a compact on ${M_n}^{\bot}$,because it's a finite rank operator on ${M_n}^{\bot}$;$\forall y \in H,\Vert y \Vert \leq B$,$y=y_1+y_2$,where $y_1 \in {M_n}^{\bot},y_2\in M_n$;it's clear that $\{Ay_1\}$has a subsequence$\{Ay_{n_k}\}$.on the other hand, for $y_2,\frac{1}{{\left\| y \right\|}}\left\| {A{y_2}} \right\| = \left\| {A\frac{{{y_2}}}{{\left\| y \right\|}}} \right\| \le \sup \left\| {Ax} \right\| \to 0$,$\Vert Ay_2 \Vert=\Vert y\Vert \Vert Ay_2 \Vert \to 0$.so $\{ Ay_2\}$ has a subsequence $\{Ay_{n_s}\}$; then $\{Ay_{n_k}+Ay_{n_s}\}$ is a subsequence of $\{ Ay\}$ and is convergence;A is a compact operator.