第2章关系与函数.docVIP

第2章 关系与函数一、概念 有序对——有序对是指两个元素x和y 允许x y 按给定顺序排列组成的二元组合，记作x , y ．其中x是它的第一元素，y是它的第二元素．定义2.1.1（笛卡尔积、直乘积） 设A和B是任意两个集合，用A中元素为第一元素，B中元素为第二元素构成有序对，所有这样的有序对组成的集合称为集合A和B的笛卡尔积，或称为集合A和B的直乘积，记作AB．即 AB x , y 且 定义2.1.2（二元关系） 任何一个有序对集合，称为一个二元关系，简称关系，记作R．对于二元关系R，若a，bR， 可记作aRb；若a，bR， 则记作ab．定义2.1.3（从A到B的二元关系） 设A和B是两个集合，AB的任一子集所定义的二元关系R称为从A到B的二元关系．当AB时，称R为A上的二元关系．定义2.1.4（定义域、值域） 关系R中有序对的第一元素所允许选取对象集合称为关系R的定义域，记作Dom（R），第二元素所允许选取对象集合称为关系R的值域，记作Ran（R）．定义2.1.5（空关系、全关系、恒等关系） 对任何集合A，1 因为空集是AA的子集，所以定义了A上的关系，称为A上的空关系；2 定义 EAa，baA 且bA AA，称为A上的全关系；3 定义IA a，aaA，称为A上的恒等关系．定义2.1.6（关系矩阵） 设集合A a1，a2，…，am ，Bb1，b2，…，bn