[论文解读] The maximal G-compactifications of G-spaces with special actions

Vitalij A. Chatyrko, К.Л. Козлов|ArXiv.org|Apr 10, 2002

Advanced Topology and Set TheoryMathematics参考文献 1被引用 22

一句话总结

本文確立了在何種條件下，G-空間的極大G-緊化與由群作用所誘導的特定一致結構下的空間完備性一致。本文特徵化具有特殊動力學性質（特別是滿足(a)、(b)或(c)）的G-空間，並證明當一致結構$U_G$比最大完全有界一致結構$U^*$更細時，極大G-緊化等於Stone–Čech緊化$eta X$。主要貢獻在於透過一致結構與軌道行為，提供$eta_G X = \beta X$成立的拓撲特徵化。

ABSTRACT

An action on a G-space induces uniformities on the phase space. It is shown when the maximal G-compactification of a G-space can be obtained as a completion of the phase space with respect to one of these uniformities. Structure of G-spaces with special actions is investigated.

研究动机与目标

• 確定G-空間的極大G-緊化在何種條件下與由群作用所誘導的一致結構下的完備性一致。
• 研究在特殊動力學條件(a)、(b)與(c)下G-空間的結構，並探討軌道閉包與拓撲行為之間的關係。
• 釐清在Tychonoff G-空間背景下，等度一致結構、一致完備性與G-緊化之間的關係。
• 透過一致結構的細化與軌道性質，延伸先前關於有界與等度一致作用的結果，提出新的特徵化方式。

提出的方法

• 引入兩組覆蓋$ \gamma_O = \{Ox \mid x \in X\}$與$\overline{\gamma}_O = \{\overline{Ox} \mid x \in X\}$，針對$G$中單位元的開鄰域$O$，生成一致結構$U_G$與$\overline{U}_G$。
• 使用等度一致結構的概念——與拓撲相容、在群作用下不變，且受作用有界的——以特徵化G-緊化。
• 應用一致空間在等度一致結構下的完備化，以構造$G$-緊化，並利用Megrelishvili關於等變擴張的定理。
• 建立若$U_G$比最大完全有界一致結構$U^*$更細，則$X$在$U_G$下的完備化即為極大$G$-緊化$\beta_G X = \beta X$。
• 透過性質(a)、(b)與(c)分析軌道結構，顯示(a)表示空間可分解為互不相交的閉開集，每個集合等於其任一點軌道的閉包；(b)確保每個閉開集為其任一點軌道的閉包；(c)表示軌道與$G$的商空間同胚。
• 運用包含星式精化、內部與閉包性質，以及群作用連續性的拓撲論證，證明一致結構細化與拓撲相容性的等價性。

实验结果

研究问题

• RQ1 在何種條件下，G-空間的極大G-緊化等於由群作用所誘導的一致結構$U_G$下的完備化？
• RQ2 家族$\overline{U}_G$何時會生成與G-空間拓撲相容的一致結構？
• RQ3 每一個滿足性質(a)的G-空間是否都存在一個滿足性質(b)的稠密不變子空間？
• RQ4 每一個滿足性質(b)的G-空間是否都存在一個滿足性質(c)的稠密不變子空間？
• RQ5 每一個Tychonoff空間的緊化是否都能作為某個群作用下該空間的G-緊化？

主要发现

• 若一致結構$U_G$比最大完全有界一致結構$U^*$更細，則極大$G$-緊化$\beta_G X$等於Stone–Čech緊化$\beta X$。
• 家族$\overline{U}_G$在$X$上生成一致結構，當且僅當$\overline{U}_G$與$X$的拓撲相容；在此情況下，$U_G$與$\overline{U}_G$重合。
• 對於滿足性質(a)的$G$-空間，空間可分解為互不相交的閉開集之不交並，且每個集合等於其任一點軌道的閉包。
• 對於滿足性質(b)的$G$-空間，每個閉開分量為其任一點軌道的閉包，但軌道未必同胚。
• 對於滿足性質(c)的$G$-空間，每個軌道同胚於$G$的商空間，且軌道映射$g \mapsto gx$為開映射。
• 一致結構$U_G$比$U$更細，當且僅當$\overline{U}_G$比$U$更細；若$U_G$與拓撲相容，則$U_G = \overline{U}_G$。