[논문 리뷰] Local Ramsey theory. An abstract approach

José G. Mijares, Jesús E. Nieto|ArXiv.org|2007. 12. 14.

Advanced Topology and Set Theory참고 문헌 6인용 수 9

한 줄 요약

이 논문은 토폴로지적 레이먼드 공간으로 국소 레이먼드 이론을 확장하며, 부분집합의 가족에 대해 선택적 공이드르 구조를 도입하여, 선택성 조건 하에서 H-레이먼드 및 H-베어 세트가 일치함을 증명한다. 또한 H-레이먼드 세트의 가족이 수스린 작용에 대해 닫혀 있음을 입증하며, 파라의 반세미선택적 공이드르 결과를 추상적 레이먼드 공간으로 일반화한다.

ABSTRACT

It is shown that the known notion of selective coideal can be extended to a family $\mathcal{H}$ of subsets of $\mathcal{R}$, where $(\mathcal{R},\leq,r)$ is a topological Ramsey space in the sense of Todorcevic (see \cite{todo}). Then it is proven that, if $\mathcal{H}$ selective, the $\mathcal{H}$-Ramsey and $\mathcal{H}$-Baire subsets of $\mathcal{R}$ are equivalent. This extends the results of Farah in \cite{farah} for semiselective coideals of $\mathbb{N}$. Also, it is proven that the family of ${\cal H}$--Ramsey subsets of ${\cal R}$ is closed under the Souslin operation.

연구 동기 및 목표

• ℕ에서 반세미선택적 공이드르에 대한 파라의 결과를 임의의 토폴로지적 레이먼드 공간으로 일반화하기 위해.
• 토폴로지적 레이먼드 공간 (ℛ, ≤, r)의 맥락에서 H-레이먼드 및 H-베어 세트의 개념을 정의하고 연구하기 위해.
• D–O 성질을 조건으로 하여 H-레이먼드 및 H-베어 부분집합이 동치가 되는 조건을 확립하기 위해.
• ℋ가 선택적일 경우 H-레이먼드 부분집합의 가족이 수스린 작용에 대해 닫혀 있음을 증명하기 위해.
• 에일렌터크 공간과 FINₖ 공간을 포함한 구체적인 예시를 제시하며, CH 또는 마틴의 공리 하에서 이러한 공간과 공이드르를 구성하기 위해.

제안 방법

• 토도르체비치의 토폴로지적 레이먼드 공간 프레임워크를 사용하여, 토폴로지적 레이먼드 공간 ℛ의 부분집합 가족 ℋ에 대해 선택적 공이드르의 일반화를 도입하기 위해.
• 밀도 열린 집합의 국소적 대응으로 D–O 성질을 정의하여, 국소적 베어 성질을 통한 H-레이먼드 세트의 특성화를 가능하게 하기 위해.
• 선택적 공이드르 ℋ에 대해, ℛ의 부분집합이 H-레이먼드일 필요와 충분조건이 H-베어 성질을 가진다는 것을 D–O 성질과 조합 공리계를 이용하여 증명하기 위해.
• H-레이먼드 세트에 수스린 작용을 적용하고, ℋ가 선택적일 경우 이 작용에 대해 닫혀 있음을 증명하기 위해, ℛ의 구조와 ℋ의 성질에 의존하기 위해.
• 에일렌터크 공간과 FINₖ 공간을 사용하여 예를 구성하며, CH 또는 마틴의 공리 하에서 필요한 성질을 가진 공이드르를 구성할 수 있음을 보여주기 위해.
• 순서수 초월 재귀와 여우의 원리 (A.6)를 사용하여 거의 동차 트리를 구성함으로써, 보렐 색칠에 대한 동차 부분공간의 존재를 보장하기 위해.

실험 결과

연구 질문

• RQ1 토폴로지적 레이먼드 공간 ℛ의 부분집합 가족 ℋ에 대해 어떤 조건에서 H-레이먼드 및 H-베어 세트가 동치가 되는가?
• RQ2 선택성의 개념을 ℕ에서 임의의 토폴로지적 레이먼드 공간으로 일반화할 수 있는 방법은 무엇이며, 레이먼드 이론적 성질을 유지할 수 있는가?
• RQ3 ℋ가 선택적일 경우 ℛ의 H-레이먼드 부분집합의 가족이 수스린 작용에 대해 닫혀 있는가?
• RQ4 ℕ^{[∞]}를 초월한 다른 토폴로지적 레이먼드 공간으로 반세미선택적 또는 선택적 공이드르의 구성이 확장될 수 있는가?
• RQ5 일반적인 레이먼드 공간에서 이러한 공이드르의 존재를 보장하기 위해 필요한 모델 이론적 또는 집합론적 가정(예: CH, MA)은 무엇인가?

주요 결과

• 선택적 공이드르 ℋ를 갖는 토폴로지적 레이먼드 공간 ℛ에서, ℛ의 부분집합이 H-레이먼드일 필요와 충분조건이 H-베어 성질을 가진다는 것.
• ℋ가 선택적일 경우 ℛ의 H-레이먼드 부분집합의 가족이 수스린 작용에 대해 닫혀 있으며, 이는 파라의 결과를 추상적 레이먼드 공간으로 일반화한 것이다.
• D–O 성질은 밀도 열린 집합의 국소적 대응으로서, ℋ의 맥락에서 H-레이먼드 및 H-베어 세트의 동치성을 가능하게 한다.
• 에일렌터크 공간에서, (xₙ)이 보렐일 경우, A ∈ ℕ^{[∞]} 이고 x가 (xₙ)ₙ∈A의 집적점이면 ℋ = {A ∈ ℕ^{[∞]} : x는 (xₙ)ₙ∈A의 집적점이다}는 선택적 공이드르를 이룬다. 이때 ℋ는 Π₁¹이다.
• CH 하에서, FINₖ^{[∞]}에서, 모든 보렐 색칠이 어떤 [B′] ⊆ [B]에서 일정하게 되는 선택적 공이드르 ℋ를 구성할 수 있으며, 이는 (A.6) 모듈로 ℋ를 만족한다.
• 순서수 초월 재귀를 통한 ℋ의 구성과 여우의 원리 (A.6)의 사용은 ℋ가 반세미선택적이며, 필요한 동차성 성질을 만족함을 보장한다.