Ch08二元关系摘要.ppt

习题 P178-182 1,3,4,7,10,11,13,14,20,25 * 智能科学系 95--* * * * * * * * * * 智能科学系 95--* 反自反 关系性质的证明方法 自反 任取x?A， 中间过程 任取x?A， 中间过程 对称 任取x,y?A， 假设x,y?R， 中间过程 y,x?R。 x,x?R。 x,x?R。 * 智能科学系 95--* 关系性质的证明方法(续) 反对称 任取x,y?A，假设 x,y?R，y,x?R， 中间过程 x＝y。 或者 任取x,y?A，x≠y， 假设x,y?R， 中间过程 y,x?R。 传递 任取x,y,z?A，假设 x,y?R，y,z?R， 中间过程 x,z?R。 * 智能科学系 95--* 定理8.5设R是集合A上的二元关系，则： R是自反的?IA?R； R是反自反的?R∩IA＝Φ； R是对称的?R＝R-1； R是反对称的?R∩R-1?IA； R是传递的?R?R?R。 8.3.5　利用集合运算来判断的关系性质 证明：4)“?”设R是反对称的。 对任意a,b∈R∩R-1,则a,b∈R并且a,b∈R-1, 即：a,b∈R且b,a∈R，由于R是反对称的，则a＝b。 所以，a,b＝a,a∈IA，即R∩R-1?IA。 * 智能科学系 95--* “?”设R∩R-1?IA。 对任意a,b∈A,若a,b∈R并且b,a∈R，则有： a,b