跟踪性、等度连续和非游荡点集是经典动力系统中重要的定义和研究对象，在动力系统的发展中有着重要的作用，与系统的混沌和复杂性密切相关。

学者们对跟踪性、等度连续和非游荡点集的动力学性质进行了研究^[1-17]。例如，汪火云和曾鹏^[1]得到平均跟踪性的一个等价条件；冀占江和张更容^[2]在乘积空间中研究G-利普希茨跟踪性的相关性质；WANG和ZHANG^[3]在特殊群Z^K作用下的一维动力系统中引入跟踪性概念并得到了若干结论；XIE和YIN^[4]得到集值动力系统具有最终跟踪性的等价条件；罗飞和金渝光^[5]给出了序列映射与极限映射之间关于非游荡点的拓扑结构；钟玥铧和汪火云^[6]得到结论：x是平均等度连续点当且仅当对任意的0≤q＜1，x点是一个$\underline{q}^{-}$等度连续点；LI等^[7]给出了平均等度连续与平均敏感之间的动力学性质。以上研究成果都是在经典动力系统中得到的，而度量G-空间是拓扑群作用在紧致度量空间X上的动力系统，相比于经典动力系统中的整数加群Z，拓扑群不具有序结构、交换性等，再加上时间维数的增加，空间点的轨迹更加复杂，使得在经典动力系统中一些单个映射成立的结果在群作用下并不成立，或者虽然成立但其证明变得非常复杂，因此研究拓扑群作用下的动力系统难度将会更大。

本文研究了度量G-空间中映射f的G-利普希茨跟踪性、G-等度连续、G-非游荡点集与轨道空间中诱导映射$\hat{f}$的利普希茨跟踪性、等度连续、非游荡点集之间的动力学关系，以丰富G-利普希茨跟踪性、G-等度连续和G-非游荡点集的研究结果，并为其在计算机科学等学科的应用提供理论依据和科学支撑。

1.   预备知识

定义1^[2]   设(X, d)是度量G-空间，f: X→X连续。若存在常数L>0与δ₀>0，∀0＜δ＜δ₀，使得对f的任意(G, δ)-伪轨{x_i}_i=0^∞，∃x∈X，x(G, Lδ)-跟踪{x_i}_i=0^∞，则称f具有G-利普希茨跟踪性。

定义2^[5]  设(X, d)是度量空间，f: X→X连续。称x是f的非游荡点，若对任意包含x的开集U，$\exists n \in \mathbb{N}_{+}$，使得fⁿ(U)∩U≠Ø。Ω(f)代表f的非游荡点集。

定义3^[9]  设(X, d)是度量空间，G是拓扑群。若映射φ: G×X→X满足

(1) 对任意x∈X，有φ(e, x)=x，其中e为G的单位元；

(2) 对任意x∈X以及g₁, g₂ ∈G，有

则称(X, G, φ)是度量G-空间，简称(X, d)是度量G-空间。

定义4^[9]  设(X, d)是度量G-空间，f: X→X连续。若∀x ∈X，∀g ∈G，∃h ∈G，使得f(gx)=hf(x)，则称f是伪等价映射。

定义5^[9]  设(X, d)是度量G-空间，f: X→X连续。若∀ε>0，∃δ>0，当d(x, y)＜δ时，$\forall n \in \mathbb{N}_{+}$，∃g_n, p_n∈G，有$d\left(f^n\left(g_n x\right), f^n\left(p_n y\right)\right)＜\varepsilon$，则称f是G-等度连续的。

定义6^[9]  设(X, d)是度量G-空间。若对任意的x, y∈X和g∈G，有d(x, y)=d(gx, gy)，则称度量d对拓扑群G不变。

定义7^[18]  设(X, d)是度量空间，f: X→X连续。若存在常数L>0与δ₀>0，∀0＜δ＜δ₀，使得对f的任意δ-伪轨$\left\{x_i\right\}_{i=0}^{\infty}, \exists x \in X$，xL δ-跟踪{x_i}_i=0^∞，则称f具有利普希茨跟踪性。

定义8^[19]  设(X, d)是度量空间，f: X→X连续。若∀ε>0，∃δ>0，当d(x, y)＜δ时，$\forall n \in \mathbb{N}_{+}$，有d(f ⁿ(x), f ⁿ(y))＜ε，则称f是等度连续的。

定义9^[20]  设(X, d)是度量G-空间，f: X→X连续。称x是f的G-非游荡点，若对任意包含x的开集U，$\exists n \in \mathbb{N}_{+}$，∃g ∈G, 使得gf ⁿ(U)∩U≠Ø。Ω_G(f)代表f的G-非游荡点集。

定义10^[21]  设(X, d)是度量G-空间。若记G(x)={gx: g∈G}，则称G(x)是点x的G-轨道。

定义11^[21]  设(X, d)是度量G-空间，f: X→X伪等价。若记X/G={G(x): x∈X}，则称X/G是X的轨道空间。

设G(x)∈X/G，G(y)∈X/G，若定义度量d_G为：

d_G(G(x), G(y))=inf{d(gx, ky): g, k∈G}，则(X\G, d_G)是度量空间。

定义轨道映射π: X→X/G为：π(x)=G(x)，则π: X→X/G是连续的开映射。

定义诱导映射$\hat{f}$: X/G→X/G为：$\hat{f}$(G(x))=G(f(x))，则$\hat{f}$: X/G→X/G是连续映射。

下面给出本文证明需用的引理：

引理1  设(X, d)是紧致度量G-空间，f: X→X是伪等价的，则以下结论成立：

(1) $\hat{f}^n(G(x))=G\left(f^n(x)\right), \forall n \in \mathbb{N}_{+}$；

(2) $G(g x)=G(x), \forall g \in G, \forall x \in X$；

(3) $\hat{f}^n 。 \pi=\pi 。 f^n, \forall n \in \mathbb{N}_{+}$；

(4) $\pi(g x)=\pi(x), \forall g \in G, \forall x \in X$；

(5) π(Ω_G(f))=Ω($\hat{f}$)。

证明  由定义11可得到结论(1)至结论(4)。下面给出结论(5)的证明。首先证明π(Ω_G(f))⊂Ω($\hat{f}$)。设x∈Ω_G(f)，下证π(x)∈Ω($\hat{f}$)。$\forall \hat{U}$是包含π(x)的开集，则$\pi^{-1}(\hat{U})$是包含x的开集。由x∈Ω_G(f)知，$\exists n \in \mathbb{N}_{+}, \exists g \in G$，使得

则

故

从而由引理1(4)知

又由π是满射，故$\pi\left(\pi^{-1}(\hat{U})\right)=\hat{U}$。再由引理1(3)知

因此π(x)∈Ω($\hat{f}$)，故π(Ω_G(f))⊂Ω($\hat{f}$)。

其次证明Ω($\hat{f}$)⊂π(Ω_G(f))。设π(y)∈Ω($\hat{f}$)，下证y∈Ω_G(f)。∀V是包含y的开集，则π(V)是包含π(y)的开集。由π(y)∈Ω($\hat{f}$)知，$\exists m \in \mathbb{N}_{+}$，使得

由引理1(3)知

即

因此，∃x, z∈V，∃p, k∈G，使得

则有

从而有

故y∈Ω_G(f)，因此Ω($\hat{f}$)⊂π(Ω_G(f))。证毕。

2.   主要结论及证明

定理1  设(X, d)是紧致度量G-空间，f: X→X伪等价，度量d对G不变, 则映射f具有G-利普希茨跟踪性⇔诱导映射$\hat{f}$具有利普希茨跟踪性。

证明  (⇒)由f具有G-利普希茨跟踪性知：∃L₁>0，∃δ₁>0，∀0＜δ＜δ₁，对f的(G, δ)-伪轨{x_i}_i=0^+∞，∃x∈X，∃g_i ∈G (i≥0)，使得

∀0＜η＜δ₁，设{G(x_i)}_i=0^+∞是X/G中$\hat{f}$的η-伪轨，则

由引理1(1)可得

由度量d_G的定义知，∃h_i, k_i∈G (i≥0)，使得

由度量d对G不变，可得

则{x_i}_i=0^+∞是f的(G, η)-伪轨，故∃x∈X，∃g_i ∈G (i≥0)，使得

因此

由引理1(1)、(2)可得

因此诱导映射$\hat{f}$具有利普希茨跟踪性。

(⇐)设诱导映射$\hat{f}$具有利普希茨跟踪性，则∃L₂>0和∃δ₂>0，∀0＜δ′＜δ₂，当{G(y_i)}_i=0^+∞是$\hat{f}$的δ′-伪轨时，∃G(y)∈X/G，使得

∀0＜ε＜δ₂，设{y_i}_i=0^+∞是f的(G, ε)-伪轨，则∃t_i ∈G (i≥0)，使得

则

由引理1(2)可得

再由引理1(1)可得

故{G(y_i)}_i=0^+∞是$\hat{f}$的ε-伪轨，则∃G(y)∈X/G，使得

由引理1(1)可得

由度量d_G的定义知，∃p_i, l_i ∈G (i≥0)，使得

由度量d对G不变，可得

因此映射f具有G-利普希茨跟踪性。证毕。

定理2  设(X, d)是紧致度量G-空间，f: X→X伪等价，则映射f是G-等度连续的⇔诱导映射$\hat{f}$是等度连续的。

证明  (⇒)设f是G-等度连续的，则∀ε>0，∃δ₁>0，当d(x, y)＜δ₁时，∃g_n, p_n ∈G($n \in \mathbb{N}_{+}$)，使得

设d_G(G(x), G(y))＜δ₁，则∃t, h∈G，满足

因此，∃g_n, p_n ∈G ($n \in \mathbb{N}_{+}$)，使得

则

由引理1(1)知

再由引理1(2)可得

因此，诱导映射$\hat{f}$是等度连续的。

(⇐)设诱导映射$\hat{f}$是等度连续的，则∀η>0，∃δ₂>0，当d_G(G(x), G(y))＜δ₂时，有

设d(x, y)＜δ₂，则

因此

由引理1(1)知

由度量d_G的定义知，∃k_m, l_m ∈G，使得

根据f: X→X伪等价知，∃k′ _m, l′ _m ∈G，使得

因此，f是G-等度连续的。证毕。

定理3  设(X, d)是紧致度量G-空间，f: X→X伪等价，π: X→X/G是单射，则Ω_G(f)在X中稠密⇔Ω($\hat{f}$)在X/G中稠密。

证明  (⇒)设Ω_G(f)在X中稠密。取$\hat{U}$是X/G中的开集，则π^-1($\hat{U}$)是X中的开集，从而有

取$x \in \varOmega_G(f) \cap \pi^{-1}(\hat{U})$，则$\pi(x) \in \hat{U}$，由x∈Ω_G(f)知π(x)∈π(Ω_G(f))。由引理1(5)知π(Ω_G(f))=Ω($\hat{f}$)，则π(x)∈Ω($\hat{f}$)，从而有

故Ω($\hat{f}$)在X/G中稠密。

(⇐)设Ω($\hat{f}$)在X/G中稠密。取V是X中的开集，则π(V)是X/G中的开集，从而有

由引理1(5)知π(Ω_G(f))=Ω($\hat{f}$)，则

又π: X→X/G是单射，则

从而有

故Ω_G(f)在X中稠密。证毕。

3.   小结

本文利用度量G-空间中映射f与轨道空间中诱导映射$\hat{f}$之间的关系，研究了映射f的G-利普希茨跟踪性、G-等度连续、G-非游荡点集与诱导映射$\hat{f}$的利普希茨跟踪性、等度连续、非游荡点集之间的动力学性质。主要结论如下：

(1) 映射f具有G-利普希茨跟踪性⇔诱导映射$\hat{f}$具有利普希茨跟踪性；

(2) 映射f是G-等度连续的⇔诱导映射$\hat{f}$是等度连续的；

(3) 映射f的G-非游荡点集Ω_G(f)在X中稠密⇔诱导映射$\hat{f}$的非游荡点集Ω($\hat{f}$)在X/G中稠密。