证明很多有用的定理是必需的。最初“紧致”意味着“序列紧致”（所有序列都有收敛子序列）。这是在研究主要的度量空间的时候。“覆盖紧致”定义已经变得更加突出，因为它允许我们考虑更一般的拓扑空间，并且关于度量空间的很多已有结果可以推广到这种设置。这种推广在研究函数空间的时候特别有用，它们很多都不是度量空间。研究紧致空间的主要原因之一是因为它们以某种方式类似于有限集合：有很多结果易于对有限集合证明，其证明可以通过极小的变动就转移到紧致空间上。常说“紧致性是在有限性之后最好的事情”。例如：注意如果"A"是无限