[論文レビュー] On generalized shift transformation semigroups

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

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

ひとこと要約

本稿は、$X$ が2つ以上の元をもつ有限離散空間で、$\Gamma$ が無限集合である一般化されたシフト変換モノイド群 $({\mathcal{S}}, 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}}\}$ が有限であることの同値性を確立する。
• 有限部分集合 $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$ が2つ以上の元をもち、$\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|$）は等連続ではあるが非可換ではないことが示されている。