紧致性：从"有限"到"存在性"的桥梁

紧致性把"有限性"这个组合概念转化为"存在性"这个分析结论——紧致空间上的连续函数必有最值。这是泛函分析、优化理论、偏微分方程存在性证明的基石。