a引理(a-lemma)亦稱傾角引理,描述系統在雙曲不動點鄰近動力行為的幾何屬性.設f是R ",中。
的一斷婚達鄰域Y的C'微分同胚,以。為雙曲不動點.考慮雙曲線性映射A=Df (o)及不踏全變的直和分解R`-E'①E".由雙曲不動點的穩定(不穩定屑閥察)流形定理幾估探,可假定f的雙曲不動點。的穩定(不穩定)流形是不動點在f的線性部分的穩定(不穩定)子空間的一鄰域.設B' C E'是包含在局部穩定流形Wi}} }o)中的一球,B"C E'‘是包含在局部不穩定流形W". (o)中的一球,且Y=B` X B".考慮一點qEW i}} (o)以及一個維數為u = dim E"且在q點與堡陵灑櫻Wi}}(o)橫截相交的圓盤D". }引理指出:若qEW幾}(o)\}o? }D;,是戶(D")門嘗疊煮Y的包含廣(婦的連通分支,則對任意:>。,存在n}}0,使得non。時,D笠是C'-:接近B". .1引理的更一般的形式是在巴拿赫空間中給出,其陳述方式類似於上面對R’情形的敘述.人引理在幾何化證明哈特曼定理中起著重多臭捉肯要的作用.