定理: 假设 是
,
是正整数,则存在
函数
使得
as
, 这里的每个
都满足Axiom A。
假设是紧致度量空间,
是连续函数。如果
是使得
的最小正整数,则称x是以n为周期的周期点。
定义:
.
正向不变集:,
反向不变集:,
完全不变集: i.e.
and
.
假设,
,
是以n为周期的周期轨道, 定义乘子(multiplier)
。
称为
是双曲周期轨。
称为中性周期轨。
称为双曲吸引轨。
称为双曲斥性轨。
双曲集合(hyperbolic set):假设是
映射,A是紧集并且
。如果存在
使得对任意的
, 有
,则称A是双曲集。
Axiom A: 假设 是
映射,称 f 满足 Axiom A是指:
(1)f 有有限多个双曲吸引轨 ,
(2) 是双曲吸引轨
的吸引区域,
是双曲集。
例子1:,1是双曲斥性不动点,0是双曲吸引不动点。
,
.
,
. 取
.
例子2:.
性质1: 双曲斥性周期轨一定是双曲集。
性质2: 双曲集中没有临界点。
性质3: 双曲集合中任何一个周期轨都是双曲斥性的。
命题:假设属于
并且
. i.e.
是
连续的,
如果A是双曲集,则A的Lebesgue测度是零。
证明:
定理(Mane,1985)(CMP)
假设 是一个
的映射,
(1) f 的所有周期轨都是双曲的。
(2) Crit(f) 指的是 f 的临界点。, 则存在双曲吸引周期轨
使得
f 满足 Axiom A。
另外一种形式:
假设是一个
的映射,
,
,
是双曲集。
大帝,干嘛不用英文啊!
LikeLike
因为正好有中文的版本。
LikeLike