集合的概念

官官方数学老师·10 页·深入（追求细节与边界）·0 次浏览·3 天前

✦ 集合的概念数学集合的概念元素

集合逻辑用语边界辨析高一数学

集合的概念

拆透集合定义的边界、元素归属与逻辑用语的区分

按空格/→ 演示下一步

1 / 10 页

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

集合逻辑用语边界辨析高一数学

集合的概念

拆透集合定义的边界、元素归属与逻辑用语的区分

1第 1 页 · 集合的概念

元素

上一讲把「高一(3)班」看成一个集合，但集合不会凭空存在——它由一个个具体的学生组成。把集合拆开看，每一个独立的学生，就叫这个集合的「元素」。

定义

集合中每个独立、具体的对象，叫作这个集合的元素

归属符号

a∈A 读作「a 属于 A」；a∉A 表示 a 不是 A 的元素

广泛性

元素身份不限——数字、字母、人、物、其他集合都可以

身份边界

a 与 {a} 不是同一回事；集合本身也可作为元素出现

拼图的每一块对应 →集合中的元素

一块块独立可辨、形状各异，拼起来才成一幅完整拼图

2第 2 页 · 元素

根据条件判断元素是否属于

上页说到元素是一个个具体的对象,这页追问:怎么判断某个东西是不是某个集合的成员?现实里集合往往很大,不可能逐一清点——靠的是「条件」。

判定符号 ∈ / ∉

x ∈ A 表示属于;x ∉ A 表示不属于。对任一 x 与 A,二者必居其一

条件描述集合

集合太大无法穷举时,用性质 P(x) 刻画:A = {x | P(x) 成立}

判定的确定性

对任意 x 与 A,要么满足条件属于,要么不满足不属于,不存在第三种结果

条件必须明确

条件若含混或有自指,集合就无法定义——这正是罗素悖论的根源

俱乐部入会资格审核对应 →按条件判断元素归属

资格标准=集合定义;达标=∈,未达标=∉,标准唯一不模糊

x \in A \iff P(x) \text{ 为真}

3第 3 页 · 根据条件判断元素是否属于

集合相等

前面我们判断了元素是否属于某个集合。现在问题升级：两个集合摆在面前，怎么判断它们是不是「同一个」？

集合相等的定义

A=B ⟺ ∀x(x∈A ⟺ x∈B)，又称外延公理：只看元素本身

与表示形式无关

{1,2,3}={3,2,1}={1,1,2,2,3}，顺序和重复不影响

个数相同≠相等

个数相同是必要不充分条件，{1,2,3} 与 {a,b,c} 同数但不等

典型应用

化简集合表达式、判断两种描述是否指同一集合

两人写的购物清单对应 →集合相等

买的物品完全一样就算同一份清单，抄写方式不影响判断

A = B \Leftrightarrow \forall x \, (x \in A \Leftrightarrow x \in B)

4第 4 页 · 集合相等

列举法

前几页我们认识了集合和元素，学会了判断成员关系。要把一个具体的集合'写'出来告诉别人，最直觉的办法是什么？——把元素一个一个列出来，这就是列举法。

定义

把集合的元素逐一列出，写在大括号 { } 内，元素之间用逗号隔开

顺序无关

{1,2,3} 与 {3,1,2} 表示同一集合，集合不在乎元素排列的先后

重复无效

集合元素具有互异性，相同元素只记一次，{1,2,2,3} 就是 {1,2,3}

省略号与局限

元素多但有规律时可借'…'延续规律，但前面几个要足以让人看出规律；无限集则无法穷举

点名册逐个念名字对应 →列举法表示集合

每个名字逐一念出、用逗号分开，念的先后次序并不改变'全班'这个集合

A = \{a_1, a_2, a_3, \dots, a_n\}

5第 5 页 · 列举法

描述法

列举法把元素逐个写出来，但「所有偶数」「大于 0 的实数」这种集合，写不完也写不下。我们需要一种只描述条件、不逐一点名的写法——描述法。

形式

{x | P(x)}：竖线左边是代表元素，右边是它要满足的条件

适用场景

元素无穷或带规律，列举法写不完时，用条件圈定更高效

取值范围

用 x ∈ A 显式声明 x 的取值域，否则 P(x) 可能含歧义

与列举法等价

描述法与列举法描述同一集合，只是表达形式不同

招人启事对应 →描述法

不点名具体人选，只用条件圈人群；招人条件对应 P(x)，候选人对应集合元素

\{x \in \mathbb{R} \mid x^2 < 4\} = (-2, 2)

6第 6 页 · 描述法

数集

上页学了描述法，写「所有整数」要敲一长串。其实数学里最常用的几类数集早有了固定简写——而每一个新数集的诞生，都是被旧数系里「无解」的方程逼出来的。

数集

元素全是数的集合，如 {1,2,3}、{x|x是整数} 都属于数集

五大常见数集

ℕ自然数、ℤ整数、ℚ有理数、ℝ实数、ℂ复数，用空心双线字母简记

扩张动因

每加一种新数，都是为解决旧数系中「无解」的方程，如 x+3=0 逼出负整数

真包含关系

ℕ⊊ℤ⊊ℚ⊊ℝ⊊ℂ；每一层都是真包含，且都是无穷集

工具箱升级对应 →数集扩张

螺丝刀拧不动加扳手，扳手不够加电钻——每件新工具都是被新问题逼出来的

\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R} \subsetneq \mathbb{C}

7第 7 页 · 数集

集合

前面我们零散看过几个具体集合——这一页回到集合论的起点：康托尔的朴素定义，并拎出三条硬规矩。它们是集合区别于'一堆杂物''一份名单'的真正边界，决定了集合能怎么用、不能怎么用。

康托尔定义

一组'确定的、彼此不同'的物体，整体看成一个集合

确定性

任给A与对象x，x∈A与x∉A二者必居其一，不允许模棱两可

互异性

集合内元素两两不同；多重集不算集合，{a,a,b}={a,b}

无序性

元素次序与集合本身无关；{1,2,3}与{3,1,2}是同一集合

一袋独立可数的弹珠对应 →集合的三大性质

每颗要么在袋中要么不在（确定性）；同色两颗仍是两颗（互异）；先后取出顺序不影响袋中成员（无序）

x \in A \lor x \notin A

8第 8 页 · 集合

本节要点

✓集合只关心'有没有'，不关心'有几个、怎么排'
✓元素用∈，集合用⊆——别把归属和包含混为一谈
✓列举法胜在小集合，描述法胜在规律集
✓集合相等只看元素本身，与顺序、重复无关
✓数集是穿了马甲的集合——记住符号就记住了一切

延伸主题：集合的交并补运算子集与真子集维恩图直观理解集合

9第 9 页 · 本节要点

课后思考

先独立思考，再对照参考答案——问题值得多想一会儿。

1为什么说集合里的元素既无顺序也无重复？把元素打乱或重写，集合还是同一个吗？

参考答案集合关心"谁是成员"而非"排第几"。重复声明同一成员，数量不变——就像班级花名册把名字抄两遍，人数不会变。

2用描述法表示"小于 10 的偶数"时，只写 {x | x 是偶数，x<10} 够不够？为什么？

参考答案不够。缺少全集约束，x 可以是任意偶数（含负数、无理偶数等），集合就无限。描述法必须把讨论范围限制清楚。

3一个集合能不能把自己当作自己的元素？这种"集合的集合"会带来什么麻烦？

参考答案这会引出罗素悖论：设 R={所有不含自身的集合}，R 含自身与否都矛盾。现代公理集合论（如 ZF）通过限制构造规则来规避。

10第 10 页 · 课后思考