力迫

✍ dations ◷ 2025-06-08 23:48:04 #力迫

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

力迫法大致是一种扩张模型的方法。给定一个模型 ${displaystyle M}$ $M$ 以及模型内一个偏序 ${displaystyle (P,leq )}$ $(P,leq)$ ，通过构造通集（generic） ${displaystyle Gsubseteq P}$ $Gsubseteq P$ 来实现模型的扩张。因为通集不在 ${displaystyle M}$ $M$ 内，所以这是一个真正的扩张。记为 ${displaystyle M}$ $M$ 。它有以下性质：

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

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

相关

纳齐布禄纳齐布禄（满语：ᠨᠠᠴᡳᠪᡠᠯᡠ，穆麟德：Nacibulu），一作纳齐卜禄，纳喇氏，据称为金朝完颜氏后裔，初为锡伯王驸马，后脱离自立扈伦国，为明末海西女真乌拉和哈达的始祖，被尊为大玛法。纳齐布
古希腊悲剧古希腊悲剧的真正起源已经不可参究。现在一般认为起源于酒神祭祀。在祭祀中，合唱队会表演歌舞祭祀酒神戴欧尼修斯，这种歌舞被称为“酒神颂”。“酒神颂”发展到后来，逐渐扩大到
17好聪明《17直播 17好聪明》，简称《17好聪明》，节目英文名“”，是17 Media与八大电视股份有限公司联合制作的即时互动益智节目，主持人为谢震武、解婕翎，由八大综合台于2018年2月24日首播
冯霦冯霦，浙江山阴县（今属绍兴市）人，清朝官员，进士出身。道光二十七年（1847年）考中丁未科进士。曾任直隶束鹿县知县。
纽波特28战斗机纽波特28战斗机是法国纽波特飞机公司在第一次世界大战时推出的双翼战斗机，它是由纽波特17战斗机发展而来，但推出后法国空军却改为采用斯柏特S-VII战斗机，正当纽波特飞机公司失
第1舰队 (日本海军)第1舰队为旧大日本帝国海军之一部队。1903年12月26日由常备舰队分割为二，再编制成军。此时分离之第2舰队成为常设舰队，设置为决战舰队之主力战舰，也经常与第二舰队组成连合舰队
沙拉姆扎尔沙拉姆扎尔是伊朗的城市，位于该国西部札格罗斯山脉中部，由恰哈马哈勒－巴赫蒂亚里省负责管辖，处于首都德黑兰西南395公里，海拔高度2,034米，2006年人口7,003。
北翔大学坐标：43°3′52.6″N 141°29′30.6″E / 43.064611°N 141.491833°E / 43.064611; 141.491833北翔大学（日语：北翔大学／ほくしょうだいがく）是位于日本江别市文京台的一所私立
维托尔·拜亚维托尔·曼努埃尔·马丁斯·拜亚（Vitor Manuel Martins Baia，1969年10月15日－），通常称维托尔·拜亚（Vítor Baía），是一名葡萄牙足球运动员，司职守门员，刚从葡萄牙俱乐部波尔图退役，转任俱乐部公关。拜亚出身于葡萄牙豪门俱乐部波尔图，曾于1996年加盟西班牙巨无霸巴塞罗那，但因未能成为首发，1999年再重返波尔图，一直至退役。拜亚是早年葡萄牙国家足球队成员，代表期间国际赛成绩上不见突出，仅曾出席2002年世界杯，但很快的首轮出局。近年拜亚早已淡出国家队，2006年世界杯
鹿港永安宫坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n