Asymmetrische Relation

Asymmetrisch heißt 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, wenn es kein Paar 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)} gibt, für das mit $xRy$ auch die Umkehrung $yRx$ gilt.

Die Asymmetrie ist eine der Voraussetzungen für eine (irreflexive) Striktordnung.

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 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 \subseteq M \times M} eine zweistellige Relation auf $M$, dann heißt $R$ asymmetrisch, wenn

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 \forall x, y \in M: x R y \Rightarrow \neg (y R x)} gilt.

Nicht symmetrische Relation

Ist $R$ eine Relation, die nicht symmetrisch ist, dann gibt es wenigstens ein Paar, für das die Umkehrrelation $R^{-1}$ nicht zutrifft; so gilt

$\exists x,y\in M:xRy\land \neg (yRx)$.

Eine nicht leere asymmetrische Relation ist also niemals symmetrisch. Eine asymmetrische Relation ist zudem stets irreflexiv. Von der Asymmetrie zu unterscheiden ist damit der Begriff der Antisymmetrie, die auch Reflexivität erlaubt. Eine asymmetrische Relation ist somit ein Sonderfall einer antisymmetrischen Relation.

Es gibt Relationen, die weder symmetrisch noch antisymmetrisch und erst recht nicht asymmetrisch sind. Ein Beispiel liefert die Definition $xRy:\Leftrightarrow x>2$ auf den natürlichen Zahlen.

Beispiele

Asymmetrisch sind

• die 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 <} „ist (echt) kleiner als“ auf den reellen Zahlen, die darüber hinaus eine strenge Totalordnung ist. Gleiches gilt für die Relation $>\$ „ist (echt) größer als“.
• die 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 \subset} „ist echte Teilmenge von“ und ebenfalls die Relation $\supset$ „ist echte Obermenge von“ als Beziehungen zwischen Mengen. Sie sind in einem System von Mengen oder von Teilmengen einer gegebenen Menge darüber hinaus eine strenge Halbordnung.

Eigenschaften

• Bis auf die leere Relation gibt es keine gleichzeitig symmetrische und asymmetrische Relation.
• Jede asymmetrische Relation ist auch eine antisymmetrische Relation.
• Der Schnitt einer asymmetrischen 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} und ihrer konversen 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^{-1}} ist stets leer, sie sind disjunkt:

  $R\cap R^{-1}=\emptyset$

• Jede Teilmenge einer asymmetrischen Relation ist wieder asymmetrisch.