变分法, 微分几何, 拓扑学, 数学, 泛函分析帕莱斯–斯梅尔紧致性条件 (Palais–Smale compactness condition)变分问题, 帕莱斯–斯梅尔, 泛函, 紧致性, 黎曼几何