离散数学第三章第二节.pptVIP

第3-2讲 笛卡儿积与关系 1. 序偶的概念 2. 笛卡儿积 3. 笛卡儿积的性质 4. 关系的概念 5. 关系的表示 6. 关系的性质 7. 课堂练习 8. 第3-2讲 作业 1、序偶的概念 定义１ 两个元素x、y构成的有序二元组x,y，叫有序对或序偶。 2、笛卡儿积 定义2 设A、B为集合，由序偶组成的集合{x,y|x?A,y?B}叫A与B的笛卡儿积，记作A?B。 3、笛卡儿积的性质 笛卡儿积的运算有如下性质：设A、B、C为任意集合，则 （1）A??=?，??A=? （2）A?B ? B?A（当A ? ? ?B ? ??A ? B时） （3）(A?B)?C ? A?(B?C)（当A ? ??B ? ??C ? ?时） （4）A?(B?C)=(A?B)?(A?C) (B?C)?A=(B?A)?(C?A) A?(B?C)=(A?B)?(A?C) (B?C)?A=(B?A)?(C?A) 后四个式子按集合相等的概念可以证明。 4、关系的概念 定义3 任一序偶的集合R称为一个二元关系。 x,y?R 也记作 xRy 4、关系的概念(续1) 定义5 设X和Y是两个任意集合，直积X?Y的任一子集R称为X到Y的关系。 直积X?Y本身和空集?是X?Y的平凡子集，分别称为X到Y的全域关系和空关系