双曲型集合

M はコンパクトかつ滑らかな多様体、f: M → M は微分同相、Df: TM → TM は f の微分（英語版）とする。f-不変な M の部分集合 Λ が双曲型である、あるいは双曲型構造を持つとは、M の接束の Λ への制限を、安定束 E^s および不安定束 E^u と呼ばれる二つの Df-不変な部分束に分解できることを言う。M 上のあるリーマン計量に関して、Df の E^s への制限は縮小であり、E^u への制限は拡大となる。したがって、ある定数 0<λ<1 および c>0 が存在し、

${\displaystyle T_{\Lambda }M=E^{s}\oplus E^{u},}$

${\displaystyle (Df)_{x}E_{x}^{s}=E_{f(x)}^{s}}$ and ${\displaystyle (Df)_{x}E_{x}^{u}=E_{f(x)}^{u}}$ for all ${\displaystyle x\in \Lambda ,}$

${\displaystyle \|Df^{n}v\|\leq c\lambda ^{n}\|v\|}$ for all ${\displaystyle v\in E^{s}}$ and ${\displaystyle n>0}$,

および

${\displaystyle \|Df^{-n}v\|\leq c\lambda ^{n}\|v\|}$ for all ${\displaystyle v\in E^{u}}$ and ${\displaystyle n>0}$

が成り立つ。Λ が双曲型であるなら、c = 1 となるようなあるリーマン計量が存在し、そのような計量は適合（adapted）と呼ばれる。

• 双曲型平衡点 p は、(Df)_p が絶対値 1 の固有値を持たないような f の平衡点である。この場合 Λ = {p} となる。
• より一般に、周期 n であるような f の周期軌道が双曲型であるための必要十分条件は、その軌道の任意の点における Dfⁿ が絶対値 1 の固有値を持たないことである。この条件を示す上では、その軌道の一つの点のみを調べれば十分である。

• Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin/Cummings Publishing, Reading Mass. ISBN 0-8053-0102-X
• Brin, Michael; Garrett, Stuck (2002). Introduction to Dynamical Systems. Cambridge University Press. ISBN 0-521-80841-3 

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Hyperbolic Setの本文を含む