Baustelle:Relation: Unterschied zwischen den Versionen
| Zeile 1: | Zeile 1: | ||
| − | ==Übersicht <small><small><ref>Die | + | ==Übersicht <small><small><ref>Die Darstellung basiert auf [Hischer 2012, Kapitel 4 und 5].</ref></small></small>== |
| − | „Relation“ | + | Der Terminus „Relation“ wird in der heutigen Mathematik mit Bezug auf den Gebrauch in der Philosophie im Sinne von „Beziehung“ 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 /> | 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. | + | 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. |
| + | ==Definitionen== | ||
| + | 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: | ||
| + | {| class="wikitable" | ||
| + | |- | ||
| + | ! Definitionen !! Anmerkungen | ||
| + | |- | ||
| + | | Für beliebige Objekte <math>a, b</math> gilt:: | ||
| + | <math>(a,b):=\{\{a\},\{a,b\}\}</math>|| <math>(a,b)</math> heißt „'''geordnetes Paar'''“.<br /> | ||
| + | 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>(a,b)</math> lässt sich rekursiv zum geordneten <math>n</math>-Tupel <math>({{a}_{1}},{{a}_{2}},\ldots ,{{a}_{n-1}},{{a}_{n}})</math> verallgemeinern (<math>n=3</math: '''Tripel''', <math>n=4</math: '''Quadrupel'''>). | ||
| + | |- | ||
| + | | Beispiel || Beispiel | ||
| + | |- | ||
| + | | Beispiel || Beispiel | ||
| + | |- | ||
| + | | Beispiel || Beispiel | ||
| + | |- | ||
| + | | Beispiel || Beispiel | ||
| + | |- | ||
| + | | Beispiel || Beispiel | ||
| + | |} | ||
Version vom 20. August 2013, 14:27 Uhr
Übersicht [1]
Der Terminus „Relation“ wird in der heutigen Mathematik mit Bezug auf den Gebrauch in der Philosophie im Sinne von „Beziehung“ 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle a}
zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle b}
„gehört“ bzw. ob und wie zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle b}
„in Beziehung steht“, falls etwa Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle a\in A}
und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle b\in B}
gilt. Eine solche Relation kann z. B. durch eine Gleichung wie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle {{a}^{2}}=2b-1}
oder eine Ungleichung wie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle 3a<2\sqrt{b}}
beschrieben werden
Sofort ist ersichtlich, dass eine konkrete, etwa mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle R}
bezeichnete Relation dann zutreffend durch die Angabe derjenigen geordneten Paare Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a,b)}
aus der „Produktmenge“ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A\times B}
gekennzeichnet werden kann, die hier „in Beziehung stehen“. Das führt dazu, jede Teilmenge einer solchen Produktmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A\times B}
als „Relation zwischen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A}
und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle B}
“ – oder genauer: als „Relation von nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle B}
“ – aufzufassen.
Da eine solche „Relation“ als Menge von geordneten Paaren aber ihre Zusammensetzung bzw. Struktur nicht verliert, wenn man in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A\times B}
anstelle von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A}
und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle B}
beliebige Obermengen wählt, liegt es nahe, bereits diese Menge von geordneten Paaren als „Relation“ zu bezeichnen, also ohne die Angabe einer bestimmten Produktmenge als Bezugsmenge. Beide Wege sind sinnvoll und jeweils situativ zu wählen.
Definitionen
Der formalmathematischen Definition von „Relation liegt“ das „geordnete Paar“ zugrunde, etwa mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a,b)} bezeichnet, wobei es im Gegensatz zur mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \{a,b\}} bezeichneten Menge auf die Reihenfolge der beiden „Elemente“ ankommt. In diesem Sinne kann man die Darstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a,b)} als unmittelbar einsichtig im Sinne eines undefinierten Grundbegriffs verwenden, aber dem polnischen Mathematiker Kazimierz Kuratowski) gelang es 1921, das „geordnete Paar“ mengentheoretisch zu definieren. Dieser formale Aufbau wird kurz angedeutet:
| Definitionen | Anmerkungen |
|---|---|
Für beliebige Objekte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle a, b}
gilt::
|| Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a,b)} heißt „geordnetes Paar“. Es lässt sich dann mit Bezug auf die Definition der Gleichheit von zwei Mengen beweisen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a,b)=(b,a)\Leftrightarrow a=b}
gilt. | |
| Beispiel | Beispiel |
| Beispiel | Beispiel |
| Beispiel | Beispiel |
| Beispiel | Beispiel |
| Beispiel | Beispiel |
Literatur
- Hischer, Horst [2012]: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung. Struktur – Funktion – Zahl. Wiesbaden: Springer Spektrum.
Anmerkungen
- ↑ Die Darstellung basiert auf [Hischer 2012, Kapitel 4 und 5].