离散数学 第7章.ppt

第七章 二元关系 第一节 有序对与笛卡儿积 例7.1 关于A?C∧B?D ? A×B?C×D的讨论 该性质的逆命题不成立，可分以下情况讨论。 （1）当A=B=?时，显然有A?C 和 B?D 成立。 （2）当A≠?且B≠?时，也有A?C和B?D成立，证明如下： 任取x∈A，由于B≠?,必存在y∈B,因此有 x∈A∧y∈B ? x,y∈A×B ? x,y∈C×D ? x∈C∧y∈D ? x∈C 从而证明了 A?C。 同理可证 B?D。 关于A?C∧B?D ? A×B?C×D的讨论 该性质的逆命题不成立，可分以下情况讨论。 （3）当A＝?而B≠?时，有A?C成立，但不一定有B?D成立。 反例：令A＝?,B＝{1},C＝{3},D＝{4}。 （4）当A≠?而B＝?时，有B?D成立，但不一定有A?C成立。 反例略。 第二节 二元关系 第三节 关系的运算 第四节 关系的性质 （1） R在A上自反当且仅当 IA ? R 必要性: 任取x,y，有 x,y∈IA ? x,y∈A ∧ x＝y ? x,y∈R 所以 IA ? R （2）R在A上反自反当且仅当 R∩IA＝? （3） R在A上对称当且仅当 R＝R-1 必要性： 任取x,y，有 x,y∈R ? y,x∈R(因为R在A上对称)