Direct sum of compact operators is compact I have that $T_n$ are bounded operators on $H_n$ ($n\geq 1$) and that $\sup ||T_i||<\infty$. Define $T=\oplus T_n$ and $H=\oplus H_n$. I want to show that $T$ is compact iff $T_n$ is compact for all $n$ and $||T_n||\rightarrow 0$. 
Here is what I have so far: 
Assume that $T$ is compact, and let $B_n$ be the unit ball in $H_n$. Then we have that $\overline{T_n(B_n)}$ is a closed subset of $\overline{T(B)}$ (the unit ball in $H$), so we get compactness of $T_n$, and to see that $|T_n|\rightarrow 0$ just note that if the limit didn't go to zero, then for some $\epsilon>0$ there is an infinite subsequence $\{n_i\}$ such that $|T_{n_i}|>\epsilon$. Pick $m$ large, and let $h_{n_i}\in H_{n_i}$ be such that $|T_{n_i}(h_{n_i})|\geq \epsilon$ for $i=1,...,m$. Let $h\in H$ be equal to $h_{n_i}$ in the $n_i$-position and $0$ elsewehere. Then, $|h|=\sqrt{m}$ so $|T(h)/\sqrt{m}|\geq \epsilon \sqrt{m}$, so letting $m\rightarrow\infty$ we get that $T$ is unbounded, a contradiction. 
For the other direction I am a little stuck, I was thinking of using a theorem that says that for a bounded operator $S$, we have that $S$ is compact iff there is a sequence $S_n$ of operators of finite rank such that $|S-S_n|\rightarrow 0$. Maybe call $S_i$ to be $T_1\oplus...\oplus T_i$, and arguing that $S_i$ has finite rank? I can see that $|T-S_n|\rightarrow 0$ for if $h$ is a unit vector, then 
$$|(T-S_n)(h)|=|\sum_{n+1}^\infty T_n(h_n)|\leq \sup_{i\geq n+1}|T_i|\rightarrow 0$$, but I don't know where to use the hypothesis that $\sup |T_n|<\infty$ and how to show that $S_n$ has finite rank. 

Fix $\varepsilon>0$. Choose $n_0$ such that $\|T_n\|<\varepsilon$ if $n> n_0$. For each $n=1,\ldots,n_0$, there exists a finite-rank $S_n$ with $\|S_n-T_n\|<\varepsilon$. Put $S_n=0$ for $n>n_0$. Then $\bigoplus_1^{n_0}S_n$ is finite-rank and 
$$
\|T-S\|=\sup\{\|S_n-T_n\|,\ n\in\mathbb N\} <\varepsilon.
$$
So $T$ is a limit of finite-rank operators. 
