I'm reading about compact operators and I'm trying to prove the following statement:
Let $X,Y$ be Banach spaces and $T:X \to Y$ a linear operator. Then the following are equivalent:
(a) T is compact.
(b) The set $T(B_X)$ is a relatively compact subset of $Y$.
The definition of compact operator that I know is: $T:X \to Y$ is a compact operator if it sends bounded sets of $X$ to relatively compact sets of $Y$. With this it's very easy to show $(a) \Rightarrow (b)$, but I don't know how to proceed on $(b) \Rightarrow (a)$.