| Zeile 1: |
Zeile 1: |
| − | ==Übersicht <small><small><ref>Die Darstellung basiert auf [Hischer 2012, Kapitel 4 und 5].</ref></small></small>==
| + | Diese Baustelle wurde aufgehoben. |
| − | 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.
| |
| − | | |
| − | ==Definitionen==
| |
| − | ===Grundlegende 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
| |
| − | |-
| |
| − | | ''Voraussetzung:'' Es seien <math>A,B,R</math> Mengen und <math>n\in {{\mathbb{N}}^{*}}\text{ }\!\!\backslash\!\!\text{ }\{1\}</math> (also <math>n>1</math>). ||
| |
| − | |-
| |
| − | | 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.<br />Spezielle Namen sind für <math>n=3</math> „'''Tripel'''“ und für <math>n=4</math> „'''Quadrupel'''“.
| |
| − | |-
| |
| − | | : <math>A\times B:=\{(a,b)|a\in A\wedge b\in B\}</math> || <math>A\times B</math> heißt „'''Produktmenge'''“ oder „'''kartesisches Produkt'''“ (von <math>A</math> und <math>B</math>).<br />
| |
| − | <math>A\times B</math> lässt sich rekursiv zu <math>{{A}_{1}}\times \ldots \times {{A}_{n-1}}\times {{A}_{n}}</math> verallgemeinern.
| |
| − | |-
| |
| − | | <math>R</math> ist genau dann eine '''<math>n</math>-stellige Relation''', wenn <math>R</math> 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> ist genau dann eine Relation '''von <math>A</math> nach <math>R</math>''', wenn <math> R\,\subseteq \,A\,\times \,B</math> gilt.
| |
| − | || Die geometrische Beziehung ''„Punkt liegt auf Gerade“'' ist eine Relation von einer Punktmenge '''nach''' einer Geradenmenge.
| |
| − | |-
| |
| − | | <math>R</math> ist genau dann eine Relation '''in <math>A</math>''', wenn <math> R\,\subseteq \,A\,\times \,A</math> gilt. || Die ''„Größer-als-Beziehung“'' ist eine Relation '''in''' einer Menge von Zahlen.
| |
| − | |}
| |
| − | Für binäre Relationen wird folgende '''Schreibweise''' vereinbart:: <math>xRy:\Leftrightarrow (x,y)\in R</math>
| |
| − | ===Spezielle Relationseigenschaften und spezielle Relationen <small><small><ref>Erläuterungen und Veranschaulichungen dazu in [Hischer 2012, 181 ff.]</ref></small></small>===
| |
| − | {| class="wikitable"
| |
| − | |-
| |
| − | ! Definitionen !! Anmerkungen
| |
| − | |-
| |
| − | | ''Voraussetzung:'' <math>A,B,R</math> seien Mengen, <math>R\ne \varnothing</math> und <math>R\subseteq M\times M</math>. || ''Die nachfolgenden Erläuterungen deuten <math>xRy</math> als einen „'''Pfeil''' von <math>x</math> nach <math>y</math>“''.
| |
| − | |-
| |
| − | | <math>R</math> ist '''symmetrisch''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> wenn <math>xRy</math> dann <math>yRx</math>. || Wenn eine Verbindung, dann in beiden Richtungen (keine Einbahnstraßen; ungerichteter Graph).
| |
| − | |-
| |
| − | | <math>R</math> ist '''asymmetrisch''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> wenn <math>xRy</math> dann '''nicht''' <math>yRx</math>. ) || Wenn eine Verbindung, dann nur in einer Richtung; nirgends Schleifen (höchstens Einbahnstraßen, gerichteter Graph).
| |
| − | |-
| |
| − | | <math>R</math> ist '''identitiv''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> wenn <math>xRy</math> und <math>yRx</math> dann <math>x=y</math>. || Verbindung zwischen verschiedenen Punkten nur in einer Richtung; Schleifen möglich.
| |
| − | |-
| |
| − | | <math>R</math> ist '''transitiv''' <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y,z:</math> wenn <math>xRy</math> und <math>yRz</math> dann <math>xRz</math>. || Wenn überhaupt eine Verbindung, dann eine kürzeste (Existenz von Überbrückungspfeilen).
| |
| − | |-
| |
| − | | <math>R</math> ist '''reflexiv in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x:</math> <math>xRx</math>. || Überall Schleifen.
| |
| − | |-
| |
| − | | <math>R</math> ist '''irreflexiv in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x:</math> '''nicht''' <math>xRx</math>. || Nirgends Schleifen.
| |
| − | |-
| |
| − | | <math>R</math> ist '''konnex in'''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y:</math> <math>xRy</math> oder <math>yRx</math>. || Zwischen je zwei Punkten mindestens eine Verbindung; überall Schleifen.
| |
| − | |}
| |
| − | * '''Zur Beachtung:''' Die letzten drei Eigenschaften enthalten jeweils den wesentlichen Zusatz '''„in <math>M</math>“''', was bedeutet, dass eine Relation z. B. nicht per se „reflexiv“ sein kann, sondern dass dazu der Bezug auf eine konkrete Menge unverzichtbar ist. Und genau bei den ersten vier Eigenschaften ist dieser Zusatz nicht erforderlich.
| |
| − | * Eine '''Relation in einer Menge''' ist genau dann eine '''Äquivalenzrelation''', wenn sie reflexiv, symmetrisch und transitiv ist.
| |
| − | * Eine '''Relation in einer Menge''' ist genau dann eine '''Halbordnungsrelation''', wenn sie reflexiv, identitiv und transitiv ist.
| |
| − | * Eine '''Relation in einer Menge''' ist genau dann eine '''Totalordnungsrelation''', wenn sie identitiv, transitiv und konnex ist.
| |
| − | * Eine '''Relation in einer Menge''' ist genau dann eine '''Striktordnungsrelation''', wenn sie asymmetrisch und transitiv ist.
| |
| − | | |
| − | ==Relationen in Dynamischer Geometriesoftware (DGS)==
| |
| − | Eine Art an die Lösung geometrischer Probleme heranzugehen, ist neben dem Weg über Werkzeuge oder Objekte die Herangehensweise über Relationen. DGS sollten dies möglichst berücksichtigen. Dementsprechend sollten die Bedienelemente auf die unterschiedlichen Denkweisen der Nutzer ausgerichet sein <small><ref> Mit gestalterischen Fragen setzt sich auch Kate Mackrell in ihrem Artikel "Design decisions in interactive geometry software" (ZDM Mathematics Education (2011)) auseinander .</ref></small>
| |
| − | | |
| − | Unter Relationen in Dynamischer Geometriesoftware versteht man die Beziehung zweier oder mehrerer geometrischer Objekte zueinander. Bei einem relationalen Zugang steht die Eigenschaft im Vordergrund, die den Zusammenhang beschreibt. Dies bedeutet, dass fertige Objekte gleichberechtigt behandelt werden und der Fokus auf ihren Beziehungen zueinander liegt. Die Betrachtung einzelner Objekte spielt somit eine untergeordnete Rolle.
| |
| − | | |
| − | Ein Beispiel für relationale Lösungsansätze wäre bei geforderten parallelen Linien das Ausgehen von einem Abstand zwischen zwei oder mehreren Objekten, welcher überall gleich ist. Die eigentliche Parallelität steht hier folglich im absoluten Vordergrund.
| |
| − | | |
| − | Klar wird, das relationale Arbeitsschritte als sehr konstante und scheinbar statische Arbeitsschritte aufgefasst werden können.
| |
| − | | |
| − | Alternative Ansätze können werkzeug- oder objektorientiert sein, wobei beispielsweise direkt von einer Gerade ausgegangen wird, von wo aus eine zu dieser Geraden parallele Gerade konstruiert wird. Werkzeugorientierte Ansätze sind deutlich aktiver, objektorientierte deutlich stärker auf die genutzten Objekte fixiert.
| |
| − | | |
| − | ==Literatur==
| |
| − | * Hischer, Horst [2012]: ''Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung. Struktur – Funktion – Zahl''. Wiesbaden: Springer Spektrum.
| |
| − | | |
| − | ==Anmerkungen==
| |
| − | <references />
| |