Semi-Infinite Programming: Strong Stability implies EMFCQ

We consider strongly stable stationary points of semi-infinite programming problems. The concept of strong stability was introduced by Kojima for finite programming problems and it refers to the local existence and uniqueness of a stationary point for each sufficiently small perturbed problem where perturbations up to second order are allowed. Under the extended Mangasarian-Fromovitz constraint qualification (EMFCQ) strong stability can be characterized algebraically by the first and second derivatives of the describing functions. In this paper we show that strong stability implies that EMFCQ holds at the stationary point under consideration.