集合的基本运算

官方数学老师·22 页·深入(追求细节与边界)·0 次浏览·2 天前
集合运算容斥原理基数公式边界条件

集合的基本运算

穿透交并补差的定义边界,掌握容斥原理与基数运算

按 空格/→ 演示下一步

1 / 22 页

全部页面点击任意一页,跳回舞台从这页播放

集合运算容斥原理基数公式边界条件

集合的基本运算

穿透交并补差的定义边界,掌握容斥原理与基数运算

1第 1 页 · 集合的基本运算

什么是交集

前一页开始比较集合时,我们常会问:哪些元素同时属于两个集合?先找出重复成员,再观察它们共同组成的那一部分。

公共部分
同时属于集合 A 和集合 B 的全部元素,组成 A 与 B 的交集。
且条件
元素 x 在交集中,当且仅当 x∈A 且 x∈B,两者缺一不可。
无公共元素
若 A∩B=∅,则 A 与 B 互不相交,交集中没有任何元素。
两份社团成员名单对应 →两个集合的交集

同一成员编号同时出现在两份名单上,就落在交集中;没有重合编号时,交集为空。

AB={xxAxB}A\cap B=\{x\mid x\in A\land x\in B\}
2第 2 页 · 什么是交集

交集的韦恩图表示

三个圆分别代表集合A、集合B和它们的交集A∩B。

图解渲染中…
sa集合A的边界,对应真实韦恩图中的左圆sb集合B的边界,对应真实韦恩图中的右圆si高亮节点即两圆重叠区域=A∩B
3第 3 页 · 交集的韦恩图表示

交集运算的步骤

求两集合的交集,按四步走就能稳妥完成。

1
写明两集合
把 A、B 的元素清楚列出来,便于比对
2
逐个比对
检查 A 中每个元素是否也在 B 中
3
筛出公共元素
把同时属于 A 和 B 的元素挑出来
4
写出结果
用列举法或描述法规范表达 A∩B
4第 4 页 · 交集运算的步骤

全集的定义

上节课求「物理及格且数学及格」的学生时,我们默认背景里有「全班学生」——这个「默认的全体」,今天正式有个名字,叫**全集**。

定义
所讨论范围内所有对象的整体
相对性
由研究问题决定;问题不同,全集可能不同
常用记号
记作 U,有时写作 Ω
作为补集前提
不指定U,「A 的补集」就无法定义
一场比赛的场地对应 →全集

球员只在场地内算数;换场地后同一元素是不是「场内」就变了

AU, UA \subseteq U,\ \varnothing \subseteq U
5第 5 页 · 全集的定义

补集的定义

上页划定了全集U作为讨论边界。那么在U里挑出集合A后,剩下那部分叫什么?这就是补集——

补集的定义
全集中不属于A的所有元素,记作∁ᵤA
符号写法
∁ᵤA、A'、~A 都常见,读作「A在U中的补集」
与A的互补关系
A∪∁ᵤA=U,A∩∁ᵤA=∅,拼成全集且不交
两个边界情形
∁ᵤU=∅,∁ᵤ∅=U——补自己为空,补空为全体
全班非合唱队的人对应 →U中A的补集∁ᵤA

合唱队=A,全班=U;U里扣掉A就是补集

UA={xxU,xA}\complement_U A = \{ x \mid x \in U, x \notin A \}
6第 6 页 · 补集的定义

补集的韦恩图表示

矩形表全集 U,圆表集合 A,圆外矩形内的阴影即补集 ∁ᵤA。

图解渲染中…
U外层矩形框,代表全集,是讨论的范围边界A矩形内的圆,代表被讨论的集合C矩形内、圆外的阴影区,即补集区域
7第 7 页 · 补集的韦恩图表示

补集运算的步骤

求补集的关键,是先确定全集U,再从U中剔除非A的元素。

1
确定全集U
明确讨论范围,因为补集总是相对于某个全集而言的
2
写出集合A
把待求补集的集合A的所有元素列清楚
3
验证A⊆U
检查A的每个元素是否都在U中,否则补集无意义
4
筛U中剩余元素
把U中不属于A的元素全部挑出,组成补集
5
用符号表示
记作∁ᵤA,读作A相对于U的补集
8第 8 页 · 补集运算的步骤

相对补集

上页讲补集需要先圈定全集U,但有时U并不明确。两个集合之间能不能直接做减法?这就要用到相对补集。

定义
B对A的相对补集是B中不属于A的所有元素,记作B\A
记号
B\A 或 B−A,左侧是被减集合B,右侧是减去的A
不依赖全集
定义只需B和A两个集合,无需预设全集U
顺序敏感
B\A 与 A\B 一般不相等,被减与减去不可互换
与绝对补集联系
若全集U恰好等于B,则B\A 等于 A在U中的补集
一锅汤里把不吃的食材捞出对应 →B对A的相对补集

B是锅中全部食材,A是捞出的部分,结果只看B和A

BA={xxB 且 xA}B \setminus A = \{x \mid x \in B \text{ 且 } x \notin A\}
9第 9 页 · 相对补集

并集的定义

相对补集挑出「A 有但 B 没有的」;并集反过来——A 里的、B 里的「全都要」,不遗漏不挑拣。这里有个关键陷阱:「或」字和你想的可能不一样。

并集 A∪B
由属于 A 或属于 B 的所有元素组成的集合
包含性的「或」
x∈A 或 x∈B 都满足;x 同时在 A 和 B 中也算
重复元素只一次
集合有互异性,A∩B 中的元素在并集中只出现一次
子集吸收
若 A⊆B,则 A∪B = B,小集合被大集合完全覆盖
两家餐厅合并对应 →并集 A∪B

两本菜单合成一本,重复菜品只留一份

AB={xxA 或 xB}A \cup B = \{ x \mid x \in A \text{ 或 } x \in B \}
10第 10 页 · 并集的定义

并集的韦恩图表示

上方两个集合 A 和 B,下方是它们的并集——两圆区域全部并到一起,重叠元素只保留一份。

图解渲染中…
A集合 A 的全部元素B集合 B 的全部元素U并集:属于 A 或 B 的全部元素NA 和 B 共有元素在并集里只出现一次
11第 11 页 · 并集的韦恩图表示

并集运算的步骤

求A∪B就是把所有属于A或属于B的元素收在一起,重复的只留一份。

1
遍历集合A
把A中每一个元素逐个登记,不能遗漏
2
遍历集合B
再把B中每一个元素逐个登记
3
合并去重
公共元素只保留一份,避免重复计数
4
写出结果
用A∪B={…}的标准集合形式给出
12第 12 页 · 并集运算的步骤

并集与交集的对比

并集与交集都从两个集合出发,但一个朝“更宽”走,一个朝“更窄”走。混淆点就在“方向”上。

并集 A ∪ B(合)
  • 逻辑:OR,满足任一即可进入结果集
  • 方向:放大集合,结果不小于任一原集
  • 包含关系:A⊆A∪B,永远包含原集合
  • 极端情况:A∪∅=A,空集是单位元(加零)
交集 A ∩ B(留)
  • 逻辑:AND,必须同时属于两个集合才留下
  • 方向:缩小集合,结果不大于任一原集
  • 包含关系:A∩B⊆A,结果必包含于原集合
  • 极端情况:A∩∅=∅,空集是零元(乘零)
想要更大、更全的范围用并集;想筛选共有特征用交集。空集是最好的试金石——并集里它是空气,交集里它是黑洞。
13第 13 页 · 并集与交集的对比

有限集基数的定义

前面学了交集、并集、补集——能「操作」集合了。操作之后一个自然的问题浮出来:结果集合里到底有多少个元素?比如「既喜欢数学又喜欢物理」的同学有几人?这就需要基数为集合「量尺寸」。

基数记号 |A|
集合 A 两侧各一道竖线,读作 A 的基数
核心定义
有限集 A 的基数 |A|=n,当且仅当 A 恰好含 n 个不同元素
空集的边界
|∅|=0,空集是最小的有限集,没有任何元素
计数规则
集合元素互异,重复出现的元素只计一次
教室里数学生人数对应 →集合的基数

每个学生只数一次,转一圈后报出的总人数就是 |A|

14第 14 页 · 有限集基数的定义

基数加法公式

班级统计戴眼镜或戴帽子的同学:戴眼镜 18 人,戴帽子 12 人。能不能直接把两个数加起来?

重复计数问题
直接 |A|+|B| 会把 A∩B 中的元素算两次
核心公式
|A∪B| = |A| + |B| - |A∩B|,减去交集消除重复
互不相交情形
A∩B=∅ 时没有重叠,公式退化为 |A|+|B|
包含关系情形
A⊆B 时 A∪B=B,公式自然给出 |B|
完全相同情形
A=B 时并集就是 A 本身,公式左右都是 |A|
班级人数统计对应 →基数加法公式

戴眼镜或帽子的人数 = 戴眼镜 + 戴帽子 − 同时戴的(去重)

AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B|
15第 15 页 · 基数加法公式

加法公式的韦恩图推导

从两圆韦恩图出发,沿箭头分步推导:先分别计数 → 相加 → 发现重叠被多算 → 减掉重叠 → 得到加法公式。

图解渲染中…
n2A 圆内所有元素的个数n4B 圆内所有元素的个数n6A∩B 区域被两边各数了一次n8|A∪B| = |A| + |B| - |A∩B|
16第 16 页 · 加法公式的韦恩图推导

加法公式的应用步骤

拿到求并集个数的题,按四步走就能稳算出来。

1
识别集合
从题目中圈出集合 A 与 B,标注各自的基数 |A| 和 |B|
2
求交集基数
算出 A∩B 的元素个数 |A∩B|,这是公式里的减项
3
代入加法公式
代入 |A∪B|=|A|+|B|-|A∩B|,得出并集元素个数
4
边界校验
结果须满足 max(|A|,|B|)≤|A∪B|≤|A|+|B|,超出即出错
17第 17 页 · 加法公式的应用步骤

基数运算练习

点击作答

某班有30人喜欢数学,25人喜欢语文,其中8人两科都喜欢。用基数加法公式,喜欢数学或语文(至少一门)的人数是多少?

18第 18 页 · 基数运算练习

集合运算定律总结

中心向外辐射,展示三大定律的公式与对应韦恩图。

图解渲染中…
B1并运算左右互换,结果相同C1三个集合并时,括号位置不影响结果D1交对并分配,可拆为两次相交再取并D2并对交分配,可拆为两次取并再相交
19第 19 页 · 集合运算定律总结

运算对比一览

四种基本运算的符号、定义、韦恩图对比

运算对比一览
四种基本运算的符号、定义、韦恩图对比
20第 20 页 · 运算对比一览

知识要点回顾

  • 交集与并集是对偶运算,补集是参照系中的取反
  • 文氏图给出直觉,但集合等式证明需要形式推导
  • 加法公式是容斥原理在两个集合上的最简形态
  • 相对补集让「全集」从绝对背景变为可切换参照
  • 集合运算定律与命题逻辑定律一一对应
延伸主题:三个集合的容斥原理集合恒等式的证明技巧无限集的基数与势
21第 21 页 · 知识要点回顾

课后思考

先花几分钟自己想想,再点开参考答案对照思路。

1补集为什么必须依赖全集?换不同的全集,同一个集合的补集会变吗?

参考答案会变。补集 = 全集 − 原集合,全集不同剩下的就不同。回顾'补集依赖参考系'这个关键点。

2两个集合的容斥公式推广到三个集合还成立吗?|A∪B∪C| 怎么写?

参考答案|A∪B∪C| = |A|+|B|+|C|−两两交集之和+三重交集。两两交集元素被重复计数要减,三重交集被多减一次要加回。建议画韦恩图感受。

3集合运算和加减乘除有相似之处——能不能用集合的观点重新理解'加法'?两个不相交集合的并集基数为什么等于基数之和?

参考答案因为元素不重复,并集就是把两组元素'合并数一遍',基数自然相加。如果相交,公共部分会被重复计数,这正对应'减去交集'。集合里的'加法'和算术里的'加法'是相通的。

22第 22 页 · 课后思考
集合的基本运算 · 知识图解