查看“︁集合代数”︁的源代码

{{Unreferenced|time=2022-11-24T11:20:58+00:00}}
{{NoteTA
|G1 = IT
|G2 = Math
}}
'''集合代数'''发展并描述了[[集合 (数学)|集合]]的基本性质和规律，集合论运算，如[[并集]]、[[交集]]、[[补集]]，以及集合的[[二元关系|关系]]，如[[等于]]、[[子集|包含]]。这门学科系统研究如何来表达和进行上述的运算和关系的操作。

== 导言 ==
集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质，也有助于实际应用。

像普通[[算术]]的表达和计算一样，集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。

在算术研究方面，是通过[[初等代数]]来研究算术的运算和关系的。

例如：[[加法]]和[[乘法]]运算遵循人们看时候带吃熟知的[[交换律]]、[[结合律]]和[[分配律]]；而"小于等于"关系满足[[自反性]]、[[反对称性]]和[[传递性]]。
这些规律提供了简化计算的工具，并描述了算术的本质、运算和关系。

集合代数相当于[[集合论]]中的算术代数。它是关于集合论运算如交集、并集、补集，和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见[[集合 (数学)|集合]]，更详尽的内容请参见[[朴素集合论]]。

== 集合上的基本结构 ==

集合上通常自然定义的结构包括：
;[[二元关系]]
:*'''包含'''（<math>\subseteq</math>）：<math>A\subseteq B</math> 当且仅当 <math>\forall e (e\in A \implies e\in B)</math>；
:*'''真包含'''（<math>\subset</math>）：<math>A\subset B</math> 当且仅当 <math>A\subseteq B</math> 且 <math>A\neq B</math>；
;[[二元运算]]
:*'''交'''（<math>\cap</math>）：<math>A\cap B</math>定义为 <math>\{e \mid e\in A</math> 且 <math>e\in B\}</math>；
:*'''并'''（<math>\cup</math>）：<math>A\cup B</math> 定义为 <math>\{e \mid e\in A</math> 或 <math>e\in B\}</math>；
:*'''差'''（<math>-</math>）：<math>A-B</math> 定义为 <math>\{e \mid e\in A </math> 且 <math>\neg(e\in B)\}</math>（亦称'''相对补'''）；
:*'''对称差'''（<math>\triangle</math>）：<math>A\triangle B</math> 定义为 <math>(A-B)\cup (B-A)</math>；
:*'''补'''：补运算的前提是存在一个由上下文确定的'''全集'''<math>X</math>，其某个子集<math>A</math>对于<math>X</math>的补<math>A^c</math> 定义为 <math>X-A</math>。
;其它运算
:*'''幂集'''：<math>\mathcal{P}(A)</math> 定义为 <math>\{E \mid E\subseteq A\}</math>（A 的幂集是 A 所有子集构成的集合）；
:*'''[[笛卡尔积]]'''：<math>X \times Y</math> 定义为 <math>\left\{ \left( x,y \right) \mid x \in X \land y \in Y \right\}</math>（即所有可能的[[有序对]]组成的集合）；
;特殊的集合
:*'''空集'''（<math>\varnothing</math>）：没有任何元素的集合。
:*'''全集'''：这是一个由上下文确定的集合，通常上下文中其它的集合都是它的子集。

这些二元关系和二元运算构成了集合上的基本结构，包括[[序结构]]和[[代数结构]]。

===代数结构===
代数结构是关于运算的结构。以下是集合间运算的基本性质：
;[[交换律]]
:* <math>A \cap B = B \cap A</math>
:*<math>A \cup B = B \cup A</math>
:*<math>A \triangle B = B \triangle A</math>
;[[结合律]]
:*<math>(A \cap B) \cap C = A \cap (B \cap C)</math>
:*<math>(A \cup B) \cup C = A \cup (B \cup C)</math>
:*<math>(A \triangle B) \triangle C = A \triangle (B \triangle C)</math>
;[[分配律]]
:*<math>(A \cap B) \cup C = (A \cup C) \cap (B \cup C)</math>
:*<math>(A \cup B) \cap C = (A \cap C) \cup (B \cap C)</math>
:*<math>(A -B) \cap C = (A \cap C) -(B \cap C)</math>
:*<math>(A \triangle B) \cap C = (A \cap C) \triangle (B \cap C)</math>
;[[幂等律]]
:*<math>A \cup A = A</math>
:*<math>A \cap A = A</math>
;[[幺元]]
:*<math>A \cup  \varnothing  =  \varnothing  \cup A = A</math>（ <math>\varnothing</math> 是 <math>\cup</math> 运算的幺元）
:*<math>A \triangle  \varnothing  =  \varnothing  \triangle A = A</math>（ <math>\varnothing</math> 是 <math>\triangle</math> 运算的幺元）
:*<math>A - \varnothing  = A</math>（ <math>\varnothing</math> 是 <math>-</math>运算的右幺元）
;[[零元]]
:*<math>A \cap  \varnothing  =  \varnothing  \cap A =  \varnothing</math> （ <math>\varnothing</math> 是 <math>\cap</math> 运算的零元）
:* <math>\varnothing  -A =  \varnothing</math> （ <math>\varnothing</math> 是 <math>-</math>运算的左零元）
;[[幂幺律]]
:*<math>A \triangle A =  \varnothing </math>
;[[德·摩根律]]
:*<math>C -(A \cup B) = (C -A) \cap (C -B)</math>；
:*<math>C -(A \cap B) = (C -A) \cup (C -B)</math>；
:*<math>(A \cup B)^c = A^c \cap B^c</math>（这条是第一条的补集形式）
:*<math>(A \cap B)^c = A^c \cup B^c</math>（这条是第二条的补集形式）
;[[吸收律]]
:*<math>A \cup (A \cap B) = A</math>
:*<math>A \cap (A \cup B) = A</math>

===序结构===
;包含关系“<math>\subseteq</math> ”有如下性质：
:*'''自反性'''：<math>A \subseteq A</math>；（任何集合都是其本身的子集）
:*'''反对称性'''：<math>A \subseteq B</math>且<math>B \subseteq A \iff A=B</math>；（这是证明两集合相等的常用手段之一）
:*'''传递性'''：<math>A \subseteq B</math>且<math>B \subseteq C  \implies A \subseteq C</math>；
:是集合间的一个'''[[偏序关系#非严格偏序，自反偏序|非严格偏序关系]]'''。

;真包含关系“ <math>\subset</math> ”有如下性质：
:*'''反自反性'''：<math>A \subset A</math>不成立；
:*'''非对称性'''：<math>A \subset B  \implies B \subset A</math>不成立；反之亦然；
:*'''传递性'''：<math>A \subset B</math>且<math>B \subset C  \implies A \subset C</math>；
:是集合间的一个'''[[偏序关系#严格偏序，反自反偏序|严格偏序关系]]'''。

包含和真包含关系定义了集合间的一个[[偏序关系]]。在该偏序关系的意义下两者等价，通常不失一般性地将该偏序关系指为 <math>\subseteq</math> 。该偏序关系还有如下的结构：
;[[上确界]]运算： <math>\cup</math>
:*<math>A \subseteq C,B \subseteq C  \implies A \cup B \subseteq C</math>
:*<math>A \subseteq A \cup B</math>
;[[下确界]]运算： <math>\cap </math>
:*<math>C \subseteq A,C \subseteq B  \implies C \subseteq A \cap B</math>
:*<math>A \cap B \subseteq A</math>
;[[最小元]]（[[底]]）： <math>\varnothing </math>
:* <math>\varnothing  \subseteq A</math>（ <math>\varnothing</math> 是任何集合的子集）

==集合上结构的最小定义==

显然，上面的所有结果并不是独立的，大部分结果都可以从一个很小的结构推导出来。

比如很容易知道：
*对称差可以用并和差来定义。
*补可以用差来定义。
*真包含关系可以用包含关系来定义。
*包含关系可以用并，交，差之一来定义，这是因为 <math>A\subseteq B</math>等价于以下任一命题：
**<math>A\cup B = B</math>
**<math>A\cap B = A</math>
**<math>A - B = \varnothing </math>
因此我们完全可以用并，交，差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质。

当然这个“最小结构”的选择并不唯一，可以根据需要选择适当的方式。


下一个命题包含三种特殊集合：[[空集]]、[[全集]]、集合的[[补集]]，给出关于它们的两组规律。

'''命题 2'''：对全集 <math>\mathcal{U}</math> 的任意[[子集]]  <math>A</math>，下列恒等式成立：

:同一性：
::* <math>A \cup \varnothing   =   A</math>
::* <math>A \cap \mathcal{U}  =   A</math>
:补集律：
::* <math>A \cup  A^c  =  \mathcal{U}</math>
::* <math>A \cap  A^c  =  \varnothing </math>

同一性（结合交换律）说明，就像 0 和 1 分別是加法和乘法的[[单位元]]，<math>\varnothing</math>  和 <math>\mathcal{U}</math> 也分別是并集和交集的[[单位元]]。

跟加法和乘法不同，并集和交集没有[[逆元]]。然而，补集律给出了类似逆运算的[[一元运算]]，集合的补集的基本性质。

上述五组性质：交换律、结合律、分配律、同一性和补集律，可以说包含了集合代数的所有内容，可以认为集合代数中所有正确的命题都是从它们得到的。

== 对偶性原理 ==
上述命题有一个有趣的形式，就是每一组恒等式都是成对出现的。将 ∪ 和 ∩，或者 Ø 和 '''U''' 相互交换，一个恒等式就变成了相应的另一个。

这是集合代数的一个非常重要的性质，称作集合的'''对偶性原理'''。它对集合的所有真命题都有效。真命题通过相互交换 ∪ 和 ∩，Ø 和 '''U'''，改变包含符号的方向得到的'''对偶'''命题也是真的。若一个命题和其对偶命题相同，则称其为'''自对偶'''的。

== 更多关于并集和交集的定律 ==

下列命题给出六条关于并集和交集的重要定律。

'''命题 3'''：对任意全集 <math>\mathcal{U}</math> 的子集  <math>A</math> 和 <math>B</math>，下列恒等式成立：
:支配律：
::* <math>A \cup \mathcal{U}  =  \mathcal{U}</math>
::* <math>A \cap \varnothing   =  \varnothing </math>

如前所述，命题 3 里的每条定律都可以从命题 1 和命题 2 的五组基本定律推导出来。作为说明，下面给出并集的幂等律的证明。

''证明：''
{| cellpadding="2"
|-
|       <math>A \cup  A</math> || <math>= ( A \cup  A) \cap \mathcal{U}</math> ||  ||交集的同一律
|-
|   ||<math>= ( A \cup  A) \cap ( A \cup  A^c)</math> ||  ||并集的补集律
|-
|   ||<math>=  A \cup ( A \cap  A^c)</math> ||  ||并集对交集的分配律
|-
|   ||<math>=  A \cup \varnothing</math>  ||  ||交集的补集律
|-
|   ||<math>=  A</math> ||  ||并集的同一律
|}

下列证明说明，上述证明的对偶是对并集的幂等律的对偶，即交集的幂等律的证明。

''证明：''
{| cellpadding="2"
|-
|       <math>A \cap  A</math> ||<math> = ( A \cap  A) \cup \varnothing</math>  ||  ||并集的同一律
|-
|   ||<math>= ( A\cap  A) \cup ( A \cap  A^c)</math> ||  ||交集的补集律
|-
|   ||<math>=  A \cap ( A \cup  A^c)</math> ||  ||交集对并集的分配律
|-
|   ||<math>=  A \cap \mathcal{U}</math> ||  ||并集的补集律
|-
|   ||<math>=  A</math> ||  ||交集的同一律
|}

== 更多关于补集的定律 ==

下列命题给出五条关于补集的重要定律。

'''命题 4'''：设 <math>A</math> 和 <math>B</math> 为全集 <math>\mathcal{U}</math>  的子集，则：
:[[德·摩根律]]：
::*<math>(A \cup B)^c  =  A^c \cap B^c</math>
::*<math>(A \cap B)^c  =  A^c \cup B^c</math>
:重补集或对合律：
::*<math>(A^c)^c  =  A</math>
:全集和空集的补集律：
::*<math>\varnothing ^c  =  \mathcal{U} </math>
::*<math>\mathcal{U} ^c  =  \varnothing </math>

注意，重补集律是自对偶的。

下一个命题也是自对偶的，说明集合的补集是唯一满足补集律的集合。也就是说，互补的特征通过补集律体现。

'''命题 5'''：设 <math>A</math> 和 <math>B</math> 为全集 <math>\mathcal{U}</math>  的子集，则：
:补集的唯一性：
::*若 <math>A \cup B  =  \mathcal{U}</math>  且 <math>A \cap B  =  \varnothing</math>  则 <math>B = A^c</math>。

== 包含的代数 ==

下列命题说明包含是种[[偏序关系]]。

'''命题 6'''：若  <math>A, B, C</math> 为集合，则下述成立：

:[[自反性]]：
::* <math>A \subseteq   A</math>

:[[反对称性]]:
::* <math>A \subseteq   B</math> 且  <math>B \subseteq   A</math>，当且仅当  <math>A =  B</math>

:[[传递性]]:
::*若  <math>A \subseteq   B</math> 且  <math>B \subseteq   C</math>，则  <math>A \subseteq   C</math>

下列命题说明对任意集合 <math>S</math>，<math>S</math> 的[[幂集]]按照包含来排列是个[[有界格]]；因此，结合上述的分配律和补集律，它是一个[[布尔代数]]。

'''命题 7'''：若  <math>A, B, C</math> 是集合 <math>S</math> 的子集，则下述成立：

:存在[[最小元]]和[[最大元]]：
::*<math>\varnothing   \subseteq   A \subseteq  S</math>

:存在[[并运算]]:
::* <math>A \subseteq   A \cup  B</math>
::*若  <math>A \subseteq   C</math> 且  <math>B \subseteq   C</math> 则  <math>A \cup  B \subseteq   C</math>

:存在[[交运算]]:
::* <math>A \cap  B \subseteq   A</math>
::*若 <math> C \subseteq   A</math> 且  <math>C \subseteq   B</math> 则  <math>C \subseteq   A \cap  B</math>

下列命题说明，" <math>A \subseteq   B</math> " 与各种采用并集、交集、补集的表示方法等价。

'''命题 8'''：对任意两个集合  <math>A</math> 和  <math>B</math>，下述等价：
:* <math>A \subseteq   B</math>
:* <math>A \cap  B  =   A</math>
:* <math>A \cup  B  =   B</math>
:* <math>A -  B  =  \varnothing </math>
:* <math>B^c \subseteq   A^c</math>

上述命题说明，集合的包含关系可以采用并集运算或交集运算来表示，即包含关系在公理体系中是多余的。

== 相对补集的代数 ==

下列命题给出一些关于[[补集|相对补集]]或集合论差的恒等式。

'''命题 9'''：对任意全集  <math>\mathcal{U}</math> 和  <math>\mathcal{U}</math> 的子集 <math>A</math>，<math>B</math>，<math>C</math>，下列恒等式成立：
:*<math>C - (A \cap B)  =  (C - A) \cup (C - B)</math>
:*<math>C - (A \cup B)  =  (C - A) \cap (C - B)</math>
:*<math>C - (B - A)  =  (A \cap C) \cup (C - B)</math>
:*<math>(B - A) \cap C  =  (B \cap C) - A  =  B \cap (C - A)</math>
:*<math>(B - A) \cup C  =  (B \cup C) - (A - C)</math>
:*<math>A - A  =  \varnothing </math>
:*<math>\varnothing  - A  =  \varnothing </math>
:*<math>A - \varnothing   =  A</math>
:*<math>B - A  =  A^c \cap B</math>
:*<math>(B - A)^c  =  A \cup B^c</math>
:*<math> \mathcal{U} - A  =  A^c</math>
:*<math>A -  \mathcal{U}  =  \varnothing </math>

==常用代数结构==
===半环===
若集类<math>S</math>满足：
#对交运算封闭：<math>\forall E,F\in S</math>，则 <math>E\cap F\in S</math>；
#<math>\forall E,F\in S</math>，若<math>E\subseteq F</math>，则存在<math>C^{0},C^{1}, \ldots ,C^{n}\in S</math>，使得<math>E\subseteq C^{0}\subseteq C^{1}\subseteq \ldots \subseteq C^{n}\subseteq F</math>，且<math>\forall 0\leq i\leq n,C^{i}-C^{i-1}\in S</math>；（即<math>E</math>可以通过和<math>S</math>中一些集合的无交并得到<math>F</math>）。
则<math>S</math>构成一个'''[[半环]]'''。

===格===
若集类<math>S</math>满足：
#空集属于<math>S</math>；
#对交运算封闭：<math>\forall E,F\in S</math>，则<math>E\cap F\in S</math>；
#对并运算封闭：<math>\forall E,F\in S</math>，则<math>E\cup F\in S</math>；
则<math>S</math>构成一个'''[[格 (数学)|格]]'''。

===环，代数===
非空集类S，若：
*S对集合的并和差运算封闭，即：<math>\forall E,F\in S \implies  E\cup F\in S,E-F\in S</math>；
*S对集合的交和对称差运算封闭，即：<math>\forall E,F\in S \implies  E\cap F\in S,E\triangle F\in S</math>；
*S对集合的交，差以及无交并运算封闭。
当且仅当<math>S</math>满足以上几个条件中任何一个时，<math>S</math>构成一个'''[[环 (代数)|环]]'''，此时<math>S</math>被称为一个'''集环'''。

若集环<math>S</math>还满足：
*<math>\exists X\in S</math>，使得<math>\forall E\in S</math>，有<math>E\subseteq X</math>。（即<math>S</math>中的所有集合的全集<math>X</math>也在<math>S</math>中）
则<math>S</math>是<math>X</math>上的[[代数]]，称为X'''上的集代数'''。

*从代数角度来看，集环（集代数）<math>S</math>以<math>\cap</math> 为乘法，<math>\triangle</math> 为加法；以空集为零元，并且由于乘法满足幂等律，<math>\forall E\in S,E\cap E=E\cdot E=E</math>，因此<math>S</math>还是[[布尔环]]（[[布尔代数]]）。
*设<math>S</math>为一非空集类，可以知道，必存在唯一的集环R，使得<math>S\subseteq R</math>，且<math>\forall</math> 集环<math>R'</math>使得<math>S\subseteq R'</math>有<math>R\subseteq R'</math>，则<math>R</math>称为包含<math>S</math>的'''最小集环'''或由'''<math>S</math>生成的集环'''。

===<math>\sigma</math> 环，<math>\sigma</math> 代数===
设<math>S</math>是集环（集代数），若<math>S</math>对可列并运算封闭，则称<math>S</math>为一个'''[[σ环]]'''（'''[[σ代数]]'''）。

== 参考 ==
*[[集合 (数学)|集合]]
*[[朴素集合论]]
*[[公理集合论]]

[[Category:集合論基本概念|J]]
[[Category:代数逻辑|J]]