Relation: Unterschied zwischen den Versionen

Der Terminus „Relation“ wird in der heutigen Mathematik mit Bezug auf den Gebrauch in der Philosophie im Sinne von „Beziehung“ (und damit als „[[Zuordnung]]“) verwendet, und so wird es im einfachsten Fall im mathematischen Kontext darum gehen, „Beziehungen“ zwischen zwei Mengen bzw. genauer: zwischen den Elementen von zwei Mengen zu beschreiben, also darum, ob <math>a</math> zu <math>b</math> „gehört“ bzw. ob und wie <math>a</math> zu <math>b</math> „in Beziehung steht“, falls etwa <math>a\in A</math> und <math>b\in B</math> gilt. Eine solche Relation kann z. B. durch eine Gleichung wie <math>{{a}^{2}}=2b-1</math> oder eine Ungleichung wie <math>3a<2\sqrt{b}</math> beschrieben werden<br />

Sofort ist ersichtlich, dass eine konkrete, etwa mit <math>R</math>  

bezeichnete Relation dann zutreffend durch die Angabe derjenigen geordneten Paare <math>(a,b)</math> aus der „Produktmenge“ <math>A\times B</math> gekennzeichnet werden kann, die hier „in Beziehung stehen“. Das führt dazu, jede Teilmenge einer solchen Produktmenge <math>A\times B</math> als ''„Relation zwischen <math>A</math> und <math>B</math>“'' – oder genauer: als ''„Relation von <math>A</math> nach <math>B</math>“'' – aufzufassen.<br />

Da eine solche „Relation“ als Menge von geordneten Paaren aber ihre Zusammensetzung bzw. Struktur nicht verliert, wenn man in <math>A\times B</math> anstelle von <math>A</math> und <math>B</math> beliebige Obermengen wählt, liegt es nahe, bereits diese Menge von geordneten Paaren als „Relation“ zu bezeichnen, also ohne die Angabe einer bestimmten Produktmenge <math>A\times B</math> als Bezugsmenge. Beide Wege sind sinnvoll und jeweils situativ zu wählen.

Der formalmathematischen Definition von „Relation liegt“ das „geordnete Paar“ zugrunde, etwa mit <math>(a,b)</math> bezeichnet, wobei es im Gegensatz zur mit <math>\{a,b\}</math> bezeichneten Menge auf die Reihenfolge der beiden „Elemente“ ankommt. In diesem Sinne kann man die Darstellung <math>(a,b)</math> als unmittelbar einsichtig im Sinne eines undefinierten Grundbegriffs verwenden, aber dem polnischen Mathematiker [http://de.wikipedia.org/wiki/Kazimierz_Kuratowski Kazimierz '''Kuratowski''']) gelang es 1921, das „geordnete Paar“ mengentheoretisch zu definieren. Dieser formale Aufbau wird kurz angedeutet:

Es lässt sich dann mit Bezug auf die Definition der Gleichheit von zwei Mengen beweisen, dass <math>(a,b)=(b,a)\Leftrightarrow a=b</math> gilt.<br />

| <math>R</math> {{sp}} ist genau dann eine '''<math>n</math>-stellige Relation''', wenn {{sp}} <math>R</math> {{sp}} nur aus geordneten <math>n</math>-Tupeln besteht.  || 2-stellige Relationen heißen auch „'''binäre''' Relationen“, sie bestehen damit nur aus geordneten Paaren.

| <math>R</math> {{sp}} ist genau dann eine Relation '''von <math>A</math> nach <math>R</math>''', wenn {{sp}} <math> R\,\subseteq \,A\,\times \,B</math> {{sp}} gilt.

| ''Voraussetzung:'' <math>A,B,R</math> {{sp}} seien Mengen, {{sp}} <math>R\ne \varnothing</math> {{sp}} und {{sp}} <math>R\subseteq M\times M</math>. || ''Die nachfolgenden Erläuterungen deuten {{sp}} <math>xRy</math> {{sp}} als einen „'''Pfeil''' von {{sp}} <math>x</math> {{sp}} nach {{sp}} <math>y</math>“''.

| <math>R</math> {{sp}} ist '''asymmetrisch''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> {{sp}} wenn {{sp}} <math>xRy</math>, {{sp}}  dann {{sp}} '''nicht''' {{sp}} <math>yRx</math>. ) || Wenn eine Verbindung, dann nur in einer Richtung; nirgends Schleifen (höchstens Einbahnstraßen, gerichteter Graph).

| <math>R</math> {{sp}} ist '''identitiv''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> {{sp}} wenn {{sp}} <math>xRy</math> {{sp}} und {{sp}} <math>yRx</math>, {{sp}} dann {{sp}} <math>x=y</math>. || Verbindung zwischen verschiedenen Punkten nur in einer Richtung; Schleifen möglich. <ref>Statt „identitiv“ ist auch die Bezeichnung „antisymmetrisch“ üblich, was aber nicht mit „asymmetrisch“ verwechselt werden darf.</ref>

| <math>R</math> {{sp}} ist '''transitiv''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y,z:</math> {{sp}} wenn {{sp}} <math>xRy</math> {{sp}} und {{sp}} <math>yRz</math>, {{sp}} dann {{sp}} <math>xRz</math>. || Wenn überhaupt eine Verbindung, dann eine kürzeste (Existenz von Überbrückungspfeilen).

| <math>R</math> {{sp}} ist '''reflexiv in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x:</math> {{sp}} <math>xRx</math>. || Überall Schleifen.

| <math>R</math> {{sp}} ist '''irreflexiv in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x:</math> {{sp}} '''nicht''' {{sp}} <math>xRx</math>. || Nirgends Schleifen.

| <math>R</math> {{sp}} ist '''konnex in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> {{sp}} <math>xRy</math> {{sp}} oder {{sp}} <math>yRx</math>. || Zwischen je zwei Punkten mindestens eine Verbindung; überall Schleifen. <ref>Statt „konnex“ sind auch die Bezeichnungen „total“ oder „vergleichbar“ üblich. Mit „konnex“ wird das lateinische „conecto“ für „Verbindung“ (hier also als „verbindend“) erfasst.</ref>