Relazione antisimmetrica


qui non diamo la definizione mediante prodotto cartesiano perche' piuttosto complicata

Diciamo che la relazione R su AxA e' antisimmetrica se ogni volta che si ha aRb e bRa ne segue che a=b
Qualcuno preferisce dire, in modo equivalente, che
per a b aRb esclude bRa

aRb e bRa => a=b
Se a in relazione con b e b in relazione con a allora a = b
oppure
a b => aRb <=> bRa /
Se a e' diverso da b allora a in relazione con b esclude b in relazione con a
leggendo termine e termine
a diverso da b implica che che a e' in relazione con b se e solo se b non e' in relazione con a


Vediamone un esempio:

Considero l'insieme degli abitanti dell'Italia e considero la relazione "abita nella stessa citta'"
la relazione non e' antisimmetrica: infatti se Maria abita nella stessa citta' di Carlo e Carlo abita nella stessa citta' di Maria non segue che Carlo e' uguale a Maria



Considero i numeri naturali e considero la relazione "e' maggiore od uguale a"
La relazione e' antisimmetrica perche' perche' se un numero e' maggiore od uguale ad un secondo numero ed il secondo e' maggiore uguale del primo allora i due numeri sono uguali

Pagina iniziale Indice di algebra Pagina successiva Pagina precedente