[논문 리뷰] On incomparability and related cardinal functions on ultraproducts of Boolean algebras

Saharon Shelah, Otmar Spinas|ArXiv.org|1999. 03. 18.

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

한 줄 요약

이 논문은 부울 대수의 초곱에서의 기수 함수를 조사하며, 특정 집합론적 가정 하에서 다양한 기수 특성—예를 들어 비순서성, 산란도, 그리고 유도 밀도—이 초곱에서의 값이 개별 대수에서의 값의 초곱보다 엄격히 작을 수 있음을 일관되게 보여준다. 이 결과는 몽이 제기한 몇 가지 열린 문제를 해결하며, 이러한 함수들이 초곱을 보존하는 방식이 단조적이지 않다는 것을 보여준다.

ABSTRACT

Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, pi-character, hereditary Lindelof number, hereditary density. It is shown to be consistent that there exists a sequence <i> of Boolean algebras and an ultrafilter D on kappa such that C(prod_{i</i>

연구 동기 및 목표

• 부울 대수의 초곱에서 비순서성, 산란도, 특성, 그리고 유도 밀도와 같은 기수 함수의 행동을 조사하는 것.
• 이러한 함수들이 초곱 구조와 교환되는지, 특히 집합론적 독립 결과의 맥락에서 조사하는 것.
• 부울 대수에서 기수 함수의 값이 초곱에서와 개별 대수에서의 값의 초곱 사이의 관계에 관해 몽이 제기한 열린 문제들을 해결하는 것.
• 다양한 기수 특성 C에 대해 C(∏B_i/D) < |∏C(B_i)/D|의 일관성을 확립하는 것.
• 모형 이론적 초곱과 부울 대수의 위상적 또는 조합론적 기수 불변량 간의 상호작용을 탐색하는 것.

제안 방법

• 저자들은 ZFC의 모형에서 원하는 부등식이 성립하도록 하는 데 사용되는 강제법과 독립 기법을 사용한다.
• 기수 κ 위의 비주어 초측도 D를 사용하여 부울 대수의 초곱을 분석한다.
• 각 기수 특성 C ∈ {비순서성, 산란도, 특성, π-특성, 유도 리인델뢰프 수, 유도 밀도}에 대해 C(∏B_i/D)와 |∏C(B_i)/D|를 비교한다.
• 증명은 개별 대수의 C-값의 초곱이 C의 초곱보다 엄격히 큰 초곱을 만드는 ⟨B_i : i < κ⟩의 부울 대수의 수열을 구성하는 데 의존한다.
• 특히 부울 대수와 일반 위상수학의 기수 불변량 및 그들의 초곱과 관련된 기법들을 활용한다.
• 일관된 부등식이 유도되도록 제어된 방식으로 일반화 연속체 가설이 실패하는 모형에서 논의가 전개된다.

실험 결과

연구 질문

• RQ1 부울 대수의 초곱에서의 비순서성이 개별 대수의 비순서성 값의 초곱보다 엄격히 작은 것이 일관되게 가능한가?
• RQ2 부울 대수의 초곱에서의 산란도가 구성 요소의 산란도 값의 초과보다 엄격히 작을 수 있는가?
• RQ3 일부 ZFC 모형에서 부울 대수의 초곱에서의 유도 밀도가 유도 밀도 값의 초곱과 같지 않은가?
• RQ4 부울 대수에서의 기수 함수들이 초곱 구조와 얼마나 교환되는가?
• RQ5 C(∏B_i/D) < |∏C(B_i)/D|가 여러 기수 특성 C에 대해 성립하는 ZFC의 모형이 존재하는가?

주요 결과

• 부울 대수의 초곱에서의 비순서성이 개별 대수의 비순서성 값의 초곱보다 엄격히 작은 것이 일관되게 가능하다.
• 산란도, 특성, π-특성, 유도 리인델뢰프 수, 그리고 유도 밀도에 대해, C(∏B_i/D) < |∏C(B_i)/D|의 일관성을 확립한다.
• 결과는 이러한 기수 함수들이 단조적으로 초곱을 보존하지 않음을 보여주며, 자연스러운 기대와 정면으로 배치된다.
• 일관된 부등식을 유도하기 위해 일반화 연속체 가설이 특정 기수에서 실패하는 강제 확장에 의존한다.
• 논문은 몽이 초곱에 대한 기수 함수의 행동과 관련해 제기한 여러 열린 문제를 해결한다.
• 연구 결과는 초곱이 특정 기수 불변량의 값을 심지어 구성 요소 대수들이 큰 값을 가질 때도 크게 줄일 수 있음을 보여준다.