Published online by Cambridge University Press: 24 October 2008
This article is concerned with the bifurcation of critical points of a smooth real-valued function on a Banach space. There are two somewhat different aspects considered. The first, referred to as reduction, is a refinement of the Liapunov-Schmidt procedure by incorporating techniques from the theory of determinate germs and their universal unfoldings. A definite reduction procedure is given, whereby a germ or unfolding given in a Banach space may be replaced by a germ or unfolding in a finite-dimensional space in such a way that the geometry of the bifurcation set and the overlying critical point set is preserved. The aim is to provide a practicable tool, not an exhaustive theoretical discussion. How practicable it is may be seen from another paper (Magnus and Poston(7)) in which it is applied to a problem in elasticity; indeed, the present paper in part was originally the ‘machinery’ section of that paper. The second aspect, stability, is of more theoretical interest. The well known structural stability of universal unfoldings (see (5)) is extended to infinite-dimensions. Only a local theory is given.