This paper presents three theorems concerning stability and stationary points of the constrained minimization problem:
In summary, we prove that, given the Mangasarian-Fromovitz constraint qualification (MFCQ), the feasible set M[H, G] is a topological manifold with boundary, with specified dimension; (ℬ) a compact feasible set M[ H, G] is stable (perturbations of H and G produce homeomorphic feasible sets) if and only if MFCQ holds; under a stability condition, two lower level sets of f with a Kuhn-Tucker point between them are homotopically related by attachment of a k-cell (k being the stationary index in the sense of Kojima).