布尔素理想定理

数学上，布尔素理想定理（Boolean prime ideal theorem）声称每个布尔代数中的任何理想，都可以扩展成素理想。这个陈述对于在集合上的滤子的变体叫做超滤子引理。不同数学结构上，理想的定义有所不同，例如环有（环论）素理想，分配格有（序理论）极大理想。对于有定义「理想」的数学结构，有时有类似的素理想定理（prime ideal theorem）保证存在满足特定条件的「素理想」。布尔素理想定理是序理论的素理想定理。
尽管各种素理想定理可能合乎直觉，它们一般不能从策梅洛-弗兰克尔集合论（ZF）的公理推导出来，反而有些等价于选择公理（AC），有些（如布尔素理想定理）虽然严格弱于AC，仍不能由ZF证明。由于布尔素理想定理的强度介乎ZF和ZF+AC (ZFC)之间，有时亦用作集合论的公理，缩写为BPI（对布尔代数）或PIT。

**素理想定理**
介绍素理想定理需要以下定义：
理想
偏序集（poset）的序理论理想是（非空）有向的下闭子集。如果考虑的poset（例如布尔代数）有二元上确界，则理想可等价刻划为下闭即：若且，则。且对封闭即：若，则。的子集。
素理想
理想I称为「素」，意思是只要下确界xy在I中，则必有x在I中或y在I中。
真理想
即不等于整个poset的理想。
历史上，与素理想定理有关的第一个陈述，是用滤子表述。原偏序集上的滤子即是其对偶偏序集上的理想。超滤子引理声称，集合上的每个滤子，都包含在某个超滤子（极大的真滤子）内。集合上的滤子就是它幂集上的布尔代数的真滤子。在这个特殊情况下，极大滤子（不是任何真滤子的严格子集的滤子）和素滤子（若在其中，则必有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内可证，见理想 (序理论)#极大理想。因为任何布尔代数都是分配格，该定理证实了上段的命题等价于BPI。
以上几种陈述都是等价的。更进一步，因为布尔代数的对偶次序是布尔代数自身，当对以上陈述取对偶的时候，所得的等价命题也是适用于布尔代数的定理，但是其中“理想”一词都被替代为“滤子”。若考虑的布尔代数是某集合的幂集（以子集关系为序），「极大滤子定理」被称为超滤子引理。
总结起来，对于布尔代数，弱和强MIT、弱和强PIT、用滤子替代了理想的等价陈述都是等价的。已知所有这些陈述都是选择公理的推论（可利用佐恩引理证明），但是不能在经典Zermelo-Fraenkel集合论中证明。但是BPI严格的弱于选择公理，尽管这个陈述的证明是非常不平凡的。

**进一步的素理想定理**
前面以布尔代数为例介绍的典型性质，经修改后，亦适用于更一般的格，比如分配格或Heyting代数。但是，在这些情况下极大理想不同于素理想，而在PIT和MIT之间的关系是不明显的。
实际上，已发现分配格甚至Heyting代数的MIT等价于选择公理。在另一方面，已知分配格的强PIT等价于BPI（即布尔代数的MIT和PIT），所以这个陈述严格弱于选择公理。而由于Heyting代数不是自对偶，使用滤子替代理想会产生不同的定理。更甚者，关于Heyting代数对偶的MIT并不强于BPI，与上述的Heyting代数的MIT截然不同。
最后，素理想定理也存在于其他（非序理论的）抽象代数中。比如，环的MIT蕴涵了选择公理。这种情况需要把序理论的术语「滤子」替代为其他概念，对于环则是Multiplicatively closed set。

**超滤子引理**
在集合X上的滤子是由X的若干非空子集组成，对有限交和超集闭合（向上封闭）的搜集。超滤子是极大滤子。超滤子引理声称集合X上的所有滤子都是X上某个超滤子的子集。这个引理最常用在拓扑学中。
超滤子引理等价于布尔素理想定理，此等价可使用不带选择公理的ZF集合论证明。证明的想法是任何集合的全体子集，以包含关系为偏序，都组成布尔代数，而任何布尔代数都可通过Stone表示定理表示为集合的代数。

**应用**
直觉上，布尔素理想定理声称在布尔代数中有足够多的素理想，使所有理想都可以扩展成极大理想。这对于证明Stone布尔代数表示定理（Stone duality的特殊情况）有用，过程会为布尔代数的所有素理想的集合赋予特定的拓扑，并从这个拓扑找回最初的布尔代数（在同构的意义下）。此外，应用中可以自由选用素理想或素滤子，因为理想与滤子一一对应：将理想的元素逐个取布尔补，就得到滤子。
在一般拓扑学中，一些被称为依赖于选择公理的定理实际上等价于BPI。例如，「紧致豪斯多夫空间之积仍为紧」等价于它，但如果去除“豪斯多夫”条件，则等价于完整的选择公理。

**参见**
 布尔代数主题列表- 理想

**注释**

**参考文献**
 B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2nd edition, Cambridge University Press, 2002.
 An easy to read introduction, showing the equivalence of PIT for Boolean algebras and distributive lattices.- P. T. Johnstone, Stone Spaces, Cambridge studies in advanced mathematics 3, Cambridge University Press, 1982.
 The theory in this book often requires choice principles. The notes on various chapters discuss the general relation of the theorems to PIT and MIT for various structures (though mostly lattices) and give pointers to further literature.- B. Banaschewski, The Power of the Ultrafilter Theorem, Journal of the London Mathematical Society (2) 27, 193--202, 1983.
 Discusses the status of the ultrafilter lemma.- M. Erné, Prime Ideal Theory for General Algebras, Applied Categorical Structures 8, 115--144, 2000.
 Gives many equivalent statements for the BPI, including prime ideal theorems for other algebraic structures. PITs are considered as special instances of separation lemmas.