数学定理1：布尔素理想定理.doc.docVIP

布尔素理想定理 布尔素理想定理(Boolean prime ideal theorem)即保证在给定的抽象代数中特定类型之子集的存在性之数学定理。常见的例子就是布尔素理想定理，它声称在布尔代数中的理想可以被扩展成素理想。这个陈述对于在集合上的滤子的变体叫做叫做超滤子引理。通过考虑不同的带有适当的理想概念的数学结构可获得其他定理，例如和(环论的)素理想，和分配格和(序理论的)的极大理想。本文关注序理论的素理想定理。 选择公理(AC)，而其他的如布尔素理想定理，体现了严格弱于 AC 的性质。由于这个在 ZF 和 ZF+AC (ZFC) 之间的中介状态，布尔素理想定理经常被接受为集合论的公理。经常用缩写?BPI(对布尔代数)或?PIT?提及这个额外公理。 在进行实际的素理想定理介绍之前，回想序理论理想就是(非空)有向的下闭集合。如果被考虑的 poset 有如同本文中的 poset 这样的二元上确界，则它可等价的特征化为下闭集合?I，它闭合于二元上确界下(就是说?x,?y?在?I?中蕴涵了?x并y?在?I?中)。一个理想?I?是素的，只要下确界?x交y?在?I?中，你还有?x?在?I?中或?y?在?I?中。一个理想是真理想，如果它不等于整个 poset。历史上，与后来的素理想定理有关的第一个陈述实际上提及的是滤子 -- 它是关于对偶次序的理想的子集。超滤子引理声称在集合上的所有滤子都包含在某个极大的(真)滤子内 -- 它叫超滤子。 回想在集合上的滤子就是它们的幂集上的布尔代数的真滤子。在这个特殊情况下，极大滤子(就是说不是任何真滤子的严格子集的滤子)和素滤子(就是说带有每个子集?X?和?Y?的并集，也包含?X或?Y?的滤子)是一致的。所以这个陈述的(等价)对偶确保了一个幂集的所有理想都包含在一个素理想中。 上述陈述导致了各种一般化了的素理想定理，每个都存在于一个弱和一个强形式中。“弱素理想定理”声称所有“不平凡”(non-trivial)的特定类的代数都有至少一个素理想。相反的，“强素理想定理”要求不相交于给定滤子的所有理想可以扩展成仍不相交于这个滤子的素理想。在代数不是 poset 的情况下，你使用不同的子结构替代滤子。很多形式的这种定理实际上已知是等价的，所以“PIT”成立的断言通常被接受为相应的布尔代数陈述(BPI)是有效的断言。 类似定理的另一个变体是通过把“素理想”的每个出现都替代为“极大理想”而得到的。相应的极大理想定理?(MIT)经常但不总是比它们的 PIT 等价者要强。 布尔素理想定理是给布尔代数的强素理想定理。形式陈述为:设?B?是布尔代数，设?I?是理想并设?F?是?B?的一个滤子，使得?I?和?F?是不交集。则?I?被包含在?B?的不相交于?F?的某个素理想中。布尔代数的弱素理想简单的声称: 所有布尔代数都包含一个素理想。我们称呼这些陈述为弱和强?BPI。这两个陈述是等价的，因为强 BPI 明显的蕴涵了弱 BPI，而反蕴涵可以通过使用弱 BPI 在适当的商代数中找到素理想来完成。 可以用各种不同方式来表达 BPI。为此，回想下列定理: 对于布尔代数?B?的任何理想?I，下列是等价的: I?是素理想。 I?是极大真理想，就是说对于任何真理想?J，如果?I?包含在?J?中则?I?=?J。 对于?B?的所有元素?a，I?正好包含 {a, ?a} 之一。 这个定理是布尔代数的众所周知的事实。它的对偶建立了素滤子和超滤子的等价性。注意最后一个性质事实上是自对偶的 -- 只有前面的假定?I?是理想给出了完全特征刻画。值得提及的还有在这个定理内的所有蕴涵可以在经典 Zermelo-Fraenkel 集合论内证明。 因此下列布尔代数的(强)极大理想定理(MIT)等价于 BPI: 设?B?是布尔代数，设?I?是一个理想并设?F?是?B?的一个滤子，使得?I?和?F?不相交。则?I?包含在?B?的不相交于?F?的某个极大理想内。注意你需要全局极大性，而不只是关于不相交于?F?的极大性。这个变体产生了 BPI 的另一个等价特征化: 设?B?是布尔代数，设?I?是一个理想并设?F?是?B?的一个滤子，使得?I?和?F?不相交。则?I?包含在?B?的不相交于?F?的所有理想中极大的某个理想内。这个陈述等价于 BPI 的事实可以轻易的从下列定理中看出: 对于任何分配格?L，如理想?I?在不相交于给定滤子F?的?L?的所有理想中是极大的，则?I?是素理想。这个陈述的证明(它可以在 ZF 集合论内得出)包含关于理想的文章内。因为任何布尔代数都是分配格，这证实了想要的蕴涵。 所有上述陈述都是等价的。进一步的，你可以发现布尔代数的对偶次序完全的是布尔代数自身。因此，当采用所有前者陈述的等价对偶的时候，你可能终结于同等的适用于布尔代数的定理，但是这里