在集合論和數學的其他分支中,存在差集的兩種定義:相對差集(差集)和絕對差集(補集)。
相對差集[編輯]
差集
若
和
是集合,則
在
中的相對差集(簡稱差集)是由所有屬於
但不屬於
的元素組成的集合。
在
中的差集記為
或
。
形式上:
![{\displaystyle B\setminus A=\{x\in B\mid x\not \in A\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f3daa701e949f3d81729d011aad442f6d26119c)
例如:
![{\displaystyle \{1,2,3\}\setminus \{2,3,4\}=\{1\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3804c51bf7a8345352906cedde09d2bc59e226ea)
![{\displaystyle \{2,3,4\}\setminus \{1,2,3\}=\{4\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba60c7cfb82fcc11a6a85a4856aa917d8cb3075d)
- 若
是實數集合,
是有理數集合,則
為無理數集合。
下列命題給出一些差集同併集和交集等集合論運算相關的一些常用性質。
命題1:若
是集合,則下列等式恆成立:
![{\displaystyle C\setminus (A\cap B)=(C\setminus A)\cup (C\setminus B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62256681e906daba7376fb07b3ce0d060ee66777)
![{\displaystyle C\setminus (A\cup B)=(C\setminus A)\cap (C\setminus B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9645ff17cf12f478ebd4eeb16087a867b2ea9622)
![{\displaystyle C\setminus (B\setminus A)=(A\cap C)\cup (C\setminus B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb1e4c66153acc88f4b2a3398ddcfd5058ec5404)
![{\displaystyle (B\setminus A)\cap C=(B\cap C)\setminus A=B\cap (C\setminus A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69913a4fc3629d6073e0f9daafa3d187dfc14225)
![{\displaystyle (B\setminus A)\cup C=(B\cup C)\setminus (A\setminus C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da7f714f1b2afeedc674e0633feb88bc3026c9d2)
![{\displaystyle A\setminus A=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df2522c387694b6da6b63c14b8f39b71c9f1f2f2)
![{\displaystyle \varnothing \setminus A=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0982092cb13788532476737a7c4dfad5a7896c0)
![{\displaystyle A\setminus \varnothing =A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f215ced970c31fc4143d0521af163dc85af379d)
絕對差集[編輯]
補集
若給定全集
,則
在
中的差集稱為
的絕對差集(又稱為補集),記為
,即:
![{\displaystyle A^{\complement }=U\setminus A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e8acbd18bc38888a5fa11cc60d840879af5e200)
(注意:根據ISO與中華人民共和國國家標準,
中子集
的補集記作
。)
例如,若全集為自然數集合,則奇數集合的補集為偶數集合。
下列命題給出一些補集同併集和交集等集合論運算相關的一些重要性質。
命題2:若
和
是全集
的子集,則下列恆等式成立:
- 德摩根定律:
![{\displaystyle (A\cup B)^{\complement }=A^{\complement }\cap B^{\complement }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67ee8f8573dcd4ea9154e7748d21af057d739e9e)
![{\displaystyle (A\cap B)^{\complement }=A^{\complement }\cup B^{\complement }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f95470d591c8f7e36df94ef1803815bb4b4d98a3)
- 補集律:
![{\displaystyle A\cup A^{\complement }=U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc1c4a8b744774e886ed39dfa9dcaef6553c8bcb)
![{\displaystyle A\cap A^{\complement }=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccbe3ff2f0f20220ff2a3c1cd8cc43cdc2ee5178)
![{\displaystyle \varnothing ^{\complement }=U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13485128a746ac51ea39891fb4ecb562a2230d99)
![{\displaystyle U^{\complement }=\varnothing }](https://wikimedia.org/api/rest_v1/media/math/render/svg/86deb59fa7c5e8e0c26c75a20c351d708dfbd894)
- 對合:
![{\displaystyle (A^{\complement })^{\complement }=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71b8e8141805389e4b1a421611ee13e8739b4663)
- 差集和補集的關係:
![{\displaystyle A\setminus B=A\cap B^{\complement }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dfd7b75dcdc2a648834263647b80977a2e6dc12)
![{\displaystyle (A\setminus B)^{\complement }=A^{\complement }\cup B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c7e3ed33004f60ba639136d537cbc3e34438fdc)
上述表明,若
為
的非空子集,則
是
的一個分割。
補集的符號[編輯]
補集的符號在Unicode中為數學運算符區段中的「∁」(Unicode:U+2201)。
參考文獻[編輯]