數學上，布林質理想定理（英語：Boolean prime ideal theorem）聲稱每個布林代數中的任何理想，都可以擴充成質理想。這個陳述對於在集合上的濾子的變體叫做超濾子引理。不同數學結構上，理想的定義有所不同，例如環有（環論）質理想，分配格有（序理論）極大理想。對於有定義「理想」的數學結構，有時有類似的質理想定理（prime ideal theorem）保證存在滿足特定條件的「質理想」。布林質理想定理是序理論的質理想定理。

儘管各種質理想定理可能合乎直覺，它們一般不能從策梅洛 - 弗蘭克爾集合論（ZF）的公理推導出來，反而有些等價於選擇公理（AC），有些（如布林質理想定理）雖然嚴格弱於 AC，仍不能由 ZF 證明。由於布林質理想定理的強度介乎 ZF 和 ZF+AC (ZFC) 之間，有時亦用作集合論的公理，縮寫為 BPI（對布林代數）或 PIT。



質理想定理

介紹質理想定理需要以下定義：

理想
: 偏序集（poset）的序理論理想是（非空）有向的下閉子集。如果考慮的 poset（例如布林代數）有二元上確界 $\vee $ ，則理想可等價刻劃為下閉且對 $\vee $ 封閉的子集 $I$ 。

質理想
: 理想 _I_ 稱為「素」，意思是只要下確界 _x_ $\wedge $ _y_ 在 _I_ 中，則必有 _x_ 在 _I_ 中或 _y_ 在 _I_ 中。

真理想
: 即不等於整個 poset 的理想。

歷史上，與質理想定理有關的第一個陳述，是用濾子表述。原偏序集上的濾子即是其對偶偏序集上的理想。超濾子引理聲稱，集合上的每個濾子，都包含在某個超濾子（極大的真濾子）內。集合上的濾子就是它冪集上的布林代數的真濾子。在這個特殊情況下，極大濾子（不是任何真濾子的嚴格子集的濾子）和素濾子（若 $X\cup 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 內可證，見理想 (序理論) § 極大理想。因為任何布林代數都是分配格，該定理證實了上段的命題等價於 BPI。

以上幾種陳述都是等價的。更進一步，因為布林代數的對偶次序是布林代數自身，當對以上陳述取對偶的時候，所得的等價命題也是適用於布林代數的定理，但是其中「理想」一詞都被替代為「濾子」。若考慮的布林代數是某集合的冪集（以子集關係為序），「極大濾子定理」被稱為超濾子引理。

總結起來，對於布林代數，弱和強 MIT、弱和強 PIT、用濾子替代了理想的等價陳述都是等價的。已知所有這些陳述都是選擇公理的推論（可利用佐恩引理證明），但是不能在經典 Zermelo-Fraenkel 集合論中證明。但是 BPI 嚴格的弱於選擇公理，儘管這個陳述的證明是非常不平凡的。



進一步的質理想定理

前面以布林代數為例介紹的典型性質，經修改後，亦適用於更一般的格，比如分配格或 Heyting 代數。但是，在這些情況下極大理想不同於質理想，而在 PIT 和 MIT 之間的關係是不明顯的。

實際上，已發現分配格甚至 Heyting 代數的 MIT 等價於選擇公理。在另一方面，已知分配格的強 PIT 等價於 BPI（即布林代數的 MIT 和 PIT），所以這個陳述嚴格弱於選擇公理。而由於 Heyting 代數不是自對偶，使用濾子替代理想會產生不同的定理。更甚者，關於 Heyting 代數對偶的 MIT 並不強於 BPI，與上述的 Heyting 代數的 MIT 截然不同。

最後，質理想定理也存在於其他（非序理論的）抽象代數中。比如，環的 MIT 蘊涵了選擇公理。這種情況需要把序理論的術語「濾子」替代為其他概念，對於環則是乘法閉合子集。



超濾子引理

在集合 _X_ 上的濾子是由 _X_ 的若干非空子集組成，對有限交和超集閉合（向上封閉）的搜集。超濾子是極大濾子。超濾子引理聲稱集合 _X_ 上的所有濾子都是 _X_ 上某個超濾子的子集。這個引理最常用在拓撲學中。

超濾子引理等價於布林質理想定理，此等價可使用不帶選擇公理的 ZF 集合論證明。證明的想法是任何集合的全體子集，以包含關係為偏序，都組成布林代數，而任何布林代數都可通過 Stone 表示定理表示為集合的代數。



應用

直覺上，布林質理想定理聲稱在布林代數中有足夠多的質理想，使所有理想都可以擴充成極大理想。這對於證明 Stone 布林代數表示定理（Stone 對偶性的特殊情況）有用，過程會為布林代數的所有質理想的集合賦予特定的拓撲，並從這個拓撲找回最初的布林代數（在同構的意義下）。此外，應用中可以自由選用質理想或素濾子，因為理想與濾子一一對應：將理想的元素逐個取布林補，就得到濾子。

在一般拓撲學中，一些被稱為依賴於選擇公理的定理實際上等價於 BPI。例如，「緊緻郝斯多夫空間之積仍為緊」等價於它，但如果去除「郝斯多夫」條件，則等價於完整的選擇公理。



參見


* 布林代數主題列表

* 理想



注釋



參考文獻