Definition:Compact Linear Transformation/Normed Vector Space

Also see

 * Definition:Compact Linear Operator/Normed Vector Space