6.离散数学分析.ppt

庄伯金 bjzhuang@bupt.edu.cn * 商集与集合的划分 定义：设R为非空集合A上的等价关系，以R的所有等价类为元素的集合称为A关于R的商集，记作A/R，即A/R={[x]|x∈A}。 定义：设A为非空集合，若A的子集族?满足： ???； ?x?y(x,y ∈?∧x≠y→x∩y=?)； ∪?=A。 则称?为A的一个划分，称?中的元素为A的划分块。 商集A/R是A的一个划分。 商集与集合的划分 定理：对于集合A的任何一个划分，存在A上的一个等价关系R，使得该划分为A关于R的商集A/R。反之亦然。 庄伯金 bjzhuang@bupt.edu.cn * 庄伯金 bjzhuang@bupt.edu.cn * 偏序关系 定义：设R为非空集合A上的一个关系，若R具有自反性、反对称性和传递性，则称R为A上的偏序关系，记作?。如果x,y∈?，则称x小于或等于y。 定义：设R为非空集合A上的偏序关系，定义 ?x,y∈A，x?y?x?y∧x≠y； ?x,y∈A，x与y可比?x?y∨y?x。 定义：集合A和A上的偏序关系?一起叫做偏序集，记作(A,?)。 定义：设R为非空集合A上的偏序关系，如果?x,y∈A，x与y都是可比的，则称R为A上的全序关系（或线序关系）。 庄伯金 bjzhuang@bupt.edu.cn * 偏序图的表示 哈斯图 排序：若x?y，将x放在y的下方； 连线：?x,y∈A，如果x?y，且不存在z，使得x?z?y，则将x和y连线。 庄伯金 bjzhuang@bupt.edu.cn * 偏序集中的特殊元素 定义：设(A,?)为偏序集，B?A，y∈B， 若?x(x∈B→y?x)，则称y为B的最小元； 若?x(x∈B→x?y)，则称y为B的最大元； 若?x(x∈B∧x?y→x=y)，则称y为B的极小元； 若?x(x∈B∧y?x→x=y)，则称y为B的极大元。 定义：设(A,?)为偏序集， B?A，y∈A， 若?x(x∈B→x?y)，则称y为B的上界； 若?x(x∈B→y?x)，则称y为B的下界； 令C={y|y为B的上界}，则C的最小元为B的上确界； 令D={y|y为B的下界}，则D的最大元为B的下确界。 庄伯金 bjzhuang@bupt.edu.cn * 无向图的相关概念 定义（无向图）：一个无向图 是一个二元组 ，其中 是一个非空有穷集合，称为 的顶点集， 中元素称为顶点或结点，记作 。 是无序积 的一个多重子集，称为 的边集， 中元素称为无向边或边，记作 。 注 顶点集为 的图称为空图。 为多重集，所以边可以重复出现。 庄伯金 bjzhuang@bupt.edu.cn * 无向图的相关概念 定义：无向图 中，设 是 的一条边，则称 为 的端点， 与 (和 )关联 孤立点：无边关联的顶点称为孤立点。 环：若 ，则称 为环。 关联次数：端点与边的连接次数。 相邻：若存在一条边以 为端点，则称 和 相邻。若两条边 和 至少有一个公共端点，则称 和 相邻。 定义：无向图中，顶点 作为边的端点次数之和称为 的度数，简称度，记作 。 庄伯金 bjzhuang@bupt.edu.cn * 有向图的相关概念 定义（有向图）：一个有向图 是一个二元组 ，其中 是一个非空有穷集合，称为 的顶点集， 中元素称为顶点或结点，记作 。 是笛卡尔积 的一个多重子集，称为 的边集， 中元素称为有向边或边，记作 。 注 为多重集，所以边也可以重复出现。 庄伯金 bjzhuang@bupt.edu.cn * 有向图的相关概念 定义：有向图 中，设 是 的一条边，则称 为 的始点， 为 的终点， 与 (和 )关联 孤立点：无边关联的顶点称为孤立点。 环：若 ，则称 为环。 相邻：若存在 ，则称 邻接到 。若边 的终点与 的始点重合，则称 和 相邻。 定义：有向图中，顶点 作为边的始点次数之和称为 的出度，记作 ；定点 作为边的终点次数之和称为 的入度，记作 ； 作为边的端点次数之和称为 的度数，简称度，记作 。 注： 。 庄伯金 bjz