集合的基本概念
集合的元素
屬於\(\in\)
空集\(\varnothing\) 全集
有限集 、無限集
集合的元素數(基數):特別的:| \(\varnothing\) |=0,|{\(\varnothing\)}|=1
集合的特徵:確定性、互異性、無序性、多樣性
集合相等:兩個集合A和B的元素完全一樣
子集(subset) :設A,B是兩個集合,若A的元素都是B的元素,則稱A是B的子集,也稱B包含A,或A包含於B記以A \(\subseteq\)B
若A\(\subseteq\)B,且A\(\ne\)B,則稱A是B的真子集(proper subset),也稱B真包含A,或A真包含於B,記以A\(\subset\)B
集合的運算及性質:
並集(Union):
![離散數學(集合論)](https://i.iter01.com/images/3eba9c31a8a62eb70ae2338e4e930b95f3e5231bed910ee3af795804cc85b51c.jpg)
![離散數學(集合論)](https://i.iter01.com/images/c403d35c1bf615188de6678373d273f2142626db29e6103c7a1aa8363d2320f7.jpg)
交集(Intersection):
![離散數學(集合論)](https://i.iter01.com/images/01897dde26b711d58733401133acff35c0fe033d9b1b8307b50c8f94236487a3.jpg)
![離散數學(集合論)](https://i.iter01.com/images/457415ee944ac4b97cb2cff1feab273d939cf6a5b24e344fba43f372b32cbf18.jpg)
差集(Difference):
![離散數學(集合論)](https://i.iter01.com/images/7d6af5721d7eae202f9c4a49a2e7b03242969b6c13a540878eb6e67ad6dc8ad3.jpg)
![離散數學(集合論)](https://i.iter01.com/images/3ffa2593a58f4c1bbf75adcbfe43d1ffd62acba2d5dfb645742fa7cbf7edd40c.jpg)
餘集(Complement):
![離散數學(集合論)](https://i.iter01.com/images/f758215a0e7af2180fcf2c39b1e4de00f5373b3aee8a3732667e5fa16662c13b.jpg)
![離散數學(集合論)](https://i.iter01.com/images/69d903a30797a46f3cc54d334d66174939dbab02696b04dd8aa4e6dc20f91d2b.jpg)
環和(對稱差):
![離散數學(集合論)](https://i.iter01.com/images/c37c59c66c0ddd533e3514cbeab3f4a0b0ce9e9cd8a42d7842c883f87c8f4a65.jpg)
![離散數學(集合論)](https://i.iter01.com/images/aba1ef712ee324bbb52bddf0f7051253e1ed2a178741247d5cc18c6584292bdc.jpg)
![離散數學(集合論)](https://i.iter01.com/images/c24dfe2bb0c1d36d9dc6f54306a73a13a10e54c2059c12615fb00b6e9eb8412a.jpg)
環積:
![離散數學(集合論)](https://i.iter01.com/images/7997fc103a5b35f425ea7f9d555d6ced265744346ccc7bbb38081cd540e0e1f5.jpg)
![離散數學(集合論)](https://i.iter01.com/images/9bedef4c63aa20d3cad264639fbedd8f092d242d4f955dbc1250be6e08c5e4fb.jpg)
![離散數學(集合論)](https://i.iter01.com/images/c185df4f569a79cada7a9bd0672897fe967e1846521f7a1841f26dd4d5909c38.jpg)
集合的算律:
![離散數學(集合論)](https://i.iter01.com/images/7ec9eada87df9dbd882dfe76fa6caf6b773fbb6beaa5b57aad261f1e2feb5aab.jpg)
![離散數學(集合論)](https://i.iter01.com/images/57eb4962298f07bf5c861ec17b6ff577feaa6e3fa11b2c7585072ce1181f81f7.jpg)
集合的證明題:
![離散數學(集合論)](https://i.iter01.com/images/c171e1242a98763bf08f3103ce0a6cd4daffe2bb7829d69fb244c80bea4ab6f3.jpg)
![離散數學(集合論)](https://i.iter01.com/images/3dbbbcdcb9b12d5193e14623a4a37a71a75e2fd5f81a356c8ea40308858c3f80.jpg)
集合的冪與笛卡爾積:
冪集的性質:
2.
![離散數學(集合論)](https://i.iter01.com/images/8cfc82e22582ecba4afad61ba306c676b3d52b868ef7258a126c4b434eea017a.jpg)
3.
![離散數學(集合論)](https://i.iter01.com/images/85e0ada28eb5a7abdc8f20bc76a099abcd1b883d0f659630fbd0580e0f559e72.jpg)
有序n元組(ordered n-tuple):(a1,a2 ,… ,an)
有序對(ordered pairs):當n=2 時,將其稱作有序對,也稱作序偶,或有序二元組
有序對特點:
- 若a\(\ne\)b,則(a,b)\(\ne\)(b,a)
- 兩個有序對(a,b)和(c,d)相等當且僅當a=c,b=d
笛卡兒積(Cartesian product):
![離散數學(集合論)](https://i.iter01.com/images/f97739911c1ec780269f90b16e3dd5b15a8686430d880d97e217cacfb9b551e0.jpg)
笛卡兒積的性質:
-
|A\(\times\)B|=|A| \(\times\)|B|;
-
對任意集合A,有A\(\times\)\(\varnothing\)=\(\varnothing\),\(\varnothing\)\(\times\)A=\(\varnothing\);
-
笛卡兒積運算不滿足交換律,即A\(\times\)B\(\ne\)B\(\times\)A;
-
笛卡兒積運算不滿足結合律,即(A\(\times\)B)\(\times\)C\(\ne\)A\(\times\)(B\(\times\)C)
-
笛卡兒積運算對並和交運算滿足分配律
-
設A,B,C,D是集合,若A\(\subseteq\)C且B\(\subseteq\)D,則A\(\times\)B \(\subseteq\) C\(\times\)D。
證明集合的包含關係的常用方法:
- 利用定義:首先任取x\(\in\)A,再演繹地證出x\(\in\)B成立
- 設法找到一個集合T,滿足A\(\subseteq\)T且T\(\subseteq\)B,由包含關係的傳遞性有A\(\subseteq\)B.
- 利用A\(\subseteq\)B的等價定義,即A\(\cup\)B=B,A\(\cap\)B=A或A-B=\(\varnothing\)來證.
- 利用已知包含式的並、交等運算得到新的包含式
- 反證法
證明集合相等的常用方法:
-
若A,B 是有限集,證明A=B可通過逐一比較兩集合所有元素均一一對應相等,若A,B 是無限集,通過證明集合包含關係的方法證A \(\subseteq\) B,B \(\subseteq\) A即可
-
反證法
-
利用集合的基本算律以及已證明的集合等式,通過相等變換將待證明的等式左(右)邊的集合化到右(左)邊的集合,或者兩邊同時相等變換到同一集合
關係
非空集合中的空關係是反自反的、對稱的、反對稱的和傳遞的,但不是自反的;
空集合中的空關係則是自反的、反自反的、對稱的、反對稱的和傳遞的。
關係的定義:xRy
關係的特點:
-
A\(\times\)A的任一子集都是A上的一個關係
-
若|A|=n,則A上的關係有\(2^{\mathrm{n}^2}\)個
-
A上有三個特殊關係,即
空關係\(\varnothing\);
全域關係EA=A\(\times\)A;
相等關係IA={(x,x)|x\(\in\)A}
關係的表示:
-
集合表示:
設A={1,2,3,4}, A上的關係R={(1,1),(1,2),(1,3),(2,1),(2,2)}
-
關係矩陣
-
關係圖:
關係作為集合的運算:
- 關係的交:R ∩ S={(x,y)|x\(\in\)A, y\(\in\)A,xRy且xSy}
- 關係的並:R∪ S={(x,y)| x\(\in\)A, y\(\in\)A ,xRy或xSy}
- 關係的差:R - S={(x,y)| x\(\in\)A, y\(\in\)A ,xRy並且xS/y}
逆關係:R-1 ={(y, x)|x\(\in\)A, y\(\in\)A, 並且有xRy}
關係的乘積:稱關係R•S為關係R和S的乘積或合成
關係的乘法的結論:
- 關係的乘法不滿足交換律
- 關係的乘法滿足結合律
![離散數學(集合論)](https://i.iter01.com/images/bf84f55f85af8fe984e39f80e3f278ae794cb6da53fb17bbf6e342cb8cf6863e.jpg)
關係的冪
![離散數學(集合論)](https://i.iter01.com/images/80db7cc23016770e975df25d41ffe673a6aa973abc0b1a30f6b38cec2853af24.jpg)
定理1.2.1 :
- \(\mathrm{R}^{\mathrm{m}}\cdot \mathrm{R}^{\mathrm{n}}=\mathrm{R}^{\mathrm{m}+\mathrm{n}}\)
- \(\left( \mathrm{R}^{\mathrm{m}} \right) ^{\mathrm{n}}=\mathrm{R}^{\mathrm{mn}}\)
定理1.2.3:
![離散數學(集合論)](https://i.iter01.com/images/5b2dce65d358b0121fc4b9f143168870b4e5ae99c29f5eeca0e6c4dd8d2a9a2c.jpg)
幾種特殊關係及特點:
-
自反關係:
-
反自反關係
![離散數學(集合論)](https://i.iter01.com/images/d5aff26273bc97bc7e08aec64b68af7150aa8d48ea3ef8721253d3efcec0981e.jpg)
-
對稱關係
-
反對稱關係
-
傳遞關係
定理1.2.4 :集合A上的關係R具有傳遞性的充要條件是\(\mathrm{R}^2\subseteq \mathrm{R}\)
常用結論:
集合A上的關係是對稱的,反對稱的,試指明關係R的結構——\(\mathrm{I}_{\mathrm{A}}\)的任意子集
集合A有n個元素,則A上有多少個即具有對稱性又具有反對稱性的關係? \(2^{\mathrm{n}}\)(取對角線元素)
關係的性質總結:
![離散數學(集合論)](https://i.iter01.com/images/60c345396b5cc6d442ffbe9c70da978b64f6722de683e69820abea2a1cf66808.jpg)
關係的閉包:R 的自反閉包、對稱閉包和傳遞閉包分別記為r(R),s(R),t(R) ,也稱r, s,t為閉包運算,它們作用於關係R後,產生包含R的最小的自反、對稱、傳遞的關係。
![離散數學(集合論)](https://i.iter01.com/images/f77fb019c18b5410dc8585411c8481aa126f0655986e25d5d0bf1a11df4d8771.jpg)
等價關係:如果R具有自反性,對稱性,傳遞性,則稱R是一個等價關係
等價類
![離散數學(集合論)](https://i.iter01.com/images/d13beae16f9ae25b51675c6668d350c72de6ed4e7bbd9d0df55a515b4d464f1d.jpg)
定理1.2.7:
![離散數學(集合論)](https://i.iter01.com/images/1d2f8c7b7065ac456e8cbb2b5ff8936c6dc1f304a446fc261f1cc78b70183150.jpg)
劃分:
![離散數學(集合論)](https://i.iter01.com/images/89445fda873ad24eed2063e720f5f612ad0f9e1a455753c49f3ae9aa8d795ed8.jpg)
商集:設R是非空集合A上的等價關係,以R的所有不同等價類為元素作成的集合稱為A關於R的商集,簡稱A的商集,記作A/R
![離散數學(集合論)](https://i.iter01.com/images/6080938181a27dcad05730ae6f8bfdb9f4078d871daa701f7a78f9a9f9ca6c9c.jpg)
![離散數學(集合論)](https://i.iter01.com/images/119e4040f71cc640e1dd1b47d586eb72b721177856e593c80020ca60ab95841c.jpg)
等價關係=>商集:
![離散數學(集合論)](https://i.iter01.com/images/460cf3ac8fe9a49b8c3d5f3ee834306645ad6d7ceb961282e9850c88a98fbda5.jpg)
商集=>等價關係:
![離散數學(集合論)](https://i.iter01.com/images/c0c32388f33807b4d94e49bb7acd7c08b9742c4f21b1ba981adbe0efd2a26c86.jpg)
定理1.2.8 :設A為一個非空集合。
(1)設R為A上的任意一個等價關係,則對應R的商集A/R為A的一個劃分。
(2)設C為A的任一個劃分,令\(\mathrm{R}_{\mathrm{c}}\)={(x,y)|x, y\(\in\)A並且x, y屬於C的同一劃分塊}, 則\(\mathrm{R}_{\mathrm{c}}\)為A上的等價關係
第二類Stirling數 :
將n個不同的球放入r個相同的盒中去,並且要求無空盒,有多少種不同的放法?這裡要求n\(\geqslant\)r。
不同的放球方法數即為將n元集合A分為r塊的不同的劃分數。
(1)特值:
![離散數學(集合論)](https://i.iter01.com/images/75fbfa25ff1e5ce6faddb666b6e076ce21be7f1b7578db87b012582126bcfc34.jpg)
(2)遞推公式:
![離散數學(集合論)](https://i.iter01.com/images/e8994c2b1f765b3a19e062f092fc8ac2d307277aa453b4066a3ed63edfc3077c.jpg)
![離散數學(集合論)](https://i.iter01.com/images/6f5ea409327634bf215a5602c3a8d03e221c41449ebe38cc528eac7132fad261.jpg)
加細:設C和C'都是集合A的劃分,若C的每個劃分塊都包含於C'的某個劃分塊中,則稱C是 C '的加細。
![離散數學(集合論)](https://i.iter01.com/images/6d03d482bcbfab7764085d0f294f4058c101b63f25c13d16362e508021e370f5.jpg)
C是C'的加細當且僅當\(\mathrm{R}_{\mathrm{c}}\)$\subseteq $$\mathrm{R}_{\mathrm{c'}}$
綜合例題:
![離散數學(集合論)](https://i.iter01.com/images/0c781ef866214502b7996a3221d0f0893e5b02b1416f7e041bafe939ba80b2b9.jpg)
![離散數學(集合論)](https://i.iter01.com/images/54eebee8b4fbd801c5a5fcea8de6cb060f9feb6822c54a4cb0fcfee2de3403ac.jpg)
偏序關係:
自反性,反對稱性,傳遞性
偏序集(半序集、部分序集)。記作(A,R)
寫做“≤”
哈斯圖:
![離散數學(集合論)](https://i.iter01.com/images/6572aacf1067eff03c8b4d726f11abb4f62e459c5fb93511fa4c619ace266ebe.jpg)
![離散數學(集合論)](https://i.iter01.com/images/9b4d7d82b9ed5ec3de4c67efc5cd8ef053282d9c46860aaf53f6e4724160561e.jpg)
鏈:
對任意x, y\(\in\)A,如果x≤y,或y≤x,稱x與y可比
一個部分序集的子集,其中任意兩個元素都可比,稱該子集為一條鏈
全序集:一個部分序集(A, ≤)說是一個全序集,如果(A, ≤)本身是一條鏈
![離散數學(集合論)](https://i.iter01.com/images/0bf1a1f4584f5fb1a2e1d24b3f03fa3a5f891f30cf33f7d06464c42caf38bb90.jpg)
擬序關係:
反自反性,反對稱,傳遞性
最大(最小)元 極大(極小)元 :只從給定集合裡找
![離散數學(集合論)](https://i.iter01.com/images/c029053e84b2ff9e68c146033647c461f95a9d5ee28ba4b6925d2f3dc0421b94.jpg)
上(下)界,上(下)確界:從全體裡找
上(下)確界:找所有上(下)界裡距離所求集合最近的上(下)界。
![離散數學(集合論)](https://i.iter01.com/images/38b5d340d9f293927ff4cb095f36388315fa0ca7ec6f92d70973a8ad196b7526.jpg)
上下界未必存在,存在時又未必唯一.
即使有上下界時,最小上界和最大下界也未必存在。
映 射
對映:設A,B是兩個集合,若對A的每個元素a,規定了B的一個確定元素b與之對應,則稱此對應為由A到B內的一個對映
將此對映記為\(\mathrm{\sigma}\),於是對任意a\(\in\)A,若\(\mathrm{\sigma}\)(a)= b,則b表示B中與a對應之元素,b稱為a的映像(image),a稱為b的原像(pre-image)
滿射:設\(\mathrm{\sigma}\)是A到B內的對映,如果B中每一個元素都一定是A中某元素的映像,就稱\(\mathrm{\sigma}\)是A到B上的對映(滿射)
白話:B中所有元素都被箭頭指向。
特別,A到A上的對映,稱為變換
![離散數學(集合論)](https://i.iter01.com/images/ce7414d98464f49b75a16b8b065ab12765d8bd424f3d80ea560d92ffa032cc94.jpg)
單射:設\(\mathrm{\sigma}\)是A到B內的對映,如果對任意a\(\in\)A,b\(\in\)A且a\(\ne\)b,都有\(\mathrm{\sigma}\)(a) \(\ne\)\(\mathrm{\sigma}\)(b),就稱\(\mathrm{\sigma}\)是A到B的單射
白話:B中的元素最多隻能有一個箭頭指向。
![離散數學(集合論)](https://i.iter01.com/images/e22ce4b1b47a7b5afde0dd7be4931152a7b1696fbdd4e05820bec6175a8e8bf1.jpg)
注意:單射未必滿射;滿射未必單射
1-1對映(雙射):既滿射,又單射。
![離散數學(集合論)](https://i.iter01.com/images/437199bf5b26d9b6aefc4559ed2cce44336d0160319dce84aa42440550eda2e8.jpg)
逆對映
![離散數學(集合論)](https://i.iter01.com/images/c16ba100d66940f01da41abdfaedd2fd2d33edc6237a8b75e0c7ddfb51aac4bc.jpg)
對映的乘積:\(\mathrm{\sigma}\cdot \mathrm{\tau}=\mathrm{\tau}*\mathrm{\sigma}\)(運算順序相反)
![離散數學(集合論)](https://i.iter01.com/images/002e088072b82f4a61b19ebb03b460934bbbe1ae06078bd3aa78e9c1c2024e36.jpg)
集合的基數 :有限集合的元素數(勢,濃度)。集合A的基數記為|A|
1-1對映,則稱A與B基數相同,也稱A與B對等(等勢,等濃),記為|A|=|B|
把自然數集合的基數記為\(\aleph _0\)(讀作阿列夫零),於是凡是與自然數集合對等的集合A,其基數|A|=\(\aleph _0\)
若A與B的某一子集有1-1對應關係,則|A|\(\leqslant\)|B|;若A與B的某一子集有1-1對應關係,且A與B不存在1-1對應關係,則|A|<|B|
可數集合:
一個集合,如果它的元素為有限個,或者它與自然數集合之間存在一個1-1對映,則稱此集合為可數集合。否則稱該集合為不可數集合。元素個數不是有限的可數集合稱為可數無窮集合。
定理1.3.2:可數集合的子集仍為可數集合。
定理1.3.3: 設A,B是可數集合,A∩B= \(\varnothing\) ,則A∪B是可數集合
定理1.3.4:設A,B是可數無窮集合,則A\(\times\)B是可數集合。
常用結論:
有理數集合Q是可數集合
整數的集合Z是可數無窮集
可數無窮多個可數集合的並集是可數集合。
不可數集合:
定理1.3.5 :全體實數做成的集合是不可數集合
推論:實數集合R,區間(a,+\(\infty\))、[a,b]、[a,b)、(a,b],其中a≠b,都是不可數的,且與區間(0,1)等濃。
把(0,1)區間內的實數集合的基數記為c,也記為\(\aleph _1\)。即c= \(\aleph _1\)
可數(無窮多)個基數為c的集合的並集基數仍為c