紧空间(compact space)亦称紧致空间.最重要的一类拓扑空间.若拓扑空间X的任意开覆盖都有有限子覆盖，则称X为紧空间。