緊緻集的連續像若K在X中compact且f:X→Y連續，則image f(K)在Y中compact。atlas-continuous-image-of-compact · canonical_mko緊緻集的連續像前置節點緊緻子集拓撲連續映射函數映射