Stability theorem and extremum conditions for abnormal problems

We prove a generalized inverse function theorem in a neighborhood of a singular point of a mapping. As corollaries to this theorem, we obtain an inverse function theorem, an error bound theorem, and a tangent cone theorem that extend and strengthen the corresponding classical results in the irregular case. Using these corollaries, we establish necessary extremum conditions that are meaningful for abnormal problems.