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,nějaký které jsou ekvivalentní s nějakým prvkemprvek <math> a \isin X \,\! </math>, značíme <math> [a]_R \,\! </math>. UvědomteZ si,definice žeje vzhledemtedy kpatrné, '''reflexivitě''' ekvivalence ježe vždytento rovněžprvek <math> a \isin [a]_R \,\! </math> proje ekvivalentní s každým každéjiným prvkem náležícím do <math> [a \isin X]_R \,\! </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>