距离空间之间的连续映射，把紧集映成列紧集.