3.2 集合的运算及性质

CHAPTER03集合3.2集合的运算及性质课程大纲CONTENTS01.集合的基本运算掌握集合的五种基础运算：交、并、差、补以及对称差的定义与符号表示。02.运算应用实例通过经典例题解析，加深对集合运算逻辑的理解，并掌握实际解题思路。03.集合运算的性质系统梳理交换律、结合律、分配律等基本定律，以及补集相关的德摩根定律等。04.性质证明实例学习严谨的数学证明方法，掌握利用定义和已知定律推导、证明集合恒等式的技巧。3.2集合的运算及性质核心思想集合的基本运算源于双重驱动：一是数学公理化体系构建的逻辑需求，二是解决实际问题时对复杂对象进行抽象化描述的需要。它是连接数学理论与现实应用的重要桥梁。意义与价值🔹理论意义：为数学大厦构建了严谨、精确的底层逻辑与集合论基础。🔹应用价值：广泛应用于数据科学、数据库查询、逻辑电路设计、医学统计、算法优化及交通网络规划等领域的普适性工具。学习方法避免机械记忆公式。建议采用“形式化定义+直观图示”的双轨学习法：以严谨的数学语言理解定义，以文氏图(VennDiagram)直观展示集合间的包含与运算关系，从而深刻理解抽象概念与具体应用场景的联系。定义3.8：集合的交运算(Intersection)定义Definition设任意两个集合A和B，由集合A和B的所有共同元素组成的集合S，称为A和B的交集，记作A∩B。数学表达式MathematicalFormS=A∩B={x|(x∈A)∧(x∈B)}文氏图表示VennDiagram两个集合重叠的阴影区域即为它们的交集。

重叠区域内的所有元素同时属于集合A和集合B。定义3.9：集合的并运算(Union)定义描述设任意两个集合A和B，所有属于A或属于B的元素组成的集合S，称为A和B的并集，记作A⋃B。数学形式化表达S=A⋃B={x|(x∈A)∨(x∈B)}文氏图(VennDiagram)在图示中，所有被填充的区域（包括仅在A中、仅在B中以及同时在A和B中的部分）即为集合A和B的并集。定义3.10：集合的差运算(Difference)定义Definition设任意两个集合A和B，所有属于A而不属于B的一切元素组成的集合S，称为A和B的差，也称B对于A的补集，记作A−B。数学表达式ExpressionS=A−B={x|(x∈A)∧¬(x∈B)}文氏图表示VennDiagram图中阴影部分即为集合A与B的差集：

属于A但排除了B的区域。定义3.11：集合的补运算(Complement)定义Definition设E为全集，对任一集合A关于E的补集E−A，称为集合A的绝对补，也叫补集，记作~A。数学表达式MathematicalForm~A=E−A={x|(x∈E)∧(x∉A)}文氏图表示VennDiagram在全集E所围成的矩形区域中，

除去集合A所占的圆形区域，剩余部分即为~A。定义3.12：集合的对称差运算(SymmetricDifference)定义阐释设任意两个集合A和B，A和B的对称差是集合S，其元素需满足：属于A或属于B，但不能同时属于A和B。通常记作A⊕B。S=A⊕B=(A−B)⋃(B−A)图示解析：在韦恩图中，对称差对应两个集合所覆盖的所有区域，但要排除它们重叠的交集部分。集合对称差运算例题3.8：运算应用实例设集合A={1,3,5}，集合B={1,2,3}，全集E={1,2,3,4,5,6,7,8}交集(Intersection)A∩B={1,3}并集(Union)A⋃B={1,2,3,5}差集(Difference)A−B={5}补集(Complement)~A={2,4,6,7,8}对称差集(SymmetricDifference)A⊕B={2,5}例题3.9：实际应用场景设集合A为选修《电影欣赏》的学生集合，集合B为选修《中国传统文化》的学生集合，请分析以下集合运算的含义：A∩B两门课都选修的学生A⋃B至少选修一门课的学生A-B只选修《电影欣赏》的学生~A(补集)没有选修《电影欣赏》的学生A⊕B(对称差)只选修了其中一门课的学生例题3.10&3.11：多集合运算与关系判断例题3.10：多集合交并运算设集合：A={0,2,4,6,8}，B={0,1,2,3,4}，C={0,3,6,9}计算结果：•并集：A⋃B⋃C={0,1,2,3,4,6,8,9}•交集：A⋂B⋂C={0}例题3.11：集合关系逆向判断给定全集与子集：S₁={1-9},S₂={2,4,6,8},S₃={1,3,5,7,9},S₄={3,4,5},S₅={3,5}1.若X⋂S₃=∅，则X=S₂(偶数集与奇数集不相交)

2.若X⊆S₄且X⋂S₂=∅，则X=S₅(S₄中不含偶数的子集)

3.若X⊆S₁且X⊈S₃，则X=S₁/S₂/S₄(包含偶数元素)

4.若X−S₃=∅，则X=S₃/S₅(X是奇数集的子集)集合运算的性质：基本运算定律幂等律(IdempotentLaws)A∩A=A|A∪A=A零律(DominationLaws)A∩∅=∅|A∪E=E同一律(IdentityLaws)A∩E=A|A∪∅=A交换律(CommutativeLaws)A∩B=B∩A

A∪B=B∪A结合律(AssociativeLaws)(A∩B)∩C=A∩(B∩C)

(A∪B)∪C=A∪(B∪C)分配律(DistributiveLaws)A∩(B∪C)=(A∩B)∪(A∩C)

A∪(B∩C)=(A∪B)∩(A∪C)吸收律(AbsorptionLaws)A∩(A∪B)=A

A∪(A∩B)=A集合运算的性质：补集相关定律德摩根律(DeMorgan'sLaws)~(A⋃B)=~A∩~B

~(A∩B)=~A⋃~B双重否定律(DoubleNegation)~(~A)=A否定律(Universal&EmptySet)~E=∅

~∅=E矛盾律(LawofContradiction)A∩(~A)=∅排中律(LawofExcludedMiddle)A⋃(~A)=E集合运算的性质：差与对称差运算01.差运算(Difference)A−B=A∩(~B)差运算定义：集合A减去A与B的交集A−B=A−(A∩B)差运算性质：差运算与交运算的转化A∩(B−C)=(A∩B)−(A∩C)分配律：交运算对差运算满足分配律02.对称差运算(SymmetricDifference)•恒等律：A⊕∅=A，空集为单位元•自逆律：A⊕A=∅，任何集合与自身对称差为空集•交换律：A⊕B=B⊕A，运算顺序不影响结果•结合律：(A⊕B)⊕C=A⊕(B⊕C)，可以无括号连续运算•分配律：A∩(B⊕C)=(A∩B)⊕(A∩C)，交运算对对称差运算分配例题3.12：证明结合律(A∩B)∩C=A∩(B∩C)证明Proof(A∩B)∩C={x|(x∈(A∩B))∧(x∈C)}且A∩(B∩C)={x|(x∈A)∧(x∈(B∩C))}(x∈(A∩B))∧(x∈C)⇔((x∈A)∧(x∈B))∧(x∈C)⇔(x∈A)∧((x∈B)∧(x∈C))⇔(x∈A)∧(x∈(B∩C))故(A∩B)∩C=A∩(B∩C)□证毕例题3.13：证明德摩根律~(A⋃B)=~A∩~B证明思路：根据集合相等的定义，需分别证明两个集合互为子集（双向包含）。Step1：证明~(A⋃B)⊆~A∩~B任取元素x∈~(A⋃B)，则根据补集定义可得：

x∉(A⋃B)(不属于并集)

⇒x∉A且x∉B(既不属于A也不属于B)

⇒x∈~A且x∈~B⇒x∈~A∩~B。Step2：证明~A∩~B⊆~(A⋃B)任取元素x∈~A∩~B，则根据交集定义可得：

x∈~A且x∈~B(同时属于A和B的补集)

⇒x∉A且x∉B(不属于A且不属于B)

⇒x∉(A⋃B)⇒x∈~(A⋃B)。由以上双向包含关系，可得结论：~(A⋃B)=~A∩~B，德摩根律成立。例题3.14：利用文氏图证明分配律A∩(B⋃C)=(A∩B)⋃(A∩C)等式左侧：A∩(B⋃C)在文氏图的左侧部分，双重阴影覆盖的区域代表了这个运算的结果。它表示：在集合A中，同时也在集合B或C中的所有元素。等式右侧：(A∩B)⋃(A∩C)在文氏图的右侧部分，所有的阴影部分合在一起代表了这一结果。它表示：属于集合A与B的交集，或者属于集合A与C的交集的所有元素。结论：对比左右两个文氏图，无论是“先并后交”还是“先交后并”，最终所覆盖的集合区域完全相同。因此，集合运算的分配律A∩(B⋃C)=(A∩B)⋃(A∩C)得证。例题3.15：证明若A⊆B且C⊆D，则A⋃C⊆B⋃D▍证明思路：任取元素，分类讨论设任意元素x∈A⋃C。根据集合并集的定义，可得x∈A或x∈C。情况1：若x∈A

因为已知A⊆B，由子集定义得x∈B。

又由并集定义，x∈B即意味着x∈B⋃D。情况2：若x∈C

因为已知C⊆D，由子集定义得x∈D。

又由并集定义，x∈D即意味着x∈B⋃D。综上所述：A⋃C中的任意元素都属于B⋃D，故A⋃C⊆B⋃D。例题3.16：证明A⊆B当且仅当A⋃B=B必要性(Necessity)若A⊆B，对于∀x∈A⋃B，则有x∈A或x∈B。•若x∈A，由前提条件A⊆B可直接推出x∈B。综上可得：A⋃B⊆B。又由并集定义知，显然有B⊆A⋃B。故证得A⋃B=B。充分性(Sufficiency)若A⋃B=B，我们需要证明结论A⊆B。•根据集合论中关于“并集”的基本性质，对于任意两个集合，一定有：A⊆A⋃B结合已知前提条件A⋃B=B，通过等量代换即可得到：A⊆B例题3.17：证明若A⊆B，则~B⊆~A且(B−A)⋃A=B01证明~B⊆~A根据子集定义与逆否命题等价性证明：如果x∈A，由于A⊆B，则必有x∈B。

其