集合代數發展並描述了集合的基本性質和規律,集合論運算,如併集、交集、補集,以及集合的關係,如等於、包含。這門學科系統研究如何來表達和進行上述的運算和關係的操作。
集合代數是研究集合運算和集合關係的基本性質的學科。研究這些性質可以深入探究集合的本質,也有助於實際應用。
像普通算術的表達和計算一樣,集合的表達和計算可能相當複雜。通過系統研究將有助於熟練使用和理解這些表達方式並進行計算。
在算術研究方面,是通過初等代數來研究算術的運算和關係的。
例如:加法和乘法運算遵循人們看時候帶吃熟知的交換律、結合律和分配律;而"小於等於"關係滿足自反性、反對稱性和遞移性。
這些規律提供了簡化計算的工具,並描述了算術的本質、運算和關係。
集合代數相當於集合論中的算術代數。它是關於集合論運算如交集、併集、補集,和集合論關係如等於、包含等的代數:本文主要介紹這些內容。對集合的基本介紹請參見集合,更詳盡的內容請參見樸素集合論。
集合上的基本結構[編輯]
集合上通常自然定義的結構包括:
- 二元關係
-
- 包含(
):
當且僅當
;
- 真包含(
):
當且僅當
且
;
- 二元運算
-
- 交(
):
定義為
且
;
- 並(
):
定義為
或
;
- 差(
):
定義為
且
(亦稱相對補);
- 對稱差(
):
定義為
;
- 補:補運算的前提是存在一個由上下文確定的全集
,其某個子集
對於
的補
定義為
。
- 其它運算
-
- 冪集:
定義為
(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,使得
,且
集環
使得
有
,則
稱為包含
的最小集環或由
生成的集環。
環,
代數[編輯]
設
是集環(集代數),若
對可列並運算封閉,則稱
為一個σ環(σ代數)。