近世代數(shù)理論基礎(chǔ)3:等價關(guān)系

等價關(guān)系

關(guān)系

設A為一個集合,R為積集合A\times A=\{(a,b)|a,b\in A\}的子集,則稱R為集合A上的一個關(guān)系,\forall a,b\in A,若(a,b)\in R,則稱a與b具有關(guān)系R,記作aRb,否則稱a與b不具有關(guān)系R

等價關(guān)系

設A為一集合,R是A上的一個關(guān)系,若R滿足:

自反性:\forall x\in A,有(x,x)\in R

對稱性:\forall x,y\in A,若(x,y)\in R,則(y,x)\in R

傳遞性:\forall x,y,z\in A?,若(x,y)\in R,(y,z)\in R?,則(x,z)\in R?

則稱R為集合A上的一個等價關(guān)系,記作\sim

例1

有理數(shù)域Q上所有柯西列構(gòu)成的集合A,即A=\{\{a_n\}_{n=1}^\infty|a_n\in Q且\{a_n\}是收斂數(shù)列\(zhòng)}

在A上定義關(guān)系\sim

\forall \{a_n\},\{b_n\}\in A,令\lim\limits_{n\to \infty}a_n=a,\lim\limits_{n\to \infty}b_n=b

a=b,則定義\{a_n\}\sim \{b_n\}

例2

m\gt 1,m\in Z_+,定義R=\{(x,y)|x,y\in Z且x-y能被m整除\}

R是Z上的等價關(guān)系

等價類

設R為集合A上的等價關(guān)系,\forall a\in A,與a等價的所有元組成的集合為元a所屬的等價類,記作[a],即[a]=\{b\in A|(a,b)\in R\},a稱為這個等價類的代表元

所有等價類構(gòu)成的集合稱為A關(guān)于R的商集,記為A/R,即A/R=\{[a]|a\in A\}

命題

設R為集合A上的等價關(guān)系,則\forall a,b\in A,[a]=[b]\Leftrightarrow (a,b)\in R

證明:

必要性?

若[a]=[b],則b\in [a]

由等價類的定義

(a,b)\in R

充分性

若(a,b)\in R,則\forall c\in [b],有(b,c)\in R

由傳遞性

(a,c)\in R

\therefore c\in[a]

\therefore [b]\subset[a]

由對稱性

(b,a)\in R

\forall c\in [a],有(a,c)\in R

由傳遞性

(b,c)\in R

\therefore c\in [b]

\therefore [a]\subset [b]

\therefore [a]=[b]\qquad\mathcal{Q.E.D}

(注:命題表明一個等價類可選擇其中的任何一個元為代表元)

劃分

設A是一個集合,\{U_i|i\in I\}是A的子集簇,其中I是某個確定的指標集,滿足:

(1)\forall i\neq j,i,j\in I,有U_i\cap U_j=\varnothing

(2)\bigcup\limits_{i\in I}U_i=A

則稱\{U_i|i\in I\}是集合A的一個劃分

定理:若R是集合A上的等價關(guān)系,則商集A/R是A上的一個劃分

證明:

對A/R中任意兩個等價類[a]和[b]

若[a]\neq [b],則[a]\cap [b]=\varnothing?

若不然,即[a]\cap [b]\neq \varnothing

\forall c\in [a]\cap [b]

由c\in [a]可知(a,c)\in R

由c\in [b]可知(b,c)\in R

由對稱性知(c,b)\in R

由傳遞性(a,b)\in R

\therefore [a]=[b],矛盾

下證A=\bigcup\limits_{[a]\in A/R}[a]

\forall [a]\in A/R,有[a]\subseteq A

\therefore \bigcup\limits_{[a]\in A/R}[a]\subset A

\forall a\in A,有a\in [a]\subseteq \bigcup\limits_{[a]\in A/R}[a]

\therefore A\subseteq \bigcup\limits_{[a]\in A/R}[a]\qquad\mathcal{Q.E.D}

定理:若\{U_i|i\in I\}是集合A的一個劃分,則存在A上的一個等價關(guān)系R,使A/R=\{U_i|i\in I\}

證明:

定義A上的關(guān)系R

R=\{(a,b)|\exists U_i使a,b\in U_i\}

顯然,R為A上的等價關(guān)系

令B=\{U_i|i\in I\}

\forall [a]\in A/R

\because B為集合A的一個劃分

\therefore \exists U_i\in B使a\in U_i

由R的定義知

[a]=U_i

即[a]\in B

\therefore A/R\subset B

又\forall U_i\in B?

取a\in U_i?

\because [a]=U_i

\therefore U_i\in A/R

即B\subset A/R\qquad\mathcal{Q.E.D}

(注:兩個定理表明,集合的劃分和等價關(guān)系是一回事)

令集合A=\{a,b,c\},U_1=\{a\},U_2=\{b,c\},則\{U_1,U_2\}是A的一個劃分,該劃分對應的等價關(guān)系為R=\{(a,a),(b,b),(c,c),(b,c),(c,b)\}

f:A\to B為一個映射,則f可誘導出A上的一個關(guān)系R,R=\{(a,b)|f(a)=f(b),a,b\in A\},顯然R是A上的等價關(guān)系,其商集為A/R=\{[a]|a\in A\}

f還可誘導出一個從A/R到B的映射\bar{f}:\bar{f}([a])=f(a)

定理:(1)上述\bar{f}是單射

(2)\bar{f}是雙射\Leftrightarrowf是滿射

證明:

(1)先證\bar{f}的定義是良性的

\forall [a],[b]\in A/R

若[a]=[b],則(a,b)\in R

\therefore f(a)=f(b)

\therefore \bar{f}([a])=\bar{f}([b])?

再證\bar{f}是單射?

\forall [a],[b]\in A/R

若\bar{f}([a])=\bar{f}([b])

即f(a)=f(b)?

\therefore (a,b)\in R?

\therefore [a]=[b]

(2)由(1)知\bar{f}是單射

\therefore \bar{f}是雙射\Leftrightarrow \bar{f}是滿射

顯然,\bar{f}是滿射\Leftrightarrow f是滿射\qquad\mathcal{Q.E.D}

自然映射(典范映射)

\pi:A\to A/R,\pi(a)=[a]

例:設A=\{1,2,3,4\},B=\{a,b,c\},從A到B的一個映射f定義如下:f(1)=f(2)=f(3)=a,f(4)=b,則由f誘導出的等價關(guān)系為

R=\{(1,1,),(2,2),(3,3),(1,2),(2,1),(1,3),(3,1),(2,3),(3,2),(4,4)\}

它的商集為A/R=\{[1],[4]\},其中[1]=\{1,2,3\}=[2]=[3],[4]=\{4\}

映射f誘導的從集合A/R=\{[1],[4]\}到B的映射\bar{f}如下:\bar{f}([1])=f(1)=a,\bar{f}([4])=c,顯然,\bar{f}的定義與A/R中元的代表元選擇無關(guān),即\bar{f}是良性定義,且\bar{f}是單射,由于f不是滿射,所以\bar{f}也不是雙射

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現(xiàn)的幾起案子酥馍,更是在濱河造成了極大的恐慌戴尸,老刑警劉巖,帶你破解...
    沈念sama閱讀 218,755評論 6 507
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機教寂,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 93,305評論 3 395
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來执庐,“玉大人酪耕,你說我怎么就攤上這事」焯剩” “怎么了迂烁?”我有些...
    開封第一講書人閱讀 165,138評論 0 355
  • 文/不壞的土叔 我叫張陵,是天一觀的道長递鹉。 經(jīng)常有香客問我盟步,道長,這世上最難降的妖魔是什么躏结? 我笑而不...
    開封第一講書人閱讀 58,791評論 1 295
  • 正文 為了忘掉前任却盘,我火速辦了婚禮,結(jié)果婚禮上媳拴,老公的妹妹穿的比我還像新娘黄橘。我一直安慰自己,他們只是感情好屈溉,可當我...
    茶點故事閱讀 67,794評論 6 392
  • 文/花漫 我一把揭開白布塞关。 她就那樣靜靜地躺著,像睡著了一般子巾。 火紅的嫁衣襯著肌膚如雪帆赢。 梳的紋絲不亂的頭發(fā)上小压,一...
    開封第一講書人閱讀 51,631評論 1 305
  • 那天,我揣著相機與錄音椰于,去河邊找鬼怠益。 笑死,一個胖子當著我的面吹牛廉羔,可吹牛的內(nèi)容都是我干的溉痢。 我是一名探鬼主播僻造,決...
    沈念sama閱讀 40,362評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼憋他,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了髓削?” 一聲冷哼從身側(cè)響起竹挡,我...
    開封第一講書人閱讀 39,264評論 0 276
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎立膛,沒想到半個月后揪罕,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 45,724評論 1 315
  • 正文 獨居荒郊野嶺守林人離奇死亡宝泵,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,900評論 3 336
  • 正文 我和宋清朗相戀三年好啰,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片儿奶。...
    茶點故事閱讀 40,040評論 1 350
  • 序言:一個原本活蹦亂跳的男人離奇死亡框往,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出闯捎,到底是詐尸還是另有隱情椰弊,我是刑警寧澤,帶...
    沈念sama閱讀 35,742評論 5 346
  • 正文 年R本政府宣布瓤鼻,位于F島的核電站秉版,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏茬祷。R本人自食惡果不足惜清焕,卻給世界環(huán)境...
    茶點故事閱讀 41,364評論 3 330
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望祭犯。 院中可真熱鬧耐朴,春花似錦、人聲如沸盹憎。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,944評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽陪每。三九已至影晓,卻和暖如春镰吵,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背挂签。 一陣腳步聲響...
    開封第一講書人閱讀 33,060評論 1 270
  • 我被黑心中介騙來泰國打工疤祭, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人饵婆。 一個月前我還...
    沈念sama閱讀 48,247評論 3 371
  • 正文 我出身青樓勺馆,卻偏偏與公主長得像,于是被迫代替她去往敵國和親侨核。 傳聞我的和親對象是個殘疾皇子草穆,可洞房花燭夜當晚...
    茶點故事閱讀 44,979評論 2 355

推薦閱讀更多精彩內(nèi)容