[论文解读] PCF and infinite free subsets

Saharon Shelah|arXiv (Cornell University)|Jul 15, 1998

Advanced Topology and Set Theory被引用 5

一句话总结

本文建立了PCF理论与代数中无限自由子集存在性之间的联系，证明在某些PCF条件下（如pp(ℵω) > ℵω），任意大小为ℵω且具有可数多个运算的代数都包含一个无限独立集。此外，研究表明非平稳理想及相关理想可用于推导此类独立性结果，扩展了关于基数乘积的共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 < ω⟩)。
• 将这些发现应用于构造具有特定组合性质的布尔代数。

提出的方法

• 使用PCF理论技术分析模理想下基数乘积的共Finality。
• 应用代数中独立性的概念，特别关注每个元素均不在其余元素闭包中的序列。
• 引入并分析理想IND(⟨J^{bd}_{κ_n} : n < ω⟩)，以研究正则基数乘积中独立性的性质。
• 利用ℵω上的非平稳理想，推导出某些乘积结构中不存在真正共Finality的结果。
• 应用pp(ℵω) > ℵω的结果，推断出大小为ℵω的代数中存在无限自由子集。
• 利用主定理导出的组合性质构造一个布尔代数。

实验结果

研究问题

• RQ1 在何种PCF理论条件下，每个大小为ℵω且具有可数多个函数的代数都包含一个无限独立子集？
• RQ2 ℵω上的非平稳理想如何与基数乘积的共Finality及自由序列的存在性相关联？
• RQ3 理想IND(⟨J^{bd}_{κ_n} : n < ω⟩)在确保代数中无限独立集存在性方面起什么作用？
• RQ4 pp(ℵω) > ℵω的假设能否用于推导出关于大小为ℵω的代数的更强结构结果？
• RQ5 可利用代数中无限自由子集的存在性构造出布尔代数的哪些组合性质？

主要发现

• 若pp(ℵω) > ℵω，则每个大小为ℵω且具有可数多个函数的代数都存在一个无限独立子集{a_n : n < ω}，满足a_n ∉ cl_M({a_l : l ≠ n, l < ω})。
• 对于足够大的正则基数κ < ℵω，若满足适当的PCF假设，则对所有λ ≥ ℵω，有λ^{[κ]} = λ。
• 若IND(μ, σ)成立（即每个基数为λ且函数数≤σ的代数都存在无限独立子集），则对任意不同的正则λ_i ∈ Reg \ less μ^+，乘积∏_{i<κ} λ_i / [κ]^{≤σ} 都不存在真正共Finality。
• 理想IND(⟨J^{bd}_{κ_n} : n < ω⟩)即使在标准PCF假设被弱化时，也能导出独立性结果。
• 本文通过无限自由子集的存在性构造了一个布尔代数，展示了主组合结果的直接应用。
• 结果可推广至非平稳理想，表明在某些条件下，非平稳理想可阻止相关乘积结构中真正共Finality的存在。