Definition:Compact Linear Operator on Normed Vector Space