等價關(guān)系
關(guān)系
設A為一個集合,R為積集合的子集,則稱R為集合A上的一個關(guān)系,
,若
,則稱a與b具有關(guān)系R,記作aRb,否則稱a與b不具有關(guān)系R
等價關(guān)系
設A為一集合,R是A上的一個關(guān)系,若R滿足:
自反性:,有
對稱性:,若
,則
傳遞性:,若
,則
則稱R為集合A上的一個等價關(guān)系,記作
例1
有理數(shù)域Q上所有柯西列構(gòu)成的集合A,即
在A上定義關(guān)系:
,令
若,則定義
例2
設,定義
R是Z上的等價關(guān)系
等價類
設R為集合A上的等價關(guān)系,,與a等價的所有元組成的集合為元a所屬的等價類,記作
,即
,a稱為這個等價類的代表元
所有等價類構(gòu)成的集合稱為A關(guān)于R的商集,記為,即
命題
設R為集合A上的等價關(guān)系,則
證明:
(注:命題表明一個等價類可選擇其中的任何一個元為代表元)
劃分
設A是一個集合,是A的子集簇,其中I是某個確定的指標集,滿足:
(1),有
(2)
則稱是集合A的一個劃分
定理:若R是集合A上的等價關(guān)系,則商集是A上的一個劃分
證明:
定理:若是集合A的一個劃分,則存在A上的一個等價關(guān)系R,使
證明:
(注:兩個定理表明,集合的劃分和等價關(guān)系是一回事)
例
令集合,
,
,則
是A的一個劃分,該劃分對應的等價關(guān)系為
設為一個映射,則f可誘導出A上的一個關(guān)系R,
,顯然R是A上的等價關(guān)系,其商集為
f還可誘導出一個從到B的映射
定理:(1)上述是單射
(2)是雙射
f是滿射
證明:
自然映射(典范映射)
例:設,
,從A到B的一個映射f定義如下:
,
,則由f誘導出的等價關(guān)系為
它的商集為,其中
,
映射f誘導的從集合到B的映射
如下:
,
,顯然,
的定義與
中元的代表元選擇無關(guān),即
是良性定義,且
是單射,由于f不是滿射,所以
也不是雙射