Antisimetria-erlazio

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

Matematikan, A multzoan definitutako R erlazio bitarra Antisimetrikoa da; bi elementu desberdin hartuta, lehena bigarrenarekin erlazionatuta badago, bigarrena ez dago lehenarekin erlazionatuta. Beste hitzetan:

\forall a, b \in A,\ a R b \and b R a \; \Rightarrow \; a = b

Hori gertatzekotan, esaten dugu R-k antisimetria-propietatea betetzen duela.

Adibideak[aldatu | aldatu iturburu kodea]

Izan bedi A edozein multzo:

  • Biz (A, \ge), \ge ("handiago edo berdin") antisimetrikoa da, era berean >\, ("hertsiki handiago").
  • Biz (A, \le), \le ("txikiago edo berdin") antisimetrikoa da, era berean <\, ("hertsiki txikiago").
  • "garaiago izatea" erlazioa antisimetrikoa da, bada a garaiago izatea b baino eta aldi berean b garaiago izatea a baino, ezinezkoa delako.

Antisimetria \neq asimetria[aldatu | aldatu iturburu kodea]

Antisimetria ez da simetriaren aurkakoa.

Badaude erlazioak aldi berean simetrikoak eta antisimetrikoak direnak (berdintasuna bezala), beste batzuk simetrikoak eta antisimetrikoak ez direnak (zatigarritasuna bezala zenbaki osoetan), beste batzuk simetrikoak direnak baina ez antisimetrikoak (n moduluko kongruentzia-erlazioa bezala), eta beste batzuk antisimetrikoak direnak baina ez simetrikoak ("txikiago" erlazioa bezala).

Ikus, gainera[aldatu | aldatu iturburu kodea]