离散数学第2版教学课件-关系的性质与运算的联系.pdfVIP

4.3.5 关系的性质与运算的联系 第4.2节我们讨论过，非空集合A上的关系的性质主要有 自反性，反 自反性，对称性，反对称 性和传递性等五种 。下面给出这五种性质成立的充分必要条件 ，可用于判断一个关系是否具 有某种性质。 定理4.12 设R是A上的关系，则 （1）R在A上 自反当且仅 当I  R。 A （2）R在A上反 自反当且仅 当R  I =  。 A （3）R在A上对称 当且仅 当R = R-1 。 （4）R在A上反对称 当且仅 当R  R-1  IA 。 （5）R在A上传递当且仅 当R◦ R  R。 4.3.5 关系的性质与运算的联系 (4) R在A上反对称 当且仅 当 R ∩R-1  IA 证 (4.1) 必要性 任取x, y , 有: x, y  R ∩ R-1  x, y R ∧x, y  R-1  x, y R ∧y, x R  x