§1. Historical Remarks Convex Integration theory, ?rst introduced by M. Gromov [17], is one of three general methods in immersion-theoretic topology for solving a broad range of problems in geometry and topology. The other methods are: (i) Removal of Singularities, introduced by M. Gromov and Y. Eliashberg [8]; (ii) the covering homotopy method which, following M. Gromov’s thesis [16], is also referred to as the method of sheaves. The covering homotopy method is due originally to S. Smale [36] who proved a crucial covering homotopy result in order to solve the classi?cation problem for immersions of spheres in Euclidean space. These general methods are not linearly related in the sense that succ- sive methods subsumed the previous methods. Each method has its own distinct foundation, based on an independent geometrical or analytical insight. Con- quently, each method has a range of applications to problems in topology that are best suited to its particular insight. For example, a distinguishing feature of ConvexIntegrationtheoryisthatitappliestosolveclosed relationsinjetspaces, including certain general classes of underdetermined non-linear systems of par- 1 tial di?erential equations. As a case of interest, the Nash-Kuiper C -isometric immersion theorem can be reformulated and proved using Convex Integration theory (cf. Gromov [18]). No such results on closed relations in jet spaces can be proved by means of the other two methods. On the other hand, many classical results in immersion-theoretic topology, such as the classi?cation of immersions, are provable by all three methods.
