Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am having some trouble proving this: Let $T_1\in H_1$ and $T_2\in H_2$ where $H_1,H_2$ are Hilbert spaces. Let $T=T_1\oplus T_2$ on $H_1\oplus H_2$. I need to show $T$ is compact iff $T_1$ and $T_2$ are compact.

I was able to prove it in the reverse direction, but I am having trouble proving that if T is compact then $T_1$ and $T_2$ are compact.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Define $P_j\colon T_1\otimes T_2\to T_j$ by $P(x_1,x_2)=x_j$, $j\in \{1,2\}$. Then $T_j=P_jT$, and $P_j$ is linear and continuous.

Conversely, denote $B_j(0,1)$ the closed unit ball of $H_j$. If $H$ is endowed with the norm $\lVert (x_1,x_2)\rVert_H=\lVert x_1\rVert_{H_1}+\lVert x_2\rVert_{H_2}$, then $B_H(0,1)\subset B_1(0,1)\times B_2(0,1)$ hence $$T(B_H(0,1))\subset T_1(B_1(0,1))\times T_2(B_2(0,1)),$$ which have a compact closure as a product of such sets.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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