王威 高曉燕
(1.南通理工學(xué)院基礎(chǔ)教學(xué)學(xué)院,南通,226002?2.南京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院,南京,210023)
拓?fù)鋲菏潜闅v論和動(dòng)力系統(tǒng)研究的重點(diǎn)和熱點(diǎn).1973 年,Bowen[1]在度量空間中定義對于擴(kuò)張映射的可加勢函數(shù)的拓?fù)鋲?證明了拓?fù)鋲旱淖兎衷?1975 年,Walters[2]在度量空間中得到了對于一般連續(xù)映射的可加勢函數(shù)的拓?fù)鋲旱淖兎衷?1988 年,Falconer[3]考慮次可加勢函數(shù)在混合排斥集上的熱力學(xué)形式,說明了如何用次可加勢函數(shù)來研究非共形變換的動(dòng)力學(xué).2008 年,Cao[4]把Bowen[1]和Walters[2]的結(jié)果推廣到一般緊致動(dòng)力系統(tǒng)的次可加勢函數(shù)上,給出了次可加勢函數(shù)的拓?fù)鋲汉妥兎衷?2020 年,Liang[5]利用因子映射給出了一個(gè)關(guān)于局部化拓?fù)鋲旱陌牍曹椆?1958 年,Kolomogorov[6]引入了經(jīng)典的測度熵和拓?fù)潇?之后,熵的研究便成了拓?fù)鋭?dòng)力系統(tǒng)研究的的基本內(nèi)容.
本文在Zhao[7]研究的次可加拓?fù)鋲旱幕A(chǔ)上引入因子映射,給出次可加勢函數(shù)拓?fù)鋲旱囊粋€(gè)上界估計(jì).
定義1([7]) 設(shè)(X,d)是緊致度量空間,T:X →X是連續(xù)映射,K ?X且K/=φ.對給定的常數(shù)ε >0,n ∈N,X的子集F稱為X關(guān)于T的(n,ε)-生成集,若?x ∈X,存在y ∈F,使得dn(x,y)≤ε,其中dn(x,y)=max{d(Tkx,Tky):k=1,2,···,n-1},X的子集E稱為X關(guān)于T的(n,ε)-分離集,若?x,y ∈E,x/=y,有dn(x,y)>ε.
記rn(d,T,ε,K)為K的(n,ε)-生成集的最小基數(shù),sn(d,T,ε,K)為K的(n,ε)-分離集的最大基數(shù).定義
顯然,r(d,T,ε,K)和s(d,T,ε,K)隨著ε的減小而增大.令
易證h*(d,T,K)=h*(d,T,K)且與X上的度量無關(guān),簡記其為h(T,K),并稱其為非緊集K上的Bowen 拓?fù)潇?
定義2([7])X上的實(shí)值連續(xù)函數(shù)族稱為次可加的,如果?n,m ∈N 和x ∈X,有fn+m(x)≤fn(x)+fm(Tnx).
?n ∈N,ε >0 和次可加函數(shù)族,定義
P(T,F)稱作次可加勢函數(shù)族F關(guān)于T的拓?fù)鋲?簡記為
下面利用生成集定義次可加勢函數(shù)族關(guān)于T的拓?fù)鋲?
?n ∈N,ε >0 和次可加函數(shù)族,定義
Q(T,F)=稱作次可加勢函數(shù)F關(guān)于T的拓?fù)鋲?
記Bn(x,ε)={y ∈X:dn(x,y)<ε}.令ηn(F,ε)=supx∈Xsup{exp(fn(y)-fn(z)) :y,z ∈Bn(x,ε)}.如果滿足Standing hypothesis,則有
命題1 ([7])設(shè)T:X →X是緊致度量空間X上的連續(xù)映射,F是次可加勢函數(shù)族.若Standing hypothesis 成立,則有P(T,F)=Q(T,F).
定義3([8])設(shè)(X,T)和(Y,S)是兩個(gè)拓?fù)鋭?dòng)力系統(tǒng),T:X →X和S:Y →Y是連續(xù)映射.連續(xù)映射π:(X,T)→(Y,S)稱為因子映射,如果π是一一映射且滿足π ?T=S ?π.
1971 年,Bowen[9]利用因子映射得到
2012 年,Fang 等[8]得到關(guān)于拓?fù)潇丶耙蜃佑成涞囊粋€(gè)重要定理:設(shè)π:(X,T)→(Y,S)是因子映射,則對于任何集合E ?X
2013 年,Li 等[10]證明了:若π:(X,T)→(Y,S)是因子映射,φ:Y →R 是X上的實(shí)值連續(xù)函數(shù),則對于任何集合E ?X,
其中h(T,π-1(y))=P(T,0,π-1(y)).
定理1設(shè)(X,T)和(Y,S)是兩個(gè)拓?fù)鋭?dòng)力系統(tǒng),π:(X,T)→(Y,S)是因子映射,是Y上的次可加勢函數(shù)且滿足Standing hypothesis,則