理想 (序理論)
在數學分支序理論中,理想是偏序集合的一個特殊子集。儘管這個術語最初演化自抽象代數中環理想概念,它後來被一般化為一個不同的概念。理想對於序理論和格理論中的很多構造是非常重要的。
基本定義
編輯序理論中理想的最一般的定義如下:
偏序集合(P,≤)的非空子集I稱為一個理想,若I滿足:
理想最初只在格上定義。與上述定義等價的定義如下: 格(P,≤)的非空子集I是理想,當且僅當:
相關概念
編輯素理想
編輯一種特殊情況的理想是它的集合論補集是濾子的那些理想,濾子就是逆序的理想。這種理想叫做素理想。還要注意,因為我們要求理想和濾子非空,所有素理想都是真理想。對于格,素理想可以特徵化為如下:
格(P,≤)的真理想I是素理想,當且僅當:∀x, y ∈ P,有x ∧ y ∈ I ⇒ x ∈ I或y ∈ I。
很容易發現這個定義實際上等價於聲稱P - I是濾子(它是在對偶意義上的素濾子)。
對於完全格有完全素理想的概念。它定義為帶有額外性質的真理想I,只要某個任意集合A的交(下確界)在I中,A的某個元素也在I中。所以它是擴展上述條件到無窮交的特殊素理想。
素理想的存在一般是不明顯的,並且在Zermelo-Fraenkel集合論中經常不能得出滿意數量的素理想。這個問題在各種素理想定理中討論,它們對於很多需要素理想的應用是必須的。
極大理想
編輯一個理想I是極大理想,如果它是真理想並且沒有真理想J是嚴格大於I的集合。類似的,濾子F是極大濾子,如果它是真濾子並且沒有嚴格大於它的真濾子。
當一個偏序集合是分配格的時候,極大理想和濾子必然是素的,而這個陳述的逆命題一般為假。
極大濾子有時叫做超濾子,但是這個術語經常保留給布爾代數,這裡的極大濾子(理想)是對於每個布爾代數的元素a,精確的包含元素{a, ¬a}中的一個的濾子(理想)。在布爾代數中,術語「素理想」和「極大理想」是一致的,術語「素濾子」和「極大濾子」也是一致的。
還有另一個有趣的理想的極大性概念:考慮一個理想I和一個濾子F,使得I不相交於F。我們感興趣於在所有包含 I並且不相交於F的所有理想中極大的一個理想M。在分配格的情況下,這樣的一個M總是素理想。這個陳述的證明如下。
- 證明:假定理想M關於不相交於濾子F是極大性的。假設M不是素理想的一個矛盾,就是說,存在着一對元素a和b使得a b在M中但是a和b都不在M中。考慮對於所有M中的m,m a不在F中的情況。你可以通過採用這種形式的所有二元交的向下閉包構造一個理想N,也就是N = { x | x≤ m a對於某些M中的m}。很容易的察覺N確實是不相交於F的理想,它嚴格的大於M。但是這矛盾於M的極大性進而M不是素理想的假定。
- 對於其他情況,假定有某個M中的m帶有m a在F中。現在如果在M中任何元素n使n b在F中,你會發現(m n) b和(m n) a都在F中。但因此它們的交在F中,通過分配性,(m n) (a b)也在F中。在另一方面,這個M的元素的有限交明顯的M中,使得假定的n的存在性矛盾於兩個集合不相交性。因此M的所有元素n有不在F中的與b的交。因此你可以應用上述與b的構造代替a來獲得嚴格的大於M而不相交於F的一個理想。證明結束。
但是,一般而言是否存在這個意義上極大的任何理想M。然而如果我們在我們的集合論中假定選擇公理,那麼可以正式對於所有不相交的濾子-理想-對的M的存在。在要考慮的次序是布爾代數的特殊情況下,這個定理叫做布爾素理想定理。它嚴格的弱於選擇公理,而理想的很多集合論應用不需要更多的東西了。
應用
編輯理想和濾子的構造在序理論的很多應用中是非常重要的工具。
- 在Stone布爾代數表示定理中,使用極大理想(或等價的通過反映射超濾子)來獲得拓撲空間的點集,它的閉開集同構於最初的布爾代數。
歷史
編輯理想由Marshall H. Stone首先介入,它的名字起源自抽象代數的環理想。這個術語源於如下事實,利用布爾代數和布爾環的範疇同構,這兩個概念實際是一致的。
文獻
編輯理想和濾子是序理論的最基本概念。參見序理論和格理論,和布爾素理想定理中的介紹。
一個在線免費專著:
- Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. (頁面存檔備份,存於網際網路檔案館) Springer-Verlag. ISBN 3-540-90578-2.