Jewiki unterstützen. Jewiki, die größte Online-Enzy­klo­pädie zum Judentum.

Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ...

Vielen Dank für Ihr Engagement! (→ Spendenkonten)

How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida

Antisymmetrische Relation

Aus Jewiki
Wechseln zu: Navigation, Suche
Eine antisymmetrische Relation, als gerichteter Graph dargestellt
Eine nicht antisymmetrische Relation, als gerichteter Graph dargestellt

Antisymmetrisch heißt eine zweistellige Relation auf einer Menge, wenn für beliebige Elemente und der Menge mit nicht zugleich die Umkehrung gelten kann, es sei denn, und sind gleich. Äquivalent formuliert gilt damit für beliebige Elemente und dieser Menge, dass aus und stets folgt.

Die Antisymmetrie ist eine der Voraussetzungen für eine Halbordnung.

Definition

Ist eine Menge und eine zweistellige Relation auf , dann heißt antisymmetrisch, wenn (unter Verwendung der Infixnotation) gilt:

Sonderfall Asymmetrische Relation

Jede asymmetrische Relation ist auch eine antisymmetrische Relation.[1] Da für eine asymmetrische Relation auf

gilt, also für keines der geordneten Paare die Umkehrung zutrifft,

ist die Prämisse der Definition der antisymmetrischen Relation stets falsch und nach dem logischen Prinzip Ex falso quodlibet somit die Aussage erfüllt.

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

Beispiele

Antisymmetrisch sind die Relationen und auf den reellen Zahlen. Aus und folgt . Das Gleiche gilt für und .

Auch die Teilbarkeitsrelation für natürliche Zahlen ist antisymmetrisch, denn aus und folgt . Die Teilbarkeit auf den ganzen Zahlen ist hingegen nicht antisymmetrisch, weil beispielsweise und gilt, obwohl .

Asymmetrische Relationen sind die Kleiner-Relation auf den reellen Zahlen und die Teilmengenbeziehung zwischen Mengen. Verglichen mit beziehungsweise fehlt diesen Beziehungen die Reflexivität.

Darstellung als gerichteter Graph

Jede beliebige Relation auf einer Menge kann als gerichteter Graph aufgefasst werden (Beispiel siehe oben). Die Knoten des Graphen sind dabei die Elemente von . Vom Knoten zum Knoten wird genau dann eine gerichtete Kante (ein Pfeil ) gezogen, wenn gilt.

Die Antisymmetrie von lässt sich im Graphen nun so charakterisieren: Wann immer es einen Pfeil zwischen verschiedenen Knoten und des Graphen gibt, dann kann es nicht gleichzeitig einen Pfeil geben. Schleifen brauchen also bei diesem Kriterium nicht untersucht zu werden.

Eigenschaften

  • Mit Hilfe der konversen Relation lässt sich die Antisymmetrie auch durch die folgende Bedingung charakterisieren:
Hierbei bezeichnet die identische Relation auf der Grundmenge , also die Menge aller Paare .
  • Sind die Relationen und antisymmetrisch, dann gilt dies auch für ihre Schnittmenge . Diese Aussage lässt sich von zwei Relationen auf den Durchschnitt einer beliebigen (nichtleeren) Familie von antisymmetrischen Relationen verallgemeinern.
  • Jede Teilmenge einer antisymmetrischen Relation ist wieder antisymmetrisch.

Weblinks

WiktionaryWiktionary: antisymmetrisch – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

  1. 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.
Dieser Artikel basiert ursprünglich auf dem Artikel Antisymmetrische Relation aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar.