Axiom A
From Wikipedia, the free encyclopedia
In mathematics, Axiom A or Smale's Axiom A systems define certain types of dynamical systems that are particularly chaotic. The term originates with Stephen Smale.
[edit] Definition
Let M be a smooth manifold. We say that a diffeomorphism satisfies (Smale's) Axiom A (or that f is an Axiom A diffeomorphism) if
-
- The nonwandering set Ω(f) has a hyperbolic structure;
- The set of periodic points of f is dense in Ω(f), so that the closure is the non-wandering set itself: .
Sometimes, Axiom A diffeomorphisms are called hyperbolic diffeomorphisms, because the portion of M where the "interesting" dynamics occur (namely, Ω(f)) has a hyperbolic behaviour.
This article incorporates material from Axiom A on PlanetMath, which is licensed under the GFDL.