离散数学-第6章

合集下载

离散数学-第六章习题答案

离散数学-第六章习题答案

第6章习题答案1.列举出从X到Y的关系S的各元素(1)X={0,1,2},Y={0,2,4},S={<x,y>|x+y∈X⋂Y}(2)X={1,2,3,4,5},Y={1,2,3},S={<x,y>|x=y2,x∈X,y∈Y}解:(1)S={<0,0>,<0,2>,<2,0>}(2)S={<1,1>,<4,2>}2.设P={<1,2>,<2,4>,<3,3>}Q={<1,3>,<2,4>,<4,2>}求dom(P),ran(P),并证明:dom(P⋃Q)=dom(P)⋃dom(Q)解:dom(P)={1,2,3}ran(P)={2,3,4}证明:对于任意xx∈dom(P⋃Q)⇔∃y(<x,y>∈P⋃Q)⇔∃y(<x,y>∈P∨<x,y>∈Q)⇔∃y(<x,y>∈P)∨∃y(<x,y>∈Q)⇔ x∈dom(P)∨x∈dom(Q)⇔ x∈dom(P)⋃dom(Q)所以,dom(P⋃Q)=dom(P)⋃dom(Q)3.若关系R和S自反的,对称的和传递的,证明:R⋂S也是自反的,对称的和传递的。

证明:设R和S是集合A上的关系。

因为R和S是自反的,所以,对于A中的任意元素x,有<x,x>∈R和<x,x>∈S。

因此<x,x>∈R⋂S,即R⋂S是自反的。

因为R和S是对称的,所以对于任意<x,y>,<x,y>∈R⋂S⇔<x,y>∈R∧<x,y>∈S⇔<y,x>∈R∧<y,x>∈S⇔<y,x>∈R⋂S因此,R⋂S是对称的。

因为R和S是传递的,所以对于任意<x,y>和<y,z><x,y>∈R⋂S ∧<y,z>∈ R⋂S⇔<x,y>∈R∧<x,y>∈S∧<y,z>∈ R∧<y,z>∈ S⇔(<x,y>∈R∧<y,z>∈ R)∧(<x,y>∈S ∧<y,z>∈ S)⇔<x,z>∈R∧<x,z>∈ S⇔<x,z>∈R⋂S因此,R⋂S是传递的。

《离散数学》第六章 集合代数

《离散数学》第六章 集合代数
例2:某学校有12位教师,已知有8位老师可以教数学,6位 可教物理,5位可教化学.其中有5位教师既教数学又教 物理.4位老师兼教数学和化学,3位老师兼教物理和化 学,3位老师兼教这三门课. 1.求不教任何课的老师有几位? 2.只教一门课的老师有几位? 3.正好教其中两门课的老师有几位?
例3: 4个x ,3个y,2个z的全排列中,求不出现xxxx,yyy ,zz图象的排列。
设x不具有性质P1,P2,…,Pm ,那么x∉Ai,i= 1,2,…m。则它对等式左边计数的贡献为1,对 等式右边的计数的贡献也是1。
根据牛顿二项式定理不难得到上面式子的结果是0.而 由于x具有n个性质,它对等式左边的贡献也为0。
4.3 几个例子
例1:求1-1000之间(包括1和1000)不能被5,也不能被6, 还不能被8整除的整数有多少个?
总体上还是多采用命题逻辑中的等值式,但在叙述
上采用半形式化的方法。
例6.6 证明A-(B∪C)=(A-B)∩(A-C).
证明: 对于∀x
x ∈ A-(B∪C) Ù x ∈ A ∧ x ∉(B∪C) Ù x ∈ A ∧ ⎤ (x∈B ∨ x∈C) Ù x ∈ A ∧ (⎤x∈B ∧ ⎤x∈C) Ù x ∈ A ∧ (x ∉ B ∧ x ∉ C) Ù x∈A∧x∉B∧x∉C Ù (x ∈ A ∧ x ∉ B) ∧ (x ∈ A ∧ x ∉ C) Ù x ∈ A- B ∧ x ∈ A- C Ù x ∈( A- B) ∩(A- C)
全排列的个数为:9!/(4!3!2!)=1260; 所以要求的排列数为
1260-(60+105+280)+(12+20+30)-6 =871.
4.4 三个练习
练习1:求由a,b,c,d构成的n位符号串中,a,b,c,d都至 少出现一次的符号串的数目。

离散数学结构第6章集合代数

离散数学结构第6章集合代数

离散数学结构第6章集合代数第六章集合代数1. 集合,相等,(真)包含,⼦集,空集,全集,幂集2. 交,并,(相对和绝对)补,对称差,⼴义交,⼴义并3. ⽂⽒图,有穷集计数问题4. 集合恒等式(等幂律,交换律,结合律,分配律,德·摩根律,吸收律,零律,同⼀律,排中律,⽭盾律,余补律,双重否定律,补交转换律等)学习要求1. 熟练掌握集合的⼦集、相等、空集、全集、幂集等概念及其符号化表⽰2. 熟练掌握集合的交、并、(相对和绝对)补、对称差、⼴义交、⼴义并的定义及其性质3. 掌握集合的⽂⽒图的画法及利⽤⽂⽒图解决有限集的计数问题的⽅法4. 牢记基本的集合恒等式(等幂律、交换律、结合律、分配律、德·摩根律、收律、零律、同⼀律、排中律、⽭盾律、余补律、双重否定律、补交转换律)5. 准确地⽤逻辑演算或利⽤已知的集合恒等式或包含式证明新的等式或包含式6.1 集合的基本概念⼀.集合的表⽰集合是不能精确定义的基本概念。

直观地说,把⼀些事物汇集到⼀起组成⼀个整体就叫集合,⽽这些事物就是这个集合的元素或成员。

例如:⽅程x2-1=0的实数解集合;26个英⽂字母的集合;坐标平⾯上所有点的集合;……集合通常⽤⼤写的英⽂字母来标记,例如⾃然数集合N(在离散数学中认为0也是⾃然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。

表⽰⼀个集合的⽅法有两种:列元素法和谓词表⽰法,前⼀种⽅法是列出集合的所有元素,元素之间⽤逗号隔开,并把它们⽤花括号括起来。

例如A={a,b,c,…,z}Z={0,±1,±2,…}都是合法的表⽰。

谓词表⽰法是⽤谓词来概括集合中元素的属性,例如集合B={x|x∈R∧x2-1=0}表⽰⽅程x2-1=0的实数解集。

许多集合可以⽤两种⽅法来表⽰,如B也可以写成{-1,1}。

但是有些集合不可以⽤列元素法表⽰,如实数集合。

集合的元素是彼此不同的,如果同⼀个元素在集合中多次出现应该认为是⼀个元素,如{1,1,2,2,3}={1,2,3}集合的元素是⽆序的,如{1,2,3}={3,1,2}在本书所采⽤的体系中规定集合的元素都是集合。

离散数学第六章 集合 自然数与自然数集

离散数学第六章 集合 自然数与自然数集

学一:认识作者,了解作品背景作者简介:欧阳修(1007—1072),字永叔,自号醉翁,晚年又号“六一居士”。吉州永丰(今属江西)人,因吉州原属庐陵郡,因此他又以“庐陵欧阳修”自居。谥号文忠,世
称欧阳文忠公。北宋政治家、文学家、史学家,与韩愈、柳宗元、王安石、苏洵、苏轼、苏辙、曾巩合称“唐宋八大家”。后人又将其与韩愈、柳宗元和苏轼合称“千古文章四大家”。
6.1 集合的基本概念 6.2 集合的基本运算 6.3 全集和集合的补 6.4 自然数与自然数集 6.5 包含与排斥原理
11 醉翁亭记
1.反复朗读并背诵课文,培养文言语感。
2.结合注释疏通文义,了解文本内容,掌握文本写作思路。
3.把握文章的艺术特色,理解虚词在文中的作用。
4.体会作者的思想感情,理解作者的政治理想。一、导入新课范仲淹因参与改革被贬,于庆历六年写下《岳阳楼记》,寄托自己“先天下之忧而忧,后天下之乐而乐”的政治理想。实际上,这次改革,受
当n=0时,已经证明了结论成立。 对n作归纳假设,假设对任意自然数m, 有n∊m, 或者n=m,或者m∊n三者之一成立。 现在考察对于n+=n+1的情况。
n+=n∪{n},对于任意自然数m, 若n∊m, 则由对m用归纳法可以证明 n+∊m或者n+=m之一成立(见前页)。 若n=m,则m∊{m}={n},即m∊n∪{n}=n+。 若m∊n,则m∊n∪{n}=n+。
,使得0=m+。 4.n和m均是自然数,如果n+=m+,那么n=m。 5.如S是N的子集,有性质
(1) 0∊S, (2) 如果n∊S,那么n+∊S , 则有 S=N。
数学归纳法——皮亚诺公设的第5条

离散数学第六章---群论

离散数学第六章---群论
得Computer仍是字母串。
第6章 群论
定理6.1 一个半群(S,),如果它有一个子代 数 (M, ) ,则此子代数也是一个半群。
定义6.2 一个半群(S,)的子代数 (M, )也是 半群,称为(S,)的子半群。
第6章 群论
一个半群(S,)中的元素a ,可定义它的幂: a1=a , a2=a a , …,an+1=an a
第6章 群论
定理6.5 一个单位半群(S,),如果存在一个
子代数 (M, ) ,且其单位元 e ∈M,则 (M, )
也是一个单位半群。
定义6.5 一个单位半群(S,),如果存在一个
子代数 (M, ) ,且其单位元 e ∈M,则 (M, )
也是一个单位半群,称为(S,)的子单位半群 。
Hale Waihona Puke 第6章 群论定义6.5 :一个单位半群(S,)如果由它的一个 元素a 所生成,则称为由 a 所生成的循环单位半 群,元素 a 称为此单位半群的生成元素。
定理6.6 :一个循环单位半群是一个可换单位半 群。
第6章 群论
6.2 群
一、群与群的同构 1、群的有关定义
定义6.7 如果代数系统(G, )满足 (1) (G, )为一半群; (2) (G, )中有单位元e; (3) (G,)中每一元素a∈G都有逆元 a-1 则称代数系统(G, )为群。
第6章 群论
第六章 群论 6.1 半群与单元半群 6.2 群
第6章 群论
群在代码的查错、改错的研究,自动机理论等 方面都有应用。
第6章 群论
6.1 半群与单元半群
半群与群都是具有一个二元运算的代数系 统,群是半群的特殊例子。事实上,群是历史 上最早研究的代数系统,它比半群复杂一些, 而半群概念是在群的理论发展之后才引进的。 逻辑关系见图6.1.1。

离散数学_第06章代数结构概念及性质

离散数学_第06章代数结构概念及性质

【例】(1)以实数集 R 为基集,加法运算" +"为二元,运算组成一代数系统,记为〈R, +〉。 (2)以全体n×n实数矩阵组成的集合 M为基集,矩阵加"+"为二元运算,组成一代 数系统,记为〈M,+〉。 (3)设 S A { | 是集合A上的关系}, “ ” 是求复合关系的运算。它们构成代数 系统S A , 。
有了集合上运算的概念后,便可定义代数结
构了。
定义6.1.2 设S是个非空集合且fi是S上的 ni元运算,其中i=1,2,…,m。由S及f1, f2,…,fm组成的结构,称为代数结构,记 作<S,f1,f2,…,fm>。
此外,集合S的基数即|S|定义代数结构 的基数。如果S是有限集合,则说代数结构 是有限代数结构;否则便说是无穷代数结构。
分配律,或者⊙对于○是可左分配的,即
(x)(y)(z)
(x,y,z∈S→x⊙(y○z))=(x⊙y)○(x⊙z))。
运算⊙对于○满足右分配律或⊙对于○是可 右分配的,即(x)(y)(z) (x,y,z∈S→(y○z)⊙x=(y⊙x)○(z⊙x)) 类似地可定义○对于⊙是满足左或右分配律。 若⊙对于○既满足左分配律又满足右分配律, 则称⊙对于○满足分配律或是可分配的。同样可 定义○对于⊙满足分配律。
x为关于⊙的右逆元:=(y)(y∈S∧y⊙x=e);
x为关于⊙可逆的:=(y)(y∈S∧y⊙x=x⊙y=e)
给定<S,⊙>及幺元e;x,y∈S,则 y为x的左逆元:=y⊙x=e
y为x的右逆元:=x⊙y=e
y为x的逆元:=y⊙x=x⊙y=e
显然,若y是x的逆元,则x也是y的逆元,
因此称x与y互为逆元。通常x的逆元表为x-1。

应用离散数学有向图

应用离散数学有向图
1 0 0 0 A 2 0 1 0
1 0 0 1 1 0 1 0
6.1有向图概述
定义 设D=<V,E>为有向图, V={v1, v2, …, vn}, 令 ={
称(pij)n n为D地可达矩阵, 记作P(D), 简记为P.
性质: P(D)主对角线上地元素全为1. D强连通当且仅当P(D)地元素全为1.
性质:
(1)
a n (1)
j1 ij
d (vi ),
i 1,2,..., n
(2)
a n (1)
i1 ij
d (v j ),
j 1,2,..., n
(3)
a(1) ij
m
D中长度为
1 的通路数
i, j
(4)
a n (1)
i1 ii
D中长度为
1 的回路数
6.1有向图概述
有向图地邻接矩阵 例:
6.2 最短路径
Dijkstra算法步骤: 1,初始化阶段,设置辅助数组Dist,其中每个分量Dist[k] 表 示当前所求得地从源点到其余各顶点 k 地最短路径。 除了起点A外,所有节点地距离Dist设置为无穷大。 一般情况下,Dist[k] = <源点到顶点 k 地边上地权值>
或者 = <源点到其它顶点地路径长度> + <其它顶点到顶点 k 地边上地权值>。 2,更新邻居地距离。
(3) 1地总个数等于-1地总个数, 且都等于m
(4) 平行边对应地列相同
6.1有向图概述
有向图地邻接矩阵
定义 设有向图D=<V,E>, V={v1, v2, …, vn}, E={e1, e2, …,
em},

《离散数学》第6章 图的基本概念

《离散数学》第6章  图的基本概念

E ' E )。
生成子图—— G ' G 且 V ' V 。
导出子图 ——非空 V ' V ,以 V ' 为顶点集, 以两端均在 V ' 中的边的全体为边集的 G 的 子图,称 V ' 的导出子图。 ——非空 E ' E ,以 E ' 为边集,以
E ' 中边关联的顶点的全体为顶点集的 G 的子
0 vi与ek 不关联 无向图关联的次数 1 vi与ek 关联1次 2 v 与e 关联2次(e 为环) i k k
1 vi为ek的始点 有向图关联的次数 0 vi与ek 不关联 1 v 为e 的终点 (无环) i k
点的相邻——两点间有边,称此两点相邻 相邻 边的相邻——两边有公共端点,称此两边相邻
孤立点——无边关联的点。 环——一条边关联的两个顶点重合,称此边 为环 (即两顶点重合的边)。 悬挂点——只有一条边与其关联的点,所
对应的边叫悬挂边。
(3) 平行边——关联于同一对顶点的若干条边 称为平行边。平行边的条数称为重数。 多重图——含有平行边的图。
简单图——不含平行边和环的图。
如例1的(1)中,
第六章 图的基本概念 第一节 无向图及有向图
内容:有向图,无向图的基本概念。
重点:1、有向图,无向图的定义, 2、图中顶点,边,关联与相邻,顶点 度数等基本概念,
3、各顶点度数与边数的关系
d (v ) 2m 及推论,
i 1 i
n
4、简单图,完全图,子图, 补图的概念, 5、图的同构的定义。
一、图的概念。 1、定义。 无序积 A & B (a, b) a A b B 无向图 G V , E E V & V , E 中元素为无向边,简称边。 有向图 D V , E E V V , E 中元素为有向边,简称边。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

AB = AB = A
8
广义运算
1. 集合的广义并与广义交 定义6.10 广义并 A = { x | z ( zA xz )} 广义交 A= { x | z ( zA xz )} 实例 {{1}, {1,2}, {1,2,3}}={1,2,3} {{1}, {1,2}, {1,2,3}}={1} {{a}}={a}, {{a}}={a} {a}=a, {a}=a
注意 和 是不同层次的问题
4
空集、全集和幂集
1.定义6.4 空集 :不含有任何元素的集合 实例: { x | xR x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A, A x (xxA) T (恒真命题) 推论 是惟一的 2. 定义6.5 幂集:P(A)={ x | x A } 实例:P()={}, P({})={,{}} 计数:如果 |A|=n,则 |P(A)|=2n. 3. 定义6.6 全集 E:包含了所有集合的集合 全集具有相对性:与问题有关,不存在绝对的全集
25
基本要求
熟练掌握集合的两种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关 系 熟练掌握集合的基本运算(普通运算和广义运算) 掌握证明集合等式或者包含关系的基本方法
26
练习1
1.判断下列命题是否为真 (1) (2) (3) {} (4) {} (5) { a, b } { a, b, c, {a, b, c}} (6) { a, b } { a, b, c, {a, b}} (7) { a, b} { a, b, {{a, b}}} (8) { a, b} { a, b, {{a,b}}}
19
集合等式的证明
方法一:命题演算法 例3 证明A(AB) = A (吸收律) 证 任取x, xA(AB) xAxAB xA(xAxB) xA 因此得 A(AB) = A. 例4 证明 AB = AB 证 任取x, x AB xAxB xAxB xAB 因此得 AB = AB
| A B C |
= 1000(200+166+125)+(33+25+41)8 = 600
14
6.3 集合恒等式
集合算律 1.只涉及一个运算的算律: 交换律、结合律、幂等律
交换 结合 幂等 AB=BA (AB)C =A(BC) AA=A AB=BA (AB)C= A(BC) AA=A AB=BA (AB)C =A(BC)
28
练习2
2.设
S1={1, 2, … , 8, 9}, S2={2, 4, 6, 8} S3={1, 3, 5, 7, 9} S4={3, 4, 5} S5={3, 5} 确定在以下条件下X是否与S1,…,S5中某个集合相等?如 果是,又与哪个集合相等? (1)若 XS5= (2)若 XS4但 XS2= (3)若 XS1且 X ⊈S3 (4)若 XS3= (5)若 XS3 且 X ⊈ S1
5
6.2 集合的运算
初级运算 集合的基本运算有 定义6.7 并 AB = {x | xA xB} 交 AB = {x | xA xB} 相对补 AB = {x | xA xB} 定义6.8 对称差 AB = (AB)(BA) 定义6.9 绝对补 A = EA
11
有穷集合元素的计数
1. 文氏图法 2. 包含排斥原理 定理6.2 设集合S上定义了n条性质,其中具有第 i 条性质的 元素构成子集Ai, 那么集合中不具有任何性质的元素数为
| A1 A2 ... An || S | | Ai |
1 i n 1 i j n
集合与集合之间的关系:, =, ⊈, , ,
定义6.1 A B x ( xA xB ) 定义6.2 A = B A B B A 定义6.3 A B A B A B A ⊈ B x ( xA xB )
思考: 和 的定义
| A A
i
j
|

1 i j k n
| Ai A j Ak | ... ( 1)n | A1 A2 ... An |
推论 S中至少具有一条性质的元素数为
| A1 A2 An | | Ai |
i 1
n
1 i j n
13
实例
方法二 |S| = 1000 |A|=1000/5=200, |B|=1000/6=166, |C|=1000/8=125 |AB| = 1000/lcm(5,6) = 1000/33 = 33 |AC| = 1000/lcm(5,8) = 1000/40 = 25 |BC| = 1000/lcm(6,8) = 1000/24 = 41 |ABC| = 1000/lcm(5,6,8) = 1000/120 = 8
D.M律 双重否定
17
集合算律
4.涉及全集和空集的算律: 补元律、零律、同一律、否定律 补元律 零ቤተ መጻሕፍቲ ባይዱ 同一律 否定 AA= A= A=A =E E AA=E AE=E AE=A E=
18
集合证明题
证明方法:命题演算法、等式置换法 命题演算证明法的书写规范 (以下的X和Y代表集合公式) (1) 证XY 任取x, xX … xY (2) 证X=Y 方法一 分别证明 XY 和 YX 方法二 任取x,xX … xY 注意:在使用方法二的格式时,必须保证每步推理都是充 分必要的
15
集合算律
2.涉及两个不同运算的算律: 分配律、吸收律 与
分配 A(BC)= (AB)(AC) A(BC)= (AB)(AC) A(AB)=A A(AB)=A

A(BC) =(AB)(AC)
吸收
16
集合算律
3.涉及补运算的算律: DM律,双重否定律 A(BC)=(AB)(AC) A(BC)=(AB)(AC) (BC)=BC (BC)=BC A=A
20
等式代入法
方法二:等式置换法 例5 假设交换律、分配律、同一律、零律已经成立,证明吸 收律. 证 A(AB) = (AE)(AB) (同一律) = A(EB) (分配律) = A(BE) (交换律) = AE (零律) =A (同一律)
21
包含等价条件的证明
例6 证明AB AB=B AB=A AB= ① ② ③ ④ 证明思路: 确定问题中含有的命题:本题含有命题 ①, ②, ③, ④ 确定命题间的关系(哪些命题是已知条件、哪些命题是要 证明的结论):本题中每个命题都可以作为已知条件,每 个命题都是要证明的结论 确定证明顺序:①②,②③,③④,④① 按照顺序依次完成每个证明(证明集合相等或者包含)
2
元素与集合
1. 集合的元素具有的性质 无序性:元素列出的顺序无关 相异性:集合的每个元素只计 数一次 确定性:对任何元素和集合都 能确定这个元素是否 为该集合的元素 任意性:集合的元素也可以是 集合 2.元素与集合的关系 隶属关系:或者 3.集合的树型层次结构
d A , a A
3
集合与集合
22
证明
证明AB AB=B AB=A AB= ① ② ③ ④ 证 ①② 显然BAB,下面证明ABB. 任取x, xAB xAxB xBxB xB 因此有ABB. 综合上述②得证. ②③ A=A(AB) A=AB (由②知AB=B,将AB用B代 入)
23
证明
③④ 假设AB, 即xAB,那么知道xA且xB. 而 xB xAB 从而与AB=A矛盾. ④① 假设AB不成立,那么 x(xAxB) xAB AB 与条件④矛盾.
24
第六章 习题课
主要内容 集合的两种表示法 集合与元素之间的隶属关系、集合之间的包含关系的区 别与联系 特殊集合:空集、全集、幂集 文氏图及有穷集合的计数 集合的, , , , 等运算以及广义, 运算 集合运算的算律及其应用
10
运算的优先权规定
1 类运算:初级运算, , , , 优先顺序由括号确定 2 类运算:广义运算和运算, 运算由右向左进行 混合运算:2 类运算优先于1 类运算
例1 A={{a},{a,b}},计算A(AA). 解: A(AA) = {a,b}({a,b}{a}) = (ab)((ab)a) = (ab)(ba) = b
第二部分
第六章 集合代数
集合论
主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式 集合运算的算律、恒等式的证明方法
1
6.1 集合的基本概念
1. 集合定义 集合没有精确的数学定义 理解:由离散个体构成的整体称为集合,称这些个体为集 合的元素 常见的数集:N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 2. 集合表示法 枚举法----通过列出全体元素来表示集合 谓词表示法----通过谓词概括集合元素的性质 实例: 枚举法 自然数集合 N={0,1,2,3,…} 谓词法 S={ x | x是实数,x21=0}
| A A
i
j
|

1 i j k n
| Ai A j Ak | ( 1) m 1 | A1 A2 An |
12
实例
例2 求1到1000之间(包含1和1000在内)既不能被5和6整 除,也不能被8整除的数有多少个?
解 方法一:文氏图 定义以下集合: S={ x | xZ 1x1000} A={ x | xS x可被5整除} B={ x | xS x可被6整除} C={ x | xS x可被8整除} 画出文氏图,然后填入相应的 数字,解得 N=1000-(200+100+33+67) =600
相关文档
最新文档