تحليل رياضي, حساب التفاضل والتكامل, رياضيات, فضاءات باناخشرط Palais–Smale للتراص (Palais–Smale Compactness Condition)