Mathematische Grundlagen: Relationen und Klassifizierung

Sortierung und Klassifizierung sportlicher Aktivitäten

Die Sortierung und Klassifizierung sportlicher Aktivitäten sowie die Organisation unseres täglichen Lebens (in Zeitungen, öffentlichen Zentren, Agenturen, Unternehmen oder unserem speziellen Umfeld in allen Bereichen des Wissens) verfolgen verschiedene Ziele:

• Funktional: Sie repräsentieren eine sehr wichtige organisatorische Arbeit nach dem Kriterium der Nützlichkeit.
• Deskriptiv: Sie werden verwendet, um viele Situationen und Konzepte zu beschreiben.
• Konstruktiv: Sie dienen dazu, neue Konzepte zu definieren und aufzubauen.

Das Vorangegangene rechtfertigt, dass die Klassifizierung und Ordnung sportlicher Aktivitäten eine spezifische Behandlung in unserer mathematischen Ausbildung erfahren. Wir erreichen dies durch die Konzepte der Äquivalenz und der Ordnungsrelation.

Binäre Relationen

Geordnetes Paar: Ein geordnetes Paar besteht aus zwei Elementen in einer bestimmten Reihenfolge. Normalerweise repräsentieren wir dies als (a, b). Das Element a wird als erste Komponente und b als zweite Komponente des Paares bezeichnet.

Gleichheit geordneter Paare: Zwei geordnete Paare (a, b) und (c, d) sind genau dann gleich, wenn ihre ersten Komponenten und ihre zweiten Komponenten jeweils identisch sind: (a, b) = (c, d) ⇒ a = c und b = d.

Kartesisches Produkt und binäre Relationen

Kartesisches Produkt: Gegeben seien zwei Mengen A und B. Das kartesische Produkt A x B ist die Menge aller geordneten Paare (a, b), wobei a ein Element von A und b ein Element von B ist.

Binäre Relation zwischen zwei Mengen: Eine binäre Relation R zwischen den Mengen A und B ist eine beliebige Teilmenge des kartesischen Produkts A x B (R ⊆ A x B).

Teilmenge (Subset): Eine Menge gilt als in einer anderen enthalten, wenn jedes ihrer Elemente auch ein Element der zweiten Menge ist.

Binäre Relation auf einer Menge

Definition: Gegeben sei eine Menge A. Eine binäre Relation R auf A ist eine Teilmenge des kartesischen Produkts A x A (R ⊆ A x A). Wenn ein Paar (a, b) zur Relation gehört, sagen wir „a steht in Relation zu b“ und schreiben aRb.

Wege zur Definition einer binären Relation

Wenn eine Relation R endlich ist, kann sie auf zwei Arten definiert werden:

1. Definition durch Aufzählung (Extension): Wenn jedes einzelne Element der Relation R explizit angegeben wird.
2. Definition durch Beschreibung (Intension): Wenn ein Kriterium angegeben wird, nach dem zwei Elemente verbunden sind, was uns hilft zu bestimmen, ob ein Paar zur Relation gehört.

Eigenschaften binärer Relationen

Eine binäre Relation R auf einer Menge A kann folgende Eigenschaften besitzen:

• Reflexiv: Jedes Element von A steht mit sich selbst in Beziehung (∀x ∈ A: xRx).
• Symmetrisch: Wenn x mit y in Beziehung steht, dann steht auch y mit x in Beziehung (xRy ⇒ yRx).
• Transitiv: Wenn x mit y und y mit z in Beziehung steht, dann steht auch x mit z in Beziehung (xRy ∧ yRz ⇒ xRz).
• Antisymmetrisch: Wenn x mit y und y mit x in Beziehung steht, dann müssen x und y gleich sein (xRy ∧ yRx ⇒ x = y).
• Zusammenhängend: Wenn für zwei beliebige Elemente gilt, dass sie in mindestens einer Richtung in Beziehung stehen (∀a, b ∈ A: aRb ∨ bRa).

Äquivalenzrelationen

Definition: Eine binäre Relation R auf einer Menge A heißt Äquivalenzrelation, wenn sie reflexiv, symmetrisch und transitiv ist.

Äquivalenzklasse: Für ein festes Element a aus A ist die Äquivalenzklasse die Menge aller Elemente, die mit a in Beziehung stehen: [a] = {x ∈ A | xRa}.

Quotientenmenge: Dies ist die Menge aller Äquivalenzklassen, die durch die Relation R auf der Menge A bestimmt werden: A / R = {[x] | x ∈ A}.

Eigenschaften von Äquivalenzklassen

1. Jede Äquivalenzklasse ist eine nichtleere Menge, da aufgrund der Reflexivität mindestens das Element selbst enthalten ist (x ∈ [x]).
2. Wenn zwei Elemente zur selben Äquivalenzklasse gehören, sind sie miteinander verknüpft.
3. Jedes Element einer Äquivalenzklasse kann als ihr Repräsentant dienen.
4. Zwei verschiedene Äquivalenzklassen sind disjunkt (sie haben keine gemeinsamen Elemente).
5. Die Vereinigung aller Äquivalenzklassen entspricht der gesamten Menge A.

Ordnungsrelationen und Seriierung

Definition: Eine binäre Relation R auf einer Menge A heißt Ordnungsrelation, wenn sie reflexiv, antisymmetrisch und transitiv ist.

Partielle und totale Ordnung

• Totale Ordnung: Eine Ordnungsrelation heißt totale Ordnung, wenn zusätzlich die Eigenschaft der Zusammengehörigkeit erfüllt ist (alle Elemente sind vergleichbar).
• Partielle Ordnung: Eine Ordnungsrelation ist partiell, wenn die Eigenschaft der Zusammengehörigkeit nicht erfüllt ist (nicht alle Elemente müssen vergleichbar sein).

Das Hasse-Diagramm

Das Hasse-Diagramm ist eine grafische Darstellung exklusiv für Ordnungsrelationen. Es zeigt die Beziehungen zwischen Paaren verschiedener Elemente. Pfeile oder Linien verdeutlichen die Richtung der Relation. Zwei Elemente stehen in Beziehung, wenn man entlang der Linien in der vorgegebenen Richtung von einem zum anderen gelangen kann.