北大离散数学08 ppt课件
合集下载
离散数学第8章课件PPT,高等教育出版社,屈婉玲,耿素云,张立昂主编
17
证明
(2) 假设存在x1, x2∈A使得 由合成定理有 f g(x1)=f g(x2)
g(f(x1))=g(f(x2)) 因为g:B→C是单射的, 故 f(x1)=f(x2). 又由于f:A→B是单射的, 所 以x1=x2. 从而证明f g:A→C是单射的. (3)由(1)和(2)得证. 注意：定理逆命题不为真, 即如果f g:A→C是单射(或满射、双 射)的, 不一定有 f:A→B 和 g:B→C都是单射(或满射、双射)的.
16
函数复合与函数性质
定理8.2 设f:A→B, g:B→C (1) 如果 f:A→B, g:B→C是满射的, 则 fg:A→C也是满射的 (2) 如果 f:A→B, g:B→C是单射的, 则 fg:A→C也是单射的 (3) 如果 f:A→B, g:B→C是双射的, 则 fg:A→C也是双射的 证 (1) 任取c∈C, 由g:B→C的满射性, b∈B使得 g(b)=c. 对于这个b, 由 f:A→B的满射性，a∈A使得 f(a)=b. 由合成定理有 fg(a) = g(f(a)) = g(b) = c 从而证明了fg:A→C是满射的
4
实例
例1 设A={1,2,3}, B={a,b}, 求BA. 解BA={ f0, f1, … , f7}, 其中 f0 = {<1,a>,<2,a>,<3,a>} f1 = {<1,a>,<2,a>,<3,b>} f2 = {<1,a>,<2,b>,<3,a>} f3 = {<1,a>,<2,b>,<3,b>} f4 = {<1,b>,<2,a>,<3,a>} f5 = {<1,b>,<2,a>,<3,b>} f6 = {<1,b>,<2,b>,<3,a>} f7 = {<1,b>,<2,b>,<3,b>}
证明
(2) 假设存在x1, x2∈A使得 由合成定理有 f g(x1)=f g(x2)
g(f(x1))=g(f(x2)) 因为g:B→C是单射的, 故 f(x1)=f(x2). 又由于f:A→B是单射的, 所 以x1=x2. 从而证明f g:A→C是单射的. (3)由(1)和(2)得证. 注意：定理逆命题不为真, 即如果f g:A→C是单射(或满射、双 射)的, 不一定有 f:A→B 和 g:B→C都是单射(或满射、双射)的.
16
函数复合与函数性质
定理8.2 设f:A→B, g:B→C (1) 如果 f:A→B, g:B→C是满射的, 则 fg:A→C也是满射的 (2) 如果 f:A→B, g:B→C是单射的, 则 fg:A→C也是单射的 (3) 如果 f:A→B, g:B→C是双射的, 则 fg:A→C也是双射的 证 (1) 任取c∈C, 由g:B→C的满射性, b∈B使得 g(b)=c. 对于这个b, 由 f:A→B的满射性，a∈A使得 f(a)=b. 由合成定理有 fg(a) = g(f(a)) = g(b) = c 从而证明了fg:A→C是满射的
4
实例
例1 设A={1,2,3}, B={a,b}, 求BA. 解BA={ f0, f1, … , f7}, 其中 f0 = {<1,a>,<2,a>,<3,a>} f1 = {<1,a>,<2,a>,<3,b>} f2 = {<1,a>,<2,b>,<3,a>} f3 = {<1,a>,<2,b>,<3,b>} f4 = {<1,b>,<2,a>,<3,a>} f5 = {<1,b>,<2,a>,<3,b>} f6 = {<1,b>,<2,b>,<3,a>} f7 = {<1,b>,<2,b>,<3,b>}
离散数学课件ppt课件
联结词可以嵌套使用，在嵌套使用时，规定如下优先顺序： ( )，┐，∧，∨，→， ，对于同一优先级的联结词，先出现 者先运算。
例1.7 令 P : 北京比天津人口多 Q:22 4 R : 乌鸦是白色的
求下列复合命题的真值：
1P Q P Q R 2Q R P R 3P R P R
解 P，Q，R的真值分别为1，1，0。容易算出 (1)、(2)、(3)的真值分别为1，1，0。
2．在自然语言中，“如果P，则Q”中的前件P与后件Q往 往具有某种内在联系。而在数理逻辑中，P与Q可以无任何内 在联系。
3．在数学或其它自然科学中，“如果P，则Q”往往表达 的是前件P为真，后件Q也为真的推理关系。但在数理逻辑中， 作为一种规定，当P为假时，无论Q是真是假，P→Q均为真。 也就是说，只有P为真Q为假这一种情况使得复合命题P→Q为 假。
PQ 的真值定义为 PQ为真当且仅当P, Q同真值 因此, P, Q一真一假时, P Q为假。
复合命题P Q的真值表： P
0 0 1 1
Q
P Q
0
1
1
0
0
0
1
1
例1.6 将下列命题符号化，并指出它们的真值：
3如 两 圆O1 , O2的面积相等，则它们的半径相等；反之亦然. 4当王小红心情愉快时，她就唱歌；反之当她唱歌时，
真值为真的命题称为真命题；真值为假的命题为假命题。
说明：
1. 命题必须是陈述性语句，而不能是疑问句、命令句、 感叹句等；
2. 命题语句或者为真或者为假，二者必取其一，即命 题的真值是唯一的
判断句子是否为命题的标准： (1)陈述句 (2)有唯一的真值
例1 判断下列句子是不是命题: (1) 4是素数。
第一部分 数理逻辑
例1.7 令 P : 北京比天津人口多 Q:22 4 R : 乌鸦是白色的
求下列复合命题的真值：
1P Q P Q R 2Q R P R 3P R P R
解 P，Q，R的真值分别为1，1，0。容易算出 (1)、(2)、(3)的真值分别为1，1，0。
2．在自然语言中，“如果P，则Q”中的前件P与后件Q往 往具有某种内在联系。而在数理逻辑中，P与Q可以无任何内 在联系。
3．在数学或其它自然科学中，“如果P，则Q”往往表达 的是前件P为真，后件Q也为真的推理关系。但在数理逻辑中， 作为一种规定，当P为假时，无论Q是真是假，P→Q均为真。 也就是说，只有P为真Q为假这一种情况使得复合命题P→Q为 假。
PQ 的真值定义为 PQ为真当且仅当P, Q同真值 因此, P, Q一真一假时, P Q为假。
复合命题P Q的真值表： P
0 0 1 1
Q
P Q
0
1
1
0
0
0
1
1
例1.6 将下列命题符号化，并指出它们的真值：
3如 两 圆O1 , O2的面积相等，则它们的半径相等；反之亦然. 4当王小红心情愉快时，她就唱歌；反之当她唱歌时，
真值为真的命题称为真命题；真值为假的命题为假命题。
说明：
1. 命题必须是陈述性语句，而不能是疑问句、命令句、 感叹句等；
2. 命题语句或者为真或者为假，二者必取其一，即命 题的真值是唯一的
判断句子是否为命题的标准： (1)陈述句 (2)有唯一的真值
例1 判断下列句子是不是命题: (1) 4是素数。
第一部分 数理逻辑
【精品】离散数学PPT课件(完整版)
一个简单命题.
13
联结词与复合命题(续)
3.析取式与析取联结词“∨” 定义 设 p,q为二命题，复合命题“p或q”称作p与q 的析取式，记作p∨q. ∨称作析取联结词，并规 定p∨q为假当且仅当p与q同时为假.
例 将下列命题符号化 (1) 2或4是素数. (2) 2或3是素数. (3) 4或6是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王晓红生于1975年或1976年.
15
联结词与复合命题(续)
4.蕴涵式与蕴涵联结词“” 定义 设 p,q为二命题，复合命题 “如果p,则q” 称 作p与q的蕴涵式，记作pq，并称p是蕴涵式的 前件，q为蕴涵式的后件. 称作蕴涵联结词，并 规定，pq为假当且仅当 p 为真 q 为假.
16
联结词与复合命题(续)
pq 的逻辑关系：q 为 p 的必要条件 “如果 p，则 q ” 的不同表述法很多：
19
例 求下列复合命题的真值 (1) 2 + 2 ＝ 4 当且仅当 3 + 3 ＝ 6. (2) 2 + 2 ＝ 4 当且仅当 3 是偶数. (3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起. (4) 2 + 2 ＝ 4 当且仅当 美国位于非洲. (5) 函数 f (x) 在x0 可导的充要条件是它在 x0
解 令 p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q.
12
例 (续)
令 r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令 t : 张辉与王丽是同学，t 是简单命题 .
说明: (1)~(4)说明描述合取式的灵活性与多样性. (5) 中“与”联结的是两个名词，整个句子是
若 p，就 q 只要 p，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 或 除非 q, 否则非 p. 当 p 为假时，pq 为真 常出现的错误：不分充分与必要条件
13
联结词与复合命题(续)
3.析取式与析取联结词“∨” 定义 设 p,q为二命题，复合命题“p或q”称作p与q 的析取式，记作p∨q. ∨称作析取联结词，并规 定p∨q为假当且仅当p与q同时为假.
例 将下列命题符号化 (1) 2或4是素数. (2) 2或3是素数. (3) 4或6是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王晓红生于1975年或1976年.
15
联结词与复合命题(续)
4.蕴涵式与蕴涵联结词“” 定义 设 p,q为二命题，复合命题 “如果p,则q” 称 作p与q的蕴涵式，记作pq，并称p是蕴涵式的 前件，q为蕴涵式的后件. 称作蕴涵联结词，并 规定，pq为假当且仅当 p 为真 q 为假.
16
联结词与复合命题(续)
pq 的逻辑关系：q 为 p 的必要条件 “如果 p，则 q ” 的不同表述法很多：
19
例 求下列复合命题的真值 (1) 2 + 2 ＝ 4 当且仅当 3 + 3 ＝ 6. (2) 2 + 2 ＝ 4 当且仅当 3 是偶数. (3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起. (4) 2 + 2 ＝ 4 当且仅当 美国位于非洲. (5) 函数 f (x) 在x0 可导的充要条件是它在 x0
解 令 p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q.
12
例 (续)
令 r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令 t : 张辉与王丽是同学，t 是简单命题 .
说明: (1)~(4)说明描述合取式的灵活性与多样性. (5) 中“与”联结的是两个名词，整个句子是
若 p，就 q 只要 p，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 或 除非 q, 否则非 p. 当 p 为假时，pq 为真 常出现的错误：不分充分与必要条件
离散数学(精选优秀)PPT
二、命题的表示法
1、命题标识符：表示命题的符号称为命题标识符。在数理逻辑中，使 用大写字母，或带下标的大写字母，或用方括号括起的数字表示命题。
例：P： 今天下雨。 “今天下雨”是一个命题，P是命题标识符。
它形成于七十年代初期，是一门新兴的工具性学科。
离散数学的应用
◆关系型数据库的设计（关系代数） ◆表达式解析（树） ◆编译技术、程序设计语言（代数结构） ◆人工智能、自动推理、机器证明（数理逻辑） ◆网络路由算法（图论） ◆游戏中的人工智能算法（图论、树、博弈论） ◆专家系统（集合论、数理逻辑—知识和推理规则的计算机表达） ◆软件工程—团队开发—时间和分工的优化（图论—网络、划分） ◆(各种)算法的构造、正确性的证明和效率的评估（离散数学的
第一章 命题逻辑
目标语言：就是表达判断的一些语言的汇集。 目标语言和一些符号公式构成了数理逻辑的形式 符号体系。
1-1 命题及其表示法
一、命题
1、定义 能表达判断的陈述句，称作命题（Proposition）。 例：判断下列语句是否为命题: (陈1)述地句球：外述存说在一智件事慧情生的物句。子，句末用句号。 (祈2)使1＋句1：=要10求。或者希望别人做什么事或者不做什么事时用的 (句3)子今，天句下末雨用。句号或感叹号。 (疑4)问你句今：年提暑出假问去题的旅句行子吗，？句（末疑用问问号句。） (感5)叹克句里：特带岛有人浓说厚感：情“的克句里子特，岛句末人用是感说叹谎号话。者”。 悖（：相悖反论。）悖论：自相矛盾的陈述。
各分支）
教材
左孝凌，李为鉴，刘永才编著．离散数学．上海： 上海科学技术文献出版社,1982 主要参考教材: 孙吉贵，杨凤杰，欧阳丹彤，李占山编著．离散数 学．高等教育出版社，2002
离散数学课件 第一章
离 散 数 学
主讲教师 李红军 北京林业大学 理学院
BEIJING FOREST UNIVERSITY
教材及参考资料
教材：
1耿素云，屈婉玲，张立昂编著，离散数学，清华大学出版 社, 2008年3月（第4版） 2耿素云,屈婉玲编著.离散数学(修订版).高等教育出版社, 2004年
参考资料：
1 左孝凌编著，离散数学，上海科学技术出版社
1.1 命题与联结词 命题：能判断真假而不是可真可假的陈述句。 命题的真值：命题为真或者假的判断。 真命题：真值为真的命题。 假命题：真值为假的命题。 注：任何命题的真值都是惟一的；
用“1”表示真，用“0”表示假。
例 1.1 ：判断下列句子哪些是命题.
(1)
3 是有理数。
(2) 2是素数。 (3) X＋Y>10。
1 3
m z 1 r m 1
z m 1
1 2
1
3
比赛结束，三位观众各猜对了一半，并且没有并列名次.问：中 国、美国、日本的各排名第几？ 设z1:中国第一;z2 :中国第三；r1:日本第一； m1:美国第一；m2:美国第二； m3:美国第三.
例1的参考答案 m1 z3 1 r1 m3 1 z1 m2 1
对偶原理
A和A*是互为对偶式，P1， P2 ，……Pn是出现在A和A*的原子变元，则 A（P1，…，Pn） A*（ P1，…， Pn） A（ P1，…， Pn） A*（P1，…，Pn）
即公式的否定等值于其变元否定的对偶式。 例：A为PQ，则A*为PQ， 则（PQ） PQ
真值表
将命题公式A在所有赋值下取值情况列成表
试考虑求公式A的真值表的步骤？ 例1 求下列公式的真值表，并求出成真赋值和成假赋值. 1) p(¬ r∧q) 2) (p∨q)(¬ p q)
主讲教师 李红军 北京林业大学 理学院
BEIJING FOREST UNIVERSITY
教材及参考资料
教材：
1耿素云，屈婉玲，张立昂编著，离散数学，清华大学出版 社, 2008年3月（第4版） 2耿素云,屈婉玲编著.离散数学(修订版).高等教育出版社, 2004年
参考资料：
1 左孝凌编著，离散数学，上海科学技术出版社
1.1 命题与联结词 命题：能判断真假而不是可真可假的陈述句。 命题的真值：命题为真或者假的判断。 真命题：真值为真的命题。 假命题：真值为假的命题。 注：任何命题的真值都是惟一的；
用“1”表示真，用“0”表示假。
例 1.1 ：判断下列句子哪些是命题.
(1)
3 是有理数。
(2) 2是素数。 (3) X＋Y>10。
1 3
m z 1 r m 1
z m 1
1 2
1
3
比赛结束，三位观众各猜对了一半，并且没有并列名次.问：中 国、美国、日本的各排名第几？ 设z1:中国第一;z2 :中国第三；r1:日本第一； m1:美国第一；m2:美国第二； m3:美国第三.
例1的参考答案 m1 z3 1 r1 m3 1 z1 m2 1
对偶原理
A和A*是互为对偶式，P1， P2 ，……Pn是出现在A和A*的原子变元，则 A（P1，…，Pn） A*（ P1，…， Pn） A（ P1，…， Pn） A*（P1，…，Pn）
即公式的否定等值于其变元否定的对偶式。 例：A为PQ，则A*为PQ， 则（PQ） PQ
真值表
将命题公式A在所有赋值下取值情况列成表
试考虑求公式A的真值表的步骤？ 例1 求下列公式的真值表，并求出成真赋值和成假赋值. 1) p(¬ r∧q) 2) (p∨q)(¬ p q)
《离散数学讲义》课件
离散概率分布的定义
离散概率分布是描述随机事件在有限或可数无限的可 能结果集合中发生的概率的数学工具。
离散概率分布的种类
常见的离散概率分布包括二项分布、泊松分布、几何 分布等。
离散概率分布的应用
离散概率分布在统计学、计算机科学、物理学等领域 都有广泛的应用。
参数估计和假设检验
参数估计
参数估计是根据样本数据推断总体参数的过 程，包括点估计和区间估计两种方法。
假设检验
假设检验是用来判断一个假设是否成立的统计方法 ，包括参数检验和非参数检验两种类型。
参数估计和假设检验的应 用
在统计学中，参数估计和假设检验是常用的 数据分析方法，用于推断总体特征和比较不 同总体的差异。
方差分析和回归分析
方差分析
方差分析是一种用来比较不同组数据的平均值是否存在显著差异 的统计方法。
《离散数学讲义》ppt课件
目 录
• 离散数学简介 • 集合论 • 图论 • 离散概率论 • 逻辑学 • 离散统计学 • 应用案例分析
01
离散数学简介
离散数学的起源和定义
起源
离散数学起源于17世纪欧洲的数学研 究，最初是为了解决当时的一些实际 问题，如组合计数和图论问题。
定义
离散数学是研究离散对象（如集合、 图、树、逻辑等）的数学分支，它不 涉及连续的变量或函数。
联结词：如与(&&)、或(||)、非(!)等，用 于组合简单命题。
03
04
命题公式：由简单命题通过联结词组合而 成的复合命题。
命题逻辑的推理规则
05
06
肯定前件、否定后件、析取三段论、合取 三段论等推理规则。
谓词逻辑
个体词
表示具体事物的符号。
离散概率分布是描述随机事件在有限或可数无限的可 能结果集合中发生的概率的数学工具。
离散概率分布的种类
常见的离散概率分布包括二项分布、泊松分布、几何 分布等。
离散概率分布的应用
离散概率分布在统计学、计算机科学、物理学等领域 都有广泛的应用。
参数估计和假设检验
参数估计
参数估计是根据样本数据推断总体参数的过 程，包括点估计和区间估计两种方法。
假设检验
假设检验是用来判断一个假设是否成立的统计方法 ，包括参数检验和非参数检验两种类型。
参数估计和假设检验的应 用
在统计学中，参数估计和假设检验是常用的 数据分析方法，用于推断总体特征和比较不 同总体的差异。
方差分析和回归分析
方差分析
方差分析是一种用来比较不同组数据的平均值是否存在显著差异 的统计方法。
《离散数学讲义》ppt课件
目 录
• 离散数学简介 • 集合论 • 图论 • 离散概率论 • 逻辑学 • 离散统计学 • 应用案例分析
01
离散数学简介
离散数学的起源和定义
起源
离散数学起源于17世纪欧洲的数学研 究，最初是为了解决当时的一些实际 问题，如组合计数和图论问题。
定义
离散数学是研究离散对象（如集合、 图、树、逻辑等）的数学分支，它不 涉及连续的变量或函数。
联结词：如与(&&)、或(||)、非(!)等，用 于组合简单命题。
03
04
命题公式：由简单命题通过联结词组合而 成的复合命题。
命题逻辑的推理规则
05
06
肯定前件、否定后件、析取三段论、合取 三段论等推理规则。
谓词逻辑
个体词
表示具体事物的符号。
离散数学北京大学出版社第二版配套PPT课件_屈婉玲_耿素云_张立昂ch
离散数学北京大学出版社第二版配套PPT课件介绍本文档是北京大学出版社出版的《离散数学》第二版的配套PPT课件的简介。
透过课件，学生可以更好地理解和学习离散数学的概念和原理。
课件的作者包括屈婉玲、耿素云和张立昂等离散数学领域的专家，他们精心设计了课件的内容和布局，旨在帮助学生更好地理解离散数学的基础知识，并应用到实际问题中。
内容概述离散数学是计算机科学和信息技术中的一门基础课程，它研究离散的数学结构和离散对象之间的关系。
离散数学的理论和方法在计算机科学、密码学、人工智能等领域有着广泛的应用。
《离散数学》第二版的配套PPT课件涵盖了离散数学的主要内容，包括集合论、逻辑、关系、图论、计数原理等。
课件的设计旨在让学生通过图示、例子和练习等形式来理解和掌握离散数学的概念和方法。
课件还提供了一些附加材料和参考资料，供学生进一步学习和探索离散数学的相关内容。
课件特点1.系统性：课件内容有机地连接起来，形成一个完整的体系，学生可以从不同的章节中逐步深入学习离散数学的不同方面。
2.可视化：课件中使用了大量的图示和示例，帮助学生更直观地理解离散数学的概念和原理。
3.互动性：课件中设置了各种练习和思考题，鼓励学生积极参与和思考，提高学习效果。
4.实用性：课件中的例子和实际应用案例帮助学生将离散数学的理论应用到实际问题中，增强学习的实际效果。
使用指南学生可以使用任何支持Markdown文本格式的编辑器来打开和阅读本课件。
在阅读的同时，建议学生积极参与，思考课件中的问题，并完成相应的练习。
学生还可以根据自己的学习情况，有针对性地选择课件中的章节进行学习。
附加材料《离散数学》第二版的配套PPT课件还提供了一些附加材料，供学生进一步学习和探索离散数学的相关内容。
这些附加材料包括参考资料、习题解答和扩展阅读等。
学生可以根据自己的学习需要，选择适合自己的附加材料进行阅读。
结语《离散数学》第二版的配套PPT课件是学习离散数学的重要辅助工具，它通过图示、例子和练习等形式，帮助学生更好地理解和掌握离散数学的概念和方法。
离散数学离散数学第8章 一些特殊的图 PPT课件
在23岁时，他发表了他还是一个17岁的孩子时作出的“奇怪的发 现”，…即《光线系统理论》第一部分，这是一篇伟大的杰作，它对于 光学，就象拉格朗日的《分析力学》之于力学。
哈密尔顿最深刻的悲剧既不是酒精，也不是他的婚姻，而是他顽固地
相信，四元数是解决物质宇宙的数学关键。…从来没有一个伟大的数学
家这样毫无希望地错误过。
2
1
3
4
(2) 有限面与无限面：面积有限的区域称为有 限面(或内部面)，否则为无限面(或外部面) 。 上图中，面4是无限面。
7/1/2020 9:05 PM
第四部分：图论（授课教师：向胜军）
24
(3) 面的次数等于面边界的边数(注意：悬挂边算2 次)，记为deg(R).
(4) 平面图中面的次数之和等于边数m的两倍，即
d(u)+d(v)≥n-1 则G是半哈密尔顿图。
注意:
此定理条件显然不是必要条件，如n≥6的n边形，对于 任意不相邻的顶点u, v, d(u)+d(v)=4，4<n-1，而n边形显 然有哈密尔顿通路。
7/1/2020 9:05 PM
第四部分：图论（授课教师：向胜军）
18
哈密尔顿图的充分条件
❖ 设G是n(n≥3)阶无向简单图，若G中 任意不相邻的顶点对u,v均满足： d(u)+d(v)≥n 则G是哈密尔顿图。
a
bc
d
e
f g
h
i j
k
l
ba
d
g
e j
f
l
b
a
c
d
g
j
i
e
h
f
k
7/1/2020 9:05 PM
北大离散数学ppt课件
2020/6/2
《集合论与图论》第5讲
35
特殊关系(续)
设A为任意集合, 则可以定义P(A)上的: 包含关系:
A = { <x,y> | xA yA xy } 真包含关系:
A = { <x,y> | xA yA xy }
2020/6/2
第5讲 二元关系的基本概念 北京大学
内容提要 1. 有序对与卡氏积 2. 二元关系 3. 二元关系的基本运算
2020/6/2
《集合论与图论》第5讲
1
有序对与卡氏积
有序对(有序二元组) 有序三元组, 有序n元组 卡氏积 卡氏积性质
2020/6/2
《集合论与图论》第5讲
2
有序对(ordered pair)
D
A
A
C
BC
B
A(BC) = (AB)(AC) ACBDABCD
2020/6/2
《集合论与图论》第5讲
16
例题1(证明(2))
(2) 若A, 则ABAC BC. 证明: () 若 B=, 则 BC.
设 B, 由A, 设xA. y, yB<x,y>AB
<x,y>AC xAyC yC. BC
2020/6/2
2020/6/2
《集合论与图论》第5讲
14
例题1
例题1: 设A,B,C,D是任意集合, (1) AB= A= B= (2) 若A, 则 ABAC BC. (3) AC BD ABCD,
并且当(A=B=)(AB)时, ABCD ACBD.
2020/6/2
《集合论与图论》第5讲
15
卡氏积图示
2m2
2020/6/2
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
4
[n-1]={(n-1)+kn|kZ}.
765
2020/10/28
《集合论与图论》第8讲
13
例11
例11: 设 A={1,2,3,4,5,8}, 求 R3 = { <x,y> | x,yA xy(mod 3) }
的等价类, 画出R3的关系图. 解: [1]=[4]={1,4}, [2]=[5]=[8]={2,5,8},
[3]={3}. #
4
8
1
2020/10/28
2
5
3
《集合论与图论》第8讲
14
商集(quotient set)
商集: 设R是A上等价关系, A/R = { [x]R | xA }
称为A关于R的商集, 简称A的商集. 显然 U A/R = A. 例11(续): A/R3 ={ {1,4}, {2,5,8}, {3} }.
A/EA={ {a1,a2,…,an } } A/Rij= A/IA{{ai,aj}} - {{ai},{aj}}. 不是A上等价关系(非自反). #
2020/10/28
《集合论与图论》第8讲
16
划分(partition)
划分: 设A, பைடு நூலகம்P(A),若A满足 (1) A ; (2) x,y( x,yA xy xy= ) (3) UA = A 则称A为A的一个划分, A中元素称为划分 块(block).
2020/10/28
x
2020/10/28
《集合论与图论》第8讲
9
定理27(证明(2))
(2) xRy [x]R=[y]R ; 证明: (2) 只需证明[x]R[y]R和[x]R[y]R. () z, z[x]RxRy zRxxRy
zRy z[y]R . [x]R[y]R. () 同理可证. z
x
y
2020/10/28
=rst( R )
自反
对称
传递
等价关系 (等价闭包)
2020/10/28
《集合论与图论》第8讲
7
等价类(equivalence class)
等价类: 设R是A上等价关系,xA,令 [x]R={ y | yA xRy },
称[x]R为x关于R的等价类, 简称x的等价类, 简记为[x].
等价类性质: [x]R ; xRy [x]R=[y]R ;
11
定理27(证明(4))
(4) U{ [x]R | xA } = A. 证明: (4) A=U{ {x} | xA }
U{ [x]R | xA } U{ A | xA }=A. U{ [x]R | xA } = A. #
xy
2020/10/28
《集合论与图论》第8讲
12
同余(congruence)关系
2020/10/28
《集合论与图论》第8讲
4
例9(续)
定义 自反 对称 传递 等价关系
R1 x与y同年生
R2 x与y同姓
R3 x的年龄不比
y小
R4 x与y选修同
门课程
R5 x的体重比y
重
2020/10/28
《集合论与图论》第8讲
5
例10
例10: 设 RAA 且 A, 对R依次求三 种闭包共有6种不同顺序, 其中哪些顺序 一定导致等价关系? rst( R ), rts( R ), str( R ), srt( R ), trs( R ), tsr( R )=t(s(r( R )))
解: st( R )ts( R ), sr( R )=rs( R ),… tsr( R )=trs( R )=rts( R ) str( R )=srt( R )=rst( R )
2020/10/28
《集合论与图论》第8讲
6
例10(续)
tsr(R)=trs(R) str(R)=srt(R)
=rts( R )
第8讲 等价关系与序关系
内容提要 等价关系,等价类,商集 划分, 第二类Stirling数 偏序,线序,拟序,良序
特殊元素: 最?元,极?元,?界,?确界 (反)链
2020/10/28
《集合论与图论》第8讲
1
等价(equivalence)关系
定义 同余关系 等价类 商集 划分 划分的加细 Stirling子集数
2020/10/28
《集合论与图论》第8讲
2
精品资料
等价(equivalence)关系定义
等价关系: 设 RAA 且 A, 若R是自 反的, 对称的, 传递的,则称R为等价关系
例9: 判断是否等价关系(A是某班学生):
R1={<x,y>|x,yAx与y同年生} R2={<x,y>|x,yAx与y同姓} R3={<x,y>|x,yAx的年龄不比y小} R4={<x,y>|x,yAx与y选修同门课程} R5={<x,y>|x,yAx的体重比y重}
xRy [x]R[y]R= ; U{ [x]R | xA } =A.
2020/10/28
《集合论与图论》第8讲
8
定理27
定理27:设R是A上等价关系,x,yA, (1) [x]R (2) xRy [x]R=[y]R ; (3) xRy [x]R[y]R= ; (4) U{ [x]R | xA } =A. 证明: (1) R自反xRxx[x]R[x]R.
2020/10/28
《集合论与图论》第8讲
15
例12(1)
例12(1): 设A={a1,a2,…,an}, IA, EA, Rij=IA{<ai,aj>,<aj,ai>}
都是A上等价关系, 求对应的商集, 其中 ai,ajA, ij. 是A上等价关系吗?
解: A/IA={ {a1}, {a2},…, {an } }
《集合论与图论》第8讲
10
定理27(证明(3))
(3) xRy [x]R[y]R= ; 证明: (3) (反证) 假设z, z[x]R[y]R, 则
z[x]R[y]R zRxzRy xRzzRy xRy, 这与xRy矛盾! [x]R[y]R=.
z
x
y
2020/10/28
《集合论与图论》第8讲
同余关系: 设n{2,3,4,…}, x,yZ,则
x与y模n同余(be congruent modulo n)
xy(mod n) n|(x-y) x-y=kn (kZ)
同余关系是等价关系
[0] ={
kn|kZ},
11 0 1
10
2
[1] ={ 1+kn|kZ}, 9
3
[2] ={ 2+kn|kZ},…, 8