设为首页 加入收藏 期刊导航 网站地图
  • 首页
  • 期刊
    • 数学与物理
    • 地球与环境
    • 信息通讯
    • 经济与管理
    • 生命科学
    • 工程技术
    • 医药卫生
    • 人文社科
    • 化学与材料
  • 会议
  • 合作
  • 新闻
  • 我们
  • 招聘
  • 千人智库
  • 我要投搞
  • 办刊

期刊菜单

  • ●领域
  • ●编委
  • ●投稿须知
  • ●最新文章
  • ●检索
  • ●投稿

文章导航

  • ●Abstract
  • ●Full-Text PDF
  • ●Full-Text HTML
  • ●Full-Text ePUB
  • ●Linked References
  • ●How to Cite this Article
Pure Mathematics 理论数学, 2011, 1, 68-72
http://dx.doi.org/10.12677/pm.2011.12015 Published Online July 2011 (http://www.hanspub.org/journal/pm/)
Copyright © 2011 Hanspub PM
Some Conditions for the Inverse Limit Induced by a
Continuous Self-Map on a Circle to be Expansive
Risong Li*, Zengxiong Cheng
School of science, Guangdong Ocean University, Zhanjiang
Email: gdoulrs@163.com
Received Jun. 20th, 2011; revised Jul. 3rd, 2011; accepted Jul. 8th 2011.
Abstract: Let be the set of all continuous maps of the unit circle. Let

01
CS


f
 and

deg
f
be the
non-wandering set and th e degree of f, respectiv ely. Let


01
f
CS. In this paper, it was proved that : 1) If f
is a strictly monotone fun ction then it is topolog ically conjugate to g and


1k
f
S

 for any , where
1k

,
m1
g
zzzS and ;2) The inverse limit system

degmf


1,
f
f
S

which is generated by f is ex-
pansive if and only if f is positively expansive;3) For any integer , f is positively expansive if and only
if
0n
n
f
is positively expansive. Also, some equivalent conditions on a continuous selfmap with expansive in-
verse limit on a circle are given, and some important properties of these maps were obtained. Some corre-
sponding results in the literatures are improved and extended.
Keywords: Topologically Ergodic; Topologically Transitive; Covering Projection; Inverse Limit System;
Lifting System
圆周上连续自映射的逆极限是可扩的一些条件
黎日松*,陈增雄
广东海洋大学理学院,湛江
Email: gdoulrs@163. com
收稿日期:2011 年6月20 日;修回日期: 7月3日;录用日期:7月8日
摘 要:设为单位圆 上连续自映射的集合,

01
CS 1
S


f
为f的非游荡点集,

deg
f
为f的度。设

0

1
f
CS,本文证明了:1) 若f是严格单调的,则 f与g拓扑共轭,其中




deg
1
,,
m
g
zm fzzS ,
且对任一正整数 k,

k1
f
S ;2) f的逆极限


1,
f
f
S

是可扩的当且仅当 f是正向可扩的;3) 对任一
整数 ,
f是正向可扩的当且仅当0nn
f
是正向可扩的。并给出了 上逆极限可扩的连续自映射的一些
等价刻划,也得到了这类映射的一些重要性质,改进与推广了已有文献的相应结果。
1
S
关键词:拓扑遍历;拓扑可迁;覆叠投射;逆极限系统;提升系统
1. 引言
可扩性在结构稳定与拓扑稳定的研究中起着极其
重要的作用。对离散动力系统而言,因自映射的不可
逆性给研究带来了本质性的困难,故人们试图通过对
其逆极限的研究来揭示该自映射的动力行为,有关这
方面的工作见文[1-3]。文 [3]给出了连续映射的正向可
扩性与其逆极限的可扩性间的关系并指出了:紧致度
量空间上正向可扩的连续满射,其逆极限是可扩的,
且其逆极限的可扩性是映射在拓扑共轭下的不变性。
文[4]研究了圆周上一类自映射的正向可扩性与其逆极
限的可扩性间的联系,得到了圆周上连续满射的逆极
限可扩等价于该自映射拓扑共轭于扩张映射。文[5]介
绍了圆周上连续自映射的动力性质的一些研究工作并
补充了一些结果。有关动力系统中的传递属性的分类
见文[6,7]。拓扑遍历性不同于拓扑可迁性与拓扑混合
性且它严格介于这两个属性之间[8]。文[9]对拓扑遍历
黎日松 等圆周上连续自映射的逆极限是可扩的一些条件69
|
与双重拓扑遍历作较系统的研究。马蹄与拓扑熵是研
究圆周上连续自映射的动力性质的重要的工具[5]。本文
将利用映射度、提升和拓扑遍历映射与双重拓扑遍历
映射以及严格单调函数的特点,在文[4,5]基础上,进
一步研究逆极限可扩的圆周上连续自映射,给出了这
类映射的许多新的刻划,也给出了这类映射的一些性
质。这些结果进一步改进与推广了文[4,5]的相应结果。
同时利用我们的方法可简化文[4]一些结果的证明。
以 ,,,

0
CX

0
TT
CX

0
TOT
CX


0
TE
CX,
, 和

0
TOE
CX

0
TDE
C

X


X
0
TWM
C分别表示空间 X上连
续自映射之集、拓扑传递的连续自映射之集、完全传
递的连续自映射之集、拓扑遍历的连续自映射之集、
全遍历的连续自映射之集、拓扑双重遍历的连续自映
射之集和拓扑弱混合的连续自映射之集。符号“

”
总表示“当且仅当”。以 表示 上严格单调
的自映射之集。并分别以和表示 X
上连续可扩的自映射之集和 X上连续正向可扩的自映
射之集。为方便计,本文所涉及的概念和记号均参考
文[3-5,10-13]。

01
S

X0
SM
C
0
EXP
C
1
S
PEXP
C

X
2. 结果及其证明
引理 1设

01
f
CS是严格单调的,则
。其证明可直接从定义得到,故从略。

deg 0f
引理 2设,则1m


1
,
m
g
zzzS不含有马
蹄。其证明容易,故从略。
推论 1设 ,则1m

1
,
m
g
zzzS不是扩展型
的。由文[5]的定理 1。1容易证得此推论。
引理 3设2m,则

1
,
m
g
zzzS

是扩展型的。
由文[5]的命题 1。1易知此引理成立。
推论 2设2m,则


1
,
m
g
zzzS含有马蹄。
其证明容易,故从略。
引理 4设

01
,
f
gCS且f与g拓扑共轭,则 f
含有马蹄当且仅当 g含有马蹄。其证明可直接从定义
得到,故从略。
引理 5[14]设

01
,
n
f
gCS

,且 f与g拓扑共轭,
则

deg deg
f
g。
我们注意到平移是等距映射,利用定义和引理 5
容易得到以下引理 6。
引理 6设

01
,
f
gCS且f与g拓扑共轭,则f是
扩展型的当且仅当 g是扩展型的。
引理 7设1m

,则

1
,
m
g
zzzS不是扩张映
射。其证明直接由定义得到,故从略。
引理 8[8]设X是紧致度量空间。若


0TT
f
CX且
f的拟弱几乎周期点集是稠密的,则 f是拓扑遍历的。
定理 1设


01
SM
f
CS,则 f与g拓扑共轭,其中


,
m1
g
zzzS

degm,,并且对任一正整数k,
均有

f


k1
f
S

。
证明 设


01
f
CS是严格单调递增的。由定义可
知


deg f1。先证明:若 ,则有严格
单调的保向同胚

deg 1mf


1
CS
0

满足
g
f


。记

:VRR

是

的提升且 ,

deg 1



是严格
单调递增的

。度量 D定义为:

max
x
R
D


,
 


x
x

,,V


。由于



1
x
x

 ,
故易证 D为V上的度量。以下证明:设

1
iiV


且
lim i
i




,则 V


。由 D的定义知


1
ii
x



一致收
敛于


x

。又圆周上连续自映射的提升是一致连续
的,故


i
x

是一致连续的且

x

连续。由




11
i
ixx


知

11,
x
xx

 R
1,
x
R

,且对 ,
x
yR

,若
x
y,则



ii
x
y

。
故




yx

。由于 1
i

也是严格单调递增的,
1, 2,i

,故可不妨设 1
lim i
i


 
。因


1
ii
x



一致
收敛于


x

,故对 0


,有,使当 时, 0NiN






11
iii
xx

 


对
x
R 均成立,即当
时,
iN



1
ixx




对
x
R 均成立。故


ii



一致收敛于
R
id ,从而
R
id

,因而

是
个同胚映射,从而

是严格单调递增的。因此 V


,
即


,VD是完备度量空间。
设:
F
RR,分别是 f和g的提升,则:GR R
1
,
F
G

均为同胚映射。定义算子


0
:TVC R为


1
TGF


 ,V


。由文[1]命题 1的证明知
对V


,


T

为圆周上映射度等于 1的某连续单
调映射

的提升。因 ,
F
G和

是严格单调递增的,故


T

是严格单调递增的。所以

TV


,即


TV V。由[4]的命题 1的证明知 是压缩
映射。故 有唯一的不动点
:TV V
:TVVV


,即
G

F。设

是

的提升。由于

的提升

是
Copyright © 2011 Hanspub PM
黎日松 等圆周上连续自映射的逆极限是可扩的一些条件
70 |
同胚映射且 ,故由定义易证

deg 1



也是同胚映
射。因此存在严格单调递增的保向同胚


01
CS

,
使得
g
f




01
。故 f与g拓扑共轭。
设
f
CS为严格单调递减的且


deg
f

。记1m
 
1
01
,m
g
zz
gzz。则0
g
f是严格
单调递增的且01 10
g
gggg ,

0
deg
g
f


1

1
mm



0
CS
。由上可知,存在严格单调递增的保向同
胚,使得

10

g
g

f。即 1
g



0
g
f

,故

010 0
g
gg

 gf

0
,即

10
gg

0
g
gf

,因而

00
g
g

g f 。
因 且




01gdeg

是严格单调递增的保向同胚,
故0
g

是严格单调递减的反向同胚。
注记 1:①我们对于严格单调递减的情形的证明方
法与文[4]的证明方法完全不同。②此定理是文[4]的相
应结果的推广。
下文的 g均与定理 1的g相同。为了方便,以下分
别用 和V表示,SU 1
,1
f
SS 和1n
f
S,以“ resp.”表 示“ 相
应地”。
推论 3设

01
f
CS是严格单调的且

deg 2

0
f,则 f是扩展型的。
证明 由引理5、引理6和定理 1即可得到。
定理 2设

1
f
CS是满射,n是任意给定的正整
数,则下列条件是等价的:1) ;2)

U
0
f EXP
C




f

n
;3) f拓扑共轭于 g;4)

0
EXP
CU

n
f
拓扑共轭于 n
g
;
5)

0
PEXP
f
CSn
;6)

EXP
0
P
f
CS;7)

deg 2f且

0
SM

f
CS;8)

degn
f20nSM
且

f
CS;10)

0
TT

0
SM
f
CSCS ;11)



00
TOT SM
f
CSCS;13)
且

0
fTT
C




0
SM
U

f
CS;14)且

T

U
0
fTO
C


f

;15) 且

0
SM
CS

0
n
fT
C



T
U0
SM

f
CS;16)
 
f
Pf 且

0
SM
f
CS

;17)


n
f
Pf且

0
SM

f
CS;18)f是扩展型的且

0
SM
f
CS;19)

0
TDE

0
SM
f
CSCS;20)



00
SMTOE
f
CSCS;
21)

00
SM

TWM
f
CSCS;22)
是遍历的且

,Bm:,fS

,,SBm


0
SM
f
CS,其中 B为S的所有
Borel子集的

代数,m为Haar测度;23)


0
fTE
CU


且

0
SM
f
CS

;24) 且

DE
U
0
fT
C


0
SM
f
C

S;25)
且

0
fTOE
C



U0
SM

f
CS;26)


M
U
0
fT

W
C且

0
SM

f
CS;27)


00
SMTE
f
CS C S ;28) f


且

0
TE
CU

0
SM
f
CS

0
SM
;29) f是相对于上密度为 1序
列而言混沌的且

f
CS;30)
f

是相对于上密度
为1序列而言混沌的且

0
SM
f
CS

0
SM
。
证明 显然,若 ,
f
gC S,则1,,
n
f
ffg





0
SM
CS。因


deg n
f2 deg2f,故由[4]的
定理 2知:1)3),1)5),1)7)和1)10)。由
定义易知 2)1)。据 引 理 引5、理7和[15]的引理 2。3
知


deg 2f,由[4]的定理 2及引理 2知5) 1)和
6)2)。由定理 1和[4]的定理 2知7) 1)。因拓扑传
递属性是拓扑共轭不变性,而当 ,则


1m


m
g
zz

不是拓扑传递的,据定理 1知10) 1)。因 严 格 单 调 性
是迭代不变的,故由[4]的定理 2知3) 4)



6)

8)

10)。由于可扩性是拓扑共轭不变性,故由[4] 的引
理2知2)

1)。由于

deg 2f当且仅当


degn
f
,故 4)2

3)。由 n的任意性知 10) 11)。由[16]
知f是拓扑传递的


f

是拓扑传递的。从上面可知
10)

13)

14)

15) 和21) 26)。由于当且仅当
1
m

时,


m
g
zz

的周期点集为 S,故由定理 1知
7)

16)

17)。由推论 1、引理 3、引理 6知
7)

8)

18)。由于当 1m时

m
g
z

z的周期点集
的闭包为 S,故由[9]的系知 11) 19) 20)

21)。
由于 S关于复数的乘法和复数的倒数构成拓扑群,而当
1m时,


m
g
zz

是S上的仿射映射,故由[8]的定
理2.1 知22)

29)。由[8]的引理 5.1、引理 5.2、定理
5.1 知27)

28)、29)

30)、23)27)、24)

19)、
19)

25)、19)

29)和24) 30)。由[8]的引理 2.2 知
10)


27)。
注记 2:一般来说,对于一般空间 X上的连续映射
:
f
XX
n
及任一给定的整数 ,f正向可扩不能推
出
2n
f
也正向可扩。
定理 3设


0
SM
f
CS,n为任意给定的正整数,
则下列条件等价:1)

0
PEXP
f
CS;2) f含有马蹄;
3)


0hf;4)



0
Pf hf;5) 存在 mZ

及m
f
的
强不变闭子集 Y使得 mY
f与

2,

拓扑半共轭;6)




2: 0,1,
mmPP fk ,其中




PPminkf;
7)


Pf不是 G

集;8)

P
f
f在Liapunov 意义下不稳
定;
9) f中含有不能被周期区间轨道逼近的轨道;10) k
f
含有不单纯的周期轨道,其中 k同6);11)存在


x
f
使得


k
f,Orb x不是单纯的,其中 k同6);12) 存在


x
CR f使得


,k
x fOrb不是单纯的,其中 k同6);
13)
 
2
:lim m
k
m
SAPfxSfxx




 



;14)


A
Pf不
Copyright © 2011 Hanspub PM
黎日松 等圆周上连续自映射的逆极限是可扩的一些条件71
|
是
F

集;15) ;16)
 
Rf APf





Rf Rf


;17)

Rf
 



,:fxfxf
 

2


;18)

Rf
 
2
f
AP f

;19) f有不回归的特殊的

极限点;20) 存在
x
S使得

,
x
f

含有 f的至少
两个极小集;
21) 存在
x
S使得

,
x
f

是含有周期点
的无穷集;22)
 
Rf Rf是不可数集;23)
 
f
Rf 是不可数集;24)存在 f的一个不可数的

混沌集 Y使得 ;25) 存在 f
的一个恰含两点的


,:xfxY



D混沌集;26)f有一个

混沌集
Y,且有一个不可数的

Y


混沌集 Y;27)f有一个
混沌集;28)DAP fLY f有一个不可数的 混沌集;
29)

f
f有一个不可数的 混沌集;30)LY 

CR f
f有
一个不可数的 混沌集;31)LY 

CR f
f有一个恰含两
点的 混沌集;32) 存在 及LY 

vPf


x
Pf

f
使得 vO ;33)存在 及

Pf

,xfrbvP
x

 
f
Pf 使; 34) 有

,vOrbx

f


fvP及
 
x
fP f使 ;35)有

,v



fx


f
m
vP(某
)及 使mZ




2m
fxf f
Fix .ch
x
v

;36)有
(某)及

m
vPfmZ




m
f
2
Fix
.f
j
1
..
12
,,
ff
j
xxS (某
)使jZ

.f
1
x
xx
x
 

 
.ch fv

;37)有(某)及

mfvPmZ




x
CRf
使

2m
Fix f.fch
x
v

;38)


deg 39)f与g拓
扑共轭;40)
2f;

A
Pf

不是闭集;41) R不是闭集;
42)

f
 
f
Rf

;43)
 
f
AP f

;44) 有
x
S

使

,
x
f

不是极小集;45)f有一个恰含两点的 LY

混沌
集

,
y
v,且有一点 。

vPf

证明 据[5]的定理 4.1 知从条件2)到条件 37)是两
两等价的。由定理 1知38) 39)。由定理 2知
1) 38) 39)。由于 f是严格单调的,故f是逐段单
调的。由推论 2及引理 4知2) 39)。再由[5]的定理
4.2 知2) 40) 41) 42)


 


43) 44) 45)。  
定理 4设

0
f
CS是正向可扩的,n是任意给定
的正整数,则以下条件成立且两两等价:
1) f有一个恰含两点的 混沌集;2) f有一个
不可数的 混沌集;
3)
LY 

LY 
f
f


2m
k
f

在Liapunov 意义下不
稳定;4) ,其中

:lim
m
fx xx

()

mink



PP f


P f;5) ;6) 有

f

SA 1
x
S使


,
x
f

是无穷集,且

,
x
f

中含有两个 不可分的点;7)f
有一个不能被周期轨道逼近的轨道。
f
证明 由定理2和定理 3知f为正向可扩的且与 g
拓扑共轭。从而由定理 3知f含有马蹄,由文[4]的定理
5.4 的证明过程知这 7个条件成立且两两等价。
定理 5设


0
fCS是正向可扩的,则以下条件成
立且两两等价:
1)




SAP fP f;2)




A
Pf Pf;3)


Rf



Pf;4)

P
fPf;
5)
 
f
Pf

;6)


f



Pf;7)




CR fP f;8) 有
x
S,使


,
x
f

不是周期轨道;9) f是LY

混沌的。
证明 由定理2和定理 3知f为正向可扩的且与 g
拓扑共轭。从而由定理 3知f含有马蹄,于是由文[4]
的定理 5.4 的证明过程知条件 9)成立。由定理2及其证
明知条件 6)成立,从而由[5]的定理 5.5知从条件 1)到
条件 8)是两两等价的。由文[5]的引理 5.2 知9) 1)。
故





f
Pf

及


n

n
f
Pf

,从而[5]的定理 5.4
的条件(4.4)成立。于是由[5]的定理 5.4 知1)9)。
定理 6设


0
fCS是正向可扩的,n是任意给定
的正整数,


,
x
f

为点
x
S的

极限集,则

,n
n
xf
f

是拓扑遍历的。
证明 因S中的每一点均是f及n
f
的拟弱几乎周期
点[17],故据[8]的定理 2.2 知结论成立。
3. 致谢
作者十分感谢审稿人提出有益的修改意见和建
议!也非常感谢左再思教授、沈文淮教授和代雄平教
授的鼓励!
参考文献 (References)
[1] 陈藻平, 何连法, 阳世龙. 单一化 稳定性[J]. 中国科学, A
辑, 1987, 5: 457-462.
[2] 陈藻平, 何连法, 刘培东. 单一化拓扑稳定性[J]. 数学学
报, 1989, 32: 71-75.
[3] Nobuo Aoki. Topics in general topology. Elsevier Science Pub-
lishers B V, 1989.
[4] 何连法, 王在洪. 圆周上逆极限可扩的连续自映射[J]. 数学
学报, 1996, 39(3):404-410.
[5] 麦结华. 圆周自映射的一些动力系统性质及其等价条件[J].
1997, 26(3):193-209.
[6] 黄文. 动力系统的复杂性与点串[D]. 安徽:中国科学技术大
学, 2003.
[7] 邵松. 动力系统与族[D]. 安徽:中国科学技术大学, 2004.
[8] 汪火云. 拓扑遍历映射的一些性质[J]. 数学学报, 2004, 47(5):
859-866.
[9] R. S. Yang. Topological ergodicity and topological double er-
godicity, Acta Math.S ini ca, 2003, 46(3): 555-560 (in Chinese).
[10] V. V. Fedorenko, A. N. Sarkovskii and J. Smital. Characteriza-
tions of weakly chaot maps of the interval. Proceedings of the
American Mathematical Society, 1990, 110: 141-148.
Copyright © 2011 Hanspub PM
黎日松 等 | 圆周上连续自映射的逆极限是可扩的一些条件
Copyright © 2011 Hanspub PM
72
[11] J. C. Xiong. Sets of recurrent points of continuous maps of the
interval. Proceedings of the American Mathematical Society,
1985, 95: 491-494.
[14] 张景中, 熊金城. 函数迭代与一维动力系统[M]. 成都: 四川
教育出版社, 1990, 191-195.
[15] 张筑生. 微分动力系统原理[M]. 北京: 科学出版社, 1987.
[12] M. W. Hero. Special

limit points for maps of the interval.
Proceedings of the American Mathematical Society, 1992, 116:
1015-1022.
[16] 缪克英, 邓小琴. 紧致度量空间及其逆极限空间[J]. 北方交
通大学学报, 2001, 25(3): 16-18.
[17] S. H. Li.

-chaos and topological entropy. Transactions of the
American Mathematical Society, 1993, 339: 243-249.
[13] J. Smital. Chaotic functions with zero topological entropy.
Transactions of the American Mathematical Society, 1986, 297:
269-282.

版权所有:汉斯出版社 (Hans Publishers) Copyright © 2012 Hans Publishers Inc. All rights reserved.