Relacje równoważności

advertisement
Ewa Wojciechowska
Temat: Relacja równoważności, klasy abstrakcji relacji równoważności, relacje porządku.
Iloczynem kartezjańskim zbiorów A i B nazywamy zbór wszystkich par uporządkowanych o
poprzednikach należących do A i następnikach należących do B.
AxB={(a,b): a∈A i b∈B}
Relacje równoważności
Relacją nazywamy każdy podzbiór iloczynu kartezjańskiego(w zbiorze XxY)
Rodzaje relacji:


Relacja zwrotna
∀x∈X xϱx
Relacja symetryczna
∀x,y∈X (xϱy ⇒ yϱx)

Relacja przechodnia
∀x,y,z∈X [(xϱy ∧ yϱz) ⇒ xϱz]

Relacja przeciwzwrotna
∀x∈X ~xϱx ⇔ ∀x∈X (x,x)∉ϱ

Relacja przeciwsymetryczna
∀x,y∈X (xϱy ⇒ ~yϱx)

Relacja antysymetryczna
∀x,y∈X [(xϱy ∧ yϱx) ⇒ x=y]

Relacja spójna
∀x,y∈X (xϱy ∨ yϱx)
Relację ϱ∈XxX nazywamy relacją równoważności, jeśli jest zwrotna, symetryczna i przechodnia.
Przykład 1
1. Proste równoległe są relacją równoważności, natomiast proste prostopadłe nie są relacją
równoważności.
2. W zbiorze wszystkich samolotów istnieje relacja równoważności: dwa samoloty są
równoważne, gdy mogą przewieźć tę samą liczbę pasażerów.
Klasy abstrakcji
Zasada abstrakcji
Relacja równoważności określona w zbiorze X ustala podział tego zbioru na podzbiory niepuste i
parami rozłączne zwane klasami abstrakcji tej relacji w taki sposób, że dwa elementy x,y∈X należy do
tego samego zbioru wtedy i tylko wtedy, gdy są sobie równoważne.
1
Klasy abstrakcji
Jeśli ρ jest relacją równoważności w zbiorze X, to przyjmujemy oznaczenie
[x] = {y ∈ X : xρy}.
O zbiorze [x] mówimy: klasa abstrakcji lub klasa równoważności
elementu x, ze względu na relację ρ. O elemencie x mówimy, że jest
reprezentantem klasy [x].
Zbiór wszystkich klas abstrakcji w zbiorze X oznaczamy [X]
Własności klas abstrakcji
Niech ∼ będzie relacją równoważności w X oraz [x], [y] klasami abstrakcji
elementów x i y wyznaczonymi przez relację ∼. Wówczas
1. x ∈ [x],
2.[x] = [y] ⇔ xρy,
3.jeżeli [x] ≠ [y], to [x] ∩ [y] = ∅.
Relacje porządku
Relację , która jest zwrotna, antysymetryczna i przechodnia, nazywamy relacją porządkującą.
Relację porządkującą oznaczamy zazwyczaj symbolem ≼. Relację R ⊂ X × X nazywamy relacją
porządku (częściowego porządku), jeśli jest ona:
1. Zwrotna
∀x∈X x≼x
2. Słabo antysymetryczna
∀x,y∈X x≼y ∧ y≼x ⇒x=y
3. Przechodnia
∀x,y,z∈X x≼y ∧ y≼z ⇒x≼z
Parę (X,≼) nazywamy zbiorem częściowo uporządkowanym lub po prostu zbiorem
uporządkowanym .
Jeśli dodatkowo zachodzi:
4. Spójna
∀x,y∈X x≼y ∨ y≼x ∨ x=y
to relację nazywamy porządkiem liniowym, a parę (X,≼) zbiorem uporządkowanym liniowo.
Niech (X,≼) będzie zbiorem liniowo uporządkowanym. Porządek ≼ jest dobry, jeśli w każdym
niepustym zbiorze A⊆X istnieje element najmniejszy.
Przykład 2
1. Zbór liczb rzeczywistych z relacja ≤ jest liniowo uporządkowany.
2. Relacja określona w zbiorze liter{a,…,z} w taki sposób, że x1≤x2 wtedy i tylko wtedy ,gdy
litera x1 poprzedza w alfabecie literę x2 albo x1=x2, jest relacją porządku liniowego.
3.
Liczby 1,…100 ze standardowym porządkiem są porządkiem dobrym
4.
Zbiór liczb naturalnych N ze standardowym porządkiem są porządkiem dobrym.
2
Element a∈Y nazywamy elementem najmniejszym zbioru Y, jeśli ∀y∈Y a ≼ y.
Element a∈Y nazywamy elementem minimalnym zbioru Y, jeśli ∀y∈Y (y≼a) ⇒ (y=a).
Element a∈Y nazywamy elementem największym zbioru Y, jeśli ∀y∈Y y≼a.
Element a∈Y nazywamy elementem maksymalnym zbioru Y, jeśli ∀y∈Y (a≼y) ⇒ (y=a).
Przykład 3
1. Zbiory Z, Q, R uporządkowane przez ≼ nie mają elementu minimalnego. W zbiorze N
istnieje element najmniejszy 1.
2. W zbiorze N uporządkowanym przez relację podzielności istnieje element najmniejszy 1.
W N \ {1} nie ma elementu najmniejszego; elementem minimalnym jest każda liczba
pierwsza.
3
Download