集合代数 集合代数发展并描述了集合的基本性质和规律，集合论运算，如并集、交集、补集，以及集合的关系，如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。 导言. 集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质，也有助于实际应用。 像普通算术的表达和计算一样，集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。 在算术研究方面，是通过初等代数来研究算术的运算和关系的。 例如：加法和乘法运算遵循人们看时候带吃熟知的交换律、结合律和分配律；而"小于等于"关系满足自反性、反对称性和传递性。 这些规律提供了简化计算的工具，并描述了算术的本质、运算和关系。 集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集，和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见集合，更详尽的内容请参见朴素集合论。 集合上的基本结构. 集合上通常自然定义的结构包括： *包含（formula_1）：formula_2 当且仅当 formula_3； *真包含（formula_4）：formula_5 当且仅当 formula_2 且 formula_7； *交（formula_8）：formula_9定义为 formula_10 且 formula_11； *并（formula_12）：formula_13 定义为 formula_10 或 formula_11； *差（formula_16）：formula_17 定义为 formula_18 且 formula_19（亦称相对补）； *对称差（formula_20）：formula_21 定义为 formula_22； *补：补运算的前提是存在一个由上下文确定的全集formula_23，其某个子集formula_24对于formula_23的补formula_26 定义为 formula_27。 *幂集：formula_28 定义为 formula_29（A 的幂集是 A 所有子集构成的集合）； *笛卡尔积：formula_30 定义为 formula_31（即所有可能的有序对组成的集合）； *空集（formula_32）：没有任何元素的集合。 *全集：这是一个由上下文确定的集合，通常上下文中其它的集合都是它的子集。 这些二元关系和二元运算构成了集合上的基本结构，包括序结构和代数结构。 代数结构. 代数结构是关于运算的结构。以下是集合间运算的基本性质： * 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_32 是 formula_12 运算的幺元） *formula_48（ formula_32 是 formula_20 运算的幺元） *formula_51（ formula_32 是 formula_16运算的右幺元） *formula_54 （ formula_32 是 formula_8 运算的零元） * formula_57 （ formula_32 是 formula_16运算的左零元） *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（ formula_32 是任何集合的子集） 集合上结构的最小定义. 显然，上面的所有结果并不是独立的，大部分结果都可以从一个很小的结构推导出来。 比如很容易知道： 因此我们完全可以用并，交，差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质。 当然这个“最小结构”的选择并不唯一，可以根据需要选择适当的方式。 下一个命题包含三种特殊集合：空集、全集、集合的补集，给出关于它们的两组规律。 命题 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是集环（集代数），若formula_127对可列并运算封闭，则称formula_127为一个σ环（σ代数）。