[論文レビュー] Beyond Erd\H{o}s-Kunen-Mauldin: Singular sets with shift-compactness properties

Harry I. Miller, Leila Miller-Van Wieren+1 more|arXiv (Cornell University)|Jan 28, 2019

Advanced Topology and Set Theory被引用数 4

ひとこと要約

本稿は、ゲーデルの構成可能性の公理（V = L）の下で、Baire群におけるシフトコンパクト性を拡張し、有理数上に集中するような共解析的で特異な集合（例：Sierpiński集合やLuzin集合）を構成することで、Kestelman-Borwein-Ditor定理を完全な距離空間を超えて拡張する。効果的でカテゴリーに基づく手法が、完備性の仮定に代わって、古典的な測度論的直観に反する、位相的に良好な反例を生み出すことを示している。

ABSTRACT

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by an element of the set. Effective proofs are recognized to yield (i) analogous category and Haar-measure metrizable generalizations for Baire groups and locally compact groups respectively, and (ii) permit under $V=L$ construction of co-analytic shift-compact subsets of R with singular properties, e.g. being concentrated on $\mathbb{Q}$, the rationals.

研究の動機と目的

• 完全な距離空間を超えて、Kestelman-Borwein-Ditor定理を半位相的群におけるBaire性という性質に置き換えることで一般化すること。
• V = Lの下で、効果的で記述的集合論的手法を用いて、特異な位相的・測度論的性質（例：ℚ上に集中）を有する共解析的集合を構成できることを示すこと。
• シフトコンパクト性がSteinhaus-Weil性質および関連する構造的結果を含む、カテゴリー論的および測度論的議論を統合すること。
• フォースィング公理と構成可能性の下で、特異集合（特にSierpiński集合やLuzin集合）の構造を調べ、それらのシフトコンパクト性と埋め込み行動に注目すること。
• アンカウンタブルな基数におけるMartinの公理の下で、強測度ゼロ集合が連続体未満のサイズの和集合に関して閉じており、完全集合がそれらの和集合では被覆できないことを確立すること。

提案手法

• 完備性ではなくカテゴリー論的議論を用いて、Baire群の設定でKestelman-Borwein-Ditor定理を再証明する。
• 効果的記述的集合論を用いて、ℕの部分集合による開集合や列の符号化を行い、ゼロ収束や密度といった性質の算術的特徴づけを可能にする。
• ゲーデルの構成可能性の公理（V = L）を用いて、ℚ上に集中するが、病理的な測度論的性質を示す共解析的集合を構成し、それらがシフトコンパクトであることを示す。
• Haar-非だんらん集合およびHaar零集合の概念を用いて、局所有限でない設定へのSteinhaus-Weil性質の一般化を図り、密度位相を通じてカテゴリーと測度を結びつける。
• Carlsonのσ-アイデアル枠組みを用いて、強測度ゼロ集合および強第一カテゴリー集合を「平行移動回避」によって特徴づける：あるtおよび非だんらん／零なFσ集合Mに対して、X ∩(t + M) = ∅ となること。
• 開集合の効果的符号化（2進数列による）を活用し、『稠密なGδを含む』や『ゼロ列を含む』といった性質がΠ₀²で定義可能であることを示し、解析的階層における効果的証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 完備性に依存せずに、半位相的Baire群においてシフトコンパクト性を確立できるか？
• RQ2 どのような集合論的仮定のもとで、ℚ上に集中するがシフトコンパクト性を保つ共解析的集合を構成できるか？
• RQ3 効果的で記述的集合論的手法は、古典的な測度論およびカテゴリー論の枠組みを超えて、Kestelman-Borwein-Ditor定理をどのように拡張できるか？
• RQ4 強測度ゼロ集合と、すべての非だんらん集合Mに対して「∃t(X ∩(t + M) = ∅)」を満たす集合の族 {X : ∃t(X ∩(t + M) = ∅) for all meagre M} の関係は何か？
• RQ5 Martinの公理をアンカウンタブルな基数に適用した場合、強測度ゼロ集合の和集合に関する閉包性質は、どの程度保たれるか？

主な発見

• Baire群Xが非だんらんであれば、シフトコンパクト性を満たす。これは、完全な距離空間を超えてKestelman-Borwein-Ditor定理を一般化する。
• V = Lの下で、ℚ上に集中する共解析的でシフトコンパクトなℝの部分集合が存在する。これは、病理的な特異集合が良好な位相的構造を有することを示している。
• Sierpiński集合の補集合は共非だんらんであり、したがってシフトコンパクトである。任意のゼロ列zn → 0に対して、ほとんどすべてのtについて、すべてのnに対してt + zn ∈ ℝ ∖ S を満たす。
• Martinの公理をκ < cに適用すると、強測度ゼロ集合はサイズκの和集合に関して閉じており、完全集合は可算個のそれらの和集合では被覆できない。
• すべての非だんらん集合Mに対してX ∩(t + M) = ∅となるような集合Xの族はσ-アイデアルをなし、同様に零なFσ集合に対しても成り立つ。これは強測度ゼロの概念を一般化する。
• ある固定された非だんらんまたは零なFσ集合Mに対して、すべての平行移動を避ける性質（X ∩(t + M) = ∅）は、ℕにおける開集合および列の効果的符号化を通じてΠ₀²で定義可能である。