万维百科

力迫

在数学学科集合论中,力迫保罗·寇恩(Paul J. Cohen)发明的一种技术,用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设选择公理策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前,它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层(ramified hierarchy)上,难于理解。1960年代通过索罗维(Solovay)与斯科特(Scott)等人的努力力迫法被相当程度的重做和简化。

力迫法大致是一种扩张模型的方法。给定一个模型以及模型内一个偏序,通过构造通集(generic)来实现模型的扩张。因为通集不在内,所以这是一个真正的扩张。记为。它有以下性质:

  1. 对于中所有元素,都可以在中找到一个对应的元素,即所谓的名(name)。
  2. 存在一个可定义的关系成为力迫()使得对于任何一个命题满足当且仅当存在使得。即中的满足关系是可以在中定义的即使这种定义具有非常强的非一致性(它严重地依赖参数p)。

2是非常重要的一条性质。它说明力迫法对于模型的扩张是“非常小的”。扩张的模型牢牢地被原来的模型控制住,使得我们能够通过原来的模型获得扩张模型的大量的信息。在数学技巧上例如它使得我们能够对扩张模型的基数是否仍然保持住做强有力推断。

索罗维后来对力迫法进行了非常深入地研究。他(与Tennenbaum)引入了迭代力迫并用有限支撑迭代力迫证明了萨斯林问题英语Suslin's problem勒维(Laver)引入可数支撑迭代力迫证明了波雷尔猜想(Borel's conjecture),从而导致了正常力迫(proper forcing)的引入。现在力迫法已经成为集合论中不可缺少的工具。而且通过乌丁(Woodin)等人的工作,力迫的意义也远远不仅是集合论的一项工具。


本页面最后更新于2021-09-05 08:18,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器