Definition:Compact Linear Transformation/Inner Product Space

Also see

 * Definition:Compact Linear Operator/Inner Product Space