Symmetrische Relation - LinkFang.de





Symmetrische Relation


Die Symmetrie einer zweistelligen Relation R auf einer Menge ist gegeben, wenn aus x R y stets y R x folgt. Man nennt R dann symmetrisch.

Die Symmetrie ist eine der Voraussetzungen für eine Äquivalenzrelation.

Zur Symmetrie gegensätzliche Begriffe sind Antisymmetrie und Asymmetrie.

Formale Definition

Ist [math]M[/math] eine Menge und [math]R \subseteq M \times M[/math] eine zweistellige Relation auf [math]M[/math], dann heißt [math]R[/math] symmetrisch, wenn (unter Verwendung der Infixnotation) gilt:

[math]\forall x, y \in M: (x R y \Rightarrow y R x)[/math]

Beispiele

Gleichheit der reellen Zahlen

Die gewöhnliche Gleichheit [math]=[/math] auf den reellen Zahlen ist symmetrisch, denn aus [math]x=y[/math] folgt [math]y=x[/math]. Sie ist darüber hinaus eine Äquivalenzrelation.

Die Ungleichheitsrelation [math] \neq[/math] auf den reellen Zahlen ist zwar keine Äquivalenzrelation, aber ebenfalls symmetrisch, denn aus [math]x \neq y[/math] folgt [math]y \neq x[/math].

Ähnlichkeit von Dreiecken

Ist das Dreieck ABC zum Dreieck DEF ähnlich, so ist das Dreieck DEF zum Dreieck ABC ähnlich. Die Relation der Ähnlichkeit von Dreiecken ist also symmetrisch. Sie ist darüber hinaus eine Äquivalenzrelation.

Kongruenz modulo n

Eine natürliche Zahl a heißt zu der natürlichen Zahl b kongruent modulo n, wenn a und b bei der Division durch n denselben Rest haben. Beispielsweise ist die Zahl 11 zur Zahl 18 kongruent modulo 7, da sich bei der Division dieser beiden Zahlen durch 7 jeweils der Rest 4 ergibt. Diese Relation ist symmetrisch. Sie ist darüber hinaus eine Äquivalenzrelation.

Ordnung der reellen Zahlen

Die Kleiner-Relation [math]\lt[/math] auf den reellen Zahlen ist nicht symmetrisch, denn [math]x\lty[/math] und [math]y\ltx[/math] können nicht gleichzeitig gelten.

Darstellung als gerichteter Graph

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

Die Symmetrie von R lässt sich im Graphen nun so charakterisieren: Wann immer es einen Pfeil [math]a \longrightarrow b[/math] zwischen verschiedenen Knoten a und b des Graphen gibt, dann gibt es gleichzeitig einen Pfeil [math]b \longrightarrow a[/math]. (Einen Graphen mit dieser Eigenschaft nennt man auch symmetrischer Graph.)

Pfeile [math]a \longrightarrow a[/math] spielen bei diesem Kriterium keine Rolle.

Eigenschaften

  • Mit Hilfe der konversen Relation [math]R^{-1}[/math] lässt sich die Symmetrie einer Relation [math]R[/math] charakterisieren durch
    [math]R = R^{-1}[/math]
  • Ist die Relation [math]R[/math] symmetrisch, dann gilt dies auch für die komplementäre Relation [math]R^{\rm c}[/math]. Diese ist definiert durch
    [math] x R^{\rm c} y :\Longleftrightarrow \neg x R y[/math].
  • Sind die Relationen [math]R[/math] und [math]S[/math] symmetrisch, dann gilt dies auch für ihre Schnittmenge [math]R \cap S[/math] und ihre Vereinigungsmenge [math]R \cup S[/math]. Diese Aussage lässt sich von zwei Relationen auf den Durchschnitt [math]\cap_{i\in I} R_i [/math] und die Vereinigung [math]\cup_{i\in I} R_i [/math] einer beliebigen (nichtleeren) Familie von symmetrischen Relationen verallgemeinern.
  • Die kleinste symmetrische Relation [math]S[/math], die eine gegebene Relation [math]R[/math] umfasst, wird der symmetrische Abschluss von [math]R[/math] genannt. Dieser lässt sich leicht angeben als
    [math] S := R \cup R^{-1}[/math]
  • Zu einer beliebigen zweistelligen Relation [math]R[/math] auf einer Menge lassen sich die Potenzen [math]R^n[/math] bezüglich der Verkettung von Relationen bilden. Ist nun [math]R[/math] symmetrisch, dann gilt dies auch für alle Potenzen [math]R^n[/math].
  • Eine Relation (auf einer endlichen Menge) ist genau dann symmetrisch, wenn die ihrem Graphen zugeordnete Adjazenzmatrix symmetrisch (zur Hauptdiagonale) ist.

Kategorien: Mathematischer Grundbegriff | Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Symmetrische Relation (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.