[理学]等价关系.pptVIP

§1 等价关系与集合的分类 1.1 有序对与笛卡儿积 定义1.1 由两个元素x和y（允许x=y）按一定顺序排列成的二元组叫做一个有序对(ordered pair)或序偶，记作x,y，其中x是它的第一元素，y是它的第二元素。 有序对x,y具有以下性质： （1）当x≠y时，x,y≠y,x。 （2）x,y＝u,v的充分必要条件是x＝u且y＝v。 例1.1 笛卡儿积的定义 定义1.2 设A，B为集合,用A中元素为第一元素，B中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A和B的笛卡儿积(Cartesian product)，记作A×B。 笛卡儿积的符号化表示为 A×B＝{x,y|x∈A∧y∈B} 笛卡尔积举例 笛卡儿积的运算性质 (1)对任意集合A，根据定义有 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) (5)A?C ∧ B?D ? A×B ? C×D