Dynamical systems and ergodic theory Definition
Anosov diffeomorphism
Definition
Let be a compact Riemannian manifold and let be a diffeomorphism. Then is an Anosov diffeomorphism if itself is a hyperbolic set of . That is, there is a -invariant splitting for all , and there are constants and . For all , they satisfy for and for .
Remarks
The property does not depend on the choice of Riemannian metric, since is compact. Example: let be a integer matrix with and no eigenvalue of modulus , and let be the induced map of the torus . Then at every point, and the eigenlines of give and with after a linear change of metric. For the eigenvalues are , which gives Arnold's cat map. Non-example: for the map is a diffeomorphism of the torus, but both eigenvalues equal , so no direction is contracted and the condition fails. All known Anosov diffeomorphisms are, up to topological conjugacy, hyperbolic automorphisms of tori, nilmanifolds or infranilmanifolds; whether this is always the case is an open question.
Reading path
To understand this page from the ground up, read these 70 pages in order. The foundations come first.
- Differential equation concept
- Element definition
- Euclidean space object
- Function concept
- Function composition concept
- Interval concept
- Proposition concept
- Real numbers object
- Riemannian metric concept
- Smooth function concept
- Smooth manifold concept
- Tangent bundle concept
- Trajectory concept
- Set definition
- Ordinary differential equation definition
- Fréchet derivative definition
- Total derivative concept
- Function of several variables concept
- Lipschitz condition definition
- Grönwall's inequality statement
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Riemannian manifold definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Limit of a function of several variables concept
- Solution of an ordinary differential equation definition
- Union definition
- Partial derivative concept
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Autonomous system definition
- Differentiable function of several variables definition
- Initial value problem definition
- Partial derivative definition
- Subset definition
- Jacobian matrix concept
- Union of a family of sets definition
- Uniqueness quantifier definition
- Differentiable on an open set definition
- Binary relation definition
- Chain rule in several variables statement
- Topological space definition
- Higher partial derivatives definition
- Jacobian matrix definition
- Uniqueness of solutions for Lipschitz vector fields statement
- Differential of a smooth map definition
- Iterated derivative definition
- Derivative of the inverse function statement
- Function definition
- Maximal solution definition
- Jacobian determinant definition
- C^k function characterised by continuous derivatives statement
- Metric space definition
- Flow of a vector field definition
- Open ball definition
- Inverse function theorem statement
- Invariant set definition
- Diffeomorphism definition
- Metric topology definition
- Open set definition
- Open cover definition
- Compact space definition
- Hyperbolic set definition
- Anosov diffeomorphism definition
Further reading
About this page
| Tag | X1P48KQFXQ |
|---|---|
| URI | m2://X1P48KQFXQ |
| Kind | definition |
| Writing | W0 stub |
| MSC | 37D20 |
| Defines | Anosov diffeomorphism |
| Uses | Hyperbolic set, Diffeomorphism, Compact space |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- 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.