定理1.2.4-吉林大学继续教育学院.pptVIP

定理1.2.4　集合A上的关系R具 有传递性的充要条件是R?R?R (R?R可简记为R2)。 证明：必要性。若R具有传递性， 任取（x，y）?R2，于是存在z?A，使得 xRz，zRy 因为R是传递的，所以有xRy，即（x，y）?R。故R2? R。 充分性。若R2? R，如果xRy，yRz，则xR2z。故xRz。所以R是传递性的。 一般来说，设A是一个集合，A 上的关系R不一定具有上面讨论 过的某些性质，如自反性、对 称性或传递性。下面我们讨论 最小的包含R的关系R?，使得R? 具有所要求性质，这就是关系的闭包。 定义1.2.9　设A是非空集合，R是A上的二元关系。R的自反闭包（对称闭包，传递闭包）R?满足如下条件： （1） R?是自反的（对称的，传递的）（2）R?R?； （3）对A上任意自反的（对称的，传递的）关系R??，且R? R??，必有R??R??。 R 的自反闭包、对称闭包和传 递闭包分别记为r(R)，s(R)， t(R)，也称r，s，t为闭包运 算，它们作用于关系R后，产