上最终无不动点且最终不同的集合.pdfVIP

逻辑学研究 2011 年第4 期，1–14 文章编号：1674-3202(2011)-04-0001-14 ∏ 上最终无不动点 且最终不同的集合 林渊雷 中山大学逻辑与认知研究所 linyuanlei@126.com 摘 要：本文研究的是极大的最终无不动点且最终不同的集合（m.e.f.d. 集合）的基 数，并讨论了与此相关的一个连续统常量，证明了以下结果： 1. 2. 存在一个大小为 的m.e.f.d. 集合。 3. ZFC MA ⊢ 4. 令 ZFC CH， 是 中满足条件 的基数。则存在一 个c.c.c. 的力迫概念 ，使得在模型 中有： (i) (ii) 存在一个m.e.f.d 的集合，其基数为。 5. 令 ZFC CH 。则在 中存在一个基数为 的m.e.f.d. 的集合，使得 对任意一个 上的Cohen 力迫概念 ， 在 中还是m.e.f.d. 的集合。 关键词：连续统常量；最终无不动点；最终不同 中图分类号：B81 文献标识码：A 一、引言 本文关于力迫法的记号主要依照[3] 和[2]，主要的定义和基础定理也请参考 [3] 和[2]；所涉及到的力迫法术语的中文翻译主要参考[7] 和[8]，并在文中第一 次出现的地方附上英文原文。另外，假设 是底模型（groundmodel） 上的力 迫概念（forcing notion），如果我们不需特别指出是哪个 时（这里的 是 上的任意-兼纳集（genericset）），则我们用 表示任意一个 。本文都 是在ZFC 的框架内做工作。我们用 表示 是一致的。 收稿日期：2011-09-30 2 逻辑学研究 第4 卷第4 期 2011 年 Cantor 提出著名的的连续统假设（CH）是集合论的一个根本问题，围绕这 个问题的研究，直接推动了集合论发展为现代的形式。连续统假设如下： CH：实数集的基数等于自然数集的基数的后续基数，即 。 CH 已经被证明是独立于ZFC 的。如果连续统假设不成立，很自然就提出一 个问题：对于基数， ，什么数学结构具有基数 呢？不论是在集合 论本身中，还是在实际的数学实践中，人们提出了很多相关的问题。连续统的基 数常量（cardinal invariants of the Continuum，简称连续统常量）问题就是这样的 一些问题。一般的，所谓的连续统常量，就是自然数集的幂集 的满足特定 性质的子族（subfamily）所具有的基数。有很多著名的连续统常量，如 和。 连续统常量的研究，不仅可以解决特定的问题，还有助于从不同方面揭示连续统 的本质特征，这对数学基础、数学本质的深入理解有重要意义。本文所研究的也 是一个连续统常量，我称之为 。 这个连续统常量来源于J.Steprans 所提出的问题： 令 是从自然数集 到自然数集 的严格递增函数。 表示集合 上的对称群。考虑群的积∏ 的子群， 称为最终无不动点（eventually fixed-point-free，缩写为e.f.），当且 仅当：对任意 ⟨ ⟩ ，都存在自然数，使得只 要 ， 无不动点。对于∏ 上的极大的最终无 不动点（缩写为m.e.f.）的子群， 的基数是多少？ 首先说明，记号∏ 和 ⟨ ⟩，都是从 开始的，下