Ekvivalence (matematika): Porovnání verzí

Smazaný obsah Přidaný obsah
Řádek 15:
* <math> (a,b \isin Y \and a \neq b) \implies a \cap b = \emptyset \,\! </math>
 
'''Třídy ekvivalence''' jsou právě podmnožiny <math> X \,\! </math>, přičemž každá třída ekvivalence obsahuje všechna <math> x \isin X \,\! </math> taková, že každá dvě jsou navzájem ekvivalentní. '''Třídu ekvivalence''', do které patří právě takové prvky, které jsou ekvivalentní s nějakým prvkem <math> a \isin X \,\! </math> , značíme <math> [a]_R \,\! </math>. Uvědomte si, že vzhledem k '''reflexivitě''' ekvivalence je vždy rovněž <math> a \isin [a]_R \,\! </math> pro každé <math> a \isin X \,\! </math>. '''Rozklad''' množiny <math> X \,\! </math> podle ekvivalence <math> R \,\! </math> je následující množina:<br />
<math> X/R = \{ [a]_R : a \isin X \} \,\! </math>