Definition:Compact Linear Operator/Inner Product Space

Definition
Let $\struct {X, \innerprod \cdot \cdot}$ be an inner product space.

Let $T : X \to X$ be a compact linear transformation.

We say that $T$ is a compact linear operator.

Also see

 * Definition:Compact Linear Transformation on Inner Product Space