Översikt

Transitivitet är ett begrepp som förekommer i flera vetenskapsområden. I formell mening i matematik och logik avser det en egenskap hos en binär relation: om a står i relation till b och b står i relation till c, så står också a i relation till c. I lingvistiken beskriver transitivitet i stället verbets krav på objekt — om ett verb behöver ett direkt objekt (transitivt), inget objekt (intransitivt) eller flera objekt (ditransitivt). Begreppet används också i datavetenskap, grafteori och nätverksanalys, där det anknyter till begrepp som nåbarhet och triadslutning.

Formell definition och grundläggande egenskaper

Formellt är en binär relation R på en mängd X transitiv om för alla a, b, c i X gäller: om aRb och bRc så aRc. Vanliga transitiva relationer är ≤ (mindre än eller lika med) på tal och ⊆ (delmängd) på mängder. En relation kan vara reflexiv, symmetrisk och/eller transitiv; en ekvivalensrelation är ett exempel på en relation som är reflexiv, symmetrisk och transitiv.

  • Transitiv slutenhet: den minsta transitiva relation som innehåller en given relation; motsvarar begreppet "reachability" i grafer.
  • Transitiv reduktion: i riktade acykliska grafer finns en minsta mängd kanter som bevarar samma transitiva slutenhet.
  • Kombination: snittet av transitiva relationer är transitivt, men unionen behöver inte vara det.

Exempel och icke‑transitiva fall

Exempel på transitiva relationer: "är lika med", "är förfader till" (om man formulerar relationen som "är förfader till" i vidare betydelse), "är delmängd av" och många ordningsrelationer. Några relationer är däremot inte transitiva: "är förälder till" är inte transitiv (om A är förälder till B och B är förälder till C är A inte förälder till C, utan anfader), och "är vän med" är i praktiska sociala sammanhang ofta icke‑transitiv.

Transitivitet i lingvistiken

I språkvetenskap avser transitivitet graden av verbets komplexitet i predikatets argumentstruktur, ofta kallat valens. Vanliga klasser är:

  • Intransitiva verb: kräver inget direkt objekt, t.ex. "sova" (Hon sover).
  • Transitiva verb: kräver ett direkt objekt, t.ex. "äta" (Han äter ett äpple).
  • Ditransitiva verb: tar två objekt, ofta ett direkt och ett indirekt objekt, t.ex. "ge" (Jag ger dig en bok).

Transitivitet kan testas syntaktiskt genom passivering, möjligheten att ta objekt och semantiskt genom vilka roller verbet kräver. Många verb är flexibla och kan vara både transitiva och intransitiva beroende på användning.

Beräkning och tillämpningar

I datavetenskap och grafteori är transitiv slutenhet viktig för att bestämma vilka noder som nås från andra noder. För ändliga grafer finns effektiva algoritmer för att beräkna transitive closure; Warshalls algoritm är ett välkänt exempel som i enklaste form har kubisk tidskomplexitet i antalet noder. I nätverksanalys används begreppet även mer deskriptivt för att beskriva triadslutning eller klusterbildning: tendensen att vänner till vänner blir vänner.

Anmärkningar

Det är viktigt att skilja strikt matematisk transitivitet från vardagliga tolkningar. I empiriska nätverk kan "transitivitet" bete sig annorlunda än i idealiserade relationer. Vid formella bevis och algoritmdesign hanteras transitivitet exakt, medan i sociologi och språkvetenskap analysen ofta kombinerar strukturella och semantiska aspekter.