[논문 리뷰] Beyond Erd\H{o}s-Kunen-Mauldin: Singular sets with shift-compactness properties

Harry I. Miller, Leila Miller-Van Wieren외 1명|arXiv (Cornell University)|2019. 01. 28.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 케스트엘먼-보르웨인-디터 정리의 일반화를 통해 완비 거리형 공간을 초월하여 바이어 군에서의 이동-콤���트성(Shift-compactness)을 확립하고, 고델의 구축성의 원리(V = L) 하에서 공분석적이고 특이한 집합—예를 들어 유리수에 집중된 집합—을 구성한다. 이는 체계적이고 카테고리 기반의 방법론이 완비성 가정을 대체할 수 있음을 보여주며, 고전적인 측도 이론적 직관에 도전하는 위상적으로 잘 정의된 반례를 제공한다.

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.

연구 동기 및 목표

• 완비 거리형 공간을 초월하여, 반위상군에서 완비성 대신 바이어 성질을 사용하여 케스트엘먼-보르웨인-디터 정리를 일반화하는 것.
• V = L 하에서 효과적이고 서술적 집합론적 방법론을 통해 공분석적 집합을 생성함으로써, 특이한 위상적 및 측도 이론적 성질을 가진 집합이 이동-콤팩트성을 유지할 수 있음을 보여주는 것.
• 이동-콤팩트성이 스텐하우스-바일 성질 및 관련 구조적 결과를 유도함으로써, 분석학에서 카테고리 이론적이고 측도 이론적인 추론을 통합하는 것.
• 강제법칙과 구축성 하에서 특이 집합—특히 시에르피ński 집합과 루진 집합—의 구조를 탐구하며, 이들의 이동-콤팩트성과 임bedding 행동에 초점을 맞추는 것.
• 마틴의 공리가 비가산 기수에서 성립할 때, 강한 측도 0 집합이 연속체 이하 크기의 합집합에 대해 닫혀 있으며, 완전한 집합이 이러한 합집합에 의해 덮일 수 없다는 것을 증명하는 것.

제안 방법

• 완비성 대신 카테고리 이론적 추론을 사용하여 바이어 군의 맥락에서 케스트엘먼-보르웨인-디터 정리를 재증명하는 것.
• 효과적 서술적 집합론을 활용하여 ℕ의 부분집합을 통해 열린 집합과 수열을 코딩함으로써, 영수렴이나 조밀성과 같은 성질의 산술적 특성화를 가능하게 하는 것.
• 고델의 구축성의 원리(V = L)를 적용하여, 유리수에 집중된 등 병리적인 측도 이론적 행동을 보이지만 여전히 이동-콤팩트성을 유지하는 공분석적 집합을 구성하는 것.
• 하르-메이그르 및 하르-널 집합의 개념을 활용하여, 국소적으로 컴act하지 않은 설정으로의 스텐하우스-바일 성질 일반화를 시도하고, 조밀도 위상공간을 통한 카테고리와 측도의 연결을 시도하는 것.
• 칼슨의 σ-이deo 프레임워크를 활용하여 강한 측도 0 집합과 강한 제1카테고리 집합을 이동 회피를 통해 특성화하는 것: 어떤 t와 메이그르/널인 Fσ 집합 M에 대해 X ∩(t + M) = ∅.
• 이중 수열을 통한 열린 집합의 효과적 코딩을 활용하여, '稠밀한 Gδ를 포함한다' 또는 '영수열을 포함한다'와 같은 성질이 Π₀²로 정의 가능하다는 것을 보여주며, 분석계층에서의 효과적 증명 가능성을 확보하는 것.

실험 결과

연구 질문

• RQ1 완비성에 의존하지 않고 반위상군의 바이어 군에서 이동-콤팩트성을 확립할 수 있는가?
• RQ2 어떤 집합론적 가정 하에서, 유리수에 집중된 등 특이한 성질을 가진 공분석적 집합을 이동-콤팩트성과 함께 구성할 수 있는가?
• RQ3 효과적이고 서술적 집합론적 방법론은 고전적인 측도 이론과 카테고리 이론의 설정을 초월하여 케스트엘먼-보르웨인-디터 정리를 어떻게 확장할 수 있는가?
• RQ4 강한 측도 0 집합과 다음 형태의 σ-이드로의 관계는 무엇인가: {X : ∃t(X ∩(t + M) = ∅) for all meagre M}?
• RQ5 마틴의 공리가 비가산 기수에서 성립할 때, 강한 측도 0 집합의 합집합에 대한 닫힘 성질은 어느 정도 유지될 수 있는가?

주요 결과

• 바이어 군 X는 비메이그르일 경우 이동-콤팩트성을 만족하며, 이는 완비 거리형 공간을 초월한 케스트엘먼-보르웨인-디터 정리의 일반화이다.
• V = L 하에서, ℝ의 공분석적이고 이동-콤팩트인 부분집합이 존재하며, 이는 ℚ에 집중되어 있다. 이는 병리적인 특이 집합이 양호한 위상적 구조를 가질 수 있음을 보여준다.
• 시에르피ński 집합의 여집합은 공메이그르이므로 이동-콤팩트이며, 임의의 영수열 zn → 0에 대해, quasi-all t에 대해 모든 n에 대해 t + zn ∈ ℝ ∖ S 를 만족한다.
• 마틴의 공리가 κ < c 에서 성립할 경우, 강한 측도 0 집합은 크기가 κ 이하인 합집합에 대해 닫혀 있으며, 어떤 완전한 집합도 이러한 집합들의 가산 합집합에 의해 덮일 수 없다.
• 모든 메이그르 집합 M에 대해 X ∩(t + M) = ∅ 를 만족하는 집합 X의 집합은 σ-이드로 일반화되며, 마찬가지로 노울 Fσ 집합에 대해서도 마찬가지로 성립한다. 이는 강한 측도 0의 개념을 일반화한다.
• 고정된 메이그르 또는 노울 Fσ 집합 M에 대해, 모든 이동에 대해 X가 M의 이동을 피하는 성질은 ℕ에서 열린 집합과 수열의 효과적 코딩을 통해 Π₀²로 정의 가능하다.