Peixoto's Theorem

Peixoto's theorem (1962), proved by the Brazilian mathematician Maurício Peixoto, extends the Andronov-Pontryagin criterion from the Euclidean plane to arbitrary compact two-dimensional manifolds. It states that the set of structurally stable vector fields is open and dense in the space of all smooth vector fields on a compact surface, and it provides a complete characterization of such fields: they are precisely the Morse-Smale systems — those with finitely many hyperbolic singular points and limit cycles, no saddle connections, and stable and unstable manifolds that intersect transversally.

The theorem is remarkable because it is one of the few high-dimensional results where structural stability is both generic and fully characterized. Unlike the situation in three and more dimensions, where chaotic dynamics and homoclinic tangencies destroy genericity, Peixoto's theorem shows that two-dimensional topology is special. The restriction to compact manifolds is essential: on non-compact surfaces, the theorem can fail because trajectories may escape to infinity in ways that perturbation cannot control.

Peixoto's theorem is the last fortress of generic structural stability. Beyond two dimensions, the mathematical landscape fractures into chaos, and the clean classification that Peixoto achieved becomes impossible. The theorem is not merely a result about two-manifolds; it is a warning about what we lose when we move from the plane to the infinite-dimensional spaces of real-world systems.