1. 引言
复杂性和混沌行为的研究是拓扑动力系统中一个极其重要的工作,这个研究最初是开始于Li和Yorke。之后又有很多数学家根据他们对于这种现象的理解介绍了大量关于混沌的定义。而Li-Yorke混沌,Denavey混沌和正熵是大家最感兴趣的。本文为了更好地研究3-星映射的正熵的一些等价条件,借用拓扑复杂性函数的概念来刻画其性质,得出关于拓扑复杂性函数大于3的一些等价结论。
2. 预备知识
定义1.1 [1] 设T是一个树,即不含圈的一维紧致连通的分支流形。T的任一子集被称为T的子树,如果它本身是一个树。任取
,用
表示
的连通分支的个数。若
,则称x是T的一个分支点;若
,则称x是T的一个端点。记
,
。若T是一个树且只有一个分支点和三个端点,则称T为3-星。
一个拓扑动力系统(缩写TDS)。是指一个对
,其中X是一个紧致度量空间,有度量d,并且
是一个连续映射。
定义1.2 令
是一个TDS,这个系统
(或者映射f)被称为
(1) 拓扑传递的,如果对于任意两个X的非空开子集
,存在
使得
。
(2) 强混合的,如果对于任意两个X的非空开子集
,存在
使得
对任意
。
定义1.3 令
是一个TDS,对一个X的子集的多元组
,一个子集
称为对
的独立集,如果对于任意非空有限子集
我们有
对所有
。
定义1.4 一个多元组
被称为IE-多元组,如果对于
的任意乘积邻域
,这个多元组
有一个正密度的独立集。
一个多元组
被称为基本的,如果
对于任意
。
定义1.5 [2] 令
是一个TDS,这个系统
被称为
(1) 一致正熵,如果每个基本对
是一个IE-多元组。
(2) 拓扑K,如果任意基本k-多元组
是一个IE-多元组对于任意
。
3. 主要结果和定理
引理2.1 [3] 令
,
是拓扑传递的,则
。
引理2.2 [4] 令
,下列几个条件是等价的。
(1)
是拓扑传递的。
(2) 存在点
,使得
。
(3) 对每个非空开集
,有
。
定理2.3令
,
是不动点,
含有
个连通分支,下列几个条件是等价的:
(1)
是拓扑传递的。
(2)
是强混合的。
(3)
中任一非退化的开的连通集
以及
内任一闭连通集
,存在一个
使得当
时
。
证明:
(1)Þ(3):因为
是拓扑传递的,所以
是拓扑传递的。由引理2.1可知,
,则
中任一非退化的开连通集
中有一个周期点
,设
的连通分支为
。对每个
,设
是
的内部的周期点,并设
是周期点
和
的周期的最小公倍数。设
,
为
在
作用下的轨道,则
和
内的点都是
的不动点。由引理2.2可知
是一个连通开集且在
中稠密。所以每个
,存在非负整数
,使得
。记
。则
。所以对一切
,有
。
(3)Þ(2):任意
中的两个开子集
。取任一非退化的开连通集
,任一闭连通集
。存在
使得
时
,所以
,所以
,即
是强混合的。
(2)Þ(1):因为
是强混合的,由定义对任意
中的两个开子集
,存在
对任意
使得
。取
,当然
且
。所以
是拓扑传递的。
即证定理2.3。
定理2.4令
,如果
是拓扑传递的,则下列其中的一个结论当且仅有一个成立。
(1)
是强混合的。
(2) 存在一个不动点
和
,并且
有
个连通分支,存在非退化的闭子树
,使得
,
对
,有
对
,并且
。
证明:由引理2.2,因为
是拓扑传递的,所以存在
,使得
。取一个任意正整数
,设
对
,因为
,所以至少有一个
有非空内部,又因为
对于
,
,所以每个
都有非空的内部。
假定
,则存在正整数
,使得
。因为
,
是
-不变的。所以
,同样地
可以交换,所以我们有
。即如果
和
的内部相交,则
。
令
表示
的所有子树
的集合,且
是
内部的分支对于
。因此
是一个互不相交的子树,它的并在
中稠密。因为
的轨道是稠密的,则对于任意
,存在一个正整数
使得
。所以
是有限的,称
,
被
周期性排队。如果
,则
对
,所以
是强混合的。如果
,不妨假设
,令
是
的一个不动点,如果
,则
,这与
且
互不相交矛盾。类似地
也不可能
的端点。故
只能是
和
的公共端点,则
,
。因此我们有(2)中的情况且
不是拓扑传递的。
因为
是任意的,则证明了(1)成立如果
是拓扑传递的。(2)成立如果
不是拓扑传递的。由定理2.3,
的全拓扑传递与
强混合等价,即证明了定理2.4。
引理2.5 [5] 令
是一个拓扑动力系统,如果
对任意开覆盖
,
包含两个非稠密的开集,则
是拓扑传递的。其中
。
定理2.6 令
是3-星映射,则下列条件是等价的:
(1)
是强混合的;
(2) 拓扑复杂性函数
对任意开覆盖
,
包含两个非稠密的开集,其中
;
(3)
是一致正熵;
(4)
是拓扑K系统。
证明:(4)Þ(3):
因为
是拓扑K系统,所以对于每个基本对的多元组
是一个IE-多元组对所有
。当
时每个基本对
是一个IE-多元组,所以
是一致正熵的。
(3)Þ(2):
令
,因为
非稠密,所以
,
,
,且
不可能等于1。
用反证法,加假设存在一个
,使得
。不妨先设
。即存在
使得
时
。所以有
其中
,
,
,
。由狄默根律
再次用狄默根律整理得:
那么对于任意
,
,
,
。所以
。取
,
,
,
。则
,
。所以
因为
是一致正熵,所以
的邻域
有一个正密度的独立集
,因为
是有正密度的,所以
无限。对于任意非空有限子集
我们有
对所有
。取
使得
。且
,
。取
那么有
所以得出矛盾,同理
时也与
是一致正熵矛盾。所以假设不成立,对任意开覆盖
,
包含两个非稠密的开集,拓扑复杂性函数
。
(2)Þ(1):
由引理2.5,因为
,所以
是拓扑传递的,下证
是强混合的。
反证法:假设
不是强混合的,由定理2.4,则存在一个不动点
和
,并且
有
个连通分支,存在非退化的闭子树
,使得
,
对
,有
对
,并且
。因为
是3-星映射,所以有两种情况。令
为不动点,
的三个端点分别为
,分支点为
。
情况1.
为分支点
,那么
,
有3个连通分支,存在非退化的闭子树
使得
。
对于
,有
成立。
令
,
,
,其中
,
,
,
,
。
当
时,
。其中
当
,
当
为其他值。
。其中
当
,
当
为其他值。
。其中
当
,
当
为其他值。
所以
。所以当
时,
,这与
矛盾。所以
是强混合的。
情况2.
不为分支点
,不妨设
在
上,那么
,
有2个连通分支,存在非退化的闭子树
使得
。
。有
成立。
令
,
,
,其中
,那么
,
,
。
当
时,
,其中
当
,
当
为其他值。
,其中
当
,
当
为其他值。
所以
,当
时,
,这与
矛盾。所以
是强混合的。
综合这两种情况,即证
是强混合的。
(1)Þ(4):
因为
是强混合的。由定理2.3的(3),存在
和非空开子集
对
。使得
。因为
对所有的
,
。则
是
的一个独立集。
所以每个非空开子集
的k-多元组有一个正密度的独立集,即
是拓扑K系统。
即证定理2.6。
基金项目
国家自然基金(NO:11461002, 11771149);广西自然科学基金(NO:2016GXNSFAA380317)。