[논문 리뷰] A Lower Bound for Generalized Dominating Numbers

Dan Hathaway|arXiv (Cornell University)|2014. 01. 30.

Advanced Topology and Set Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 λ에서 κ로의 함수들에 대한 전지적 지배(ordering)에 대한 순서형의 하한을 새로 설정하며, λ^κ = λ이면 cf(λ^κ) = 2^λ임을 증명한다. 증명은 κ^λ → κ로의 함수 f를 도입하여, 어떤 전이적 ZF 모델에서 f를 지배하는 함수 g가 존재하면 그 모델에 A ⊆ λ가 속하게 되며, 이는 구축 가능성(construcibility)을 지배 관계로 환원하는 데 기여한다.

ABSTRACT

We show a new proof for the fact that when $κ$ and $λ$ are infinite cardinals satisfying $λ^ κ= λ$, the cofinality of the set of all functions from $λ$ to $κ$ ordered by everywhere domination is $2^λ$. An earlier proof was a consequence of a result about independent families of functions. The new proof follows directly from the main theorem we present: for every $A \subseteq λ$ there is a function $f: {^κλ} o κ$ such that whenever $M$ is a transitive model of $ extrm{ZF}$ such that ${^κλ} \subseteq M$ and some $g: {^κλ} o κ$ in $M$ dominates $f$, then $A \in M$. That is, "constructibility can be reduced to domination".

연구 동기 및 목표

• λ^κ = λ일 때, λ에서 κ로의 함수들에 대한 전지적 지배 순서형의 새로운 증명을 확립하는 것.
• 전이적 ZF 모델에서의 함수 지배와 구축 가능성 간의 논리적 연결 고리를 명확히 하는 것.
• 독립적인 함수 가족에 의존하지 않고 cf(λ^κ) = 2^λ의 직접적 증명을 제공하는 것.
• 지배 관계가 구축 가능성을 어떻게 인코딩할 수 있는지 보여주며, 지배 관계에서 구축 가능성 관계로의 사상(morphism)을 보여주는 것.

제안 방법

• 모든 A ⊆ λ에 대해, 전이적 모델 M에서 κ^λ ⊆ M이면 g가 f를 지배하는 한 A ∈ M가 되는 함수 f: κ^λ → κ를 정의하는 것.
• 모델 내에서의 초한귀납법과 트리 구조를 이용하여, A ∉ M이면 모순이 발생함을 도출하는 것. 이때 M 내의 κ-트리의 높이를 활용한다.
• 트리 높이와 정렬성의 절대성(absoluteness)을 적용하여 M 내에 분지(branch)가 존재함을 보장함으로써, f가 g에 의해 지배된다는 가정과 모순됨을 입증하는 것.
• 함수 공간 간의 사상 φ⁻ 및 φ⁺를 통해 κ^λ 위의 지배 관계와 구축 가능성 관계 사이의 사상을 구성하는 것.
• 크기가 κ인 P의 비내림차순 체인의 존재를 이용하여 φ⁺ 및 φ⁻를 정의하고, 전지적 지배 하에서 순서를 유지함을 보장하는 것.
• 사상과 κ^λ의 알려진 순서형을 이용하여 함수 공간의 순서형이 2^λ로 아래에서 유계임을 보이는 것.

실험 결과

연구 질문

• RQ1 λ^κ = λ일 때, λ에서 κ로의 함수들에 대한 전지적 지배 순서형의 정확한 순서형은 무엇인가?
• RQ2 모든 A ⊆ λ에 대해, κ^λ에서 κ로의 함수들에 대한 지배 관계를 통해 A의 구축 가능성을 인코딩할 수 있는가?
• RQ3 전이적 ZF 모델에서의 함수 공간 내 지배 관계는 정의 가능성과 구축 가능성과 어떻게 관련되는가?
• RQ4 독립적인 함수 가족을 사용하지 않고 cf(λ^κ) = 2^λ의 직접적 증명이 가능한가?
• RQ5 지배 관계가 모형 이론적 관점에서 구축 가능성 관계를 시뮬레이션할 수 있는가?

주요 결과

• λ^κ = λ이면, λ^κ 위의 전지적 지배 순서형의 순서형은 정확히 2^λ이다.
• 모든 A ⊆ λ에 대해, κ^λ → κ로의 함수 f가 존재하여, 전이적 모델 M에서 κ^λ ⊆ M이면 g가 f를 지배하는 한 A ∈ M임을 보장한다.
• 이는 κ^λ 위의 지배 관계에서 구축 가능성 관계로의 사상을 설정하며, 구축 가능성이 지배 관계로 환원됨을 보여준다.
• λ가 비정칙일지라도 λ^κ = λ이면 결과가 성립하며, ZF를 초월한 추가 체계적 가정이 필요하지 않다.
• 이 증명은 독립적인 함수 가족의 사용을 피하여 이전 접근보다 더 직접적인 추론을 제공한다.
• φ⁻ 및 φ⁺를 통한 사상 구성은 λ^κ = λ를 만족하고 크기가 ≤ 2^λ인 임의의 부분순서 집합 P에 대해 cf(λ^κ) = 2^λ임을 보장한다.