离散数学第六章
《离散数学》 第六章 集合的基数

定理6.2.5 可数个可数集的并集仍然是一可数集。
在上面元素的排列中,由左上端开始,其每一斜线上的每一元素
的两足码之和都相同,依次为2,3,4,…,各斜线上元素的个
数依次为1,2,3,4,…,故A的排列为: a11,a21,a12,a31,a22,a13,… 故S是可数的,定理得证。
(3)card X = card Y。
6.3 基数的比较
定理6.3.3 设X、Y为任意两个集合, 如果cardX ≼· cardY,cardY ≼· cardX, 则cardX=cardY。
例6.3.1
证明[0,1]和(0,1)有相同的基数。
解 根据定理6.3.3,我们只需构造两个单射函数:
f:(0,1) → [0,1],f(x)=x
6.2 可数集和不可数集
6.2.1 可数集
定理6.2.5
证明 为:
可数个可数集的并集仍然是一可数集。
设S1,S2 , S3,……是可数个可数集,分别表示 S1={a11,a12,a13,…,a1n,…} S2={a21,a22,a23,…,a2n,…} S3={a31,a32,a33,…,a3n,…} …………
6.1 基数的概念
定义 6.1.3 设 X 为任意集合,称 card X 为集合 X 的基数,并作 以下规定: ( 1 )对于任意的集合 X 和 Y ,规定 card X = card Y ,当且仅当 X≈Y; (2)对于任意有限集合X,规定与X等势的那个唯一的自然数n为X 的基数,记作 card X = n (3)对于自然数集合N,规定 card N = (读作阿列夫零) (4)对于开区间(0,1),规定 card(0,1)= (读作阿列夫)
⑵ 若X≈Y,则X≼· Y且Y≼· X。
离散数学第六章 集合-包含与排斥原理

│A1∪A2│=│A1│+│A2│–│A1∩A2│ = 12+18-5 = 2Ar是r个有限集。则
| A1 A2 Ar | | Ai |
i 1
r
1i j r j
| A A
i
j
|
1i j k r
| A A
例 (p71-72) 求出在1和300之间,不能被2、3、5、7中 任意一个整除的整数的个数。
分析:
A1表示1和300之间能被2整除的整数集合 A2表示1和300之间能被3整除的整数集合 A3表示1和300之间能被5整除的整数集合 A4表示1和300之间能被7整除的整数集合
│A1∪A2∪A3∪A4 │=?
a1表示1和300之间能被2整除的整数集合a2表示1和300之间能被3整除的整数集合a表示1和300之间能被5整除的整数集合a3表示1和300之间能被5整除的整数集合a4表示1和300之间能被7整除的整数集合a1a2a3a4
第六章 集合
6.1 集合的基本概念 6.2 集合的基本运算 6.3 全集和集合的补 6.4 自然数与自然数集 6.5 包含与排斥原理
例 (p71-72)求出在1和300之间,不能被2、3、5、7中
任意一个整除的整数的个数。
解:设A1,A2,A3,A4分别表示1和300之间能被2整除的、能被3整除的 、能被5整除的和能被7整除的整数集合。故有: │A1│=150,│A2│=100,│A3│=60,│A4│=42, │A1∩A2│=50,│A1∩A3│=30,│A1∩A4│=21 │A2∩A3│=20,│A2∩A4│=14,│A3∩A4│=8 │A1∩A2 ∩A3 │=10,│A1∩A2 ∩A4 │=7 │A1∩A3 ∩A4 │=4, │A2∩A3 ∩A4 │=2 │A1∩A2 ∩A3 ∩A4 │=1 于是,我们有: │A1∪A2∪A3∪A4 │ =150+100+60+42– (50+30+21+20+14+8)+(10+7+4+2)–1 =231 因此, 所求个数为 300-231=69.
《离散数学》第六章 集合代数

例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.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章代数结构概念及性质

【例】(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。
离散数学第六章集合代数

集合算律
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)
16
2.涉及两个不同运算的算集律合:算 律 分配律、吸收律
与
分配
A(BC)=
(AB)(AC)
A(BC)=
(AB)(AC)
吸收
A(AB)=A
A(AB)=A
与
A(BC) =(AB)(AC)
17
3.涉及补运算的算律: 集合算律 DM律,双重否定律
D.M律
双重否定
A(BC)=(AB)(A C)
A(BC)=(AB)(A C)
(BC)=BC (BC)=BC
A=A
18
4.涉及全集和空集的算律集:合 算 律 补元律、零律、同一律、否定律
解 (1)、(3)、(4)、(5)、(6)、(7)为真,其余为假.
28
(1) 判断元素a与集合A的隶属关系是否成立基本方法:
把 #2022 a 作为整体检查它在A中是否出现,注意这里的 a 可
能是集合表达式.
(2) 判断AB的四种方法
若A,B是用枚举方式定义的,依次检查A的每个元素是否 在B中出现.
(交换律)
八. = A E
(零律)
九. = A
(同一律)
22
例6 证明AB AB=B AB=A AB=
#2022
①
②
③
④
证明思路:
确定问题中含有的命题:本题含有命题 ①, ②, ③, ④
离散数学 第六章

第二部分集合论引言集合是数学中最为基本的概念,又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。
集合论是离散数学的重要组成部分,是现代数学中占有独特地位的一个分支。
G.康托尔是作为数学分支的集合论的奠基人。
1870年前后,他关于无穷序列的研究导致集合论的系统发展。
1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。
1878年,他引进了两个集合具有相等的“势”的概念。
然而,朴素集合论中包含着悖论。
第一个悖论是布拉利-福尔蒂的最大序数悖论。
1901年罗素发现了有名的罗素悖论。
1932年康托尔也发表了关于最大基数的悖论。
集合论的现代公理化开始于1908年E.策梅罗所发表的一组公理,经过A.弗兰克尔的加工,这个系统称为策梅罗-弗兰克尔集合论(ZF),其中包括1904年策梅罗引入的选择公理。
另外一种系统是冯*诺伊曼-伯奈斯-哥德尔集合论。
公理集合论中一个有名的猜想是连续统假设(CH)。
K.哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性,P.J.科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。
现在把策梅罗-弗兰克尔集合论与选择公理一起称为ZFC系统。
本部分主要介绍朴素集合论的主要内容,其中包括集合代数(第六章)、二元关系(第七章)、函数(第八章)、集合的基数(第九章)等。
本部分的先行知识及各部分的关系如下图所示:6.1 集合的基本概念一.集合的表示集合是不能精确定义的基本概念。
直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。
例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;……集合通常用大写的英文字母来标记,例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。
表示一个集合的方法有两种:列元素法和谓词表示法,前一种方法是列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来。
离散数学第六章

- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
树是点比边多一的连通图
证明:因G是树,所以G连通,
明 q=p–1: (1) p=1时,显然q=p–1 ; (2)假设对顶点数少于p的树,结论成立; (3) 对于p个顶点的树G ,p2 , 取e=uv ∈E(G) , 由 定理6.1.1知,e是唯一的(u,v)––通路,于是, G–e不连通而且恰有两个连通分支G1(p1,q1)和 G2(p2,q2),显然,p1<p且p2<p .由归纳假设, q1=p1–1 , q2=p2–1 , 从而q=q1+q2+1=p1+p2–1=p–1 。
2014-3-31
离散数学
9
树若减条边就会不连通
证明:任取u,v ∈V(G) , 若uv∈E(G) , 则u和v
是连通的;若uv E(G) , 则有(4)知,G+uv有 唯一的回路C。由于G中无回路,所以,u,v必 在回路C上,显然,C – uv是G的连通子图,从 而G中含(u,v)–通路,即uv,故G是连通图。
树中至少有两个悬挂点
定理
6.1.3 任何非平凡树G(p,q)中至少有两个 顶点的度数为1(悬挂点 )。 证明:(反证) 已知G中每个点的度 dG(v)1 , 若G中最多只有一个点的度数为1,则G中至少 有p–1个顶点的度数大于或等于2,于是, 2q= d (v) 2(p–1) +1 > 2(p–1) = 2q
离散数学
18
去边破回路法
定理6.2.1给出了一种求连通图的生成树的方法:
= {e1,e2,…,eq} for i = 1 to q do //逐条考察G的边// if 删去ei后G仍然是连通的 then 删去ei。 这种方法称为去边破回路法。 e14 e13 例如: e
令E(G)
e1
2014-3-31 离散数学 29
Kruskal 算法
⑴初始化:E’:= E(G); ET:=; i:=1; j:=1; ⑵sort(E’); //将G的边按权从小到大排序// ⑶while j< p do ⑷ begin //循环挑选p-1条边// ⑸ if G[ET∪{ei}]无回路 then begin ET:= ET∪{ei}; j:= j+1 end ⑹ i:= i + 1; ⑺end{while}
构)的数目。设 e=xy是图G的一条边,x≠y,于是 (G) = (G–e) + (G e ) 证明:将G的生成树按含e与否分为两类: (1)不含e的生成树即为G–e的生成树;而G–e的生成 树都不含e,所以G的不含e的生成树有(G–e) 个。 (2)包含e的生成树即为包含了收缩e边后的那个顶点 的生成树,故G的含了e的生成树数目为(G e )个。 由(1)和(2)知结论成立。
对任意e∈E(G)
, 若G – e仍连通,则说明G中含 有回路,此与(4)矛盾,故G – e不连通。
2014-3-31
离散数学
10
少条边就会不连通的图是树
只须证G中无回路。
若G中含回路C,取e=xy∈E(C) ,则 C – e仍连 通,任取u,v∈V(G) ,因G连通,故G中有(u,v)––通 路P。若P不含e,则u,v在G – e中仍连通;若 P中 含e,则P中的e可以用C – e中的(x,y)––通路代替, 从而u,v在G – e中仍连通。总之,u与v在G – e中 连通,此与(5)矛盾。故G无回路,因此,G是树。
第六章 树
§6.1 树的定义
定义6.1.1:
连通无回路的图称为树。 让我们来看一下《数据结构》中的树的定义: 一棵树是一个或多个顶点的有限集合T,使得, ⑴有一个特殊标识的顶点,称为根; ⑵除根以外的其余顶点形成n≥0个划分,T1 , T2 ,… ,Tn,它们也都是树,称为根的子树。 这里的树的定义更为一般。《数据结构》中树 的定义与此定义的区别只是指定了一个特殊的 顶点 ——根,并由此使得顶点之间形成了层次 结构,而它同样也是一个无回路的连通图。
通路、二叉树排序,各种层次结构的表示、等 等。可以说,在计算机领域中几乎处处可以见 到她的婆娑身影。
例如:右图就是用树
– * + a b
4
表示的算术表达式: (a+b)* c – d /c
/ c d e
2014-3-31
离散数学
树中只有单通路
y P1 x 树T中任何两个顶点之间恰有一条 6.1.1 通路。 v u Pxy 证明: (存在性)因为树是连通图,所以任意两点 P2 之间有通路。 (唯一性)设u,v∈V(T),若u和v之间有两条不同的 (u,v)通路P1,P2,于是必有边xy,xy∈E(P1),但 xyE(P2),显然H=P1∪P2-xy是连通图,从而H中 存在(x,y)-通路Pxy.于是Pxy+xy是T中的一条回路, 与树的定义相矛盾。所以定理得证。 此定理的逆不一定成立。
2014-3-31 离散数学 17
去边破回路法
定理6.2.1给出了一种求连通图的生成树的方法:
令E(G)
= {e1,e2,…,eq} for i = 1 to q do //逐条考察G的边// if 删去ei后G仍然是连通的 then 删去ei。
这种方法称为去边破回路法。 例如:
2014-3-31
2014-3-31 离散数学 16
连通是有生成树的充要条件
定理6.2.1:
图G有生成树当且仅当G是一
个连通图。 证明:若G连通,则存在一个G的连通子 图T满足:T连通且从T中去掉任何一条边 后T不连通,于是由定理6.1.2(5)知,G的 生成子图T是树,故T是G的生成树; 反之,若G不连通,则G的任何生成 子图也不连通,故G无生成树。
oc
c b 3 2
a b 3(1)
定理6.2.2 树的任意一条边被收缩后仍为树。 证明:树的任意一条边被收缩后,其顶点数减1, 边数也减1,且收缩后的图仍为连通图,由定理 6.1.2(2)知结论成立。
2014-3-31 离散数学 20
图的生成树的数目
定理
6.2.3 以下用(G)表示图G的不同生成树(包括同
2014-3-31
离散数学
21
求一个图的生成树的数目
给定图G为: (G) = = + +( + +
=
=
(
)
+
(
+
+
)
)+ (
+ + +
)+ (
+ +
离散数学
)
=8
22
=
+
Байду номын сангаас
+
+
2014-3-31
例中图G的八棵生成树
计算(G)中最后出现了八个图:
除第一个外,它们并不是图G的生成树。
图G的八个生成树是:
2014-3-31 离散数学 28
Kruskal 算法的思想
给定连通图G,设G的各边权非负且无环: 首先选择一条权值最小的边; 然后逐条增加边的数目。增加的方法是: 从未选入的边中挑选一条不会形成回路 的权值最小边。 这样一直到选满p-1条边。 显然,这样得到的是无回路的p-1条边的 子图,由定理6.1.2可知这是一棵生成树。
2014-3-31 离散数学 25
完全图的生成树的数目
定理 6.2.4 (Cayley公式):(Kn) = nn–2 , n2。 证明:完全图Kn的生成树的数目就是所有由n
个顶点构成的树的数目。 由前面对树的编码可知,每棵n个顶点的 树有一个n-2位的编码,而每个n-2位的编码对 应一棵n个顶点的树。因此编码与树是一对一 的映射。有多少个编码就有多少棵树。 n-2位的编码有nn-2个,所以, (Kn) = nn–2。 注意不同的生成树可以是同构的。例如: (K6) = n4=1296,可是K6互不同构生成树只有6个。
定理
2014-3-31 离散数学 5
几种等价说法
定理
6.1.2 设G(p,q) 是一个图,于是,下列五 种说法相互等价: G是树; (1) (2) G连通且q = p – 1; (2) (3) G无回路且q = p – 1; (3) (4) G无回路,但对任意的u,v∈V(G),若uv E(G),则 G+uv中恰有一条回路; (4) (5) G连通,但对任意e ∈E(G) , G–e不连通。(5) (1)
e2
e5
e3
e4
e6
e7
e9 e10 e8
e11
15
e12
19
显然,考察边的顺序不同会产生不同的生成树。
2014-3-31 离散数学
边的收缩运算
定义6.2.2:
设G是连通图,e∈E(G),删去e并 使e的两端点重合,此过程称为e的收缩。所得 的图记为Goe 。 例如: G:1 G :
a 2
2014-3-31
离散数学
11
少条边就不连通的图是树的证明图示
P不含e:
u
C
v
P含e:
u
C
v
x
e
y
x
e y
P
P
G
2014-3-31 离散数学
G
12
平凡树和森林
只有一个顶点的图(平凡图)称为平凡
树。 具有多个连通分支,且每个连通分支都 是树的图称为森林。
2014-3-31
离散数学
13
2014-3-31 离散数学 7
下对p做归纳证
树是点比边多一的无回路图
假设G有回路,则显然可以依次从各回路中去
掉边而保持G的连通性。设从G中去掉了k条边 得到G的一个无回路的连通生成子图T,由定义 知T是G的生成树,且其边数是q–k ,顶点数是p, 由(2)知 q– k = p –1 但已知 q =p–1, 因此必有k =0 .这说明G本身就 无回路。