📐 第 3 课 · 集合间的基本关系

子集、真子集与相等

A ⊆ B 是什么意思?为什么空集是任何集合的子集?

🎮 互动教学 ⏱ 约 15 分钟 📐 人教版必修第一册 · 第一章

🎯 这节课你能学到

学完这节课,你将能够:

① 游戏 ② 概念 ③ 实验 ④ 挑战
1
🎮 拖拽元素,理解子集关系
👆 👆 点击按钮体验

🎮 把元素放入 A 和 B,观察关系

👆 点击按钮把元素放入集合 A、集合 B 或交集(共同元素)区域。观察:什么时候 A ⊆ B 成立?什么时候 A = B?

💡 小提示:先只往 A 放元素,再看关系;2️⃣把 A 的元素也放进 B,关系怎么变?
👆 点击元素分配 关系: —
集合 A
{ }
集合 B
{ }
关系

📊 分类记录表

操作AB关系

📈 集合元素统计

💡 观察要点:把元素只放入 A,A 还是 B 的子集吗?把 A 的所有元素也放进 B,关系怎么变?试试让 A 和 B 完全一样!
2
从游戏到数学:集合间的基本关系
核心概念 · 重点学会

🔍 从游戏中「抽象」

刚才的游戏中,我们往集合 A 和 B 里放元素。仔细想想:

游戏中的事实
A 里的每个元素,B 里都有
↓ 抽象
A 是 B 的子集 (A ⊆ B)
关键特征
A 的元素 B 都有,B 还有更多
↓ 抽象
A 是 B 的真子集 (A ⊊ B)
数学表达
A 和 B 的元素完全相同
↓ 抽象
A = B
特殊情况
空集合没有元素
↓ 抽象
∅ ⊆ A 恒成立

📖 子集的定义

📘 定义(人教版 P7)

如果集合 A 中的每一个元素都是集合 B 的元素,那么称 A 是 B 的子集,记作 A ⊆ B

A ⊆ B∀x, x∈A → x∈B
💡 一句话理解:「小集合」的所有元素都在「大集合」里。就像道具栏 A 是仓库 B 的子集——道具栏里每件道具,仓库里都能找到。

🧩 真子集与集合相等

① 真子集 (A ⊊ B) 🔽
A ⊆ B 且 A ≠ B
B 比 A 多至少一个元素
② 集合相等 (A = B) 💎
A ⊆ B 且 B ⊆ A
两集合元素完全相同
③ 空集的性质 ∅
∅ 是任何集合的子集
∅ ⊆ A 恒成立
④ 自反性 🪞
任何集合是自身的子集
A ⊆ A 恒成立
💡 小提示:A ⊊ B 表示「包含但不相等」;A = B 表示「互相包含」。空集是任何集合的子集!

📐 子集个数公式(必记)

如果集合 A 有 n 个元素:

子集个数 = 2n (每个元素「在或不在」两种选择)
真子集个数 = 2n − 1 (去掉自身)
非空子集个数 = 2n − 1 (去掉空集)
💡 小提示:每个元素都有「在子集里」或「不在」两种选择,n 个元素就有 2×2×...×2 = 2ⁿ 种组合!
3
🔬 判断子集关系
👆 点击按钮判断 →

给出集合 A 和 B,判断它们的关系。⚠️ 💡 💡 记住:A ⊆ B 要求 A 的每个元素都在 B 中。

💡 判断子集的关键:检查 A 的每个元素是否都在 B 中。只要有一个不在,A 就不是 B 的子集。
🎮 游戏对照:把 A 的所有元素都放进 B,就是 A ⊆ B;再多放几个到 B,就是 A ⊊ B;让 A 和 B 完全一样,就是 A = B。回到游戏演示区试试!
4
🎯 挑战关卡 — 检验你的探索成果
共 4 题 · 👆 点击选项作答
1 已知 A = {1,2}, B = {1,2,3},那么下列正确的是(  )
A 的所有元素都在 B 中吗?B 的所有元素都在 A 中吗?
2 集合 {1,2} 的子集个数为(  )
用公式 2^n 计算,或一一列举验证
3 空集 ∅ 与任何集合 A 的关系是(  )
空集没有元素,所以「每个元素都在 A 中」这句话...
4 如果 A ⊆ B 且 B ⊆ A,那么(  )
A 包含于 B,同时 B 也包含于 A,说明什么?
💻
Python 核心代码:子集判断
👆 点击展开代码 →
🐍 子集与真子集判断 👆 点击展开代码 →
set3_subset.py📋 复制
# 子集判断
A = {1, 2}
B = {1, 2, 3}
# A ⊆ B ?
print(A <= B) # True (A是B的子集)
print(A < B) # True (A是B的真子集)
print(A == B) # False
# 求所有子集
def subsets(s):
 items = list(s)
 result = []
 for i in range(2 ** len(items)):
 sub = {items[j] for j in range(len(items)) if i & (1<<j)}
 result.append(sub)
 return result
print(subsets({1,2,3})) # 8个子集
▶ 运行输出
True
True
False
[set(), {1}, {2}, {1,2}, {3}, {1,3}, {2,3}, {1,2,3}]
📊 枚举子集个数验证公式 验证 2^n →
set3_count_subsets.py📋 复制
# 验证子集个数公式:2^n
def count_subsets(n):
 """n个元素的集合,子集个数为2^n"""
 return 2 ** n
for n in range(1, 6):
 items = set(range(1, n+1))
 cnt = count_subsets(n)
 print(f'n={n}: 子集个数 = 2^{n} = {cnt}')
# 真子集 = 子集 - 1(去掉自身)
# 非空子集 = 子集 - 1(去掉空集)
# 非空真子集 = 子集 - 2(去掉自身和空集)
▶ 运行输出
n=1: 子集个数 = 2^1 = 2
n=2: 子集个数 = 2^2 = 4
n=3: 子集个数 = 2^3 = 8
n=4: 子集个数 = 2^4 = 16
n=5: 子集个数 = 2^5 = 32
5
📝 本课小结 — 回顾你的收获

📝 今天你学到了什么?

✅ 子集定义
A ⊆ B ⟺ A 的每个元素都在 B 中
✅ 真子集
A ⊊ B ⟺ A ⊆ B 且 A ≠ B
✅ 集合相等
A = B ⟺ A ⊆ B 且 B ⊆ A
✅ 子集个数
n 个元素 → 2ⁿ 个子集
🎉 🎉 太厉害了!你已经理解了集合间的基本关系。下一课我们探索「交集(共同元素)」!
下节预告:第 4 课 —— 交集(共同元素)(A ∩ B)
两个集合的共同元素——文氏图的重叠区域
→ 继续探索