Math 2.0

Dynamical systems and ergodic theory Smooth and hyperbolic dynamics Theorem

Peixoto's theorem

Builds on Structural stabilityVector fieldHyperbolic equilibrium pointPeriodic orbitPoincaré mapDense setLimit cycle

Statement

Let MM be a compact, connected, orientable two-dimensional smooth manifold without boundary. Let 𝔛1(M)\mathfrak{X}^1(M) be the space of C1C^1 vector fields on MM with the C1C^1 topology. Let φt\varphi_t be the flow of XX. A point pp is nonwandering for XX if for every neighbourhood UU of pp and every T>0T > 0, some t>Tt > T has φt(U)∩U≠∅\varphi_t(U) \cap U \neq \emptyset. A saddle connection is an orbit that tends to a saddle point both forward and backward in time.

  1. A vector field X∈𝔛1(M)X \in \mathfrak{X}^1(M) is structurally stable if and only if all four conditions below hold. (a) XX has finitely many zeros, and each of them is a hyperbolic equilibrium point. (b) XX has finitely many periodic orbits, and each of them is hyperbolic. This means that the derivative of its Poincaré map at a fixed point has no eigenvalue of modulus 11. (c) XX has no saddle connection. (d) Every nonwandering point of XX is a zero of XX or lies on a periodic orbit.
  2. The set of structurally stable vector fields is open and dense in 𝔛1(M)\mathfrak{X}^1(M).

Remarks

Vector fields with properties (a) to (d) are the Morse–Smale vector fields on a surface. Necessity of each condition comes from small perturbations: a non-hyperbolic zero or orbit can be split or removed, and a saddle connection can be broken. Sufficiency builds a homeomorphism between phase portraits from the finite combinatorial data of zeros, periodic orbits and separatrices. Density is the harder part; its proof relies on the Poincaré–Bendixson theory, which is special to dimension two. On the torus, the linear flow θ˙1=1\dot\theta_1 = 1, θ˙2=α\dot\theta_2 = \alpha with α\alpha irrational has every point nonwandering and no periodic orbit, so it fails (d) and is not structurally stable. In dimension three and higher, structurally stable systems need not be Morse–Smale; Anosov flows are an example.

Going deeper

For a student

The theorem extends the result of Andronov and Pontryagin for flows on a disc to all compact orientable surfaces. It is the model for the notion of Morse–Smale systems in higher dimensions. In a typical course it follows the study of hyperbolic equilibria, limit cycles and the Poincaré–Bendixson theorem.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Dense set, concept, no evidence levelDense setconceptEuclidean space, object, no evidence levelEuclidean spaceobjectFunction, concept, no evidence levelFunctionconceptHyperbolic equilibrium point, concept, no evidence levelHyperbolic equilibriu…conceptLimit cycle, concept, no evidence levelLimit cycleconceptPeriodic orbit, concept, no evidence levelPeriodic orbitconceptPoincaré map, concept, no evidence levelPoincaré mapconceptStructural stability, concept, no evidence levelStructural stabilityconceptVector-valued function, concept, no evidence levelVector-valued functionconceptVector field, concept, no evidence levelVector fieldconceptPeixoto's theorem, statement, no evidence levelPeixoto's theoremstatement
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Dense set concept
  2. Euclidean space object
  3. Function concept
  4. Hyperbolic equilibrium point concept
  5. Limit cycle concept
  6. Periodic orbit concept
  7. Poincaré map concept
  8. Structural stability concept
  9. Vector-valued function concept
  10. Vector field concept
  11. Peixoto's theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Peixoto%27s_theorem
About this page
TagTDCY8TASCS
URIm2://TDCY8TASCS
Kindstatement, theorem
WritingW0 stub
MSC37C20, 34D30, 37D15
StatusThis copy of the site has no build data. Run m2 status TDCY8TASCS.
AboutStructural stability
UsesStructural stability, Vector field, Hyperbolic equilibrium point, Periodic orbit, Poincaré map, Dense set, Limit cycle
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.