The Dynamical Property of G-Strong Chain Recurrent Point Set in Metric G-space
-
摘要: 在拓扑群作用下的度量空间中研究了G-强链回归点集的拓扑结构和特征,得到G-强链回归点集的若干结论:(1)设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X连续,则SCRG(f)是闭集; (2)设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X同胚伪等价,则f(SCRG(f))=SCRG(f); (3)设(X, d)是紧致度量G-空间,f: X→X同胚伪等价且度量d对群G不变,则SCRG(f)=SCRG(f-1)。Abstract: The topological structure and characteristics of G-strong chain regression point set are studied in the metric space under topological group action and some conclusions of G-strong chain regression point set are obtained: (1) Let (X, d) be a compact metric G-space, G be a compact topological group, and f: X→X be a continuous map; then the set SCRG(f) is a closed set; (2) Let (X, d) be a compact metric G-space, G be a compact topological group, and f: X→X be an homeomorphic pseudoequivalent map; then f(SCRG(f))=SCRG(f); (3) Let(X, d)be a compact metric G-space, f: X→X be an homeomorphic pseudoequivalent map and the metric d be invariant to group G; then SCRG(f)=SCRG(f-1).
-
跟踪性是拓扑动力系统中非常重要的定义,不仅在计算数学和生物数学方面有着广泛的应用前景,而且已经成为计算机学科某个领域中的一种重要技术工具。
很多学者对跟踪性的动力学性质进行了研究[1-10],如:在动力系统中讨论了平均跟踪性质与q-平均跟踪性质的关系[5];在群作用下的逆极限空间中证明了自映射具有G-跟踪性的充分必要条件是移位映射具有G-跟踪性[6];在非自治离散动力系统中证明了序列映射{fk}k=0∞具有强跟踪性的充分必要条件是序列映射{gk}k=0∞具有强跟踪性[7]。
另外,强链回归点集是拓扑动力系统研究的重要内容[11-14]。如:文献[11]证明了强链回归点集是闭集,文献[12]证明了强链回归点集对同胚映射f是强不变的。但是,文献[11-12]只是在度量空间中研究了强链回归点集的动力学性质和拓扑结构,并未涉及拓扑群作用下的度量空间中强链回点集的性质和结构。基于此,本文在拓扑群作用下的度量空间中研究G-强链回点集的动力学性质,得到了G-强链回点集的若干结论。
1. 预备知识
定义1 [15] 设(X, d)是度量空间,G是拓扑群,称(X, d)是度量G-空间,如果映射φ: G×X→X满足
(1) ∀x∈X,有φ(e, x)=x,其中e为G的单位元;
(2) ∀g1, g2∈G和∀x∈X,有φ(g1, φ(g2, x))=φ(g1g2, x)。
为了书写方便,通常将φ(g, x)简写为gx。若(X, d)是紧致度量空间,则称(X, d)是紧致度量G-空间。
定义2 [15] 设(X, d)是度量G-空间,f: X→X连续,称f是伪等价映射,如果∀g ∈G,∀x ∈X,∃h ∈G,使得f(gx)=hf(x)成立。
定义3 [16] 设(X, d)是度量G-空间,若∀x, y ∈X,∀g ∈G,有d(gx, gy)=d(x, y),则称度量d对拓扑群G不变。
定义4 [6] 设(X, d)是度量G-空间,f: X→X连续,δ>0,称{xi}i=0n是f作用下从x0到xn的强(G, δ)-链,如果存在gi ∈G,使得n−1∑i=0d(gif(xi), xi+1) < δ成立。
定义5 [6] 设(X, d)是度量G-空间,f: X→X连续,称x是f的G-强链回归点,如果对任意的ε>0,存在f作用下从x到x的强(G, ε)-链。f的G-强链回归点集记为SCRG(f)。
引理1 [16] 设(X, d)是紧致度量G-空间,G是紧致的拓扑群,则∀η>0,∃0 < η0 < η,当d(u, v) < η0时,∀s ∈G,有d(su, sv) < η。
2. 主要结果
定理1 设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X连续,则SCRG(f)是闭集。
证明 设z ∉SCRG(f),则存在ε0>0满足以下条件:不存在z到z的强(G, ε0)-链。由引理1,可得:∃0 < δ1 < ε0/6,当d(u, v) < δ1时,∀g ∈G,有
d(gu,gv)<ε06。 (1) 结合f: X→X一致连续可以得到,对δ1>0,∃0 < δ2 < δ1,当d(u, v) < δ2时,有
d(f(u),f(v))<δ1。 (2) 下证B(z, δ2)∩SCRG(f)=∅。取x∈B(z, δ2),假设存在x到x的强(G, ε0/6)-链{xi }i=0m (x0=xm=x),则∀0≤i≤m,∃gi ∈G,使得
m−1∑i=0d(gif(xi),xi+1)<ε06。 特别地,
d(g0f(x),x1)<ε06,d(gm−1f(xm−1),x)<ε06。 由x ∈B(z, δ2)和式(1)、(2),可得:
d(g0f(x),g0f(z))<ε06, 则
d(g0f(z),x1)<d(g0f(z),g0f(x))+d(g0f(x),x1)<ε03, d(gm−1f(xm−1),z)<d(gm−1f(xm−1),x)+d(x,z)<ε03。 从而有
d(g0f(z),x1)+m−2∑i=1d(gif(xi),xi+1)+d(gm−1f(xm−1),z)< ε03+ε03+ε06<ε0。 所以,{z, x1, x2, …, xm-1, z}是强(G, ε0)-链,这与前面的不存在z到z的强(G, ε0)-链矛盾,故不存在x到x的强(G, ε0/6)-链,则有
x∉SCRG(f),B(z,δ2)∩SCRG(f)=∅,z∉¯SCRG(f)。 所以,¯SCRG(f)⊂SCRG(f),SCRG(f)是闭集。证毕。
定理2 设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X同胚伪等价,则
f(SCRG(f))=SCRG(f)。 证明 设z ∈SCRG(f),由引理1可得:∀ε>0,∃0 < δ1 < ε/9,当d(u, v) < δ1时,∀g ∈G,有
d(gu,gv)<ε9。 (3) 结合f: X→X一致连续,可得:∃0 < δ2 < δ1,当d(u, v) < δ2时,有
d(f(u),f(v))<δ1。 (4) 由z ∈SCRG(f)可得:存在f作用下的强(G, δ2)- 链{zi }i=0n (z0=zn=z)。因此,∀0≤i≤n,∃gi ∈G,使得
n−1∑i=0d(gif(zi),zi+1)<δ2, 故
d(g0f(z),z1)<δ2,d(g1f(z1),z2)<δ2。 由f伪等价和式(4)知,∃t0 ∈G,使得
d(t0f2(z),f(z1))<δ1, 再结合式(3),可得
d(g1t0f2(z),g1f(z1))<ε9。 则
d(g1t0f2(z),z2)<d(g1t0f2(z),g1f(z1))+ d(g1f(z1),z2)<29ε, 故
d(g1t0f2(z),z2)+n−1∑i=2d(gif(zi),zi+1)+d(ef(z),f(z))<29ε+19ε<ε。 因此,{f(z), z2, z3, …, zn-1, z, f(z)}是f作用下的强(G, ε)-链,从而有f(z)∈SCRG(f),f(SCRG(f))⊂SCRG(f)。
设x ∈SCRG(f),由引理1有:∃0 < δ3 < ε/4,当d(u, v) < δ3时,∀g ∈G,有
d(gu,gv)<ε4。 (5) 因为f-1一致连续,所以对δ3>0,∃0 < δ4 < δ3,当d(u, v) < δ4时,有
d(f−1(u),f−1(v))<δ3。 (6) 由x ∈SCRG(f)可得:存在强(G, δ4)-链{xi }i=0p (x0=xp=x)。则∀0≤i≤p,∃li ∈G,使得
p−1∑i=0d(lif(xi),xi+1)<δ4。 特别地,
d(lp−1f(xp−1),x)<δ4,d(lp−2f(xp−2),xp−1)<δ4。 由f伪等价和式(6), 可得: ∃l′p-1∈G,使得
d(f−1(x),l′p−1xp−1)<δ3 。 由式(5)有
d(l′p−1lp−2f(xp−2),l′p−1xp−1)<ε4, 则
d(l′p−1lp−2f(xp−2),f−1(x))⩽ d(l′p−1lp−2f(xp−2),l′p−1xp−1)+d(l′p−1xp−1,f−1(x))<ε2, 故
d(ef(f−1(x)),x)+p−3∑i=0d(lif(xi),xi+1)+d(l′p−1lp−2f(xp−2),f−1(x))<ε。 因此,{f-1(x), x, x1, …, xp-2, f-1(x)}是f作用下的强(G, ε)-链,从而有f-1(x)∈SCRG(f),SCRG(f)⊂f(SCRG(f))。证毕。
定理3 设(X, d)是紧致度量G-空间,f: X→X同胚伪等价且度量d对G不变,则
SCRG(f)=SCRG(f−1)。 证明 设z ∈SCRG(f)。由f-1的一致连续性, 可得:∀ε>0,∃0 < δ1 < ε/3,当d(u, v) < δ1时,有
d(f−1(u),f−1(v))<ε3。 (7) 由z ∈SCRG(f)可得:存在强(G, δ1)-链{zi }i=0m (z0=zm=z)。则∀0≤i≤m,∃gi ∈G,使得
m−1∑i=0d(gif(zi),zi+1)<δ1, (8) 则有
d(gm−1f(zm−1),z)<δ1,d(gm−2f(zm−2),zm−1)<δ1。 由式(7)和f伪等价, 可得:∃tm-1∈G,使得
d(f−1(z),tm−1zm−1)<ε3。 由度量d对G不变, 可得:
d(tm−1gm−2f(zm−2),tm−1zm−1)=d(gm−2f(zm−2),zm−1)<δ1。 由三角不等式可得
d(f−1(z),tm−1gm−2f(zm−2))<d(f−1(z),tm−1zm−1)+d(tm−1zm−1,tm−1gm−2f(zm−2))<ε3+δ1<2ε3。 由度量d对G不变,有
d((tm−1gm−2)−1f−1(z),f(zm−2))= d(f−1(z),tm−1gm−2f(zm−2))<23ε。 由式(8),有
m−3∑i=0d(gif(zi),f−1(f(zi+1)))<δ1。 由度量d对G不变, 有
m−3∑i=0d((gi)−1f−1(f(zi+1)),f(zi))<δ1, 则有
d((tm−1gm−2)−1f−1(z),f(zm−2))+ m−3∑i=0d((gi)−1f−1(f(zi+1)),f(zi))+ d(ef−1(f(z0)),z)<23ε+δ<ε。 故{z, f(zm-2), f(zm-3), …, f(z2), f(z1), f(z0), z}是f-1作用下的强(G, ε)-链,因此z ∈SCRG(f-1),故SCRG(f)⊂SCRG(f-1)。
设y ∈SCRG(f-1)。由于f一致连续,故对∀η>0,∃0 < δ2 < η/4,当d(u, v) < δ2时,有
d(f(u),f(v))<η4。 (9) 由y ∈SCRG(f-1)可得:存在f-1作用下的强(G, δ2)-链{yi }i=0n (y0=yn=y)。故∀0≤i≤n,∃pi ∈G,使得
n−1∑i=0d(pif−1(yi),yi+1)<δ2, (10) 则有
d(pn−1f−1(yn−1),y)<δ2,d(pn−2f−1(yn−2),yn−1)<δ2。 由式(9)和f伪等价, 有:∃ln-1∈G,使得
d(f(y),ln−1yn−1)<η4。 由度量d对G不变,有
d(ln−1pn−2f−1(yn−2),ln−1yn−1)=d(pn−2f−1(yn−2),yn−1)<δ2, 由三角不等式,可得
d(f(y),ln−1pn−2f−1(yn−2))<d(f(y),ln−1yn−1)+d(ln−1yn−1,ln−1pn−2f−1(yn−2))<η4+δ2<η2。 再由度量d对G不变,有
d((ln−1pn−2)−1f(y),f−1(yn−2))=d(f(y),ln−1pn−2f−1(yn−2))<η2。 由式(10)可得
n−3∑i=0d(f(f−1(yi+1)),pif−1(yi))=n−3∑i=0d(pif−1(yi),yi+1)<δ2。 再由度量d对G不变, 可得
n−3∑i=0d((pi)−1f(f−1(yi+1)),f−1(yi))<δ2。 故
d((ln−1pn−2)−1f(y),f−1(yn−2))+ n−3∑i=0d((pi)−1f(f−1(yi+1)),f−1(yi))+ d(ef(f−1(y0)),y)<ε2η+δ2<η。 则{y, f-1(yn-2), …, f-1(y2), f-1(y1), f-1(y), y}是f作用下的强(G, η)-链,故y ∈SCRG(f),因此SCRG(f-1) ⊂SCRG(f)。证毕。
3. 总结
本文引入G-强链回归点集的概念,在度量G-空间中研究G-强链回归点集的动力学特征。主要结论如下:(1)SCRG(f)是闭集且对同胚映射f强不变;(2)SCRG(f)=SCRG(f-1)。所得的结论推广文献[6-7]中强链回归点集的结果,为其在实际中的应用提供了理论依据。
-
[1] LUO X F, NIE X X, YIN J D. On the shadowing property and shadowable point of set-valued dynamical systems[J]. Acta Mathematica Sinica, 2020, 36(12): 1384-1394. doi: 10.1007/s10114-020-9331-3
[2] WANG H Y, LIU Q. Ergodic shadowing properties of ite-rated function systems[J]. Bulletin of the Malaysian Ma-thematical Sciences Society, 2020, 44(2): 767-783.
[3] WU X X, ZHANG X, MA X. Various shadowing in linear dynamical systems[J]. International Journal of Bifurcation and Chaos, 2019, 29(3): 1-10.
[4] KANG B, KOO N, LEE M. On the average shadowing pro-perty in linear dynamical systems[J]. Journal of the Chung-cheong Mathematical Society, 2018, 31(1): 167-175.
[5] 汪火云, 曾鹏. 平均伪轨的部分跟踪[J]. 中国科学: 数学, 2016, 46(4): 781-792. https://www.cnki.com.cn/Article/CJFDTOTAL-JAXK201606002.htm WANG H Y, ZENG P. Partial shadowing of average pseudo-orbits[J]. Scientific Sinica: Mathematica, 2016, 46(4): 781-792. https://www.cnki.com.cn/Article/CJFDTOTAL-JAXK201606002.htm
[6] 冀占江. 乘积空间与拓扑群作用下逆极限空间的动力学性质[D]. 南宁: 广西大学, 2014. JI Z J. Dynamical property of product space and the inverse limit space of a topological group action[D]. Nanning: Guangxi University, 2014.
[7] 孟鑫, 刘岩. 非自治离散动力系统的强跟踪性[J]. 吉林师范大学学报(自然科学版), 2016, 37(3): 93-96. https://www.cnki.com.cn/Article/CJFDTOTAL-SLXK201603017.htm MENG X, LIU Y. The strongly shadowing property of the nonautonomous dynamical systems[J]. Journal of Jilin Normal University(Natural Science Edition), 2016, 37(3): 93-96. https://www.cnki.com.cn/Article/CJFDTOTAL-SLXK201603017.htm
[8] LI Z P, ZHOU Y H. Quasi-shadowing and limit quasi-shadowing for quasi-partially hyperbolic strings of flows[J]. Journal of Differential Equations, 2020, 269(12): 11062-11085. doi: 10.1016/j.jde.2020.07.030
[9] KRYZHEVICH S G, PIYUGIN S Y. Inverse shadowing and related measures[J]. Science China: Mathematics, 2020, 63(9): 1825-1836. doi: 10.1007/s11425-019-1609-8
[10] LEE M. Orbital shadowing property on chain transitive sets for generic diffeomorphisms[J]. Acta Universitatis Sapientiae: Mathematica, 2020, 12(1): 146-154. doi: 10.2478/ausm-2020-0009
[11] 赵俊玲. 强链回归集与强跟踪性[J]. 数学研究, 2004, 37(3): 286-291. doi: 10.3969/j.issn.1006-6837.2004.03.010 ZHAO J L. Strong chain recurrent sets and strong shadowing property[J]. Journal of Mathematical Study, 2004, 37(3): 286-291. doi: 10.3969/j.issn.1006-6837.2004.03.010
[12] 冀占江. 度量空间中强链回归点集的研究[J]. 西南师范大学学报(自然科学版), 2019, 44(2): 29-35. https://www.cnki.com.cn/Article/CJFDTOTAL-XNZK201902008.htm JI Z J. On strong chain recurrent point set in metric space[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(2): 29-35. https://www.cnki.com.cn/Article/CJFDTOTAL-XNZK201902008.htm
[13] 冀占江, 张更容, 涂井先. 强跟踪性和强链回归点集的研究[J]. 河南大学学报(自然科学版), 2019, 49(6): 739-744. https://www.cnki.com.cn/Article/CJFDTOTAL-HDZR201906013.htm JI Z J, ZHANG G R, TU J X. The research of strong sha-dowing property and strong chain recurrent point set[J]. Journal of Henan University(Natural Science), 2019, 49(6): 739-744. https://www.cnki.com.cn/Article/CJFDTOTAL-HDZR201906013.htm
[14] 李晓婷. 紧致度量空间上连续自映射的一些链回归性质[D]. 南宁: 广西大学, 2015. LI X T. Some chain recurrent properties of continuous self-maps on compact metric space[D]. Nanning: Guangxi University, 2015.
[15] AHMADI S A. Invariants of topological G-conjugacy on G-Spaces[J]. Mathematica Moravica, 2014, 18(1): 67-75. doi: 10.5937/MatMor1401067A
[16] CHOI T, KIM J. Decomposition theorem on G-spaces[J]. Osaka Journal of Mathematics, 2009, 46(1): 87-104.
计量
- 文章访问数: 284
- HTML全文浏览量: 62
- PDF下载量: 58