Quasitransitive Relation
# Quasitransitive Relation

Quasitransitivität ist eine abgeschwächte Version von Transitivität, die in der Sozialwahltheorie und der Mikroökonomie verwendet wird. Informell gesagt ist eine Relation quasitransitiv, wenn sie für einige Werte symmetrisch und anderswo transitiv ist. Das Konzept wurde 1969 von Amartya K. Sen eingeführt, um die Folgen des Arrow-Theorems zu untersuchen.

## Beispiele

Ökonomische Präferenzen werden bei einigen Autoren als quasitransitiv (und nicht als transitiv) angesehen. Das klassische Beispiel ist eine Person, die unentschieden zwischen 7 und 8 Gramm Zucker ist und ebenso unentschieden zwischen 8 und 9 Gramm Zucker, die aber 9 Gramm Zucker gegenüber 7 bevorzugt. Ähnlich kann die Sorites-Paradoxie durch Abschwächung der angenommenen Transitivität bestimmter Relationen zu Quasitransitivität aufgelöst werden.

## Formale Definition

Eine zweistellige Relation $T$ über einer Menge $X$ ist quasitransitiv, wenn für alle $a,b,c\in X$ gilt:

    $aTb\wedge \neg bTa\wedge bTc\wedge \neg cTb\Rightarrow aTc\wedge \neg cTa$.

Wenn die Relation zusätzlich antisymmetrisch ist, ist T transitiv.

Eine alternative Definition verwendet den asymmetrischen oder „strengen“ Teil $P$ von $T$, definiert durch $aPb\Leftrightarrow aTb\wedge \neg bTa$; damit ist $T$ quasitransitiv genau dann, wenn $P$ transitiv ist.

## Eigenschaften

* Eine Relation $R$ ist quasi-transitiv genau dann, wenn sie die disjunkte Vereinigung einer symmetrischen Relation $J$ und einer transitiven Relation $P$ ist. $J$ und $P$ sind durch $R$ nicht eindeutig bestimmt; allerdings ist das $P$ aus dem „$\Rightarrow$“-Beweisteil minimal.
* Infolgedessen ist jede symmetrische Relation quasi-transitiv, ebenso wie jede transitive Relation. Darüber hinaus ist eine antisymmetrische und quasi-transitive Relation immer auch transitiv.
* Die Relation {(7,7), (7,8), (7,9), (8,7), (8,8), (8,9), (9,8), (9,9)} aus dem obigen Zucker-Beispiel ist quasi-transitiv, aber nicht transitiv.
* Eine quasitransitive Relation muss keinem azyklischen Graphen entsprechen: Für jede nicht leere Menge $A$ ist die universelle Relation $A\times A$ das kartesische Produkt sowohl zyklisch als auch quasitransitiv.
