集合代數

集合代數發展並描述了集合的基本性質和規律，集合論運算，如並集、交集、補集，以及集合的關係，如等於、包含。這門學科系統研究如何來表達和進行上述的運算和關係的操作。導言.集合代數是研究集合運算和集合關係的基本性質的學科。研究這些性質可以深入探究集合的本質，也有助於實際應用。像普通算術的表達和計算一樣，集合的表達和計算可能相當複雜。透過系統研究將有助於熟練使用和理解這些表達方式並進行計算。在算術研究方面，是透過初等代數來研究算術的運算和關係的。例如：加法和乘法運算遵循人們看時候帶吃熟知的交換律、結合律和分配律；而"小於等於"關係滿足自反性、反對稱性和傳遞性。這些規律提供了簡化計算的工具，並描述了算術的本質、運算和關係。集合代數相當於集合論中的算術代數。它是關於集合論運算如交集、並集、補集，和集合論關係如等於、包含等的代數：本文主要介紹這些內容。對集合的基本介紹請合，更詳盡的內容請素集合論。集合上的基本結構.集合上通常自然定義的結構包括：*包含：formula_2 當且僅當 formula_3；*真包含：formula_5 當且僅當 formula_2 且 formula_7；*交：formula_9定義為 formula_10 且 formula_11；*並：formula_13 定義為 formula_10 或 formula_11；*差；*對稱差：formula_21 定義為 formula_22；*補：補運算的前提是存在一個由上下文確定的全集formula_23，其某個子集formula_24對於formula_23的補formula_26 定義為 formula_27。*冪集：formula_28 定義為 formula_29；*笛卡爾積：formula_30 定義為 formula_31；*空集：沒有任何元素的集合。*全集：這是一個由上下文確定的集合，通常上下文中其它的集合都是它的子集。這些二元關係和二元運算構成了集合上的基本結構，包括序結構和代數結構。代數結構.代數結構是關於運算的結構。以下是集合間運算的基本性質：* formula_33*formula_34*formula_35*formula_36*formula_37*formula_38*formula_39*formula_40*formula_41*formula_42*formula_43*formula_44*formula_45*formula_48*formula_51*formula_54 * formula_57 *formula_60*formula_61；*formula_62；*formula_63*formula_64*formula_65*formula_66*自反性：formula_68；*反對稱性：formula_69且formula_70；*傳遞性：formula_69且formula_72；是集合間的一個非嚴格偏序關係。*反自反性：formula_74不成立；*非對稱性：formula_75不成立；反之亦然；*傳遞性：formula_76且formula_77；是集合間的一個嚴格偏序關係。序結構.包含和真包含關係定義了集合間的一個偏序關係。在該偏序關係的意義下兩者等價，通常不失一般性地將該偏序關係指為 formula_1 。該偏序關係還有如下的結構：*formula_80*formula_81*formula_83*formula_84* formula_86集合上結構的最小定義.顯然，上面的所有結果並不是獨立的，大部分結果都可以從一個很小的結構推匯出來。比如很容易知道：因此我們完全可以用並，交，差三個運算以及它們的相關性質推匯出上面所有二元運算和二元關係的性質。當然這個“最小結構”的選擇並不唯一，可以根據需要選擇適當的方式。下一個命題包含三種特殊集合：空集、全集、集合的補集，給出關於它們的兩組規律。命題 2：對全集 formula_92 的任意子集 formula_24，下列恆等式成立：同一性：* formula_94* formula_95補集律：* formula_96* formula_97同一性說明，就像 0 和 1 分別是加法和乘法的單位元，formula_32 和 formula_92 也分別是並集和交集的單位元。跟加法和乘法不同，並集和交集沒有逆元。然而，補集律給出了類似逆運算的一元運算，集合的補集的基本性質。上述五組性質：交換律、結合律、分配律、同一性和補集律，可以說包含了集合代數的所有內容，可以認為集合代數中所有正確的命題都是從它們得到的。對偶性原理.上述命題有一個有趣的形式，就是每一組恆等式都是成對出現的。將 ∪ 和 ∩，或者 Ø 和 U 相互交換，一個恆等式就變成了相應的另一個。這是集合代數的一個非常重要的性質，稱作集合的對偶性原理。它對集合的所有真命題都有效。真命題透過相互交換 ∪ 和 ∩，Ø 和 U，改變包含符號的方向得到的對偶命題也是真的。若一個命題和其對偶命題相同，則稱其為自對偶的。更多關於並集和交集的定律.下列命題給出六條關於並集和交集的重要定律。命題 3：對任意全集 formula_92 的子集 formula_24 和 formula_102，下列恆等式成立：支配律：* formula_103* formula_104如前所述，命題 3 裡的每條定律都可以從命題 1 和命題 2 的五組基本定律推匯出來。作為說明，下面給出並集的冪等律的證明。"證明："下列證明說明，上述證明的對偶是對並集的冪等律的對偶，即交集的冪等律的證明。"證明："更多關於補集的定律.下列命題給出五條關於補集的重要定律。命題 4：設 formula_24 和 formula_102 為全集 formula_92 的子集，則：德·摩根律：*formula_108*formula_109重補集或對合律：*formula_110全集和空集的補集律：*formula_111*formula_112注意，重補集律是自對偶的。下一個命題也是自對偶的，說明集合的補集是唯一滿足補集律的集合。也就是說，互補的特徵透過補集律體現。命題 5：設 formula_24 和 formula_102 為全集 formula_92 的子集，則：補集的唯一性：*若 formula_116 且 formula_117 則 formula_118。包含的代數.下列命題說明包含是種偏序關係。命題 6：若 formula_119 為集合，則下述成立：自反性：* formula_120反對稱性:* formula_121 且 formula_122，當且僅當 formula_123傳遞性:*若 formula_121 且 formula_125，則 formula_126下列命題說明對任意集合 formula_127，formula_127 的冪集按照包含來排列是個有界格；因此，結合上述的分配律和補集律，它是一個布林代數。命題 7：若 formula_119 是集合 formula_127 的子集，則下述成立：存在最小元和最大元：*formula_131存在並運算:* formula_132*若 formula_126 且 formula_125 則 formula_135存在交運算:* formula_136*若 formula_137 且 formula_138 則 formula_139下列命題說明，" formula_121 " 與各種採用並集、交集、補集的表示方法等價。命題 8：對任意兩個集合 formula_24 和 formula_102，下述等價：* formula_121* formula_144* formula_145* formula_146* formula_147上述命題說明，集合的包含關係可以採用並集運算或交集運算來表示，即包含關係在公理體系中是多餘的。相對補集的代數.下列命題給出一些關於相對補集或集合論差的恆等式。命題 9：對任意全集 formula_92 和 formula_92 的子集 formula_24，formula_102，formula_152，下列恆等式成立：*formula_153*formula_154*formula_155*formula_156*formula_157*formula_158*formula_159*formula_160*formula_161*formula_162*formula_163*formula_164常用代數結構.半環.若集類formula_127滿足：則formula_127構成一個半環。格.若集類formula_127滿足：則formula_127構成一個格。環，代數.非空集類S，若：當且僅當formula_127滿足以上幾個條件中任何一個時，formula_127構成一個環，此時formula_127被稱為一個集環。若集環formula_127還滿足：則formula_127是formula_23上的代數，稱為X上的集代數。formula_212 環，formula_212 代數.設formula_127是集環。