Ikke -transitivitet i matematik er en betegnelse for en række lignende egenskaber ved binære relationer .
En relation kaldes transitiv , hvis for nogen tripler A, B og C, sådan at parrene (A, B) og (B, C) opfylder det, så opfylder parret (A, C) det også. En række forfattere kalder ikke-transitive relationer, der ikke opfylder denne egenskab, det vil sige relationer R sådan, at
For eksempel er forholdet "at spise" i en fødekæde ikke-transitivt i denne forstand: ulve spiser hjorte, hjorte spiser græs, men ulve spiser ikke græs.
Ofte bruges udtrykket nontransitivitet til at betegne en mere "stærk" egenskab - antitransitiviteten af en relation [1] . En relation R kaldes anti -transitiv, hvis der ikke er transitivitet for nogen tripler af elementer:
For eksempel er "spis"-forholdet nævnt ovenfor ikke anti-transitivt: folk spiser kaniner, kaniner spiser gulerødder, men folk spiser også gulerødder.
Det anti-transitive forhold er forholdet til at vinde knockout- turneringer: hvis A slog spiller B, og B slog spiller C, så spillede A ikke med C, og kunne derfor ikke slå ham.
I praksis bruges udtrykket ikke-transitivitet oftest til at beskrive situationer, hvor relationer beskriver præferencer på par af alternativer, hvis sammenligning fører til tilstedeværelsen af cyklusser: A er at foretrække frem for B, B er at foretrække frem for C, og C er at foretrække. at foretrække frem for A.
Det mest berømte eksempel på tilstedeværelsen af cykler er børnespillet Rock, Paper, Scissors . Andre eksempler er non- transive terninger (Efrons terninger [2] ), " Game of Penny ".
Hvis præferencerelationen er anti -refleksiv , fører tilstedeværelsen af cyklusser i præferencer til en krænkelse af transitiviteten. Denne egenskab svarer ikke til ovenstående fravær af transitivitet og antitransitivitet af relationen.