[論文レビュー] Analytic Colorings

Wiesław Kubiś, Saharon Shelah|arXiv (Cornell University)|Dec 2, 2002

Advanced Topology and Set Theory被引用数 7

ひとこと要約

この論文は、解析的彩色の木表現における絶対的ランク関数を導入し、完全な均一集合の存在を決定し、その濃度を評価する。一貫して、濃度 ℵ_γ の均一集合を含むが完全な均一集合を含まない、任意の指定されたランク gamma < omega_1 の普遍的 sigma-compact 彩色を構成する。これらの結果は、ポーランド線形空間における欠損彩色への応用を含む。

ABSTRACT

We investigate the existence of perfect homogeneous sets for analytic colorings. An analytic coloring of X is an analytic subset of [X]^N, where N>1 is a natural number. We define an absolute rank function on trees representing analytic colorings, which gives an upper bound for possible cardinalities of homogeneous sets and which decides whether there exists a perfect homogeneous set. We construct universal sigma-compact colorings of any prescribed rank gamma<omega_1. These colorings consistently contain homogeneous sets of cardinality aleph_gamma but they do not contain perfect homogeneous sets. As an application, we discuss the so-called defectedness coloring of subsets of Polish linear spaces.

研究の動機と目的

• 非可算集合の解析的彩色における完全な均一集合の存在を調査すること。
• 解析的彩色を表す木に対する絶対的ランク関数を定義し、均一集合のサイズを評価し、その存在を決定すること。
• 任意の指定されたランク gamma < omega_1 の普遍的 sigma-compact 彩色を構築すること。
• これらの構成がポーランド線形空間における欠損彩色に与える影響を検討すること。

提案手法

• 解析的彩色を表す木に対する絶対的ランク関数を定義し、均一集合の濃度に対する上界を提供する。
• ランク関数を用いて、与えられた解析的彩色に対して完全な均一集合が存在するかどうかを決定する。
• 濃度 ℵ_γ を含むが完全な均一集合を含まない、ランク gamma < omega_1 の普遍的 sigma-compact 彩色を構築する。
• これらの彩色が、大きな均一集合を含んでも完全な均一集合を含まないことを示す。
• この枠組みをポーランド線形空間の部分集合における欠損彩色に適用し、その構造的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 解析的彩色が完全な均一集合を許容する条件は何か？
• RQ2 解析的彩色における均一集合の最大濃度は何か？ そして、その上限はどのように求められるか？
• RQ3 ランク gamma < omega_1 の指定されたランクを持つ sigma-compact 彩色を、濃度 ℵ_γ の均一集合を含むが完全な均一集合を含まないように構築できるか？
• RQ4 これらの結果は、ポーランド線形空間における欠損彩色にどのように適用されるか？

主な発見

• 絶対的ランク関数は、解析的彩色における均一集合の濃度に対して正確な上界を提供する。
• 完全な均一集合の存在はランク関数によって決定可能であり、その非存在を示す基準を提供する。
• 任意の gamma < omega_1 に対して、ランク gamma の普遍的 sigma-compact 彩色が存在し、一貫して濃度 ℵ_γ の均一集合を含む。
• 濃度 ℵ_γ の均一集合を含んでも、これらの彩色は完全な均一集合を含まない。
• この枠組みは、ポーランド線形空間の部分集合における欠損彩色に成功裏に適用され、構造的制約を明らかにする。