A nem tranzitivitás a matematikában a bináris relációk számos hasonló tulajdonságának megjelölése .
Egy relációt tranzitívnak nevezünk , ha bármely A, B és C hármasra úgy, hogy az (A, B) és (B, C) párok kielégítik, akkor az (A, C) pár is kielégíti. Számos szerző nem tranzitív relációnak nevezi azokat, amelyek nem elégítik ki ezt a tulajdonságot, vagyis az R relációkat úgy, hogy
Például az „enni” reláció egy táplálékláncban nem tranzitív ebben az értelemben: a farkasok szarvast esznek, a szarvasok füvet esznek, de a farkasok nem esznek füvet.
A nontranzitivitás kifejezést gyakran egy „erősebb” tulajdonság – egy reláció antitranzitivitásának – jelölésére használják [1] . Egy R relációt antitranzitívnak nevezünk, ha nincs tranzitivitás egyetlen elemhármasra sem :
Például a fent említett "enni" reláció nem antitranzitív: az emberek nyulat esznek, nyulak esznek sárgarépát, de az emberek is esznek sárgarépát.
Az anti-tranzitív reláció a megnyert kiütéses versenyek viszonya: ha A B játékost ver, B pedig C játékost, akkor A nem játszott C-vel, tehát nem tudta legyőzni.
A gyakorlatban a nem-tranzitivitás kifejezést leggyakrabban olyan helyzetek leírására használják, ahol a relációk olyan alternatívapárok preferenciáit írják le, amelyek összehasonlítása ciklusok jelenlétéhez vezet: A előnyösebb B-vel szemben, B előnyösebb C-vel szemben, C pedig előnyösebb, mint A.
A ciklusok jelenlétének leghíresebb példája a Rock, Paper, Scissors című gyerekjáték . További példák a nem tranzitív kockák (Efron kockái [2] ), a "Penny játéka ".
Ha a preferencia reláció antireflexív , a ciklusok jelenléte a preferenciákban a tranzitivitás megsértéséhez vezet. Ez a tulajdonság nem ekvivalens a reláció tranzitivitásának és antitranzitivitásának fenti hiányával.