Reflexive Relation

Drei reflexive Relationen, als gerichtete Graphen dargestellt

Vorlage:Belege fehlen Die Reflexivität einer zweistelligen Relation $R$ auf einer Menge ist gegeben, wenn $xRx$ für alle Elemente $x$ der Menge gilt, also jedes Element in Relation zu sich selbst steht. Man nennt $R$ dann reflexiv.

Eine Relation heißt irreflexiv, wenn die Beziehung $xRx$ für kein Element $x$ der Menge gilt, also kein Element in Relation zu sich selbst steht. Es gibt auch Relationen, die weder reflexiv noch irreflexiv sind, wenn die Beziehung $xRx$ für einige Elemente $x$ der Menge gilt, doch nicht für alle.

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 $M$ eine Menge und $R\subseteq M\times M$ eine zweistellige Relation auf $M$, dann definiert man (unter Verwendung der Infixnotation):

$R$ ist reflexiv :$⟺\mathrm{\forall }x\in M:xRx$

$R$ ist irreflexiv :$⟺\mathrm{\forall }x\in M:\mathrm{\neg }xRx$

Beispiele

Reflexiv

• Die Kleiner-Gleich-Relation $\le$ auf den reellen Zahlen ist reflexiv, da stets $x\le x$ gilt. Sie ist darüber hinaus eine Totalordnung. Gleiches gilt für die Relation $\ge$.

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

• Die Teilmengenbeziehung $\subseteq$ zwischen Mengen ist reflexiv, da stets $A\subseteq A$ gilt. Sie ist darüber hinaus eine Halbordnung.

Irreflexiv

• Die Kleiner-Relation $<$ auf den reellen Zahlen ist irreflexiv, da nie $x<x$ gilt. Sie ist darüber hinaus eine strenge Totalordnung. Gleiches gilt für die Relation $>$.

• Die Ungleichheit $\ne$ auf den reellen Zahlen ist irreflexiv, da nie $x\ne x$ gilt.

• Die echte Teilmengenbeziehung $\subset$ zwischen Mengen ist irreflexiv, da nie $A\subset A$ gilt. Sie ist darüber hinaus eine strenge Halbordnung.

Weder reflexiv noch irreflexiv

Die folgende Relation auf der Menge der reellen Zahlen ist weder reflexiv noch irreflexiv:

$xRy:⟺y=x^2$

Grund: Für $x:=1$ gilt $xRx$, für $x:=2$ gilt $\mathrm{\neg }xRx$.

Darstellung als gerichteter Graph

Jede beliebige Relation $R$ auf einer Menge $M$ kann als gerichteter Graph aufgefasst werden (siehe Beispiel im Bild 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 $a⟶b$) gezogen, wenn $aRb$ gilt.

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

Eigenschaften

• Mit Hilfe der identischen Relation $I{d}_M$ (die aus allen Paaren $(x,x)$ besteht) kann man die Begriffe auch so charakterisieren:

  $R$ ist reflexiv $⟺I{d}_M\subseteq R$

  $R$ ist irreflexiv $⟺I{d}_M\cap R=\varnothing$

• Ist die Relation $R$ reflexiv bzw. irreflexiv, dann gilt dies auch für die konverse Relation $R^{-1}$. Beispiele: die zu $\le$ konverse Relation ist $\ge$, die zu $<$ konverse ist $>$.

• Ist die Relation $R$ reflexiv, dann ist die komplementäre Relation $R^{\mathrm{c}}$ irreflexiv. Ist $R$ irreflexiv, dann ist $R^{\mathrm{c}}$ reflexiv. Dabei ist die komplementäre Relation definiert durch

  $x{R}^{\mathrm{c}}y:⟺\mathrm{\neg }xRy$.

• Die Relation auf der leeren Menge ist als einzige Relation sowohl reflexiv als auch irreflexiv.

Siehe auch

• Nichtsättigungsaxiom
• Reflexive Hülle
• Reflexiv-transitive Hülle