Icke -transitivitet i matematik är en beteckning för ett antal liknande egenskaper hos binära relationer .
En relation kallas transitiv , om för några trippel A, B och C, så att paren (A, B) och (B, C) uppfyller det, då uppfyller paret (A, C) också det. Ett antal författare kallar icke-transitiva relationer som inte uppfyller denna egenskap, det vill säga relationer R sådana att
Till exempel är förhållandet "att äta" i en näringskedja icke-transitivt i denna mening: vargar äter rådjur, rådjur äter gräs, men vargar äter inte gräs.
Ofta används termen nontransitivity för att beteckna en mer "stark" egenskap - antitransitiviteten hos en relation [1] . En relation R kallas anti -transitiv om det inte finns någon transitivitet för några trippel av element:
Till exempel är "ät"-relationen som nämns ovan inte anti-transitiv: människor äter kaniner, kaniner äter morötter, men människor äter också morötter.
Den anti-transitiva relationen är förhållandet att vinna knockoutturneringar : om A slog spelare B och B slog spelare C, så spelade A inte med C och kunde därför inte slå honom.
I praktiken används termen icke-transitivitet oftast för att beskriva situationer där relationer beskriver preferenser för par av alternativ, vars jämförelse leder till närvaron av cykler: A är att föredra framför B, B är att föredra framför C och C är att föredra framför A.
Det mest kända exemplet på förekomsten av cykler är barnspelet Rock, Paper, Scissors . Andra exempel är icke- transitiva tärningar (Efrons tärningar [2] ), " Game of Penny ".
Om preferensrelationen är antireflexiv leder närvaron av cykler i preferenser till en kränkning av transitiviteten. Denna egenskap motsvarar inte ovanstående frånvaro av transitivitet och antitransitivitet i relationen.