Asymmetrische Relation

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Asymmetrisch heißt eine zweistellige Relation R auf einer Menge, wenn es mit xRy kein Paar (x,y) gibt, für das auch die Umkehrung yRx gilt.

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

Definition[Bearbeiten]

Ist M eine Menge und R \subseteq M \times M eine zweistellige Relation auf M, dann heißt R asymmetrisch, wenn

\forall x, y \in M: x R y \Rightarrow \neg (y R x) gilt.

Nicht symmetrische Relation[Bearbeiten]

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: x R y \and \neg (y R x).

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.

Beispiele[Bearbeiten]

Asymmetrisch sind

  • die Relation < „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 \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[Bearbeiten]

Jede asymmetrische Relation ist eine nicht symmetrische Relation und auch eine antisymmetrische Relation.[1]

  • Für die asymmetrische Relation R und deren konverse Relation R^{-1} ist der Schnitt leer, sie sind disjunkt:
    R \cap R^{-1} = \emptyset
  • Jede Teilmenge einer asymmetrischen Relation ist wieder asymmetrisch.

Anmerkungen[Bearbeiten]

  1. siehe hierzu auch: Ingmar Lehmann, Wolfgang Schulz: Mengen – Relationen – Funktionen. Eine anschauliche Einführung. 3., überarbeitete und erweiterte Auflage. Teubner, Wiesbaden 2007, ISBN 978-3-8351-0162-3, S. 64 f.