什么是集合?

集合 是由指定范围内的满足给定条件的所有对象聚集在一起构成,每一个对象称为这个集合的元素。
外延公理 + 空集存在公理 + 无序对公理 + 并集公理 + 幂集公理 + 无穷公理 +替换公理 + 正则公理 + 选择公理。(ZFC 公理化集合论)

例子:

1 所有英文字母
2 所有小于 100 的正奇数
3 中国所有的残疾人
4 世界上所有的数学家
5 某植物园的所有植物
6 天安门广场所有的路灯和树

集合的符号表示

集合的数学符号

通常情况下

  • 用带或不带下标的大写英文字母表示集合: A,B, C, · · · , A1,B1, C1, · · ·
  • 用带或不带下标的小写英文字母表示元素: a, b, c, · · · , a1, b1, c1,

常用集合:

自然数集合 N: 0, 1, 2, 3, · · ·
整数集合 Z: · · · , 2, 1, 0, 1, 2, · · ·
有理数集合 Q 与实数集合 R,等等

属于关系

若 a 是集合 A 中的元素,则称 a属于A,记为 a ∈ A 若 a 不是集合 A 中的元素,则称 a不属于A,记为 a /∈ A

枚举法

列出集合中的全部元素或者仅列出一部分元素,其余用省略号 (· · ·) 表示

A = {a, b, c, d}
B = {2, 4, 6, 8, 10, · · · }

叙述法

通过刻画集合中元素所具备的某种性质或特性来表示一个集合。P = {x|P(x)}

A = {x|x是英文字母中的元音字母}
B = {x|x ∈ Z, x < 10}
C = {x|x = 2k, k ∈ N}

文氏图

文氏图是利用平面上的点来做成对集合的图解方法。一般使用平面上的方形或圆形表示一个集合,而使用平面上的一个小圆点来表示集合的元素。

基数

定义

集合 A 中的元素个数称为集合的基数(base number),记为 |A|
若一个集合的基数是有限的,称该集合为有限集(finite set)
若一个集合的基数是无限的,称该集合为无限集(infinite set)

集合类型

空集

不含任何元素的集合叫做空集(empty set),记作 ∅.
空集可以符号化为 ∅ = {x|x ≠ x}.

设 A = {x|x ∈ R, x^2 < 0}, 则 A = ∅
|∅| = 0, |{∅}| = 1

空集是绝对唯一的。

全集

针对一个具体范围,我们考虑的所有对象的集合叫做全集(universal set),记作 U 或 E.
在文氏图一般使用方形表示全集。

在立体几何中,全集是由空间的全体点组成的;
在我国的人口普查中,全集是由我国所有人组成的。

全集是相对唯一的

集合的关系

集合的相等关系

元素的基本特性

  • 集合中的元素是无序的。{1, 2, 3, 4} 与 {2, 3, 1, 4} 相同。
  • 集合中的元素是不同的。{1, 2, 2, 3, 4, 3, 4, 2} 与 {1, 2, 3, 4} 相同。
    外延性定理:
    两个集合 A 和 B 相等,当且仅当它们的元素完全相同,记为 A = B, 否则 A 和 B不相等,记为A ≠ B.

子集和真子集

设 A,B 是任意两个集合,
如果 B 的每个元素都是 A 中的元素,则称 B 是 A 的子集,也称做B 被 A 包含或A 包含
B,记作B ⊆ A,否则记作B ⊈ A.
如果 B ⊆ A 并且 A = B,则称 B 是 A 的真子集,也称做B 被 A 真包含或A 真包含 B,记
作B ⊂ A,否则记作B ̸⊂ A.

⊆” 关系的数学语言描述为:B ⊆ A ⇔ 对 ∀x, 如果 x ∈ B, 则 x ∈ A

证明集合相等

设 A, B 为任意两个集合,则 A = B ⇔ A ⊆ B 并且 B ⊆ A
证明:1 首先证明 A ⊆ B:∀x ∈ A, · · · , x ∈ B. ∴ A ⊆ B. 2 其次证明 B ⊆ A:∀x ∈ B, · · · , x ∈ A. ∴ B ⊆ A.
由以上两点,可知 A=B。

n 元集的子集

例子:
设 A = {a, b, c},求出 A 的所有子集。
解:由于 |A|=3,因而 A 的子集可能包含的元素个数 m = 0, 1, 2, 3
m = 0, 即没有任何元素,也就是空集 ∅
m = 1, 从 A 中任取 1 个元素,则有 C13C_1^3C13​ = 3 个:{a}, {b}, {c}
m = 2, 从 A 中任取 2 个元素,则有 C23C_2^3C23​ = 3 个:{a, b}, {b, c}, {a, c}
m = 3, 从 A 中任取 3 个元素,则有 C33C_3^3C33​ = 1 个:{a, b, c}
以上 8 个集合就是 A 的所有子集。

⋆ 推广: 对于任意 n 元集合 A,它的 m 元 (0 ⩽ m ⩽ n) 子集个数为 CnmC^m_nCnm​ 个,所以不同的子集个数为:Cn0+Cn1+⋅⋅⋅+Cnn=(1+1)n=2n.C^0_n + C^1_n + · · · + C_n^n = (1 + 1)^n = 2^n.Cn0​+Cn1​+⋅⋅⋅+Cnn​=(1+1)n=2n.

幂集

设 A 为任意集合,把 A 的所有不同子集构成的集合叫做 A 的幂集(power set), 记作 P(A),即,P(A) = {x|x ⊆ A}
例子:
设 A = {a, b, c},B = {a, {b, c}},求他们的幂集 P(A) 和 P(B)。 解:P(A) = {∅, {a}, {b}, {c}, {a, b}, {b, c}, {a, c}, {a, b, c}} P(B) = {∅, {a}, {{b, c}}, {a, {b, c}}}
幂集也叫做集族或集合的集合,对集族的研究在数学方面、知识库和表处理语言以及人工
智能等方面都有十分重要的意义。

并集

设 A, B 是两个集合,则集合 A 与 B 的并 集定义为:A ∪ B = {x|x ∈ A 或 x ∈ B}

例子:

  • 集合 {1, 3, 5} 和集合 {1, 2, 3} 的并集是 {1, 2, 3, 5};
  • 若集合 A 是选修了音乐欣赏的学生,B 是选修了西方文学的学生,则 A ∪ B 是选
    修了音乐欣赏或选修了西方文学或两门课都同时选修的学生.

交集

设 A, B 是两个集合,则集合 A 与 B 的交 集定义为:A ∩ B = {x|x ∈ A 并且 x ∈ B}
例子:

  • 集合 {1, 3, 5} 和集合 {1, 2, 3} 的交集是 {1, 3};
  • 若集合 A 是选修了音乐欣赏的学生,B 是选修了西方文学的学生,则 A ∩ B 是即选修了音乐欣赏又选修了西方文学的学生

补集

设 U 是全集,则集合 A 的补集定义为:
A = {x|x /∈ A}
例子:

  • 集合 {1, 3, 5} 对于全集 {1, 2, 3, 4, 5, 6, 7, 8} 的补集是 {2, 4, 6, 7, 8};
  • 若集合 A 是选修了音乐欣赏的学生,全集 U 是所有在校学生,则 A 是没有选修音
    乐欣赏的学生

差集

设 A, B 是两个集合,则集合 A 与 B 的差 集定义为:
A B = {x|x ∈ A 并且 x /∈ B}

例子:

  • 集合 {1, 3, 5} 和集合 {1, 2, 3} 的差集是 {5};
  • 若集合 A 是选修了音乐欣赏的学生,B 是选修了西方文学的学生,则 A B 是选
    修了音乐欣赏但没有选修西方文学的学生

对称差集

设 A, B 是两个集合,则集合 A 与 B 的对称
差集定义为:
A ⊕ B = {x|(x ∈ A 并且 x /∈ B)或者(x /∈ A 并且 x ∈ B)}

例子:

  • 集合 {1, 3, 5} 和集合 {1, 2, 3} 的对称差集是 {2, 5};
  • 若集合 A 是选修了音乐欣赏的学生,B 是选修了西方文学的学生,则 A ⊕ B 是只
    选修了音乐欣赏和西方文学两门课中某一门的学生.

并集和交集的扩展

设 A1,A2, · · · , An 是任意 n 个集合,则这 n 个集合的并集是包含那些至少是这组集合中一个集合
成员的元素的集合,即

设 A1,A2, · · · , An 是任意 n 个集合,则这 n 个集合的交集是包含那些属于这组集合中所有集合成
员的元素的集合,即
例子:
设 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}

集合运算的基本等式


文氏图理解:

集合相等的证明

自然数集的定义


如何比较集合的大小

等势

可数集合




不可数集合

【离散数学】集合论基础相关推荐

  1. [离散数学]集合论基础P_3:集合的基本运算

    [离散数学]集合论基础P_3:集合的基本运算 前言 1. 并运算 定义 文氏图 例子 2. 交运算 定义 文氏图 例子 3. 补运算 定义 文氏图 例子 4. 差运算 定义 文氏图 例子 5. 对称差 ...

  2. [离散数学]集合论基础P_5:可数集合与不可数集合

    [离散数学]集合论基础P_5:可数集合与不可数集合 前言 1. 引子 2. 自然数集的定义 定义1(皮亚诺公理) 定义2(冯·诺依曼的自然数定义) 3. 如何比较集合的大小? 例子 等势 定义 4. ...

  3. 初等数学O 集合论基础 第一节 集合及其基本运算、de Moivre公式

    初等数学O 集合论基础 第一节 集合及其基本运算.de Moivre公式 写在前面 初等数学这个系列是为高中升理工科的学生以及低年级新生准备的衔接内容,主要的目的是对进入大学前12年学过的数学知识(初 ...

  4. 初等数学O 集合论基础 第六节 商集

    初等数学O 集合论基础 第六节 商集 这一讲延续第四讲对等价关系与等价的讨论,引入商集这个概念. 定义0.22 假设∼\sim∼是非空集合XXX上的一个等价关系,称X/∼X/\simX/∼是XXX基于 ...

  5. 初等数学O 集合论基础 第四节 二元关系、等价类与运算

    初等数学O 集合论基础 第四节 二元关系.等价类与运算 这一讲的目标是在非空集合上定义关系与运算,我们学过的常见的关系有大小关系.整除关系.同余关系等:常见的运算有四则运算.乘方运算.开方运算等,但这 ...

  6. 初等数学O 集合论基础 第三节 序关系

    初等数学O 集合论基础 第三节 序关系 这一讲的目标是在非空集合中定义序关系,读者可以把序关系理解为大于小于关系的抽象化与公理化.我们总是试图把一些耳熟能详的结果公理化,是因为这些结果非常实用,公理化 ...

  7. 初等数学O 集合论基础 第二节 映射与集合的势

    初等数学O 集合论基础 第二节 映射与集合的势 这一节的目标是基于映射建立比较集合"大小"的工具--集合的势(cardinality),也被称为集合的基数,这个工具是自然数的基数理 ...

  8. UA MATH523A 实分析1 集合论基础7 一些度量空间基本概念

    UA MATH523A 实分析1 集合论基础7 度量空间 内部.边界.闭包 收敛与连续性 完备性 紧性 称(X,ρ)(X,\rho)(X,ρ)为度量空间(Metric Space),ρ:X×X→[0, ...

  9. UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念

    UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念 拓扑空间 内部.边界.闭包 连续性 紧性 拓扑空间 非空集合XXX,∀p∈X\forall p \in X∀p∈X,∃Up\exi ...

  10. UA MATH523A 实分析1 集合论基础2 序关系与Zorn引理

    UA MATH523A 实分析1 集合论基础2 序关系与Zorn引理 偏序与全序 关于最大元的几个结论 选择公理 Hausdorff Maximal Principle与Zorn引理 良序原则 这一讲 ...

最新文章

  1. mysql5.0镜像_Mysql5.0学习笔记(一)
  2. Ferderweisser
  3. XML 需要用的空间
  4. 如何学习 Go 语言的核心知识
  5. 合并外部知识库-学习资料
  6. Spring整合JMS——基于ActiveMQ实现(一)
  7. 项目应用EasyUI_Tab控件全部关闭
  8. 一周内被程序员疯转 2.4 W次,最终被大厂封杀!
  9. HashMap 精讲原理篇
  10. RabbitMQ下载与安装(window版) 自我总结
  11. Angucomplete —— AngularJS 自动完成输入框
  12. 第三次作业N的阶乘以及第四次一维数组实现杨辉三角
  13. 《HTTP权威指南》学习总结1——HTTP协议概述
  14. 域名带www和不带的区别
  15. Facebook 应用开发认证和授权登录流程
  16. vue页面加载时闪现_Vue 闪现解决
  17. 怎样把pdf格式转换成jpg
  18. 汇智动力软件测试问题,汇智动力—测试工程师都是怎么写测试用例的?
  19. gitlab推送钉钉机器人配置
  20. 基于OpenHarmony的智慧牧场

热门文章

  1. python爬虫requests模块
  2. 斯特林数 java实现_斯特林数 - BILL666 - 博客园
  3. 使用total commander打开当前目录
  4. iOS 火星坐标相关整理及解决方案汇总
  5. YOLOV5 6.0加入CA注意力机制(看了包会)
  6. vue updated
  7. 手机拍照技巧(一:校园拍摄)
  8. 男神网络红人莫小涛2022生活百度图片大全
  9. 学习记录573@双重签名与电子交易概述
  10. css3 - 图标元素动画效果4 - 动画延迟