离散数学(1)---集合论
第一章 集合论初步
1.1 集合的基本概念
- 我们把一些不同的确定的对象的全体称为集合。
- 集合中元素的性质：确定性、互异性、无序性。
1.2 集合代数
- 集合代数就是指集合之间的 交,并,补,差 运算.
- 摩根定律:
~(A∪B) = ~A ∩ ~B
~(A∩B) = ~A ∪~B
1.3 幂集
- 幂集: 由集合A的所有子集(包括空集以及A本身)所组成的集合叫做A的幂集, 记作p(A).
- 说明: 幂集是一个由集合构成的集合.
第二章 关系
2.1 关系的预备知识
- 有序偶: 两个按照一定次序排列的元素a,b 组成的一个有序序列, 称之为有序偶, 并记以<a, b>, 其中a, b 分别称为<a, b>的第一个分量和第二个分量.
- n元有序组: 将上述的有序偶推广为具有n个元素的有序序列, 即为n元有序组.
- 笛卡尔乘积: C = AxB = {<a ,b > | a ∈A, b∈B }, 即笛卡儿积是一个有序偶的集合.
2.2 关系的基本概念
- 关系: 从集合A到集合B的关系R是一些有序偶的集合, 这些有序偶是的第一分量是A中的一些元素, 第二分量是B的一些元素. 这个称为二元关系, 关系也可以拓展成为更多元的.
- 关系R中有序偶的第一分量所允许选区的对象的集合叫做关系R的定义域,记作D(R ), 第二分量叫做值域, 记作C(R ). 当D(R ) = C(R ) = M的时候, 称R 为集合M上的关系.
- 关系的自我理解: 关系就是一个集合, 这个集合中的元素就是二元有序偶, 一个有序偶<a,b>表示两个集合中的元素a,b 存在一定的关系.
- 关系的图表示: 是一个有向图, 若 有有序偶<a, b>, 则应该有从 结点a 指向 结点b 的一条有向边.
2.3 关系的运算
- 交并补差运算: 因为关系本身就是一集合, 所以可以进行交并补运算.
- 复合关系:
- 逆运算:
2.4 关系的重要性质
自反性 与 反自反性
- 在集合X上的关系R, 如果对任意 x∈X, 有(x,x)∈R,则称R是自反的.
- 在集合X上的关系R, 如果对任意 x∈X, 有(x,x) ∉ R,则称R是反自反的.
- 说明: 若X只有部分元素满足(x,x)∈R 或 (x,x)∉R ,则该关系既不是自反的也不是反自反的.
对称性 与 反对称性
- 在集合X上的关系R, 如果有(x,y) 属于R 必有 (y,x) ∈ R, 则称R是对称的.
- 在集合X上的关系R, 如果有(x,y) 属于R且x ≠ y, 必有 (y,x) ∉ R, 则称R是反对称的
- 说明: 同样,一个关系可以既不是对称的, 也不是反对称的
传递性
- 在集合X上的关系R, 如果有(x, y) ∈ R 且 (y, z) ∈ R , 则必有(x,z)属于R, 则成R是传递的.
2.5 关系上的闭包运算
闭包的概念
- 理解闭包: R的自反闭包, 就假设R有自反性, 然后根据这个自反性, 看是否能产生新的有序偶, 将新产生的有序偶加入到关系R中得到R’ , 则R’ 就是R的自反闭包. 对称闭包和传递闭包也一样.
闭包的构建
核心: 根据XXX闭包, 向关系R中添加满足XXX性质的有序偶:
2.6 次序关系
概述: 次序, 顾名思义, 就是元素们是有序的, 就是元素可以按照一定顺序进行排序. 用离散中的概念来表达就是: 次序关系是一个满足反对称性以及传递性的关系. 次序关系又可以分为 偏序关系 和 拟序关系.
偏序和拟序：
偏序关系: 集合X上的关系R如果是自反的, 反对称的, 传递的, 则称R在X上是偏序的.
拟序关系： 集合X上的关系R如果是反自反的、传递的， 则称R在X上是拟序的。
理解：
偏序/拟序的核心就是 ：反自反，只有反自反了，才能说明两个元素谁先谁后，才有了“序”。拟序的一个定理：集合X上的关系R如果是拟序号的，则必是反对称的。
偏序和拟序的关系：偏序具有对称性，拟序具有反对称性。
线性次序关系：
理解： 就是集合X中，任意两个元素之前都可以用偏序关系R来关联，总能比出个前后。所以，X中的所有元素就可按照此偏序关系排列成为一列。
eg： 字典次序关系 就是一种线性次序关系。哈斯图：
eg:
可以看出，线性次序关系在哈斯图上的表现就是所有元素可以排成一条线。
2.7 相容关系
2.8 等价关系
等价关系： 一个在X上的关系R，如果它是自反的，对称的，传递的，则称此关系为等价关系。
同余关系：
理解：同余关系，顾名思义，就是具有相同余数。
等价类：
理解： 一个关系R可以把集合中的所有元素划分为多个 子集合。然后每个子集合中的任意两个元素，之间都有关系R。比如同余关系 就把集合中的元素划分成为多个等价类。
商集：
理解： 商集就是等价类的集合，就是说商集中的每个元素都是一个等价类。
第三章 函数
- 函数是一种特殊的关系
- 四种映射关系：
- 满射： 值域中，每个像在定义域中都有一个原像。
- 内射：值域中，有些像没有原像。
- 单射：不同的原像，像也不同。即：不会两个原像映射到同一个像。
- 多射：一个像可以由多个原像映射而来。
- 在关系中，任一关系均存在逆关系，但对于函数而言就不同了，一个函数不一定有反函数。因为函数是一个特殊的关系，因此必须要求函数是一一对应的，才会有反函数。
第四章 有限集和无限集
- 为了研究无限集，引入等势 的概念。
- 等势：集合A于集合B的元素之间，如果存在一一对应的关系，则称A与B等势，记 A~B
eg: N={0,1,2,3,…} S={1,3,5,7,…}
则有：
0 1 2 3,…
1 2 5 7,…
如上所示，能找到某种规律让两个集合中的元素能够一一对应，则说明两个集合等势。 - 定理：若一个集合为无限集，则它必含有与其等势的真子集。
- 可列集：与自然数集N等势的集合叫做可列集。
- 无限集的“大小”问题：
- 自然数集是无限集中“最小”的集合。 其基数为ℵ₀（阿列夫零）
- 因为所有的可列集和自然数集N等势，因此所有可列集的基数均为ℵ₀。
- 实数集R是不可列的，实数集的大小比可列集大。
离散数学(1)---集合论相关推荐
- 离散数学之集合论 【下】
离散数学之集合论 [下] 一.等价关系与划分 等价关系(equivalent relation)定义 〉 等价关系R定义为: 〉 A上的自反.对称.传递的二元关系 〉 xRx:xRy→yRx:xRy∧ ...
- 离散数学之集合论【中】
离散数学之集合论[中] 一.有序组 有序组 〉 元素的无序性是集合的特征之一,那么元素的有序组合又该如何从集合定义? 〉 二元有序组,又称二元组(2-tuple),或者序偶(ordered pairs ...
- 离散数学之集合论 【上】
离散数学之集合论[上] 一.集合基本概念 集合(set):做为整体识别的.确定的.互相区别的一些对象的总体. 〉 整体识别:不再分割 〉 确定:属于或者不属于整体 〉 互相区别:各异的对象 〉 集合的 ...
- 【离散数学】集合论 第三章 集合与关系(3) 集合计数的加法原理、容斥原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 离散数学之集合论(上)
离散数学之集合论 文章目录 离散数学之集合论 使用的书籍 写作的目的 集合 概念 集合的基本性质 集合的表示 枚举法 叙述法 归纳法 递归指定集合法 文氏图解法 集合和元素的关系 集合与集合的关系 几 ...
- 离散数学-＜集合论与图论＞思维导图
<集合论与图论> 文章目录 <集合论与图论> 前言 一.集合基本概念与运算 二.映射(函数) 三.关系 四.无穷及基数 前言 思维导图由哈工大<集合论与图论>(姜守 ...
- 【离散数学】集合论 第四章 函数与集合(3) 鸽巢原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】集合论基础
什么是集合? 集合 是由指定范围内的满足给定条件的所有对象聚集在一起构成,每一个对象称为这个集合的元素. 外延公理 + 空集存在公理 + 无序对公理 + 并集公理 + 幂集公理 + 无穷公理 +替换公 ...
- 离散数学：集合论的代数化样例
离散数学是计算机专业重要的基础学科,它是数据库.数字逻辑电路.逻辑学.数据结构.人工智能等学科的前驱课程. 要证明集合A和B不存在以下的关系 A∪(B⊕ C)=(A∪B) ⊕ (A∪C) A.B.C存 ...
最新文章
- AlwaysOn业务IP和高可用IP分开使用方案测试报告
- 第十三课：磁场中的运动电荷
- Almost Sorted Array HDU - 5532
- 机器学习-吴恩达-笔记-15-总结
- WinFormDataGridView单元格提示和相关应用 之配餐系统的开发
- C++之关键字:override
- Gephi从入门到精通
- 【kali】WLAN识别
- opencv-python 银行卡卡号识别
- 【建议收藏】50 道硬核的 Python 面试题
- bixby怎么编程_三星Galaxy S20：如何完全禁用Bixby
- pdf转换成jpg格式快准狠的转换方法
- mysql interval weekday_Mysql DATE_SUB(NOW(), INTERVAL 1 DAY) 24 hours or weekday?
- sklearn的predict_proba
- 不能打开数据库 ''。应用程序可能无法识别该数据库，或文件可能损坏。
- 关于Unix时间戳(Unix timestamp)
- linux pam 版本号,Linux中pam板块详解
- 浏览器中修改视频播放速度
- 揭秘：腾讯、字节跳动面经已发，妈妈再也不用担心我找工作了！
- 【算法设计与分析】 单源最短路径（贪心算法） Dijkstra