Reflexive Relation - LinkFang.de





Reflexive Relation


Die Reflexivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn x R x für alle Elemente x der Menge gilt (also jedes Element in Relation zu sich selbst steht). Man nennt R dann reflexiv. Die Relation heißt irreflexiv, wenn die Beziehung x R x für kein Element x der Menge gilt (also kein Element in Relation zu sich selbst steht). Es gibt Relationen, die weder reflexiv noch irreflexiv sind.

Die Reflexivität ist eine der Voraussetzungen für eine Äquivalenzrelation oder eine Ordnungsrelation; die Irreflexivität ist eine der Voraussetzungen für eine strikte Ordnungsrelation.

Formale Definition

Ist [math]M[/math] eine Menge und [math]R \subseteq M \times M[/math] eine zweistellige Relation auf [math]M[/math], dann definiert man (unter Verwendung der Infixnotation):

[math]R[/math] ist reflexiv :[math]\Longleftrightarrow \forall x \in M: xRx[/math]
[math]R[/math] ist irreflexiv :[math]\Longleftrightarrow \forall x \in M: \neg \ xRx[/math]

Beispiele

Reflexiv

  • Die gewöhnliche Gleichheit [math]=\ [/math] auf den reellen Zahlen ist reflexiv, da stets [math]x=x[/math] gilt. Sie ist darüber hinaus eine Äquivalenzrelation.

Irreflexiv

  • Die Kleiner-Relation [math]\lt \ [/math] auf den reellen Zahlen ist irreflexiv, da nie [math]x \lt x[/math] gilt. Sie ist darüber hinaus eine strenge Totalordnung. Gleiches gilt für die Relation [math]\gt \ [/math].
  • Die Ungleichheit [math]\ne [/math] auf den reellen Zahlen ist irreflexiv, da nie [math]x\ne x[/math] gilt.

Weder reflexiv noch irreflexiv

  • Die folgende Relation auf der Menge der reellen Zahlen ist weder reflexiv noch irreflexiv:
        [math]xRy :\Longleftrightarrow y = x^2[/math]
    (Begründung: Für [math]x:=1[/math] gilt [math]xRx[/math], für [math]x:=2[/math] gilt [math]\neg xRx[/math].)

Darstellung als gerichteter Graph

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

Die Reflexivität von [math]R[/math] lässt sich im Graphen nun so charakterisieren: Für jeden Knoten [math]a[/math] gibt es eine Schleife [math]\stackrel{a}\circlearrowright[/math]  . Entsprechend ist die Irreflexivität dadurch gegeben, dass es für keinen Knoten [math]a[/math] eine Schleife [math]\stackrel{a}\circlearrowright[/math] gibt.

Eigenschaften

  • Mit Hilfe der identischen Relation [math]Id_M[/math] (die aus allen Paaren [math](x, x)[/math] besteht) kann man die Begriffe auch so charakterisieren:
    [math]R[/math] ist reflexiv [math]\Longleftrightarrow Id_M \subseteq R[/math]
    [math]R[/math] ist irreflexiv [math]\Longleftrightarrow Id_M \cap R = \varnothing[/math]
  • Ist die Relation [math]R[/math] reflexiv bzw. irreflexiv, dann gilt dies auch für die konverse Relation [math]R^{-1}[/math]. Beispiele: die zu [math]\le[/math] konverse Relation ist [math]\ge[/math], die zu [math]\lt\ [/math] konverse ist [math]\gt\ [/math].
  • Ist die Relation [math]R[/math] reflexiv, dann ist die komplementäre Relation [math]R^{\rm c}[/math] irreflexiv. Ist [math]R[/math] irreflexiv, dann ist [math]R^{\rm c}[/math] reflexiv. Dabei ist die komplementäre Relation definiert durch
    [math] x R^{\rm c} y :\Longleftrightarrow \neg x R y[/math].
  • Die Relation auf der leeren Menge ist als einzige Relation sowohl reflexiv als auch irreflexiv.

Siehe auch


Kategorien: Mathematischer Grundbegriff | Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Reflexive 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.