集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。
集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质,也有助于实际应用。
像普通算术的表达和计算一样,集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。
在算术研究方面,是通过初等代数来研究算术的运算和关系的。
例如:加法和乘法运算遵循人们看时候带吃熟知的交换律、结合律和分配律;而"小于等于"关系满足自反性、反对称性和传递性。
这些规律提供了简化计算的工具,并描述了算术的本质、运算和关系。
集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集,和集合论关系如等于、包含等的代数:本文主要介绍这些内容。对集合的基本介绍请参见集合,更详尽的内容请参见朴素集合论。
集合上的基本结构[编辑]
集合上通常自然定义的结构包括:
- 二元关系
-
- 包含(
):
当且仅当
;
- 真包含(
):
当且仅当
且
;
- 二元运算
-
- 交(
):
定义为
且
;
- 并(
):
定义为
或
;
- 差(
):
定义为
且
(亦称相对补);
- 对称差(
):
定义为
;
- 补:补运算的前提是存在一个由上下文确定的全集
,其某个子集
对于
的补
定义为
。
- 其它运算
-
- 幂集:
定义为
(A 的幂集是 A 所有子集构成的集合);
- 笛卡尔积:
定义为
(即所有可能的有序对组成的集合);
- 特殊的集合
-
- 空集(
):没有任何元素的集合。
- 全集:这是一个由上下文确定的集合,通常上下文中其它的集合都是它的子集。
这些二元关系和二元运算构成了集合上的基本结构,包括序结构和代数结构。
代数结构[编辑]
代数结构是关于运算的结构。以下是集合间运算的基本性质:
- 交换律
-
![{\displaystyle A\cap B=B\cap A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9192707b022c63da4833c865e2ce5c7ced05860)
![{\displaystyle A\cup B=B\cup A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5fdb5dfc00d1e5850310af370e406c817267287)
![{\displaystyle A\triangle B=B\triangle A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/120e7a41fa75f838d60af2a65e3f8b5041d1fa86)
- 结合律
-
![{\displaystyle (A\cap B)\cap C=A\cap (B\cap C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77add316c4030636d9acb5f11a9d651d2a74a8a1)
![{\displaystyle (A\cup B)\cup C=A\cup (B\cup C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d45d350edbde3ac8cfbd65af4013b5f5bc9559b)
![{\displaystyle (A\triangle B)\triangle C=A\triangle (B\triangle C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfa320873c5be49e85880b8441db814a42b3fe44)
- 分配律
-
![{\displaystyle (A\cap B)\cup C=(A\cup C)\cap (B\cup C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7d8fe8892c74e04f8bc8b7e82379ee168902133)
![{\displaystyle (A\cup B)\cap C=(A\cap C)\cup (B\cap C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d10919cb5277c9a7f31d51c4fec3b4910c7d32a)
![{\displaystyle (A-B)\cap C=(A\cap C)-(B\cap C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0807621541c402afc88a79cdf3892378330227cb)
![{\displaystyle (A\triangle B)\cap C=(A\cap C)\triangle (B\cap C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21e68a37450b8539f059fc791f83c74f9b5ae0bf)
- 幂等律
-
![{\displaystyle A\cup A=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44ea1c5050f5f3330d56565bff328f42a819e9f8)
![{\displaystyle A\cap A=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1aed554bbe8370230d848e7d1900dccb87b972e)
- 幺元
-
(
是
运算的幺元)
(
是
运算的幺元)
(
是
运算的右幺元)
- 零元
-
(
是
运算的零元)
(
是
运算的左零元)
- 幂幺律
-
![{\displaystyle A\triangle A=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/130faf128cb1e9270b1f607771401d93fb4f5907)
- 德·摩根律
-
;
;
(这条是第一条的补集形式)
(这条是第二条的补集形式)
- 吸收律
-
![{\displaystyle A\cup (A\cap B)=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0dae78850c5e93789cea0dc6796f98e748ef69f)
![{\displaystyle A\cap (A\cup B)=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da2cf46f728500a3dd203690e54bc0b021a32047)
序结构[编辑]
- 包含关系“
”有如下性质:
-
- 自反性:
;(任何集合都是其本身的子集)
- 反对称性:
且
;(这是证明两集合相等的常用手段之一)
- 传递性:
且
;
- 是集合间的一个非严格偏序关系。
- 真包含关系“
”有如下性质:
-
- 反自反性:
不成立;
- 非对称性:
不成立;反之亦然;
- 传递性:
且
;
- 是集合间的一个严格偏序关系。
包含和真包含关系定义了集合间的一个偏序关系。在该偏序关系的意义下两者等价,通常不失一般性地将该偏序关系指为
。该偏序关系还有如下的结构:
- 上确界运算:
![{\displaystyle \cup }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8ff7d0293ad19b43524a133ae5129f3d71f2040)
-
![{\displaystyle A\subseteq C,B\subseteq C\implies A\cup B\subseteq C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6b65a3b80d829401e93f092fb02e904b1267720)
![{\displaystyle A\subseteq A\cup B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcf7730ac2d5e58ce8fb4ded84055998a1ac6d89)
- 下确界运算:
![{\displaystyle \cap }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d4e886e6f5a28a33e073fb108440c152ecfe2d3)
-
![{\displaystyle C\subseteq A,C\subseteq B\implies C\subseteq A\cap B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65a5920d12e90af57707bd4222c91396c6b8bef2)
![{\displaystyle A\cap B\subseteq A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7bd25ce29ca352002ab4f7e70da86f7221ef33e)
- 最小元(底):
![{\displaystyle \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/00595c5e33692e724937fdcc8870496acce1ac74)
-
(
是任何集合的子集)
集合上结构的最小定义[编辑]
显然,上面的所有结果并不是独立的,大部分结果都可以从一个很小的结构推导出来。
比如很容易知道:
- 对称差可以用并和差来定义。
- 补可以用差来定义。
- 真包含关系可以用包含关系来定义。
- 包含关系可以用并,交,差之一来定义,这是因为
等价于以下任一命题:
![{\displaystyle A\cup B=B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb61f2348c407083f1d6a215173298bc13b5824a)
![{\displaystyle A\cap B=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6cd897334b251544a95c9f7d226eeabba68c100)
![{\displaystyle A-B=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/24da4fae72f6d05c5b4db3b89a19bc5286e3ed16)
因此我们完全可以用并,交,差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质。
当然这个“最小结构”的选择并不唯一,可以根据需要选择适当的方式。
下一个命题包含三种特殊集合:空集、全集、集合的补集,给出关于它们的两组规律。
命题 2:对全集
的任意子集
,下列恒等式成立:
- 同一性:
![{\displaystyle A\cup \varnothing =A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fc75e355940ce952b6fdcf9146a88bebcb59f23)
![{\displaystyle A\cap {\mathcal {U}}=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ab16f92b92d8f0028e6f7d67ff418881ea946dd)
- 补集律:
![{\displaystyle A\cup A^{c}={\mathcal {U}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f65d4473bc544f8c1fb5ee78b59cf722a018ddf4)
![{\displaystyle A\cap A^{c}=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/27c8e1b4ad304da0a36056d8abdcc47ae2301f99)
同一性(结合交换律)说明,就像 0 和 1 分別是加法和乘法的单位元,
和
也分別是并集和交集的单位元。
跟加法和乘法不同,并集和交集没有逆元。然而,补集律给出了类似逆运算的一元运算,集合的补集的基本性质。
上述五组性质:交换律、结合律、分配律、同一性和补集律,可以说包含了集合代数的所有内容,可以认为集合代数中所有正确的命题都是从它们得到的。
对偶性原理[编辑]
上述命题有一个有趣的形式,就是每一组恒等式都是成对出现的。将 ∪ 和 ∩,或者 Ø 和 U 相互交换,一个恒等式就变成了相应的另一个。
这是集合代数的一个非常重要的性质,称作集合的对偶性原理。它对集合的所有真命题都有效。真命题通过相互交换 ∪ 和 ∩,Ø 和 U,改变包含符号的方向得到的对偶命题也是真的。若一个命题和其对偶命题相同,则称其为自对偶的。
更多关于并集和交集的定律[编辑]
下列命题给出六条关于并集和交集的重要定律。
命题 3:对任意全集
的子集
和
,下列恒等式成立:
- 支配律:
![{\displaystyle A\cup {\mathcal {U}}={\mathcal {U}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45d26f7bb6d83c8630e028f3db876da83dde0673)
![{\displaystyle A\cap \varnothing =\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ffa61a78743addd6131fd3be42df3303418352f)
如前所述,命题 3 里的每条定律都可以从命题 1 和命题 2 的五组基本定律推导出来。作为说明,下面给出并集的幂等律的证明。
证明:
![{\displaystyle A\cup A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd0f7aee503c578c4289dab25b88d138571bffa1) |
![{\displaystyle =(A\cup A)\cap {\mathcal {U}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d643ffae6086fbdd03ab4babc9716d0863b248) |
|
交集的同一律
|
|
![{\displaystyle =(A\cup A)\cap (A\cup A^{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6b3a2075d957f30b59ffb89c8e4b5a22d8cfe4d) |
|
并集的补集律
|
|
![{\displaystyle =A\cup (A\cap A^{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73d17e5b0cf4b30912fd8b9d169c9b8335aa3791) |
|
并集对交集的分配律
|
|
![{\displaystyle =A\cup \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3d0f0645767ebc90f8d8d3e3ed7682e877a5d9c) |
|
交集的补集律
|
|
![{\displaystyle =A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fe1b7925c8fe118c02e8376a6196de45d74e6de) |
|
并集的同一律
|
下列证明说明,上述证明的对偶是对并集的幂等律的对偶,即交集的幂等律的证明。
证明:
![{\displaystyle A\cap A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e36c4ba90727382a5477f9b7186f44b00c5a0593) |
![{\displaystyle =(A\cap A)\cup \varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f56ea3e741f903d516e5a86096a7fde88deb211c) |
|
并集的同一律
|
|
![{\displaystyle =(A\cap A)\cup (A\cap A^{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c888e24f865b2475010683f024b9f6d57818d374) |
|
交集的补集律
|
|
![{\displaystyle =A\cap (A\cup A^{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbc69f358f9c6a82909d71f995f1c21c8d8977cb) |
|
交集对并集的分配律
|
|
![{\displaystyle =A\cap {\mathcal {U}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c725a0b0b20ae333e9d93e420d2bdc576aa97e2) |
|
并集的补集律
|
|
![{\displaystyle =A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fe1b7925c8fe118c02e8376a6196de45d74e6de) |
|
交集的同一律
|
更多关于补集的定律[编辑]
下列命题给出五条关于补集的重要定律。
命题 4:设
和
为全集
的子集,则:
- 德·摩根律:
![{\displaystyle (A\cup B)^{c}=A^{c}\cap B^{c}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/531b94f9c1e7930c6217d246705b50734333dee2)
![{\displaystyle (A\cap B)^{c}=A^{c}\cup B^{c}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d72c214bafdab9ee788629cd2356c3081679326)
- 重补集或对合律:
![{\displaystyle (A^{c})^{c}=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbf3019febc04290e554b59a0c3414a2194884fd)
- 全集和空集的补集律:
![{\displaystyle \varnothing ^{c}={\mathcal {U}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26a12441d6ca4b8a45307d2a0ccc3e18841dafa6)
![{\displaystyle {\mathcal {U}}^{c}=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c9ce194f228789b5cc62370b02b76037de1efe6)
注意,重补集律是自对偶的。
下一个命题也是自对偶的,说明集合的补集是唯一满足补集律的集合。也就是说,互补的特征通过补集律体现。
命题 5:设
和
为全集
的子集,则:
- 补集的唯一性:
- 若
且
则
。
包含的代数[编辑]
下列命题说明包含是种偏序关系。
命题 6:若
为集合,则下述成立:
- 自反性:
![{\displaystyle A\subseteq A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1ce5093be9e30238b83393aed738eafd3a43030)
- 反对称性:
且
,当且仅当 ![{\displaystyle A=B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/045cafe35b1e9c9ac889481fd7178d6f59a77fdb)
- 传递性:
- 若
且
,则 ![{\displaystyle A\subseteq C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c52a0a9fb646e916904c85763d980be597191ad2)
下列命题说明对任意集合
,
的幂集按照包含来排列是个有界格;因此,结合上述的分配律和补集律,它是一个布尔代数。
命题 7:若
是集合
的子集,则下述成立:
- 存在最小元和最大元:
![{\displaystyle \varnothing \subseteq A\subseteq S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56d4b5b371d18753c60a3bca7685be52174f2583)
- 存在并运算:
![{\displaystyle A\subseteq A\cup B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcf7730ac2d5e58ce8fb4ded84055998a1ac6d89)
- 若
且
则 ![{\displaystyle A\cup B\subseteq C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cdb1727a9bbdd71e93d93c8ac77260b8ac163c8)
- 存在交运算:
![{\displaystyle A\cap B\subseteq A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7bd25ce29ca352002ab4f7e70da86f7221ef33e)
- 若
且
则 ![{\displaystyle C\subseteq A\cap B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69112de8c5e892fa37c6461132bf0f6eb68abd67)
下列命题说明,"
" 与各种采用并集、交集、补集的表示方法等价。
命题 8:对任意两个集合
和
,下述等价:
![{\displaystyle A\subseteq B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b09068bd2f7ba899aeb883ebe670b2ad07b0c851)
![{\displaystyle A\cap B=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6cd897334b251544a95c9f7d226eeabba68c100)
![{\displaystyle A\cup B=B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb61f2348c407083f1d6a215173298bc13b5824a)
![{\displaystyle A-B=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/24da4fae72f6d05c5b4db3b89a19bc5286e3ed16)
![{\displaystyle B^{c}\subseteq A^{c}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8e77a577c09c4a475faa902c6cced83aef474f5)
上述命题说明,集合的包含关系可以采用并集运算或交集运算来表示,即包含关系在公理体系中是多余的。
相对补集的代数[编辑]
下列命题给出一些关于相对补集或集合论差的恒等式。
命题 9:对任意全集
和
的子集
,
,
,下列恒等式成立:
![{\displaystyle C-(A\cap B)=(C-A)\cup (C-B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da20520b7ca531c3dd901dbad50ff94113b8a859)
![{\displaystyle C-(A\cup B)=(C-A)\cap (C-B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88ab4e6590660978c0a58a5709359623755d76e9)
![{\displaystyle C-(B-A)=(A\cap C)\cup (C-B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cd8e08b52406ac0cf65f0f2269141db874b217f)
![{\displaystyle (B-A)\cap C=(B\cap C)-A=B\cap (C-A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/945aff920f6fb37c367f6449045c6abbfbef2721)
![{\displaystyle (B-A)\cup C=(B\cup C)-(A-C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c51834e479f101e8659fb0d6bcae054d7ac021fe)
![{\displaystyle A-A=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/38e1676c5b9e875574c1338adc25cf318c213661)
![{\displaystyle \varnothing -A=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f5c789a30168ff3aea9fc13455b37eaac829592)
![{\displaystyle A-\varnothing =A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbfda4fa88d7b2365286ed93dccc2e73ba78027f)
![{\displaystyle B-A=A^{c}\cap B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e26501b38bbaad218b188271970f83c8b10bc5a0)
![{\displaystyle (B-A)^{c}=A\cup B^{c}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90da135aa94242e3e8356c08221bd1258610bdeb)
![{\displaystyle {\mathcal {U}}-A=A^{c}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4e5aa048ab9af3fb22977cf4ab31938bb6b8dd4)
![{\displaystyle A-{\mathcal {U}}=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/43f1f2f6abf4bd980e3871a151e73b2da6a33dd2)
常用代数结构[编辑]
若集类
满足:
- 对交运算封闭:
,则
;
,若
,则存在
,使得
,且
;(即
可以通过和
中一些集合的无交并得到
)。
则
构成一个半环。
若集类
满足:
- 空集属于
;
- 对交运算封闭:
,则
;
- 对并运算封闭:
,则
;
则
构成一个格。
环,代数[编辑]
非空集类S,若:
- S对集合的并和差运算封闭,即:
;
- S对集合的交和对称差运算封闭,即:
;
- S对集合的交,差以及无交并运算封闭。
当且仅当
满足以上几个条件中任何一个时,
构成一个环,此时
被称为一个集环。
若集环
还满足:
,使得
,有
。(即
中的所有集合的全集
也在
中)
则
是
上的代数,称为X上的集代数。
- 从代数角度来看,集环(集代数)
以
为乘法,
为加法;以空集为零元,并且由于乘法满足幂等律,
,因此
还是布尔环(布尔代数)。
- 设
为一非空集类,可以知道,必存在唯一的集环R,使得
,且
集环
使得
有
,则
称为包含
的最小集环或由
生成的集环。
环,
代数[编辑]
设
是集环(集代数),若
对可列并运算封闭,则称
为一个σ环(σ代数)。