for T being NormedLinearTopSpace holds
( T is compact iff TopSpaceNorm T is compact )