離散數(shù)學(xué)怎么理解每個(gè)分塊都是等價(jià)類以及證明
發(fā)布時(shí)間:2025-10-15 | 來(lái)源:互聯(lián)網(wǎng)轉(zhuǎn)載和整理
***或類(以***為例)上的等價(jià)關(guān)系R指一個(gè)具有自反,對(duì)稱,傳遞性的二元關(guān)系,在一個(gè)定義了等價(jià)關(guān)系的***中可以按該等價(jià)關(guān)系分成等價(jià)類(即兩個(gè)元素只要有xRy,則它們屬于同一等價(jià)類),即***的一些子集組成的集,容易證明這些子集兩兩不交且其并等于原***.一個(gè)應(yīng)用:在全體***的真類V上定義一等價(jià)關(guān)系R,若兩個(gè)***x,y間存在一一映射,則xRy.按該等價(jià)關(guān)系分成等價(jià)類,再用類上的選擇公理從每個(gè)等價(jià)類中取出一個(gè)代表元素.即基于AC的***的勢(shì)的定義.