Relacja równoważności: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
→‎Przykłady: sortowanie, wincyj przykładów
Nie podano opisu zmian
Linia 53:
*: <math>x\ R\ y\;</math> wtedy i tylko wtedy, gdy <math>x = y\;</math>.
: Jest to istotnie relacja równoważności nazywana '''[[równość (matematyka)|równością]]'''. Klasami abstrakcji są [[Zbiór jednoelementowy|zbiory jednoelementowe]] (singletony) <math>\{x\} \,</math>.
* W zbiorze <math>A=\{1,2,3,4,5,6,7\} \,</math> określona jest relacja: <math>x \equiv y</math> wtedy i tylko wtedy, gdy <math>x \,</math> i <math>y \,</math> dają taką samą [[twierdzenie o dzieleniu z resztą|resztę z dzielenia]] przez 3 ([[Arytmetyka modularna|kongruencja modulo 3). Pokazuje się, że jest to relacja równoważności. Jej klasami abstrakcji są:
*: <math>[1] = [4] = [7] = \{1,4,7\} \,</math>
*: <math>[2] = [5] = \{2,5\} \,</math>