Axiom A


In mathematics, Smale's axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term "axiom A" originates with Stephen Smale. The importance of such systems is demonstrated by the chaotic hypothesis, which states that, 'for all practical purposes', a many-body thermostatted system is approximated by an Anosov system.

Definition

Let M be a smooth manifold with a diffeomorphism f: M→''M. Then f'' is an axiom A diffeomorphism if
the following two conditions hold:
  1. The nonwandering set of f, Ω, is a hyperbolic set and compact.
  2. The set of periodic points of f is dense in Ω.
For surfaces, hyperbolicity of the nonwandering set implies the density of periodic points, but this is no longer true in higher dimensions. Nonetheless, axiom A diffeomorphisms are sometimes called hyperbolic diffeomorphisms, because the portion of M where the interesting dynamics occurs, namely, Ω, exhibits hyperbolic behavior.
Axiom A diffeomorphisms generalize Morse–Smale systems, which satisfy further restrictions. Smale horseshoe map is an axiom A diffeomorphism with infinitely many periodic points and positive topological entropy.

Properties

Any Anosov diffeomorphism satisfies axiom A. In this case, the whole manifold M is hyperbolic.
Rufus Bowen showed that the non-wandering set Ω of any axiom A diffeomorphism supports a Markov partition. Thus the restriction of f to a certain generic subset of Ω is conjugated to a shift of finite type.
The density of the periodic points in the non-wandering set implies its local maximality: there exists an open neighborhood U of Ω such that

Omega stability

An important property of Axiom A systems is their structural stability against small perturbations. That is, trajectories of the perturbed system remain in 1-1 topological correspondence with the unperturbed system. This property is important, in that it shows that Axiom A systems are not exceptional, but are in a sense 'robust'.
More precisely, for every C1-perturbation fε of f, its non-wandering set is formed by two compact, fε-invariant subsets Ω1 and Ω2. The first subset is homeomorphic to Ω via a homeomorphism h which conjugates the restriction of f to Ω with the restriction of fε to Ω1:
If Ω2 is empty then h is onto Ω. If this is the case for every perturbation fε then f is called omega stable. A diffeomorphism f is omega stable if and only if it satisfies axiom A and the no-cycle condition.