[论文解读] On metrizable enveloping semigroups

Eli Glasner, Michael Megrelishvili+1 more|arXiv (Cornell University)|Jun 15, 2006

Mathematical Dynamics and Fractals参考文献 1被引用 5

一句话总结

该论文证明了：对于一个具有度量拓扑的紧致 $G$-空间 $X$，其包络半群 $E(X)$ 是度量的，当且仅当该系统是拟一致连续的（HAE）、拟无敏感性的（HNS），或在 Asplund Banach 空间上具有适当的表示。其主要贡献在于建立了 $E(X)$ 的度量性与这些动力学性质之间的等价关系，从而扩展了对弱几乎周期系统和 Radon–Nikodým 系统的刻画。

ABSTRACT

When a topological group $G$ acts on a compact space $X$, its enveloping semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the first two authors that the following conditions are equivalent: (1) $X$ is hereditarily almost equicontinuous; (2) $X$ is hereditarily non-sensitive; (3) for any compatible metric $d$ on $X$ the metric $d_G(x,y):=\sup\{d(gx,gy): g\in G\}$ defines a separable topology on $X$; (4) the dynamical system $(G,X)$ admits a proper representation on an Asplund Banach space. We prove that these conditions are also equivalent to the following: the enveloping semigroup $E(X)$ is metrizable.

研究动机与目标

• 刻画度量动力系统 $(G,X)$ 的包络半群 $E(X)$ 何时为度量的。
• 通过 $E(X)$ 的度量性，统一现有对弱几乎周期（WAP）和 Radon–Nikodým（RN）系统的刻画。
• 通过识别 HAE 为关键条件，将具有度量包络半群的系统类扩展至超越 WAP 系统的范围。
• 建立度量包络半群与群 $G$ 的度量右拓扑半群紧化之间的对应关系。

提出的方法

• 将包络半群 $E(X)$ 定义为在积拓扑下 $G$-平移在 $X^X$ 中的闭包。
• 使用度量 $d_G(x,y) = \sup_{g \in G} d(gx, gy)$ 分析一致连续性和敏感性性质。
• 应用 Baire 闭集定理，证明等度连续点的稠密 $G$-不变集蕴含几乎一致连续性。
• 利用 Asplund 空间和半群紧化的性质，证明 $E(X)$ 的度量性与系统为 HAE 的等价性。
• 构造例子（例如在圆周积空间上的 2-adic 移位）以表明 HAE 不蕴含 WAP，从而放宽了 WAP 条件。
• 证明度量包络半群与 $G$ 的度量右拓扑半群紧化完全一致。

实验结果

研究问题

• RQ1 在何种条件下，度量动力系统 $(G,X)$ 的包络半群 $E(X)$ 是度量的？
• RQ2 对于度量空间 $X$，拟一致连续性（HAE）是否与 $E(X)$ 的度量性等价？
• RQ3 是否可以将具有度量 $E(X)$ 的系统类扩展至超越 WAP 系统的范围？如果是，其最小条件是什么？
• RQ4 度量包络半群与作用群 $G$ 的半群紧化之间有何关系？
• RQ5 是否存在一个 HAE 但不是 WAP 的动力系统？若是，其 $E(X)$ 的结构如何？

主要发现

• 包络半群 $E(X)$ 是度量的，当且仅当系统 $(G,X)$ 是拟一致连续的（HAE）。
• 对于度量空间 $X$，HAE、拟无敏感性（HNS）、度量 $d_G$ 的度量性，以及在 Asplund Banach 空间上的适当表示，这四个条件彼此等价。
• 存在 HAE 系统不是 WAP 的，例如在 $X = \mathbb{R}/\mathbb{Z} \times (\mathbb{N} \cup \{\infty\})$ 上的 2-adic 移位，其中 $E(X)$ 同构于 2-adic 整数，并包含不连续映射。
• HAE 度量系统的包络半群 $E(X)$ 本身也是一个度量的 HAE 系统。
• 度量包络半群的类与 $G$ 的度量右拓扑半群紧化的类完全一致。
• 当 $G$ 为交换群时，点传递的 WAP 系统同构于其包络半群，而后者是交换的、度量的半拓扑半群。