Relazione binaria e proprietà

Relazione binaria e proprietà

Una relazione definita in \[S\times S=S^{2}\] si dice binaria in S.
Se x, y sono elementi che stanno nella relazione

si scrive \[x\Re y\] e si legge ” x è in relazione con y”, mentre si scrive \[x\not{\Re } y\] per indicare che x non è in relazione con y.
Ricordiamo che una relazione è un sottoinsieme di e quindi gli elementi di sono le coppie ordinate di (x,y) tali che .

Proprietà di una relazione
Una relazione binaria   definita in S può essere:

Riflessiva:

Simmetrica:

Transitiva:

Asimmetrica:

Antiriflessiva:

Antisimmetrica:

Relazione d’equivalenza
Una relazione binaria in un insieme S che sia riflessiva, simmetrica e transitiva si dice relazione d’equivalenza in S
In tal caso se x e y sono in relazione , cioè , si dice che x ed y sono equivalenti.
Tutti gli elementi y di S equivalenti ad x formano un sottoinsieme di S che si dice classe d’equivalenza e si indica con il simbolo [x].

Risulta: se e sole se [x] = [y]

Precedente Problema assegnato alle Olimpiadi di matematica Successivo Problemi del tre composto