等价关系公理系统的若干等价形式

在近世代数的讨论中,等价关系是一个十分有用的工具。对于集合M的元素规定了一个关系,记为～,是指:对于(?)a,b∈M,可以判断这个关系成立或不成立,印有a～b或没有a～b。当关系～适合反射、对称、推移三律时,则称该关系为等价关系。 (I) P_1反射律:(?) Q_2对称律:(?) R_1推移律:(?) 由此可见,等价关系是由三条公理给出的,我们称为等价关系公理系统。我们试图找出该公理系统的其他等价形式,此“等价”二字为可以互推的意思,如A(?)B,即指:A(?)B与B(?)A。首先,推移律 (又称传递律) 中的b,是起联系a与c的作用的,b的位置可以变化,如变为b～a,bc(?)a～c,同样可以起联系作用。其次,为要保证反射律 (又称自反律) 成立,我们可以改为:对(?)a∈M,(?)b∈M,使