[논문 리뷰] Survey on the Tukey theory of ultrafilters

Natasha Dobrinen|arXiv (Cornell University)|2014. 01. 31.

Advanced Topology and Set Theory참고 문헌 14인용 수 7

한 줄 요약

이 종합 검토는 가чёт한 집합 위의 초필터의 Tukey 구조를 수립하며, 특히 Laflamme의 초필터와 그들의 cofinal 유형에 초점을 맞춘다. 라미지 이론과 위상적 라미지 공간을 조합하여, 각 $\upsilon_\alpha$ 이하의 Tukey 유형이 순서형 $(\alpha+1)^*$을 갖는 감소하는 체인임을 보이며, $\mathcal{U}_\alpha$에 Tukey 감소 가능한 모든 초필터는 빠른 p-점들의 반복 Fubini 곱으로 구성되며, 루딘-카이슬러와 Tukey 감소 관계가 정확히 규명된다.

ABSTRACT

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey reducibilities are. We review work on the possible structures of cofinal types and conditions which guarantee that an ultrafilter is below the Tukey maximum. The known canonical forms for cofinal maps on ultrafilters are reviewed, as well as their applications to finding which structures embed into the Tukey types of ultrafilters. With the addition of some Ramsey theory, fine analyses of the structures at the bottom of the Tukey hierarchy are made.

연구 동기 및 목표

• 가чёт한 집합 위의 초필터의 Tukey 감소 구조를 분석하며, 특히 이스벨의 문제와 루딘-카이슬러 감소와 Tukey 감소 간의 비교와 관련하여 다룬다.
• 초필터의 cofinal 유형을 규명하고, 초필터가 Tukey 최대임을 보장하는 조건을 식별한다.
• 초필터 위의 cofinal 사상의 표준 형태를 특성화하고, 이들이 Tukey 유형에 임베딩하는 데서 수행하는 역할을 다룬다.
• 라미지 이론적 방법을 적용하여 Tukey 계층의 하부 분석을 정교화하며, 특히 위상적 라미지 공간과 관련된 초필터에 대해 다룬다.

제안 방법

• 초필터 $\mathcal{U}_\alpha$의 구조를 분석하기 위해 위상적 라미지 공간 $\mathcal{R}_\alpha$를 사용하며, 표준 동치 관계와 사영 사상을 적용한다.
• Todorc̆ević의 라미지 분류 정리들을 적용하여 Tukey 유형 내에서의 루딘-카이슬러 유형을 해독하고, $\mathcal{U}_\alpha$ 이하의 초필터를 정확히 분류할 수 있게 한다.
• cofinal 사상과 Tukey 사상을 사용하여 부분 순서를 비교하며, Tukey 감소는 cofinal 집합의 상 또는 유계 집합의 역상에 의해 정의된다.
• 빠른 p-점들의 반복 Fubini 곱을 사용하여 초필터를 구성하고, $\mathcal{U}_\alpha$에 Tukey 감소 가능한 모든 초필터가 이러한 p-점들의 반복 Fubini 곱으로 나타남을 보인다.
• 강제법과 일반화 확장, 특히 $L(\mathbb{R})$ 위에서 블록-기본 초필터와 그들의 Tukey 유형을 분석하기 위해 활용한다.
• 방향 부분 순서에서 Tukey 감소와 cofinal 유사성 간의 동치성을 활용하여, Tukey 유형을 cofinal 유사성 유형으로 간주한다.

실험 결과

연구 질문

• RQ1 모든 $1 \leq \alpha < \omega_1$에 대해, $\mathcal{U}_\alpha$에 Tukey 감소 가능한 초필터의 정확한 Tukey 유형은 어떻게 되는가?
• RQ2 가чёт한 집합 $\omega$ 위의 초필터에서, 루딘-카이슬러 감소와 Tukey 감소는 어떻게 관련되어 있으며, 어떤 경우에 일치하는가?
• RQ3 초필터의 Tukey 유형이 빠른 p-점들의 반복 Fubini 곱으로 완전히 특성화될 수 있는가?
• RQ4 강제법을 통해 $L(\mathbb{R})$ 위에서 구성된 일반 초필터의 Tukey 유형의 기수는 얼마인가?
• RQ5 추가의 집합론적 공리 없이도, 연속체의 수많은 서로 다른 Tukey 유형을 갖는 초필터를 $\omega$ 위에서 구성할 수 있는가?

주요 결과

• 초기 $\mathcal{U}_\alpha$ 이하의 Tukey 구조는 순서형 $(\alpha+1)^*$을 갖는 감소하는 체인이며, 최소 Tukey 유형은 라미지 초필터의 유형이다.
• 모든 초필터 $\mathcal{V} \leq_T \mathcal{U}_\alpha$는 고정된 가чёт한 빠른 p-점의 가족에서 유도된 반복 Fubini 곱과 Tukey 동치이다.
• $\alpha = 1$일 때, $\mathcal{U}_1$의 Tukey 유형 내의 빠른 p-점들은 순서형 $\omega$를 갖는 루딘-카이슬러 엄격 증가 체인을 이룬다. 이는 Raghavan과 Todorčević의 이전 결과를 확장한다.
• $\alpha \geq 2$일 때, 이 구조는 루딘-카이슬러로 비교 불가능한 p-점들을 포함하며, 이는 이 맥락에서 이러한 현상이 처음으로 알려진 사례이다.
• $\mathcal{U}_1$의 Tukey 유형은 정확히 $\omega$개의 빠른 p-점의 동형류를 포함하며, 이들은 모두 루딘-카이슬러 감소에 의해 엄격하게 순서가 매겨진다.
• 초구성 카디널의 가정 하에, $\mathrm{FIN}$ 위의 블록-기본 초필터 $\mathcal{U}$에 대해 내부 모델 $L(\mathbb{R})[\mathcal{U}]$는 가чёт한 색인 집합 위의 초필터에 대해 정확히 다섯 개의 Tukey 유형을 갖는다.