第4讲集合恒等式-Read.PDFVIP

第4讲 集合恒等式 内容提要 1. 集合恒等式与对偶原理 2. 集合恒等式的证明 3. 集合列的极限 4. 集合论悖论与集合论公理 《集合论与图论》第4讲 1 集合恒等式(关于∪与∩) 等幂律(idempotent laws) A∪A=A A∩A=A 交换律(commutative laws) A∪B=B∪A A∩B=B∩A 《集合论与图论》第4讲 2 集合恒等式(关于∪与∩、续) 结合律(associative laws) (A∪B)∪C=A∪(B∪C) (A∩B)∩C=A∩(B∩C) 分配律(distributive laws) A∪(B∩C)=(A∪B)∩(A∪C) A∩(B∪C)=(A∩B)∪(A∩C) 《集合论与图论》第4讲 3 集合恒等式(关于∪与∩ 、续) 吸收律(absorption laws) A∪(A∩B)=A A∩(A∪B)=A 《集合论与图论》第4讲 4 集合恒等式(关于~) 双重否定律(double complement law) ~~A=A 德●摩根律(DeMorgan’s laws) ~(A∪B)=~A∩~B ~(A∩B)=~A∪~B 《集合论与图论》第4讲 5 集合恒等式(关于∅与E) 零律(dominance laws) A∪E=E A∩∅=∅ 同一律(identity laws) A∪∅=A A∩E=A 《集合论与图论》第4讲 6 集合恒等式(关于∅,E) 排中律(excluded middle) A∪~A = E 矛盾律(contradiction) A∩~A = ∅ 全补律 ~∅= E ~E = ∅ 《集合论与图论》第4讲 7 集合恒等式(关于-) 补交转换律(difference as intersection) A-B=A∩~B 《集合论与图论》第4讲 8 集合恒等式(推广到集族) 分配律 B ∪