Relació antisimètrica

De Viquipèdia
Salta a la navegació Salta a la cerca

A la matemàtica, una relació binària R d'un conjunt X és antisimètrica si no hi ha cap parell d'elements diferents de X que estiguin relacionats per R simètricament en els dos sentits. És a dir, quan per a tot a, b de X:

Si aRb i bRa es compleixen, llavors a = b.

o, de forma equivalent,

Si a ≠ b i es compleix aRb, llavors no es compleix bRa.

És important fixar-se que la definició de l'antisimetria no diu res de si s'ha de complir que aRa, és a dir, de la reflexivitat de la relació.

L'antisimetria també és diferent de l'asimetria, que requereix antisimetria i irreflexivitat. Per tant, tota relació asimètrica és antisimètrica però la implicació contrària és falsa.

Exemples[modifica]

  • La relació de divisibilitat en els nombres naturals és un exemple important de relació antisimètrica. En aquest context, l'antisimetria diu que l'única manera per la qual dos naturals poden ser divisibles l'un per l'altre és si són el mateix nombre.
  • De fet, tota relació d'ordre és antisimètrica per definició.
  • Hi ha relacions que són alhora simètriques i antisimètriques com ara la igualtat.
  • També hi ha relacions que no són ni simètriques ni antisimètriques com ara la relació de depredador entre espècies biològiques.


Vegeu també[modifica]

Referències[modifica]