[논문 리뷰] PCF and infinite free subsets

Saharon Shelah|arXiv (Cornell University)|1998. 07. 15.

Advanced Topology and Set Theory인용 수 5

한 줄 요약

이 논문은 PCF 이론과 대수에서의 무한 자유 부분집합 존재성 간의 연결고리를 설정하며, pp(ℵω) > ℵω와 같은 특정 PCF 조건 하에서 크기가 ℵω인 연산 수가 가чёт한 모든 대수는 무한한 독립 집합을 포함함을 증명한다. 또한 비정적 이상 및 관련 이상을 사용하여 이러한 독립성 결과를 도출할 수 있음을 보이며, 기존의 코finality 및 카디널의 곱에서의 자유 수열에 관한 연구를 확장한다.

ABSTRACT

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show that large pcf(a) implies existence of free sets. An example is that if pp(aleph_omega)> aleph_{omega_1} then for every algebra M of cardinality aleph_omega with countably many functions, for some a_n in M (for n< omega) we have a_n notin cl_M({a_l: l not= n, l) and more general version, and from assumptions as in section 2 get results even for the non stationary ideal. Lastly, we deal with some other measurements of [lambda]^{>= theta} and give an application by a construction of a Boolean Algebra.

연구 동기 및 목표

• PCF 이론적 가정과 대수에서의 무한 자유(독립) 부분집합 존재성 간의 관계를 조사하는 것.
• 카디널의 곱의 코finality에 관한 기존 결과를 비정적 이상 및 기타 이상을 포함한 경우로 확장하는 것.
• 크기가 ℵω이고 함수가 가산 개인 대수에서 무한 독립 수열이 존재할 수 있는 충분한 조건을 규명하는 것.
• IND(⟨J^{bd}_{κ_n} : n < ω⟩)를 포함한 더 넓은 이상적 맥락으로 독립성 결과를 일반화하는 것.
• 이러한 결과를 적용하여 특정 조합적 성질을 갖는 부울 대수를 구성하는 것.

제안 방법

• 이상 모odulo 하에서 카디널의 곱의 코finality를 분석하기 위해 PCF 이론적 기법을 사용한다.
• 특히 각 원소가 나머지 원소들의 폐쇄에 속하지 않는 수열에 초점을 맞춘 대수에서의 독립성 개념을 적용한다.
• 정규 카디널의 곱에서의 독립성 연구를 위해 IND(⟨J^{bd}_{κ_n} : n < ω⟩) 이상을 도입하고 분석한다.
• ℵω 위의 비정적 이상을 사용하여 특정 곱 구조에서 진정한 코finality의 존재를 방지하는 결과를 도출한다.
• pp(ℵω) > ℵω의 결과를 활용하여 크기가 ℵω인 대수에서의 무한 자유 부분집합 존재성을 유도한다.
• 주요 정리에서 유도된 조합적 성질을 활용하여 부울 대수를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 PCF 이론적 조건 하에서 크기가 ℵω이고 함수가 가산 개인 모든 대수는 무한한 독립 부분집합을 포함하는가?
• RQ2 ℵω 위의 비정적 이상은 카디널의 곱의 코finality와 자유 수열 존재성과 어떻게 관련되어 있는가?
• RQ3 IND(⟨J^{bd}_{κ_n} : n < ω⟩) 이상은 대수에서의 무한 독립 집합 존재성에 어떤 역할을 하는가?
• RQ4 pp(ℵω) > ℵω의 가정을 사용하여 크기가 ℵω인 대수의 구조적 성질을 더 강력하게 유도할 수 있는가?
• RQ5 무한 자유 부분집합의 존재를 활용하여 어떤 조합적 성질을 갖는 부울 대수를 구성할 수 있는가?

주요 결과

• 만약 pp(ℵω) > ℵω이면, 크기가 ℵω이고 함수가 가산 개인 모든 대수는 a_n ∉ cl_M({a_l : l ≠ n, l < ω})를 만족하는 무한 독립 부분집합 {a_n : n < ω}을 가진다.
• 적절한 PCF 가정 하에서, ℵω 이상인 모든 λ에 대해 λ^{[κ]} = λ가 성립하는, 충분히 큰 정규 κ < ℵω가 존재한다.
• IND(μ, σ)가 성립할 경우(즉, 기수 λ와 ≤ σ개의 함수를 갖는 모든 대수가 무한한 독립 부분집합을 가짐), 서로 다른 정규 λ_i ∈ Reg \ less μ^+에 대해 ∏_{i<κ} λ_i / [κ]^{≤σ}는 진정한 코finality를 갖지 않는다.
• IND(⟨J^{bd}_{κ_n} : n < ω⟩) 이상은 표준 PCF 가정이 약화된 경우에도 독립성 결과를 도출할 수 있도록 한다.
• 논문은 무한 자유 부분집합의 존재를 활용하여 부울 대수를 구성하며, 주요 조합적 결과의 구체적 응용을 보여준다.
• 결과는 비정적 이상으로까지 확장되며, 특정 조건 하에서 비정적 이상이 관련 곱 구조에서 진정한 코finality의 존재를 방지함을 보여준다.