Definition:Compact Linear Transformation/Inner Product Space

Also see

 * Equivalence of Definitions of Compact Linear Transformation on Inner Product Space


 * Definition:Compact Linear Operator on Inner Product Space