离散数学PPT课件(1).pptx

1离散数学DiscreteMathematics计算机与信息科学系DepartmentofComputerandInformationScienceCopyright?《离散数学》精品课程小组离散数学PPT课件(1)全文共97页，当前为第1页。

标题添加点击此处输入相关文本内容点击此处输入相关文本内容总体概述点击此处输入相关文本内容标题添加点击此处输入相关文本内容离散数学PPT课件(1)全文共97页，当前为第2页。

离散数学Copyright?《离散数学》精品课程小组1-37.1有序对与笛卡儿积7.2二元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系离散数学PPT课件(1)全文共97页，当前为第3页。

离散数学Copyright?《离散数学》精品课程小组1-47.1有序对与笛卡儿积定义7.1由两个元素x和y按一定顺序排列成的二元组叫做一个有序对或序偶(OrderedPair),记作x,y,其中x是它的第一元素,y是它的第二元素.有序对x,y具有以下性质:1）当x?y时,x,y?y,x;2）x,y=u,v的充分必要条件是x=u且y=v.这些性质是二元集{x,y}所不具备的.例如当x?y时,有:{x,y}={y,x}.原因在于有序对中的元素是有序的,而集合中的元素是无序的.离散数学PPT课件(1)全文共97页，当前为第4页。

离散数学Copyright?《离散数学》精品课程小组1-5例7.1已知x+2,4=5,2x+y,求x和y.解由有序对相等的充要条件有解得:x=3,y=-2.离散数学PPT课件(1)全文共97页，当前为第5页。

离散数学Copyright?《离散数学》精品课程小组1-67.1有序对与笛卡儿积定义7.2设A和B为集合,用A中元素为第一元素,B中元素为第二元素构成有序对;所有这样的有序对组成的集合叫做A和B的笛卡儿积(CartesianProduct/ProductSet),记作A?B.笛卡儿积的符号化表示为:A?B={x,y|x?A,y?B}例如,设A={a,b},B={0,1,2},则A?B={a,0,a,1,a,2,b,0,b,1,b,2}B?A={0,a,0,b,1,a,1,b,2,a,2,b}离散数学PPT课件(1)全文共97页，当前为第6页。

离散数学Copyright?《离散数学》精品课程小组1-77.1有序对与笛卡儿积由排列组合的知识不难证明：如果|A|=m,|B|=n,则|A?B|=mn.笛卡儿积运算具有以下性质:1）对任意集合A,根据定义有A??=?,??A=?2）一般地说,笛卡儿积运算不满足交换律,即A?B?B?A(当A?B,A??,B??时)3）笛卡儿积运算不满足结合律,即(A?B)?C?A?(B?C)(当A??,B??,C??时)离散数学PPT课件(1)全文共97页，当前为第7页。

离散数学Copyright?《离散数学》精品课程小组1-84.笛卡儿积运算对并和交运算满足分配律,即(1).A?(B∪C)=(A?B)∪(A?C)

(2).(B∪C)?A=(B?A)∪(C?A)

(3).A?(B∩C)=(A?B)∩(A?C)

(4).(B∩C)?A=(B?A)∩(C?A)

我们只证明等式(1).

证任取x,y x,y?A?(B∪C) ?x?A∧y?(B∪C) ?x?A∧(y?B∨y?C) ?(x?A∧y?B)∨(x?A∧y?C) ?x,y?A?B∨x,y?A?C ?x,y?(A?B)∪(A?C)离散数学PPT课件(1)全文共97页，当前为第8页。

离散数学Copyright?《离散数学》精品