Why is the image of a compact operator separable? Let $A$ and $B$ be normed vector spaces and let $S\in \mathscr{K}(A,B)$ be a compact operator.

Question: How does it follow that the image of $S$ is separable?

Thanks for the help.

*

*A countable union of separable sets is separable (if $S_j$ is separable, let $\left(x^{j}_n\right)_{n\geqslant 1}$ be a dense sequence in $S_j$; then $\left\{x_n^{j},n,j\geqslant 1\right\}$ is countable and dense in $\bigcup_{j\geqslant 1}S_j$).

*A subset $K$ with compact closure is separable (consider the covers $\left(B\left(x,n^{-1}\right)\right)_{x\in K}$).

*$A=\bigcup_{j\geqslant 0}B\left(0,j\right)$ and $S(A)=\bigcup_{j\geqslant 0}S\left(B\left(0,j\right)\right)$.

