Intransitive Relation

Eine intransitive Relation ist in der Mathematik eine zweistellige Relation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} auf einer Menge, die die Eigenschaft hat, dass es mindestens drei Elemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} , $y$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} aus dieser Menge gibt, für die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x R y} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y R z} gelten, aber nicht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x R z} . Eine Relation ist also intransitiv, wenn sie nicht transitiv ist. Ursprünglich wurden intransitive Relationen vom Marquis de Condorcet im Zusammenhang von Wahlen untersucht (siehe auch Condorcet-Paradoxon).

Formale Definition

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} eine Menge und $R\subseteq M\times M$ eine zweistellige Relation auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} , dann heißt $R$ intransitiv, wenn gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \exists x, y, z \in M: xRy \land yRz \land \neg xRz .}

Beispiele

Datei:Schere Stein Papier.jpg

Die Figuren von Schere, Stein, Papier

Ein anschauliches Beispiel für eine intransitive Präferenzrelation ist das Spiel Schere, Stein, Papier. Hierbei gewinnt die Wahl von Stein gegen Schere, Schere gegen Papier und Papier gegen Stein. Wäre die Relation transitiv, so müsste aus „Stein gewinnt gegen Schere“ und „Schere gewinnt gegen Papier“ folgen: „Stein gewinnt gegen Papier“, was aber den Spielregeln widerspricht. Aus diesem Grund kann die Relation nicht mehr transitiv sein, sie ist intransitiv.

Ein weiteres Beispiel einer intransitiven Relation sind intransitive Würfel.

Literatur

• Patrick Suppes: Introduction to Logic, Dover Pubn Inc, 1999, ISBN 0-486-40687-3