Non -tranzitivitatea în matematică este o desemnare pentru o serie de proprietăți similare ale relațiilor binare .
O relație se numește tranzitivă , dacă pentru orice triple A, B și C, astfel încât perechile (A, B) și (B, C) o satisfac, atunci și perechea (A, C) o satisface. O serie de autori numesc relaţii netranzitive care nu satisfac această proprietate, adică relaţii R astfel încât
De exemplu, relația „a mânca” dintr-un lanț trofic este netranzitivă în acest sens: lupii mănâncă căprioare, căprioarele mănâncă iarbă, dar lupii nu mănâncă iarbă.
Adesea termenul de nontranzitivitate este folosit pentru a desemna o proprietate mai „puternică” - antitranzitivitatea unei relații [1] . O relație R se numește anti -tranzitivă dacă nu există tranzitivitate pentru niciun triplu de elemente:
De exemplu, relația „mănâncă” menționată mai sus nu este anti-tranzitivă: oamenii mănâncă iepuri, iepurii mănâncă morcovi, dar oamenii mănâncă și morcovi.
Relația anti-tranzitivă este relația de câștigare a turneelor eliminatorii: dacă A l-a învins pe jucătorul B și B l-a învins pe jucătorul C, atunci A nu a jucat cu C, prin urmare, nu l-ar putea învinge.
În practică, termenul de non-tranzitivitate este folosit cel mai adesea pentru a descrie situații în care relațiile descriu preferințe pe perechi de alternative, a căror comparație duce la prezența ciclurilor: A este de preferat lui B, B este de preferat C și C este preferabil lui A.
Cel mai faimos exemplu al prezenței ciclurilor este jocul pentru copii Stâncă, hârtie, foarfece . Alte exemple sunt zarurile netranzitive (zarurile lui Efron [2] ), „ Jocul lui Penny ”.
Dacă relația de preferințe este antireflexivă , prezența ciclurilor în preferințe duce la o încălcare a tranzitivității. Această proprietate nu este echivalentă cu absența de mai sus a tranzitivității și antitranzitivității relației.