[论文解读] On generalized shift transformation semigroups

Fatemah Ayatollah Zadeh Shirazi, Fatemeh Ebrahimifar|arXiv (Cornell University)|Nov 29, 2017

Holomorphic and Operator Theory参考文献 3被引用 3

一句话总结

本文建立了广义移位变换半群 $({\mathcal{S}}, X^\Gamma)$ 中等连续性、反常性、敏感性和扩张性的必要与充分条件，其中 $X$ 是至少包含两个元素的有限离散空间，$\Gamma$ 是无限集。关键结果表明，等连续性（或存在等连续点）成立当且仅当对每个 $w \in \Gamma$，图像集 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ 是有限的，而反常性还需额外的双射条件。

ABSTRACT

In the following text we prove that for finite discrete $X$ with at least two elements and infinite $Γ$, the generalized shift transformation semigroup $({\mathcal S},X^Γ)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\inΓ$, $\{φ(w):σ_φ\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of $({\mathcal S},X^Γ)$.

研究动机与目标

• 刻画有限离散空间 $X$ 与无限集 $\Gamma$ 下广义移位变换半群 $({\mathcal{S}}, X^\Gamma)$ 的等连续性与反常性。
• 确定此类半群为敏感或扩张的条件。
• 阐明广义移位背景下动力性质（等连续性、反常性、敏感性、扩张性）之间的关系。
• 通过底层映射 $\varphi: \Gamma \to \Gamma$ 的结构条件，建立这些性质的完整分类。

提出的方法

• 使用一致空间理论和相容一致度量来定义变换半群中的等连续性与敏感性。
• 应用包络半群 $E({\mathcal{S}}, X^\Gamma)$ 分析动力性质并建立等价条件。
• 在 $X^\Gamma$ 上使用乘积拓扑，并分析由 $\sigma_\varphi((x_\alpha)_{\alpha \in \Gamma}) = (x_{\varphi(\alpha)})_{\alpha \in \Gamma}$ 定义的广义移位 $\sigma_\varphi$ 的作用。
• 在 $\varphi$ 双射的条件下，建立等连续性与对每个 $w \in \Gamma$，集合 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ 的有限性之间的等价性。
• 使用 $\Gamma$ 的有限子集 $H \subset \Gamma$，通过条件 $\Gamma = {\mathcal{T}}H$ 来刻画扩张性，其中 ${\mathcal{T}}$ 是诱导 ${\mathcal{S}}$ 中移位的映射集合。
• 构造显式例子以说明广义移位半群中等连续、反常、敏感与扩张行为之间的区别。

实验结果

研究问题

• RQ1 广义移位变换半群 $({\mathcal{S}}, X^\Gamma)$ 何时是等连续的？哪些映射 $\varphi \in {\mathcal{T}}$ 的结构条件可保证这一点？
• RQ2 映射 $\varphi: \Gamma \to \Gamma$ 的哪些条件使得 $({\mathcal{S}}, X^\Gamma)$ 是反常的或非反常的？
• RQ3 在什么条件下 $({\mathcal{S}}, X^\Gamma)$ 是扩张的？这与有限子集在迭代映射下的像有何关系？
• RQ4 在此类半群中，敏感性与扩张性之间有何关系？扩张性是否严格强于敏感性？
• RQ5 映射 $\varphi$ 的双射性在实现反常性或等连续性方面起着何种精确作用？

主要发现

• 当 $X$ 是至少包含两个元素的有限离散空间且 $\Gamma$ 无限时，变换半群 $({\mathcal{S}}, X^\Gamma)$ 是等连续的，当且仅当对每个 $w \in \Gamma$，集合 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ 是有限的。
• 等连续性成立当且仅当所有 $\varphi \in {\mathcal{T}}$ 是双射，且对每个 $w \in \Gamma$，集合 $\{\varphi(w)\}$ 有限，该条件也刻画了反常性。
• 半群 $({\mathcal{S}}, X^\Gamma)$ 是反常的，当且仅当所有 $\varphi \in {\mathcal{T}}$ 是双射，且对每个 $w \in \Gamma$，集合 $\{\varphi(w)\}$ 有限，从而建立了双射性与反常性之间的紧密联系。
• 扩张性成立当且仅当存在一个有限子集 $H \subset \Gamma$，使得 $\Gamma = {\mathcal{T}}H$，即映射 $\varphi \in {\mathcal{T}}$ 作用于 $H$ 的像覆盖了 $\Gamma$。
• 扩张性蕴含敏感性，但并非所有敏感系统都是扩张的；例如，由 $\mathbb{Z}$ 上的 $\varphi(n) = n^2$ 生成的半群是敏感的但不是扩张的。
• 例子验证了：除非 $\varphi$ 是双射，否则等连续性不蕴含反常性；且非满射的移位（如 $\varphi(n) = |n|$）可以是等连续的但不是反常的。