《离散数学》课程讲义课件.pptVIP

2.图的运算（定义9.2.4） 由图G1和G2中所有的边组成的图，称为两图的并：G1∪G2 由图G1和G2中的公共边组成的图，称为两图的交：G1∩G2 在G1中去掉G2中的边得到的图，称为两图的差：G1-G2 (G1∪G2)-(G1∩G2)为两图的环和： G1⊕G2 e e e e a b c d G a b c d 生成子图 a b 导出子图 a b c 主子图 例 P226图9.2.2 3. 补图 1）相对于图G的补图 (定义9.2.5) 设G’= V’, E’是图 G= V,E 的子图，若给定另一个图G’’= V’’，E’’ 使得E’’=E－E’且V’’是E’’中的边所关联的结点集合，则称G’’是子图G’的相对于图G的补图。 注 ① E’∩E’’=φ ，E’∪E’’=E ② V’’仅是E’’中的边所关联的结点集合。 ③ G’和G’’关系不是互逆的。 (2)相对于G的补图是（3）， 但（3）相对于G的补图不是（2）而是（4）。 a a b c d e b c d e b c d e a b c e (1) G (2) (3) (4) 2）相对于完全图的补图(定义9.2.6) 给定一个图G，由G中所有结点和能使G成为完全图所添加边所构成的图，称为G的相对于完全图的补图，简称G的补图，记作G . 相对于完全图的补图是可逆的，即若G是G的补图，则G也是G的补图； 零图与完全图是互为补图。 例 求G1和G2的补图。 G1 G2 G1 G2 9.3 路径、回路与连通性 1. 路径： 给定图G=V,E，设v0,v1,v2,…vn?V, e1,e2,…en?E, 其中ei 是关联vi-1和vi 的边，则 序列v0e1v1e2v2,…envn（点和边的交叉序列） 就称为从 v0 到 vn的路径。 v0 ：路径的起点 ； vn：路径的终点。 路径的长度：路径中边的数目； 回路：当 v0 = vn时，该路径称为回路。 简单路径：边不重复的路径； 基本路径：点不重复的路径； 定理 群的运算表中每一行或每一列都是G中元素的双变换。 G中每个元素在每一行必出现且仅出现一次。 例 P198习题-18 若群G,*中每个元素的逆是其自身， 证该群是阿贝尔群。 证 只需证运算*可交换。 对任意的a,b∈G, a*b=a-1*b-1=(b*a)-1=b*a 故G,*是阿贝尔群。 例 7.2.4 P175: 自己练习 例 P198习题-17 S,*是有限可交换含幺半群，且对任意的a,b,c∈S，若a*b=a*c ? b=c. 证S,*是阿贝尔群。 证 只需证S中每个元素都可逆。 因S,*是有限可交换含幺半群，所以S是有限集。 不妨令S={a1,a2,…,an}, 对任意a∈S，有 {a*a1, a*a2 , …, a*an}?S, 又由对任意的ai , aj∈S，若a*ai=a*aj, 可推得ai=aj. 所以a*ai互不相同，即 {a*a1, a*a2, …, a*an}=S 又S中有幺元e,故必存在某个ak∈S,使 a*ak=e. 又*可交换，a*ak=ak*a=e, 即a-1=ak, 由a任意，每个元素都可逆，即S,*是群，又因可交换，故是阿贝尔群。 3 群同态的例子 参见P177 例7.2.6 7.3 循环群与变换群 1 循环群 定义 设G,*是群，若G中的每个元素都是G中某个固定元素a的整数幂，则称群G,*为循环群。 亦称群是由a生成的, 记为 G=(a).元素a称为群G的生成元。 例1 整数加群I,+是循环群：1是其生成元1m=m, 1-m=-m -1也是其生成元。故 I= (1) = (-1). 例2 G={…,5-2, 5-1, 1, 5, 25, …} ，则G,×是群，是循环群 故 G=（5）. 讨论一下循环群的结构： 命题1: 设循环群G=(a)，若a的所有不同的整数幂都互不相等，则G中含有无限多个元素，且有 G=(a)={…,a-2, a-1, a0, a1, a2,…} 命题2:设循环群G=(a)，若a的所有不同的整数幂中有两个是相等的，则G中存在最小的正整数n使得an=e，且有 G=(a)={a0,a1,a2…,an-1} 定义 设群G,*中任一元素a，若存在使an=e的最小的正整数n，则称a的周期(或阶)为n。 若正整数n不存在，则称