Let $H$ Hilbert space, and $H_n$ are increasing(i.e. $H_n\subset H_{n+1}$) finite dimensional subspaces such that $\bigcup _{n=1}^{\infty} H_n$ is dense in $H$. Suppose $P_n$ be projection $H$ to $H_n$ and bounded linear operator $T:H\to H $ s.t., $||TP_n-P_nT||\leq \frac{1}{2^{n+1}}$ Then there exist linear operator $S$ which is commutative with all $P_n$, and compact operator $K$ s.t., $||K||<1$ , $T=S+K$

I know that $P_nP_m=P_mP_n$ for all $m,n$, so I guess $S$ is linear combination of $P_n$. But I can't pick up $S$ and $K$.


Note that, by definition, the projections $P_n$ converge strongly to $I$.

Let $r\in\mathbb N$ (to be determined later), and define $$ Q_n=P_{n+r}-P_n. $$ The projections $Q_n$ are finite-rank, and pairwise orthogonal. Let $$ S=\sum_n Q_nTQ_n,\ \ \ \ K=T-S. $$ Let us check first that $SP_n=P_nS$ for all $n$. It is obvious that $SQ_n=Q_nS$ for all $n$. We have $$ SP_n-P_nS=-(SQ_n-Q_nS)+SP_{n+r}-P_{n+r}S=SP_{n+r}-P_{n+r}S. $$ Repeat the argument, to get $$ SP_n-P_nS=SP_{n+kr}-P_{n+kr}S,\ \ \ k\in\mathbb N. $$ As $P_n\nearrow I$, we get $SP_n-P_nS=0$.

As for $K$, we have $$ K=T-\sum_n Q_nSQ_n=\sum_n TQ_n-Q_nTQ_n=\sum_n (TQ_n-Q_nT)Q_n. $$ Also, $$ \|TQ_n-Q_nT\|\leq\|TP_n-P_nT\|+\|TP_{n+r}-P_{n+r}T\|\leq\frac1{2^{n+1}}+\frac1{2^{n+r+1}} $$ $$\tag1 \left\|\sum_{n=m+1}^\infty (TQ_n-Q_nT)Q_n\right\| \leq\sum_{n=m+1}^\infty \|TQ_n-Q_nT\|\leq\sum_{m+1}^\infty \frac1{2^{n+1}}+\frac1{2^{n+r+1}}\xrightarrow[m\to\infty]{}0 $$ The estimate $(1)$ shows that $K$ is of the form $\sum_{n=1}^m(TQ_n-Q_nT)Q_n$, which is finite-rank, plus an arbitrarily small operator; that is, $K$ is a limit of finite-rank operators, and thus compact.

Finally, using $(1)$ with $m=1$, we get $$ \|K\|\leq\sum_{m=1}^\infty \frac1{2^{n+1}}+\frac1{2^{n+r+1}} =\frac12+\frac1{2^{r+1}}. $$ So any $r\geq3$ will give us $\|K\|<1$.

As a final note, a very small tweak of the argument allows one to get $\|K\|<\varepsilon$ for any fixed $\varepsilon>0$.


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.