Definition:Compact Linear Transformation on Normed Vector Space