[論文レビュー] On the subset Combinatorics of G-spaces

Ігор Протасов, Sergii Slobodianiuk|arXiv (Cornell University)|Sep 25, 2014

Digital Image Processing Techniques参考文献 9被引用数 7

ひとこと要約

本稿は、G-空間における相対的組合せ的導出および超同伴を、Stone-Čechコンパクト化を用いて導入・分析し、集合の大きさと構造によって分類する。集合が散乱的であることの特徴づけは、すべての p ∈ X* に対してその超同伴が離散的であることと同値であることを示し、組合せ的性質と βX における位相的力学の間の関係を確立する。

ABSTRACT

Let $G$ be a group and let $X$ be a transitive $G$-space. We classify the subsets of $X$ with respect to a translation invariant ideal $\mathcal{J}$ in the Boolean algebra of all subsets of $X$, introduce and apply the relative combinatorical derivations of subsets of $X$. Using the standard action of $G$ on the Stone-$\check{C}$ech compactification $βX$ of the discrete space $X$, we characterize the points $p\inβX$ isolated in $Gp$ and describe a size of a subset of $X$ in terms of its ultracompanions in $βX$. We introduce and characterize scattered and sparse subsets of $X$ from different points of view.

研究の動機と目的

• G-空間 X の部分集合を、移動不変なイデアル J に関して、組合せ的および位相的道具を用いて分類すること。
• Stone-Čechコンパクト化 βX における挙動を通じて、J-大、J-小、J-厚、J-準厚部分集合を特徴づけること。
• 群から一般の G-空間へと散乱的および疎な部分集合の概念を拡張し、超同伴および位相的力学を用いてそれらを特徴づけること。
• 組合せ的導出 ΔJ(A) と βX 内の超フィルターの構造、特に Gp 内の孤立点との関係を調査すること。
• σ-および ∂-完備化におけるイデアルの完備性の性質を調べ、σ*-完備化が繰り返し σ-作用の和集合と一致するかどうかを同定すること。

提案手法

• 離散空間 X の Stone-Čechコンパクト化 βX における G の標準的作用を用いて、超フィルターおよびその力学を分析する。
• 組合せ的サイズを J に関して測るため、ΔJ(A) = {g ∈ G : gA ∩ A ∉ J} として相対的組合せ的導出を定義する。
• A* = A̅ ∩ X* であるとき、βX 内の部分集合構造を分析するための道具として、p-同伴 △p(A) = A* ∩ Gp ⊆ X* を定義する。
• J-大部分集合は、J̌（J の双対イデアル）のすべての p ∈ J̌ に対して △p(A) ≠ ∅ であるという条件によって特徴づけられる。
• βX における位相的力学を応用し、Gp 内の孤立点を調べる。部分的にずらされた FP-集合を用いて、離散的超同伴を特徴づける。
• 群から G-空間へと散乱的および疎な部分集合の概念を拡張する際、すべての p ∈ J̌ ∩ Y* に対して △p(Y) が有限であることを要件とすることで、Y ⊆ A に対してそれらを特徴づける。

実験結果

リサーチクエスチョン

• RQ1 部分集合 A ⊆ X がいつ J-大であるか、そして βX 内の超同伴を用いてどのように特徴づけられるか？
• RQ2 組合せ的導出 ΔJ(A) と G における A の大きさとの関係は何か？
• RQ3 どの条件下で超フィルター p ∈ βX が軌道 Gp 内で孤立しているか、そしてこれは X ⊆ A の構造とどのように関係するか？
• RQ4 部分集合 A ⊆ X がいつ散乱的であるか、そしてすべての p ∈ X* に対してその超同伴 △p(A) が離散的であることとどのように関係するか？
• RQ5 移動不変なイデアル J の σ-完備化は、繰り返し σ-操作の和集合と一致するか、すなわち σ*(J) = ⋃n∈ω σⁿ(J) か？

主な発見

• 部分集合 A ⊆ X が J-小であることと、任意の有限 F ⊆ G に対して G ∖ FA が J-大であることは同値である。
• A が J-小でないとき、ΔJ(A) は G において大である。これは [6] の結果を任意の推移的 G-空間へ一般化したものである。
• 部分集合 A ⊆ X が J-大であることと、J̌（J の双対イデアル）のすべての p ∈ J̌ に対して △p(A) ≠ ∅ であることは同値である。
• 部分集合 A ⊆ X が散乱的であることと、すべての p ∈ X* に対してその超同伴 △p(A) が離散的であることは同値である。
• 部分集合 A ⊆ X が散乱的であることと、A が部分的にずらされた FP-集合を含まず、かつカントールマクロキューブと粗く同値な部分集合を含まないことは同値である。
• 任意のイデアル J の ∂-完備化は ∂(J) に等しく、したがって ∂(J) はすでに ∂-完備である。特に、疎な部分集合のイデアルは ∂-完備である。