Ei - transitiivisuus matematiikassa on nimitys useille samanlaisille binäärisuhteiden ominaisuuksille .
Relaatiota kutsutaan transitiiviseksi , jos jollekin kolmiolle A, B ja C siten, että parit (A, B) ja (B, C) tyydyttävät sen, niin myös pari (A, C) täyttää sen. Monet kirjoittajat kutsuvat ei-transitiivisia suhteita, jotka eivät täytä tätä ominaisuutta, toisin sanoen suhteita R sellaisiksi, että
Esimerkiksi suhde "syödä" ravintoketjussa ei ole transitiivinen tässä mielessä: sudet syövät peuroja, peurat syövät ruohoa, mutta sudet eivät syö ruohoa.
Usein termiä nontransitiivisuus käytetään kuvaamaan "vahvampaa" ominaisuutta - suhteen antitransitiivisuutta [1] . Relaatiota R kutsutaan antitransitiiviseksi , jos millekään elementin kolmiosalle ei ole transitiivista:
Esimerkiksi edellä mainittu "syö"-suhde ei ole antitransitiivinen: ihmiset syövät kaneja, kanit syövät porkkanoita, mutta ihmiset syövät myös porkkanoita.
Antitransitiivinen relaatio on voittaneiden pudotuspeliturnausten suhde : jos A löi pelaajan B ja B löi pelaajan C, niin A ei pelannut C:n kanssa, joten ei voinut voittaa häntä.
Käytännössä termiä ei-transitiivisuus käytetään useimmiten kuvaamaan tilanteita, joissa relaatiot kuvaavat mieltymyksiä vaihtoehtopareille, joiden vertailu johtaa syklien olemassaoloon: A on parempi kuin B, B on parempi kuin C ja C on parempi. parempi kuin A.
Tunnetuin esimerkki syklien esiintymisestä on lasten peli Rock, Paper, Scissors . Muita esimerkkejä ovat ei- transitiiviset nopat (Efronin nopat [2] ), " Pennyn peli ".
Jos preferenssisuhde on antirefleksiivinen , syklien läsnäolo preferensseissä johtaa transitiivisuuden rikkomiseen. Tämä ominaisuus ei vastaa edellä mainittua suhteen transitiivisuuden ja antitransitiivisuuden puuttumista.