跳至內容

布林質理想定理

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

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

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

質理想定理

[編輯]

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

理想
偏序集poset)的序理論理想是(非空)有向下閉子集。如果考慮的poset(例如布林代數)有二元上確界,則理想可等價刻劃為下閉[註 1]且對封閉[註 2]的子集
質理想
理想I稱為「素」,意思是只要下確界xyI中,則必有xI中或yI中。
真理想
即不等於整個poset的理想。

歷史上,與質理想定理有關的第一個陳述,是用濾子表述。原偏序集上的濾子即是其對偶英語Duality (order theory)偏序集上的理想。超濾子引理聲稱,集合上的每個濾子,都包含在某個超濾子(極大的真濾子)內。集合上的濾子就是它冪集上的布林代數的真濾子。在這個特殊情況下,極大濾子(不是任何真濾子的嚴格子集的濾子)和素濾子(若在其中,則必有XY之一在其中)是一致的。所以這個陳述的(等價)對偶確保了集合冪集的每個理想都包含在一個質理想中。

上述陳述可以推出幾條更一般的質理想定理,每條分為弱形式和強形式。「弱質理想定理」聲稱所有「不平凡」(non-trivial)的特定類的代數都有至少一個質理想。相反,「強質理想定理」要求不與給定濾子相交的所有理想都可以擴充成仍不與之相交的質理想。在代數不是poset的情況下,則用其他子結構替代濾子。已知不少此類定理互相等價,所以斷言「PIT」成立通常等價於斷言對應的布林代數陳述(BPI)有效。[來源請求]

還有一種變體是把「質理想」替代為「極大理想」,所得的極大理想定理(MIT)有時比對應的PIT強,但不一定。[何時?]

布林質理想定理

[編輯]

布林質理想定理是給布林代數的強質理想定理。形式陳述為:

B是布林代數,I是理想,並設FB的一個濾子,使得IF不交。則I被包含在B的不相交於F的某個質理想中。

布林代數的弱質理想定理則聲稱:

所有布林代數都包含一個質理想。

分別稱呼這些陳述為強和弱BPI。這兩個陳述是等價的,因為強BPI明顯蘊涵了弱BPI;欲證反蘊涵,可以在適當的商代數中,使用弱BPI找到相應的質理想。

BPI有不同表達方式。布林代數中,有以下定理:

對於布林代數B的任何理想I,下列是等價的:

  • I是質理想。
  • I是極大真理想,就是說對於任何真理想J,如果I包含在J中則I = J
  • 對於B的所有元素aI正好包含{a, ¬a}之一。

它的對偶說明素濾子和超濾子等價。定理最後一個性質是自對偶英語Duality (order theory)命題,只是結合前面假定的「I是理想」給出了質理想的完全刻畫。這個定理的所有蘊涵都可以在經典Zermelo-Fraenkel集合論內證明。

由上述定理,下列布林代數的(強)極大理想定理(MIT)等價於BPI:

B是布林代數,設I是一個理想並設FB的一個濾子,使得IF不相交。則I包含在B的不相交於F的某個極大理想內。

此處「極大」是全域極大,而不是指不相交於F的理想之中的極大,但後者也給出BPI的另一個等價刻劃:

B是布林代數,設I是一個理想並設FB的一個濾子,使得IF不相交。則I包含在B的不相交於F的所有理想中極大的某個理想內。

這個陳述等價於BPI是因為有定理:「對於任何分配格L,如理想I在不相交於給定濾子FL的所有理想中是極大的,則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對偶性英語Stone duality的特殊情況)有用,過程會為布林代數的所有質理想的集合賦予特定的拓撲英語Stone topology,並從這個拓撲找回最初的布林代數(在同構的意義下)。此外,應用中可以自由選用質理想或素濾子,因為理想與濾子一一對應:將理想的元素逐個取布林補,就得到濾子。

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

參見

[編輯]

註釋

[編輯]
  1. ^ 即:若,則
  2. ^ 即:若,則

參考文獻

[編輯]


  • 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.