ZAGADNIENIE NR 42

Zasada abstrakcji:
relacje
równoważności
a podziały zbioru
Ryna Maruashvili
Relacje równoważności

Podziały zbioru

Zasada abstrakcji
 Relacja równoważności 1
Relacja r w zbiorze A jest:
relacją zwrotną w zbiorze A, jeśli
a
A
∈
A (a r a)
relacją symetryczną ,jeśli
A
a,b ∈
A (a r b ⇒ b r a)
relacją przechodnią, jeśli
A
∈
a, b, c A (( a r b i b r c) ⇒ a r c)
 Relacja równoważności 2
Przykład 1 Niech A = zbiór wszystkich ludzi (o jasno
określonej płci). Dla a, b ∈ A określamy relację r w
następujący sposób
arb ⇐⇒ a jest tej samej płci co b.
• zwrotność Zawsze człowiek a jest tej samej płci co a,
tzn. a r a
• symetria Człowiek a jest tej samej płci co człowiek b,
tzn. a r b
• przechodniość Człowiek a jest tej samej płci co b
⇒
oraz, że b jest tej samej płci co c. (( a r b i b r c) a r c)
 Podziały zbioru 1
Niech P będzie rodziną podzbiorów niepustego
zbioru A. Rodzina P jest podziałem zbioru A, jeśli
jest złożona ze zbiorów niepustych, parami
rozłącznych i jej suma jest cały zbiór A.

X ∈ P (X ≠ Ø)
∈ ⇒ X∩Y =Ø)
A

∪ X, Y P (X≠Y
A
P=A
Zbiory tej rodziny P nazywamy blokami podziału P
 Podziały zbioru 2
Przykład 2
Zbiór { 1, 2, 3 } ma 5 podziałów
{ {1}, {2}, {3} },
{ {1, 2}, {3} },
{ {1, 3}, {2} },
{ {1}, {2, 3} }
{ {1, 2, 3} }
 Podziały zbioru 3
Przykład 2
Zauważmy, że
{ {}, {1,3}, {2} }
{ {1,2}, {2, 3} }
{ {1}, {2} }
 Klasa abstrakcji
Niech r będzie relacją równoważności w zbiorze
A ≠ Ø. Klasą abstrakcji (klasą równoważności)
elementu a ∈ A ( względem relacji r) nazywamy zbiór
[a] = { x∈A : x r a}
Zbiór wszystkich klas abstrakcji relacji r, tzn zbiór
A/r = {[a] : a A} ∈
nazywamy zbiorem ilorazowym.
 Zasada abstrakcji 1
Twierdzenie 1 Niech A ≠ Ø
Jeśli r jest relacją równoważności
na zbiorze A, to zbiór ilorazowy A/r
jest podziałem zbioru A.
 Zasada abstrakcji 2
Twierdzenie 1
Jeśli P jest podziałem zbioru A, to relacja
r w zbiorze A określona następująco:
arb ⇔ ∃C∈P (a∈C i b∈C),
czyli relacja bycia w tym samym bloku
podziału P, jest relacją równoważności na
zbiorze A.
 Zasada abstrakcji 3
Twierdzenie 1
Funkcja F określona na zbiorze wszystkich
relacji równoważności na A wzorem
F(r) = A/r
przekształca ten zbiór wszystkich podziałów
zbioru A.
Żródła Matematyka dyskretna; Mariusz
Żynel; 5 kwietnia 2022
Wykłady ze wstępu do
matematyki.Wprowadzenie do
teorii mnogości; Wojciech Guzicki,
Piotr Zakrzewski; Warszawa 2005
Dziękuję za
uwagę!