Compact operator on $l^2$

3.5k Views Asked by At

Let $A$ be a bounded linear operator on $l^2$ defined by $A(a_n)= \left(\frac{1}{n} a_n\right)$. Would you help me to prove that $A$ is compact operator. I guess the answer using an approximation by a sequences of finite range operator.

1

There are 1 best solutions below

0
On BEST ANSWER

Let $$T_k(a_n)_j=\begin{cases} \frac 1ja_j&\mbox{ if }j\leq k;\\ 0&\mbox{ otherwise.} \end{cases}$$ This gives a linear operator, and the range of $T_k$ is generated by $e_1,\dots,e_k$, a finite dimensional space. For $a\in\ell^2$, $$\lVert T(a)-T_k(a)\rVert=\sum_{j\geq k+1}\frac 1j|a_j|\leq\frac 1{k+1}\sum_{j\geq 1}|a_j|,$$ so $\lVert T-T_k\rVert\leq\frac 1{k+1}$ and $T$ is compact as the limit in operator norm of compact operators.

Note that more generally, we can define $T(a)(k):=d_ka_k$, where $d_k\to 0$, and $T$ from $\ell^p$ to $\ell^p$, where $1\leq p<\infty$, and this will give a compact operator by the same argument.