整数集合Z上模n等价关系的商集是.pptVIP

将Z中的所有整数根据它们除以n的余数分类如下： 余数为0的数，其形式为nz，z∈Z余数为1的数，其形式为nz+1，z∈Z… 余数是n-1的数，其形式为nz+n-1，z∈Z 以上n个等价类，记[i]＝{nz+i|z∈Z}，i=0，1，…，n-1 解答 划分为三个块的情况6种: {{a,b},{c},{d}}，{{a,c},{b},{d}}， {{a,d},{b},{c}}, {{a},{b},{c,d}}， {{a},{c},{b,d}}，{{a},{d},{b,c}} 划分为四个块的情况1种:即{a},{b},{c},{d}} 因此，共有15种不同的等价关系。 * 理学院 季丹丹 牡丹江师范学院本科生课程 1.6 等价关系 §1.6 等价关系 定义15 设R为非空集合上的关系。如果R是自反的、对称的和传递的，则称R为A上的等价关系。设R是一个等价关系，若x，y∈R，称x等价于y，记做x～y. 举例 (1)平面上三角形集合中，三角形的相似关系。 (2)人群中的同性关系。 例 16 例16 设A＝{1,2,…,8}，如下定义A上的关系R：R＝{x，y|x，y∈A∧x≡y(mod 3)}其中x≡y(mod 3)叫做x与y模3相等，即x与y除以3的余数相等。不难验证R为A上的等价关系，因为 ?x∈A，有x≡x(mod 3) ?x,y∈A，若x≡y(mod 3)，则有y≡x(mod 3) ?x,y,z∈A，若x≡y(mod 3)，y≡z(mod 3)，则有x≡z(mod 3) 3 6 1 4 7 2 5 8 等价类 定义16 设R为非空集合A上的等价关系，?x∈A，令[x]R={y|y∈A∧xRy}称 为x关于R的等价类，简称为x的等价类，简记为[x]或 . x的等价类是A中所有与x等价的元素构成的集合。 例7.16中的等价类是： [1]＝[4]＝[7]＝{1,4,7} [2]＝[5]＝[8]＝{2,5,8} [3]＝[6]＝{3,6} 整数集合Z上的模n等价关系 设x是整数，n为给定的正整数，则有唯一整数q和r，使得x＝qn+r其中0≤r≤n-1，称r为x除以n的余数。 例如n＝3，那么－8除以3的余数为1，因为 -8＝-3×3+1 对于任意的整数x和y，定义模n相等关系～x～y ? x≡y(mod n) 不难验证它是整数集合Z上的等价关系。 整数集合Z上的模n等价关系 等价类的性质 定理14 设R是非空集合A上的等价关系，则 （1）?x∈A，[x]是A的非空子集。 （2）?x,y∈A，如果xRy，则[x]＝[y]. （3）?x,y∈A，如果x,y?R，则[x]与[y]不交。 （4）∪{[x]|x∈A}＝A. 证明（1） 由等价类的定义可知， ?x∈A有[x]?A. 又由于等价关系的自反性有x∈[x]，即[x]非空。 定理14 （2）?x,y∈A，如果xRy，则[x]=[y]. 任取z，则有 z∈[x] ? x,z∈R ? z,x∈R (因为R是对称的) ? z,x∈R ∧ x,y∈R ? z,y∈R (因为R是传递的) ? y,z∈R (因为R是对称的) ? z∈[y]. 所以 [x]?[y]. 同理可证 [y]?[x]. 因此，[x]=[y]. 定理14 （3）?x,y∈A，如果x,y?R，则[x]与[y]不交。 假设 [x]∩[y]≠? ， 则存在 z∈[x]∩[y]， 从而有 z∈[x]∧z∈[y]， 即x,z∈R∧y,z∈R成立。 根据R的对称性和传递性，必有x,y∈R，与x,y?R矛盾， 即假设错误，原命题成立。 定理14 （4）∪{[x]|x∈A}＝A. 先证 ∪{[x]|x∈A}?A 任取y，y∈∪{[x]|x∈A} ? ?x(x∈A∧y∈[x])  ? y∈A (因为[x]?A) 从而有∪{[x]|x∈A}? A. 再证 A?∪{[x]|x∈A} 任取y，y∈A ? y∈[y]∧y∈A   ? y∈∪{[x]|x∈A} 从而有A?∪{[x]|x∈A}成立。 综上所述得 ∪{[x]|x∈A}＝A. 商 集 定义17 设R为非空集合A上的等价关系，以R的所有等价类作为元素的集合称为A关于R的商集(quotient set)，记做A/R，即 A/R={[x]R|x∈A} 例16中的商集为 {{1,4,7},{2,5,8},{3,6}} 整数集合Z上模n等价关系的商集是 {{nz+i|z∈Z}|i=0,1,…,n-1