等价关系和集合分类
近世代数之等价关系与集合的分类
19
17
注 假如用 n表达一种具有n个元素旳集合上
旳不同等价关系旳个数, 则有下列旳递推公式:
n
n 1 Cnkk ,n 1 其中,Cnk 为二项式系数, 并 k 0
要求 0 1,1 1
18
参照文件及阅读材料
[1] 闵嗣鹤, 严士健． 初等数论（第２版）．北京: 高等教育出版社, 1990
本书旳第1章有有关整数整除性旳详细讨论, 第3章 则简介了同余旳概念及其性质． [2] binatorial
5
定义1.1.3 假如～是集合 S 旳一种等价关系, 对a S , 令
a x S | x ~ a 称子集a 为 S 旳一种等价类 (equivalence class) ．S
旳全体等价类旳集合称为集合S 在等价关系下旳商集 (quotient set), 记作 S / ~ ．
6
例４ 易知, 三角形旳全等,相同, 数域上n 阶方 阵旳等,相同,相合等都是等价关系, 而例1,例2,例3及 本节开头所述旳关系都不是等价关系．
9
例6 设 M 为数域 F 上全体 n 阶方阵旳集合,令 M r 表达全部秩为 r 旳 n 阶方阵构成旳子集.
n
(1) M Mi ;
i0
(2) Mi M j ,i j ．
所以Mi | i 0,1, ,n是M 旳一种分类．
例7 m a | a 0,1,2, ,m 1 是整数集 旳一
种分类．
3
例2 在整数集中, 要求ab a | b．因为 a | b 与a | b有且仅有一种成立, 所以“|”是 旳一种关系． 这个关系也具有反身性和传递性．
概率论-第十五讲 等价关系和划分
一、等价关系
定理5: 设R是A上的二元关系,设R′=tsr(R)是R的自反对称 传递闭包,那么 (a) R′是A上的等价关系,叫做R诱导的等价关系； (b) R′是包含R的最小等价关系。 证明： r(R)是自反的，所以sr(R)是自反的，对称的，所以 tsr(R)是自反的，对称的，传递的，即R’=tsr(R)是A上 的等价关系。 设R”是包含R的任意等价关系，即R⊆R”，因为R”是 自反的，所以r(R)⊆r(R”)=R”；因为R”是对称的，所以 sr(R)⊆s(R”)=R”;又因为R”是传递的，所以 tsr(R)⊆t(R”)=R”，即R”包含tsr(R)。
14
二、划分
定理9：设π是非空集合A上的划分,R是A上的等价关系,那么,
π诱导出R当且仅当R诱导出π。 证：（必要性）假设π诱导出R,R诱导出π′ 设a是A的任一元素,并设B和B′分别是π和π′的块, 使a∈B和B′，那么对任一b b∈B iff ［a］R =［b］R iff b∈B′ 所以,B=B′。 因为a是A的任一元素而π和π′都是A的覆盖,故π=π′。
若是划分，则必是覆盖；若是覆盖，则不一定是划分。
②设A是非空集合, ρ(A)-{∅ } 是A的一个覆盖,而不是A的划分,除非A是单元素集合。
11
二、划分
定理6 : 设A是非空集合,R是A上的等价关系。R的等价类集合 {［a］R ｜a∈A}是A的划分。 由上面定理2，3可得出。 定义5：设R是非空集合A上的等价关系,称划分{［a］R｜a∈A} 定理2：设R是集合A上的等价关系,则对所有a,b∈A,或者 ［a］=［b］,或者［a］∩［b］= ∅ 为商集A/R,也叫A模R。
10
二、划分
例4：①A={a,b,c}，则 S={{a,b},{b,c}}, Q={{a},{a,b},{a,c}}, D={{a},{b,c}}, G={{a,b,c}}, E={{a},{b},{c}}, F={{a},{a,c}}, 划分 最小划分 最大划分 既不是覆盖，也不是划分 覆盖 覆盖
近世代数中关于集合的划分及其应用研究
近世代数中关于集合的划分及其应⽤研究近世代数中关于集合的划分及其应⽤研究摘要我们对集合并不陌⽣，我们所熟知的集合实际上是朴素集合.那么我们为什么要讨论集合的划分呢?因为它在商群、商环、商域等其他⽅⾯中有着极其重要的应⽤.我们要研究集合的划分就必须研究等价关系，因为它们是互相决定的。
因此我们先从等价关系开始说起，之后再来探讨集合的划分，然后观察集合的划分在各⽅⾯的应⽤.第⼀章等价关系与等价类定义1.1：设S 是⼀个⾮空集合，R 是关于S 的元素的⼀个条件.如果对S 中任意⼀个有序元素对（a ，b ），我们总能确定a 与b 是否满⾜条件R ，就称R 是S 的⼀个关系（relation ）.如果a 与b 满⾜条件R ，则称a 与b 满⾜条件R ，则称a 与b 有关系R ，记做aRb ;否则称a 与b ⽆关系R.关系R 也成为⼆元关系.定义1.2：设~是集合A 上的⼀个⼆元关系，若满⾜下列性质：（1）⾃反性：?a ∈A ,a~a;（2）对称性：?a,b ∈A,a~b,则b~a;（3）传递性：?a,b,c ∈A,a~b,b~c,则a~c.则称~A 上的⼀个等价关系.当a~b 时，称a 与b 等价.定义1.3：设⼀个集合A 分成若⼲个⾮空⼦集，使得A 中每⼀个元素属于且只属于⼀个⼦集，则这些⼦集的全体成为A 的⼀个分类。
每个⼦集称为⼀个类.类⾥任何⼀个元素称为这个类的⼀个代表.由定义可知，A 的⾮空⼦集族S={i A |i ∈I } 是A 的⼀个分类当且仅当其满⾜下列性质：（1） Ii iA ∈=A; （2）当j i ≠时，=j i A A ?，即不同的类互不相交.定理1.1 设S={i A |i ∈I } 是A 的⼀个分类，规定~为： a~b ?a 与b 同属于同⼀个类，则~是A 上的⼀个等价关系.证明：⾸先由分类的定义，~是A 的⼀个关系.⽽且，显然?a ∈A ，a~a ；⼜?a ，b ∈A ，若a~b ，则a 与b 属于同⼀个类，从⽽b~a ；?a ，b ，c ∈A ，若a~b ，b~c ，则a 与b 属于同⼀个类，b 与c 属于同⼀个类，于是a 与c 属于同⼀个类，从⽽a~c.因此~是A 上的⼀个等价关系.定理1.2 设~是A 上的⼀个等价关系，对于a ∈A ，令[a]={x|x ∈A,x~a},则A 的⼦集族是A 的⼀个分类.证明（1）?a ∈A ，因为,a~a ，所以a ∈[a]，从⽽[a]是⼀个⾮空⼦集，并且[]=∈ A a a A.（2）若[a] [b]≠?,则?c ∈[a] [b]，于是c~a ，c~b ，从⽽a~b.x ∈[a],有x~a ，于是x~b ，所以x ∈[b]，即[a]?[b].同理[b]?[a].这⾥就得到[a]=[b].所以不同的等价类互不相交.该定理中所构成的⼦集[a]称为A 的⼀个包含a 的~等价类.定义4：设~是A 上的⼀个等价关系，由A 的全体不同~等价类所组成的集合族称为A 关于~的商集，记作A/~.第⼆章商群我们研究商群必须要知道：它是由什么样的等价关系确定的什么样的等价类，然后由这些等价类构成的集合再定义⼀种什么样的运算才是商群，最后为了把⼀些较为复杂的群转化较为简单的群，再给出群的同态基本定理.⼀、什么样的等价关系我们知道由⼀个正整数m ，确定了整数间的⼀个等价关系m R ，即a m Rb ?m|a —b ，?a ，b ∈Z .其中Z 是⼀个由1⽣成的循环加群，（m ）是Z 的⼀个⼦加群，且从⽽m R 也可以认为是由Z 的⼀个⼦群（m ）所确定的.现在将这个思想推⼴到⼀般的群中，设H 是群G 的⼀个⼦群，在G 中定义⼀个关系R ：G b a H ab H a b aRb 1-1-∈?∈∈?，，且容易验证R 是⼀个等价关系.利⽤这个等价关系可以决定群G 的⼀个分类.⼆、什么样的等价类定义2.1 设H ≤G ，由等价关系R 所决定的类称为H 的陪集.定理2.1 设H ≤G ，则包含元素a 的陪集等于Ha aH 或.证明将包含元素a 的陪集记作[a].?b ∈[a]，有bRa ，即H h ba H h b a 2-111-∈=∈=且，即b=a 1h =∈a h 2Ha aH =，所以有[a]aH ?=Ha .反之，?b ∈Ha aH =，?21h h ，∈H ，使b=a h ah 21=，于是H h ba H h b a 2-111-∈=∈=且，即bRa ，从⽽b ∈[a]，所以有aH ]a [].a [Ha aH =?=因此.三、商群定理2.2 设G 是群，N G ，令G/N={aN |a ∈G},规定： ,/G bN aN N ab bN aN N ∈?=，，）（则（G/N,?）是⼀个群.证明⾸先证明?是G/N 的代数运算，即G/N 到G/N 的映射，也就是要证与代表元的选取⽆关.设aN N a 1=，，bN N b 1=则N n a a 111-∈=，.N n b b 21-1∈=因为N G ，所以11111使3111n b b n =，这样N n n n b b b n b b a a b b a ab 3231-111-111-11-111-∈====）（）（）（）（）（，从⽽（ab ）N=（11b a ）N ，所以?是G/N 的代数运算，⼜?,/G cN bN aN N ∈，，有=====N bc aN ]bc [a N ]c )ab [(cN N ab cN bN aN ）（）（）（）（），（cN bN aN ??从⽽?满⾜结合律，且,/G aN eN aN aN eN N ∈??=?，从⽽N=eN 是G/N 的单位元.?,/G aN N ∈存在,/G N a 1-N ∈使，eN aN N a N a aN -11-=?=?从⽽.aN N a 1-的逆元是因此G/N 是⼀个群. 该定理中够作的群G/N 称为G 关于N 的商群.四、有限阶群的阶和⼦群阶的关系定理2.3（Lagrange （拉格朗⽇））设G 是有限群，H 是G 的⼦群，则|G|=[G ：H]|H|证明因为G 是有限群，所以[G ：H]有限，设为k ，则G=U U H a H a 21…H a k U .⼜因为在H 和H a i 之间存在⼀个双射，所以|H a i |=|H|，因此|G|=H a 1+…+H a k =k|H|=[G ：H]|H|. 五、群的同态基本定理定理2.4（同态基本定理）设f 是群G 到G ’的同态，则（1）Kerf G ；（2）G/ Kerf ?Imf.证明（1）因为e ∈ Kerf ，所以Kerf ≠?.⼜?a ，b ∈ Kerf ，x ∈G ，即f （a ）=f （b ）=e '，则f （a 1b -）= f （a ）1b f -）（= e '1e -= e ',f(xa -1x )=f(x)f(a)1x f -）（= f(x) e '1x f -）（=e '，从⽽a 1b -，xa -1x ∈ Kerf ，因此Kerf G.（2）在G/ Kerf 到Imf 间规定⼀个法则：Φ：aKerf f （a ）.a) ? aKerf ，bKerf ∈Kerf G/ Kerf ，有aKerf=bKerf ?1a -∈Kerf ?f(1a -b)= e '1a f -）（f （b ）= e ' ? f （a ）=f （b ），从⽽Φ是⼀个G/ Kerf 到Imf 的映射.b ）?a ' ∈ Imf ，?a ∈G ，使 f （a ）= a '，于是Φ（aKerf ）= f （a ）=a '，从⽽Φ是满射.c) ? aKerf ，bKerf ∈Kerf G/ Kerf ，有Φ( aKerf)= Φ( bKerf) ? f （a ）=f （b ）?1a f -）（ f （b ）=e ' ?f(1a -b)=e ' ? 1a -b ∈Kerf ? aKerf=bKerf ，从⽽Φ是单射.d) ? aKerf ，bKerf ∈Kerf G/ Kerf ，有Φ( aKerf ?bKerf) =Φ( abKerf)=f(ab)= f （a ）f （b ）=Φ( aKerf)? Φ( aKerf)? Φ(bKerf)，从⽽Φ保持运算.因此Φ是同构.于是G/ Kerf ?Imf.第三章商环我们研究商环的思路是：在商加群的基础上再定义⼀种乘法运算，使得该种运算在某⼀⼦环下构成代数运算进⽽对该种运算构成半群且慢⾜：乘法运算对加法运算符合左分配律和右分配律，在学习过程中我们发现理想是可以在我们定义的乘法运算下满⾜上⾯条件的⼦环，因此我们先研究什么是理想，从⽽给出商环的定义，最后得出环的同态基本定理.⼀、理想定义3.1 设（R ，+，?）是⼀个环，（A ，+）是（R ，+）的⼀个⼦加群，（1）若?r ∈R ，a ∈A 有ra ∈A ，则称A 是R 的左理想；（2）若?r ∈R ，a ∈A 有ar ∈A ，则称A 是R 的右理想；（3）若A 既是R 的左理想，⼜是R 的右理想，则称A 是R 的⽴、理想，记作A R ．（4）若A R ，且A ≠R ，则称A 是R 的真理想.由定义可知理想⼀定是⼦环.⼆、商环定义3.2 设R 是环，A R ，在商群（R ，+）/(A ，+)={[x]|x ∈R}={x+A| x ∈R }中再规定：[x]?[y]=[xy]，? [x] ，[y] ∈R/A ，则（R/A ，+，?）是⼀个环（R/A 称为R 关于A 的商环或剩余类环，[x]=x+A 称为R 模A 的剩余类）.证明⾸先证明上⾯规定的乘法运算是代数运算，即与代表元的选取⽆关.设[x]=[1x ]，[y]=[1y ]，则x-1x ∈A ，y-1y ∈A.因为A 是R 的理想，所以xy-1x 1y =（x-1x ）y+1x （y-1y ）∈A ，从⽽[xy]= [1x 1y ].其次? [x]，[y] ，[z] ∈ R/A ，有（[x]?[y]）? [z]= [xy] ? [z]=[( xy)z]= [ x(yz)]= [x] ? [yz]= ([y] ? [z])，从⽽?满⾜结合律.且[x] ?（[y] +[z]）= [x] ?（[y] +[z]）=[x(y+z)]=[xy+xz]=[xy]+[xz]= [x]?[y]+ [x] ? [z] 从⽽?对+满⾜左右分配律.同理可证，?对+也满⾜右分配律.因此R/A 是⼀个环.三、环的同态基本定理定理3.1（同态基本定理）设f 是环R 到环R ’的同态，则（1） Kerf R ；（2） R/Kerf ?Imf.证明（1）Kerf 是(R ，+)的⼦加群，⼜a ?∈Kerf ，r ∈ R ，有f （ra ）=f （r ）f （a ）=f （r ）0'=0'， f （ar ）=f （a ）f （r ）=0’f(r)=0'，从⽽ra ，ar ∈Kerf R.（2）因为在R/Kerf 到Imf 间存在⼀个双射： ?：a+Kerf f （a ），且保持加法运算。
D1-6等价关系与集合的分类
( ( x) ( y)) ( ( x )) ( ( y ))
( )( x )( )( y )
从而，G G . 是G到G的同构映射。
例8 当A是一个平面上的所有三角形组成的集合时，
三角形的全等关系“ ”， 相似关系“~”， 等面积关系“”
但 2 | 4 2与4在同一类， 4不能整除2 4与2不在同一类中，
导出矛盾。
对于R5：aR5b (a, b) 1,R5不能将Z分类，
(2,6) 1 2与6在同一类，(6,3) 1 6与3在同一类， 但(2,3) 1 2与3不在同一类，这是不可能的。
R 定义 设R是非空集合A的一个关系，如果 满足
第一章
重点和难点：
等价关系和集合的分类是密切相关的两个重要概念，教材中 一些较复杂的理论常需用到它们。本节的重点和难点在于熟练 掌握利用已知的集合分类作出相应的等价关系及利用已知的等 价关系作出该集合相应的分类方法。
一、集合的分类
0，2， 4， 例1 设整数集Z {， 4， 3， 2， 1，1， 3， }，并令
Ⅱ对称性： .
若a与b同在一类，那么，b与a同在一类， 所以，a ~ b b ~ a
Ⅲ.传递性：
若a与b同在一类， 同在一类， b与c 那么，a与c同在一类， 所以，a ~ b, b ~ c a ~ c
定理2 集合A的元间的一个等价关系 决定A的一个分类 ~ . 证明： 利用给定的等价关系来 做一个 A的分类.
可知，R1就是例 中的“除以 同余”的关系 1 4 .
例5 在M 2 ( R )中，定义关系
R 2： b) 对，若秩a 秩b; (a,b) 错，若秩a 秩b. (a,
等价关系与划分3.1
21
划分(partition)
注： 等价关系Ｒ把Ａ的元素分为若干类，各 类之间没有公共元素。 划分: 设A, AP(A),若A满足 (1) A ; (2) x,y( x,yA xy xy= ) (3) UA = A 则称A为A的一个划分, A中元素称为划分 块(block).
6
例2(续)
tsr(R)=trs(R) str(R)=srt(R) =rts( R ) =rst( R ) 自反 对称 传递 等价关 (等价闭包) 系
7
等价类(equivalence class)
设R是A上等价关系,xA,令 [x]R={ y | yA xRy }, 称[x]R为x关于R的等价类, 简称x的等价类, 简记为[x].
Ｒ是等价关系，但不直观，用关系图表示。
三个不连通的图
19
二元关系R是自反的，对称的，传递的，且把Ａ分 成了三个等价类，
（Ａ）＝｛｛０｝，｛１，２，３｝，｛４，５｝｝
A/R＝｛［０］，［１］，［４］｝ 例6 ： Ｒ＝｛（ａ，ｂ）｜ａ≡ｂ （ｍｏｄ３）， ａ，ｂ∈Ｉ｝ 是整数集合Ｉ上模３同余的二元关系. 证明R是等价关系。
等价关系与划分
内容提要 等价关系,等价类,商集 划分, 第二类Stirling数
1
等价(equivalence)关系
定义 同余关系 等价类 商集 划分 划分的加细 Stirling子集数
2
等价关系Equivalence Relations
[定义1] Ａ上的二元关系Ｒ，如果Ｒ是
22
也可表示为： [ 定义 ] 集合的划分：把集合Ａ分为若干子 集Ａ1，Ａ2，…，满足： （1）当ｉ≠ｊ时Ａi∩Ａj＝ （2） ａ∈Ａ， ｉ， 使ａ∈Ａi（ｉ＝１，２，…） 则集合 Pr（Ａ）＝｛Ａ 1 ，Ａ 2 ， … ，Ａ n，…｝ 称为Ａ的一个划分/partition。
等价关系,商集和集合的划分
等价关系,商集和集合的划分1.等价关系所需要的三个性质 --- 自反的，对称的，传递的必须同时具备，缺一不可2.同余关系纠正：同余关系需要三个数，一个正整数m，和两个整数a,b，如果整数(a - b)能够被m整除的话，则称a和b 是同余关系（需要注意的是整数0能够被仍和整数整除，整除的结果为0）1.关于第二点：负号不影响整除关系1通过特定规则（这个特定规则就是上面的这个生成元规则）获取的等价关系的子集称为等价类2.任何等价类都是非空集合，因为在这个等价类中一定包含了生成元本身3.有些等价类是完全相同的，有些等价类是完全不一样的4.所有等价类并在一起就能够得到总的集合a1.第二点的b证明处：证明两个集合没有交集的常用方法是反证法 --- 即证明有交集是矛盾的来得出没有交集这个结论2.关于第三点：两个集合互为子集则这两个集合等价1.商集其实就是集合的集合2.在集合中相同的元素只需要写一个，不用重复写最后一句话的意思就是：直到最后给定集合中的所有的元素都被找完第二部分 --- 集合的划分1.注意这里面的si都是非空集合a的非空子集1.通过等价关系，等价类和商集对集合进行划分1.关系的复合运算是左右两个关系中间一个圈，左右两个集合中间一个乘号这是笛卡尔积 --- 得到的结果是一个序偶集合，其中序偶的定义域由称号左边的集合元素提供，值域由乘号右边的集合元素提供2.上面这个等价关系是由每个划分的块集合的全关系序偶集合取并集得到的一个总的序偶集合，且每个块集合的全关系序偶集合都不一样（因为每个块集合的元素都不相同），所以等价关系这个序偶集合中的任意一个序偶元素都来自于某一个块集合的全关系序偶集合一个集合上的所有等价关系个数与这个集合的所有划分方式的个数相等。
集合的等价关系和划分
集合的等价关系和划分概述在集合论中，等价关系和划分是两个重要的概念。
等价关系是指集合中的元素之间存在一种特定的关系，而划分则是将集合分为不相交的子集合。
本文将对这两个概念进行详细解释和讨论。
等价关系等价关系是一种二元关系，通常用符号“≡”表示。
对于集合A中的元素a和b，如果满足以下三个条件，则称a和b具有等价关系：1. 反身性（Reflexivity）：对于集合A中的任意元素a，a≡a成立。
2. 对称性（Symmetry）：对于集合A中的任意元素a和b，如果a≡b，那么b≡a也成立。
3. 传递性（Transitivity）：对于集合A中的任意元素a、b和c，如果a≡b且b≡c，那么a≡c也成立。
等价关系可以将集合中的元素划分为等价类。
每个等价类包含具有相同等价关系的元素。
等价类之间两两不相交，并且它们的并集等于整个集合。
划分划分是将集合分为不相交的子集合的过程。
对于集合A，如果存在一个集合P，满足以下两个条件，则称P为A的一个划分：1. P中的每个元素都是A中的子集。
2. P中的元素两两不相交，并且它们的并集等于A。
划分可以通过等价关系来构建。
对于集合A中的元素a，可以定义P(a)为包含a的所有等价类组成的集合。
那么P={P(a)|a∈A}就是A的一个划分。
应用和重要性等价关系和划分在数学和计算机科学等领域具有广泛的应用。
它们可以用于建模和解决各种问题，例如图论、数据库设计和自然语言处理等。
在图论中，等价关系可以表示两个节点之间的等价性，从而简化网络分析和图算法的实现。
在数据库设计中，划分可以将数据分为多个不相交的部分，提高查询效率和数据管理的灵活性。
在自然语言处理中，等价关系和划分可以用于语义分析和情感分类等任务。
综上所述，了解和理解集合的等价关系和划分对于理解和应用集合论的相关概念和方法具有重要意义。
结论集合的等价关系和划分是集合论中的重要概念。
等价关系是一种特定的二元关系，可以将集合划分为等价类。
3.5等价关系和划分
定义3.5―2设k是一正整数而a,b∈I. 如果对某整数m，a-b=m·k，那么a和b是模k等 价,写成 a≡b(modk) 整数k叫做等价的模数。 （a除以k的余数与b除以k的余数相等 ）
例 [0] ={ kn|k∈Z}, [1] ={ 1+kn|k∈Z}, [2] ={ 2+kn|k∈Z},…, [n-1]={(n-1)+kn|k∈Z}.
(b)将一张纸撕成几片,则所得的各个碎片是 该纸的一个划分(参看图3.5―5). π={A1,A2,A3,A4}是A的划分,秩是4.
图 3.5―5
(c)集合族 {{x,-x}|x∈I }是I的秩无限的一个划分。 的秩无限的一个划分。
(d)设A是非空集合， 是非空集合，那么ρ(A)-{∅}是非空集合族， 是非空集合族，这 个集合族是A的一个覆盖， 的一个覆盖，而不是A的划分， 的划分，除非A是单 元素集合。 元素集合。
1. 在全体中国人所组成的集合上定义的“ 在全体中国人所组成的集合上定义的“同姓” 同姓”关系； 关系； 2. 对任何非空集合A，A上的全关系； 上的全关系； 3. 三角形的“ 三角形的“相似关系” 相似关系”、“全等关系” 全等关系”； 4. 直线的“ 直线的“平行关系” 平行关系”； 5. “朋友” 朋友”关系。 关系。
离散数学
Discrete Mathematics
3.5等价关系和划分
张晓 西北工业大学计算机学院 zhangxiao@ 2011-1-10
目录
3.5.1 等价关系 3.5.2 划分 3.5.3 划分的积与和
8个定义 16个定理
2011-1-10
离散数学
2
3.5.1 等价关系
定理 3.5―7 设A是非空集合， R是 A上的等价 关系。R的等价类集合{［ a］ R｜ a∈A}是A 的划分。 的划分 定义3.5―6 设R是非空集合A上的等价关系， 称划分{［a］R｜a∈A}为商集 商集A/R，也叫A 模R。 显然， ∪A/R=A（商集就是A的一个划分 ） 由商集的定义和定理3.5―5立即可得: 定理 3.5―8 设 R1 和 R2 是非空集合 A 上的等价 关系，那么R1=R2当且仅当A/R1=A/R2。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
等价关系和集合分类
＝{所有实数} ：→为（，b）＝对，若b->0 （，b）＝错，若b->0不成立。
则是上的一个关系。
其实，就是上的“<”关系。
从的元间的关系的定义可看，当给定一个集合后，该集合上有很多不同的关系，其中有一些是重要的，有些是并非重点。
现给出若干重要关系。
设有的元间关系（Ⅰ）若对，，则称为自反关系（Ⅱ）若b，则b，则称为对称关系（Ⅲ）若b，则b ，则称为反对称关系（Ⅳ）若b，若bc，则c，则称为传递关系特别，满足（Ⅰ）（Ⅱ）（Ⅲ），则称为等价关系，此时用～表示。
Ex：“等于”这个关系是一个等价关系Ex：＝{平面上直线}，定义的上关系为：，∈时∥ （＝认为平行）则易证为等价关系。
定义：若把一个集合分成若干个叫做类的子集，使得的每个元属于而且只属于一个类，则称这些类的全体为集合的一个分类。
注：分类也可以如下定义，为的非空子集族，满足（ⅰ）＝（要求）（ⅱ）*等价关系与集合的分类的关系有如下重要结果。
定理1：集合的一个分类决定的元间的一个等价关系。
（证明）：设、，定义 b，如果,b在同一个类中则（Ⅰ）因和一定在同一个分类中，于是，（Ⅱ）若b，说明，b在同一个类中，于是b，（Ⅲ）若b，bc，则，b在同一类中，b，c在同一个类。
因为该类有公共元素c，于是该两类其实是相同的。
于是，c在同一类中，所以c，由（Ⅰ）（Ⅱ）（Ⅲ）知为的元间的等价关系。
定理2：集合
的元间的一个等价关系决定一个分类。
（证明）：对给定，记[]＝｛∣～b｝,考查｛[]∣｝。
（ⅰ）若～b，则[]＝[b]。
事实上，当c[]，则c～，于是c～b∴c[b]，故[]
[b]。
同理可证[b]
[]。
∴[]＝[b]。
（ⅱ）若[b]
[c]，则～b且～cb～c[b]＝[c]于是
[b]
[c] ＝[b]或（ⅲ）对，～，于是[]。
所以＝由（ⅰ）（ⅱ）（ⅲ）可知｛
[]∣｝是的一个分类。
定义：一个集合的一个分类的每一个元素中的任何元素叫做该类的一个代表，刚好由每一类的一个代表做成的集合叫做一个全体代表团。
例＝，取，对,b，定义 b，如果、易证为的一个等价关系、若，其中0≤，＜，则，于是可知＝而＝说明≡(n)、于是上述等价关系叫做模n的同于关系。
由于的等价关系，因此带来一个分类，易求每一个分类为[0]＝｛…,-2n,-n,0,n,2n,…｝[1]＝｛…,-2n+1,-
n+1,1,n+1,2n+1,…｝……[n-1]＝｛…,-n-1,-1, n-1,2n-1,…｝、。