紧致性在欧氏空间中等价于有界闭集，保证了连续函数的一致连续性，并使得有限覆盖引理可用；在提升过程中允许用有限网格近似整个定义域。