Definition:Compact Linear Transformation

Definition
Let $H, K$ be Hilbert spaces.

Let $T: H \to K$ be a linear transformation.

Let $\operatorname{ball} H$ be the closed unit ball of $H$.

Then $T$ is said to be a compact linear transformation, or simply compact iff $\operatorname{cl} \left({T \left({\operatorname{ball} H}\right) }\right)$ is compact in $K$.

Compact Operator
When $H$ and $K$ are equal, one speaks about compact (linear) operators instead.

This is in line with the definition of a linear operator.