# Closure of Range of Compact Linear Transformation is Separable

## Theorem

Let $H, K$ be Hilbert spaces.

Let $T \in \map {B_0} {H, K}$ be a compact linear transformation.

Then $\map \cl {\Rng T}$ is separable.