Relation (Mathematik)

Relation (Mathematik)

Eine Relation ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob sie bestehen oder nicht. Zwei Gegenstände können also nicht „bis zu einem gewissen Grade“ in einer Relation zueinander stehen. Damit ist eine einfache mengentheoretische Definition des Begriffs möglich: Eine Relation R ist eine Menge von n-Tupeln. Dinge, die in der Relation R zueinander stehen, bilden ein n-Tupel, das Element von R ist.

Wenn nicht ausdrücklich etwas anderes angegeben ist, versteht man unter einer Relation eine zweistellige oder binäre Relation, also eine Beziehung zwischen je zwei Dingen; diese bilden dann genau geordnete Paare. Stammen die Elemente eines Paares (a,b) aus verschiedenen Grundmengen A und B, so heißt die Relation heterogen oder „Relation zwischen den Mengen A und B“. Wenn die Grundmengen übereinstimmen, A = B, heißt die Relation homogen oder „Relation in bzw. auf der Menge A“.

Wichtige Spezialfälle, zum Beispiel Äquivalenzrelationen und Ordnungsrelationen, sind Relationen in einer Menge.

Inhaltsverzeichnis

Definition

Die vorstehenden Überlegungen erlauben nun folgende formale Definition: Eine binäre Relation R ist eine Teilmenge des kartesischen Produkts zweier Mengen A und B:

R \sube A \times B \;\text{ mit }\, A \times B:= \{(a,b) \mid (a \in A) \and (b \in B)\}

Die Menge A wird als Vorbereich oder Quelle der Relation R bezeichnet; die Menge B als Nachbereich, Ziel oder Zielmenge.[1] Ihre Vereinigung heißt Feld.

Allgemeiner ist eine n-stellige Relation eine Teilmenge des kartesischen Produkts von n Mengen A1, ..., An.

R \sube A_{1} \times\ldots\times A_{n} \;\text{ mit }\, A_{1} \times\ldots\times A_{n}:= \{(a_{1}, \ldots, a_{n}) \mid (a_{1} \in A_{1}) \and \ldots \and (a_{n} \in A_{n})\}.

Oft ist die obige Definition, insbesondere einer binären Relation, nicht präzise genug, und man muss die Quelle und Zielmenge in die Definition mit einbeziehen; obige Teilmenge ist dann genauer der Graph der Relation. Dann definiert man eine Relation als Tripel R = (GR,A,B) mit

G_R = \mathrm{Graph}(R)\sube A\times B.

Alternativ könnte man vereinbaren, dass ein Paar (a,b) hier die Mengen A und B als „Zielmengen“ für den Index 1 bzw. 2 „beinhaltet“.

Diese genauere Definition lässt sich offensichtlich direkt auf n-stellige Relationen verallgemeinern. Die Kenntnis von Quelle und Zielmenge ist jedoch besonders für binäre Relationen wichtig, u. a., wenn man Funktionen als spezielle (sogenannte funktionale) Relationen betrachtet.

Erläuterungen und Schreibweisen

Das kartesische Produkt ist die Menge aller geordneten Paare von a und b, wobei a irgendein Element aus der Menge A und b eines aus B darstellt. Bei dem geordneten Paar ist die Reihenfolge wichtig, d. h. (a,b) unterscheidet sich von (b,a), im Gegensatz zum ungeordneten Paar {a,b}, das identisch ist mit {b,a}. Für (a,b) \in R schreibt man auch a R b \!\,, um zu verdeutlichen, dass jene Beziehung zwischen den Objekten besteht.

Relationen und Funktionen

Eine Funktion ist eine spezielle (nämlich eine linkstotale und rechtseindeutige, siehe unten) Relation (streng genommen ein Paar aus einer solchen Relation und der Zielmenge). Eine Relation im obigen Sinne entspricht auf eindeutige Weise einer Funktion fR, deren Definitionsmenge das kartesische Produkt der Mengen ist und deren Zielmenge lediglich die Elemente wahr und falsch umfasst, wobei fR(a,b) zu aRb äquivalent ist. Diese Funktion ist auch als Indikatorfunktion oder charakteristische Funktion der Teilmenge G_R \sube A\times B bekannt (wobei evtl. falsch = 0 und wahr = 1 genommen wird).


Eine Relation R\subseteq A\times B kann auch als "Abbildung" von A in die Potenzmenge von B aufgefasst werden, a\mapsto \{b\in B\,|\,(a,b)\in R\}; man spricht dann oft von einer Korrespondenz. Vorsicht, diese "Abbildung" ist mangels Linksvollständigkeit keine Funktion, aber üblicherweise werden die Begriffe Abbildung und Funktion synonym verwendet.

Verkettung von Relationen

Eine Relation R\subseteq A\times B und eine Relation S \subseteq B\times C können miteinander verkettet werden. Das Ergebnis ist die Relation:  RS = S\circ R = \{(a,c)\in A\times C|\exists ~ b\in B: (a,b)\in R \and (b,c) \in S\}
. Die Relation nennt man Relationsprodukt oder relatives Produkt. Dieses ist eine Verallgemeinerung des bekannteren Konzepts der Verkettung von Funktionen.

Beispiel: Die Relation "Schwägerin sein von" ist die Vereinigungsmenge

  • des relativen Produktes der Relation "Bruder sein von" und der Relation "Ehefrau sein von"   UND
  • des relativen Produktes der Relation "Ehepartner(in) sein von" und der Relation "Schwester sein von".

Homogene Relationen

Ist R\subseteq A\times A, dann nennt man die Relation homogen. In diesem Fall ist die Verkettung R\circ R ebenfalls eine homogene Relation. Hier ist die Schreibweise R^2=R\circ R und allgemeiner R^n\, für n\in\Bbb N\setminus \{0,1\} gebräuchlich. Das kann zu Verwechslungen mit dem kartesischen Produkt M^2 = M\times M führen, das sich natürlich auch aus Relationen bilden lässt. Die Bedeutung ergibt sich aus dem Sinnzusammenhang. Manche Autoren definieren eine allgemeine Relation bereits als homogene Relation, denn eine allgemeine Relation R \sube A\times B ist auch immer homogen: R \sube (A\cup B)\times(A\cup B).

Eine spezielle homogene Relation ist die Diagonale ΔA (oder auch nur Δ) auf einer Menge A. Dies ist nichts anderes als die Gleichheitsrelation als Teilmenge des kartesischen Produkts A\times A geschrieben:

\Delta_A = \{(a,b)\in A\times A \mid a = b\} = \{(a,a) \mid a\in A\}.

Diese Schreib- und Sprechweise kann verwendet werden, um gewisse Eigenschaften von Relationen in Mengenschreibweise kurz darzustellen.

Eine weitere spezielle homogene Relation ist die Allrelation oder universale Relation

U = A\times A,

die etwa in der Graphentheorie eine Rolle spielt. Ein Anwendungsbeispiel ist folgender Satz:

Ist G = (V,E) ein gerichteter Graph mit Eckenmenge V und Kantenmenge E\subseteq V\times V, so ist G genau dann (stark) zusammenhängend, wenn die reflexiv-transitive Hülle von E die Allrelation ist.

Umkehrrelation

Die Umkehrrelation (auch Umkehrung, Konverse, konverse Relation oder inverse Relation genannt) ist für eine Relation R \subseteq A\times B definiert als

R^{-1} = \{(b,a)\in B\times A \mid (a,b)\in R\}.

Beispiel 1: Die Umkehrrelation der Relation "Ehemann sein von" ist die Relation "Ehefrau sein von".

Beispiel 2: Die Umkehrrelation der Relation "kleiner als" ist die Relation "größer als".

Beispiel 3: Die Umkehrrelation der Relation "liefert an" ist die Relation "wird beliefert von".

Alternative Sprechweisen

  • Zu linkseindeutig sagt man auch injektiv oder voreindeutig.
  • Zu linkstotal sagt man auch linksvollständig oder vordefiniert.
  • Zu rechtseindeutig sagt man auch nacheindeutig oder funktional.
  • Zu rechtstotal sagt man auch surjektiv oder nachdefiniert.
  • Zu eineindeutig sagt man auch bijektiv.

Beispiel

Alle möglichen Kombinationen von den Elementen aus der Menge A := {a,b,c} und B := {x,y,z}:

Relation.PNG

Eigenschaften (binär)

Die in den folgenden Tabellen gegebenen Beispiele beziehen sich bei Verwendung von Gleichheitszeichen "=", Kleinerzeichen "<" und Kleinergleich-Zeichen "≤" auf die gewöhnliche Anordnung reeller Zahlen.

Attribute für homogene Relationen

Die folgenden Attribute beschreiben gemeinsam eine Äquivalenzrelation, die Attribute reflexiv und transitiv sind auch für Ordnungsrelationen gebräuchlich:

Die Relation heißt wenn gilt (Aussagenlogik) oder gleichwertig (Mengenschreibweise) und das bedeutet
reflexiv \forall a \in A : \ (a,a) \in R \Delta\subseteq R Jedes Element steht in Relation zu sich selbst, z. B. ist stets aa.
symmetrisch \begin{align}\forall a,b &\in A:
            (a,b) \in R \\
            \Rightarrow &(b,a) \in R
        \end{align} R\subseteq R^{-1} Die Relation ist ungerichtet, z. B. folgt aus a=b stets b=a
transitiv \begin{align} \forall {a,b,c} &\in A: \\
                &(a,b) \in R \and (b,c) \in R \\
  \Rightarrow \ &(a,c) \in R
         \end{align} R\circ R\subseteq R Anfang und Ende einer verbundenen Sequenz sind verbunden, z. B. folgt aus a<b und b<c stets a<c.

Die folgenden Attribute werden zur Kennzeichnung von Ordnungsrelationen ebenfalls gebraucht:

Die Relation heißt wenn gilt (Aussagenlogik) oder gleichwertig (Mengenschreibweise) und das bedeutet
irreflexiv (antireflexiv) \forall a \in A: \ (a,a) \ \not\in\ R \Delta\cap R= \varnothing Kein Element steht in Relation zu sich selbst, z. B. gilt a<a für kein a.
asymmetrisch \begin{align}\forall a,b &\in A:\\ 
              & (a,b) \in R \\
              \Rightarrow \ & (b,a) \ \not\in\ R
         \end{align} R\cap R^{-1}=\varnothing Es gibt keine zwei Elemente, die in beiden Richtungen in Relation stehen, z. B. folgt aus a<b stets, dass b<a nicht gilt.
antisymmetrisch für beliebige bzw. identitiv für homogene Relationen \begin{align}\forall  a,b&\in A:\\
                     & (a,b) \in R \, \and \, (b,a) \in R\\ 
       \Rightarrow \ & a = b
         \end{align} R\cap R^{-1} \subseteq \Delta_A Es gibt keine zwei verschiedenen Elemente, die in beiden Richtungen in Relation stehen, z. B. folgt aus ab und ba stets a=b.
total, linear oder konnex \begin{align} \forall {a,b} &\in A :\\ 
 &(a,b) \in R \ \or\ (b,a) \in R
    \end{align} R\cup R^{-1}= A\times A Je zwei Elemente stehen in Relation, z. B. gilt stets ab oder ba.
alternativ \begin{align}\forall a,b &\in A, a \neq b: \\
   &(a,b) \in R \\
  \Leftrightarrow &(b,a) \ \not\in\ R
  \end{align} \begin{align}  R^{-1}\cap R &\subseteq \Delta\\
 \and\;               (A \times A)\setminus \Delta &\subseteq R\cup R^{-1} 
  \end{align} Es gilt für verschiedene Elemente stets genau eine der Relationen a R b oder b R a.

Die folgenden Attribute sind besonders zur Beschreibung von Verknüpfungen gebräuchlich.

Die Relation heißt wenn gilt (Aussagenlogik) oder gleichwertig (Mengenschreibweise) und das bedeutet
drittengleich oder rechtskomparativ \begin{align}\forall{a,b,c}&\in A:\\
       &(a,c) \in R \,\and\, (b,c) \in R\\
      \Rightarrow\, &(a,b) \in R
     \end{align} R^{-1}\circ R\subseteq R Stehen zwei Elemente jeweils zu einem dritten in Relation, dann stehen sie auch zueinander in Relation. Zu beachten ist, dass diese Forderung nicht äquivalent zur Transitivität ist.
drittengleich oder linkskomparativ \begin{align} \forall{a,b,c}&\in A: \\
      &(c,a) \in R \,\and\, (c,b) \in R\\
      \Rightarrow\, &(a,b) \in R
    \end{align} R\circ R^{-1}\subseteq R

Die folgenden Attribute werden seltener gebraucht:

Die Relation heißt wenn gilt (Aussagenlogik) oder gleichwertig (Mengenschreibweise) und das bedeutet
intransitiv \begin{align} {\exists a,b,c} &\in A:\\
         &(a,b) \in R \and  (b,c) \in R \\ 
  \and  &(a,c)  \not\in R
         \end{align} R\circ R\not\subseteq R Nicht bei jeder verbundenen Sequenz sind Anfang und Ende verbunden.
antitransitiv \begin{align}\forall{a,b,c}&\in A:\\
     &(a,b) \in R \, \and \, (b,c) \in R \\\ 
     \Rightarrow \, &(a,c) \ \not\in\ R\\
     \end{align} (R\circ R)\cap R =\varnothing Bei keiner verbundenen Sequenz sind Anfang und Ende verbunden.

Attribute für Relationen zwischen verschiedenen Mengen

Die folgenden Relationen sind für Funktionen (dargestellt als spezielle Relationen) wichtig. Im Allgemeinen besteht hier die Relation R zwischen zwei verschiedenen Mengen R\subseteq A\times B, der Fall A = B ist natürlich auch möglich. Die Abbildungen p1 und p2 bezeichnen die Projektionen auf die erste bzw. zweite Menge des kartesischen Produkts A\times B.

Die Relation heißt wenn gilt (Aussagenlogik) oder gleichwertig (Mengenschreibweise) und das bedeutet
linkstotal \begin{align}\forall a &\in A\; \exist ~ b \in {B} :\\
  & (a,b) \in R
   \end{align} p1(R) = A Jedes Element aus A steht zu mindestens einem Element von B in Relation.
surjektiv bzw. rechtstotal \begin{align}\forall b &\in B\; \exist ~ a \in A: \\
    &(a,b) \in R 
   \end{align} p2(R) = B Jedes Element aus B hat mindestens einen Partner in A.
injektiv bzw. linkseindeutig \begin{align}\forall a,c &\in A\;\forall b \in B: \\
               &(a,b) \in R \and (c,b) \in R \\
   \Rightarrow \, &a=c
  \end{align} R^{-1}\circ R \subseteq \Delta_A Kein Element aus B hat mehr als einen Partner in A.
funktional bzw. rechtseindeutig \begin{align}\forall a &\in A\; ,~ \forall b,c \in B:\\
     & (a,b) \in R \and (a,c) \in R \\
    \Rightarrow \, &b = c
  \end{align}


R\circ R^{-1}\subseteq \Delta_B Kein Element aus A hat mehr als einen Partner in B
bijektiv bzw. eineindeutig oder umkehrbar eindeutig \begin{align}\forall b &\in B \;\exists !\, a \in A: \\
  &(a,b) \in R
  \end{align} \begin{align} R^{-1}\circ R &\subseteq\Delta_A\\
 \and\;              R\circ R^{-1} &= \Delta_B
  \end{align} Jedes Element aus B hat genau einen Partner in A

Eine Relation R heißt Funktion, wenn sie linkstotal und rechtseindeutig ist. Die Attribute injektiv, surjektiv und bijektiv werden in der Regel für Funktionen gebraucht.

Relationszeichen

In der elementaren Mathematik gibt es drei grundlegende Vergleichsrelationen:

  1. x < y (Beispiel: 2 < 3 "2 ist kleiner als 3")
  2. x = y (Beispiel: 3 = 3 "3 ist gleich 3")
  3. x > y (Beispiel: 3 > 2 "3 ist größer als 2")

mit x, y \in \R.

Zwei reelle Zahlen stehen immer in genau einer dieser Relationen zueinander. Mit diesen Relationszeichen lassen sich auch weitere erschaffen; so gilt:

  •  x \leq y, falls x < y oder x = y (Beispiel:  4 \leq 5)
  •  x \geq y, falls x > y oder x = y (Beispiel:  5 \geq 5)
  •  x \neq y, falls x < y oder x > y (Beispiel:  4 \neq 5)

für alle  x, y \in \R.

Für komplexe Zahlen existieren obige Ordnungsrelationen nicht.

Mathematiker verwenden das Zeichen ≤ auch für abstrakte Ordnungsrelationen (und ≥ für die zugehörige Umkehrrelation) während "<" keine Ordnungsrelation im Sinne der mathematischen Definition ist.

Für Äquivalenzrelationen werden "symmetrische" Symbole wie ≈ , ~ , ≡ bevorzugt.

Klassen von Relationen

Zusammenhänge zwischen verschiedenen binären Relationen

Wichtige Klassen von Relationen und ihre Eigenschaften:

Anwendung

Operationen auf ganzen Relationen werden in der relationalen Algebra untersucht. In der Informatik sind Relationen bei der Arbeit mit relationalen Datenbanken wichtig.

Einzelnachweise

  1. Walter Gellert, Herbert Kästner, Siegfried Neuber (Hrsg): Lexikon der Mathematik. Bibliographisches Institut Leipzig, 1979, S 484.

Literatur

Weblinks

Wikibooks Wikibooks: Mathe für Nicht-Freaks: Relation – Lern- und Lehrmaterialien

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Relation (Begriffsklärung) — Relation (latein. relatio „das Zurücktragen“) steht für: Relation, eine bestimmte Beziehung zwischen Objekten Relation (Mathematik), die Behandlung einer eindeutigen Beziehung zwischen Dingen Relation (Datenbank), eine zweidimensionale Tabelle… …   Deutsch Wikipedia

  • Relation (Datenbanktechnik) — Formale Grundlage der Relation im Sinne einer Datenbankrelation ist die mathematische Definition. Die Relation ist die Basis der relationalen Algebra, die von Edgar F. Codd entwickelt wurde. Eine Relation besteht aus Attributen und Tupeln. Ein… …   Deutsch Wikipedia

  • Mathematik im Alten Ägypten — bezieht sich auf die Geschichte und Anwendung der täglichen Berechnungsformeln. Inhaltsverzeichnis 1 Überblick 1.1 Geometrie 1.2 Quellenlage 2 Siehe auch …   Deutsch Wikipedia

  • Relation (Mengentheorie) — Eine Relation ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob sie bestehen oder nicht. Zwei Gegenstände können also nicht …   Deutsch Wikipedia

  • Relation — Abhängigkeit; Zusammenhang; Verhältnis; Beziehung; Verbindung; Bezug; Verknüpfung; Wechselbeziehung * * * Re|la|ti|on [rela ts̮i̯o:n], die; , en: Beziehung, in der [zwei] Dinge, Gegebenheiten, Begriffe usw. zueinander stehen …   Universal-Lexikon

  • Abbildung (Mathematik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Domäne (Mathematik) — In der Mathematik versteht man unter Definitionsmenge oder Definitionsbereich jene Teilmenge einer Grundmenge, für die im jeweiligen Zusammenhang eine wohldefinierte Aussage möglich ist. In der Schulmathematik wird die Definitionsmenge oft mit… …   Deutsch Wikipedia

  • Transitive Relation — Zwei transitive und eine nicht transitive Relation, als gerichtete Graphen dargestellt Die Transitivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn aus x R y und y R z stets x R z folgt. Man nennt R dann transitiv. Die… …   Deutsch Wikipedia

  • Verkettung (Mathematik) — Der Begriff Komposition bedeutet in der Mathematik meist die Hintereinanderschaltung von Funktionen, auch als Verkettung oder Hintereinanderausführung bezeichnet. Die Darstellung einer Funktion als Verkettung zweier oder mehrerer, im Allgemeinen… …   Deutsch Wikipedia

  • Einschränkung (Mathematik) — In der Mathematik wird der Begriff Einschränkung meist für die Verkleinerung des Definitionsbereichs einer Funktion verwendet. Auch für Relationen ist es möglich, die Einschränkung auf eine Teilmenge der Grundmenge zu betrachten. Gelegentlich… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”