mathediskrete-mathe

Relationen in 20 Minuten: die 6 Eigenschaften, die in jeder Klausur drankommen

Das Schichten-Modell, mit dem du jede Relation in unter 1 Minute klassifizierst – inkl. Relationen-Cheatsheet als PDF.

6 min readbilabs
0:00--:--

Warum scheitern so viele an Relationen?

In der Diskreten Mathe scheitern viele nicht am Rechnen, sondern am Einordnen:

  • Ist das jetzt symmetrisch oder antisymmetrisch?
  • Warum ist kleiner-als asymmetrisch, aber kleiner-gleich nicht?
  • Wann ist etwas nur vacuous transitiv?
📝

Das Kernproblem

Fast alle Vorlesungen erklären Relationen zu abstrakt. Hier bekommst du ein visuelles System, mit dem du jede Relation in unter 1 Minute klassifizierst.


Was ist eine Relation überhaupt?

Eine Relation RR auf einer Menge AA ist einfach eine Teilmenge von A×AA \times A. Das bedeutet: Du nimmst Paare von Elementen und sagst "diese beiden stehen in Relation".

Hier sehen wir: Alice kennt Bob (bidirektional), Bob kennt Charlie (einseitig). Diese Relation ist nicht symmetrisch, weil Bob→Charlie keine Gegenkante hat. Eine Relation ist entweder für alle Paare symmetrisch oder nicht.


Die 6-Eigenschaften-Checkliste

Die systematische Checkliste für Relationen

  1. Reflexiv? Hat jedes Element eine Schleife zu sich selbst? xA:xRx\forall x \in A: xRx Beispiel: = ist gleich (==) → Ja = ist kleiner (<<) → Nein

  2. Welcher Symmetrie-Typ? Wie verhalten sich Gegenkanten?

    • Symmetrisch: xRy    yRxxRy \implies yRx
    • Antisymmetrisch: xRyyRx    x=yxRy \land yRx \implies x=y
    • Asymmetrisch: xRy    ¬(yRx)xRy \implies \neg(yRx)
  3. Transitiv? Gibt es Kurzschlüsse über Ketten? xRyyRz    xRzxRy \land yRz \implies xRz Beispiel: Alice kennt Bob, Bob kennt Charlie. Kennt Alice Charlie direkt?

  4. Irreflexiv? Hat kein Element eine Schleife? xA:¬(xRx)\forall x \in A: \neg(xRx) Beispiel: = ist echter Vorfahre → Ja = ist Vorfahre oder selbst → Nein


Visuelle Eigenschaften-Unterscheidung

Die 3 Symmetrie-Typen

Die 3 Symmetrie-Typen

Richtig
Symmetrisch
Jede Kante hat Gegenkante Beispiel: ist verheiratet mit
Antisymmetrisch
Nur gleiche Elemente dürfen sich gegenseitig zeigen Beispiel: Teilmenge ⊆
Asymmetrisch
Keine Gegenkante, keine Schleife Beispiel: ist kleiner als (<)
Falsch
Symmetrisch
Einseitige Kanten existieren Beispiel: ist Vater von
Antisymmetrisch
Zwei verschiedene Elemente mit Gegenkante Gegenbeispiel: kennt-Relation mit gegenseitigem Kennen
Asymmetrisch
Irgendeine Gegenkante Beispiel: ist kleiner-gleich (≤)
⚠️

Häufigster Fehler

Viele verwechseln antisymmetrisch und asymmetrisch!

Antisymmetrisch: (xRy ∧ yRx) ⇒ x=y. Erlaubt Schleifen, verbietet nur verschiedene Elemente mit Gegenkante. Beispiel: ≤

Asymmetrisch: xRy ⇒ ¬(yRx). Keine Gegenkanten überhaupt - was automatisch auch Irreflexivität bedeutet (keine Schleifen). Beispiel: <

Anders gesagt: Asymmetrisch ist strenger als antisymmetrisch.

Keine Schleifen, keine Gegenkanten - das ist asymmetrisch! Vergleiche das mit der reflexiven Relation oben.


Praxisbeispiel: "ist Teilmenge von" ⊆

Schauen wir uns die Relation ⊆ auf der Potenzmenge von 2 an:

💡

Hinweis: Hasse-Diagramm

Dies ist ein Hasse-Diagramm - eine vereinfachte Darstellung von Ordnungsrelationen. Schleifen (Reflexivität) und transitive Kanten werden weggelassen, weil sie implizit sind. Die vollständige Relation hätte 4 Schleifen + 2 weitere transitive Kanten.

Analyse mit unserer Checkliste:

  1. Reflexiv? ✅ Jede Menge ist Teilmenge von sich selbst (im Diagramm weggelassen)
  2. Symmetrisch?12, aber nicht umgekehrt
  3. Antisymmetrisch? ✅ Wenn A ⊆ B und B ⊆ A, dann A = B
  4. Transitiv? ✅ ∅ ⊆ 12, also ∅ ⊆ 2
  5. Irreflexiv? ❌ Hat Schleifen

Ergebnis: Reflexiv + Antisymmetrisch + Transitiv = Halbordnung


Die 6 Eigenschaften im Detail

Transitiv - Die Kettenregel

💡

Intuition

Wenn du von A nach C über B kommst, muss es auch eine Direktverbindung A→C geben.

Links: Transitiv ✅ (Direktverbindung existiert) Rechts: Nicht transitiv ❌ (Direktverbindung fehlt)

Typischer Denkfehler

"Es gibt gar keine Ketten, also ist es nicht transitiv."

FALSCH! Wenn es keine Ketten gibt, ist die Relation vacuous transitiv - die Bedingung ist trivialerweise erfüllt, weil die Prämisse nie zutrifft.

Symmetrisch - Gegenkanten überall

Bei symmetrischen Relationen kannst du Pfeile durch einfache Striche ersetzen - die Richtung ist egal.

Reflexiv - Jeder hat eine Schleife

Jedes Element hat eine Schleife zu sich selbst - das macht die Relation reflexiv. Zusätzlich gibt es Kanten zwischen verschiedenen Elementen.


Die 3 wichtigsten Kombinationen

1
Level 1

Äquivalenzrelation

Reflexiv + Symmetrisch + Transitiv. Beispiel: hat dieselbe Restklasse mod 5. Partitioniert die Menge in disjunkte Klassen.

2
Level 2

Halbordnung (partielle Ordnung)

Reflexiv + Antisymmetrisch + Transitiv. Beispiel: Teilmenge ⊆. Erlaubt unvergleichbare Elemente.

3
Level 3

Strenge Ordnung

Irreflexiv + Asymmetrisch + Transitiv. Beispiel: ist kleiner als (<). Die strengste Form - keine Schleifen, keine Gegenkanten.

Ordnungs-Typen Vergleich

Ordnungs-Typen

Richtig
Schleifen erlaubt?
Halbordnung: JA (≤) Äquivalenz: JA (=)
Gegenkanten erlaubt?
Äquivalenz: JA, überall Halbordnung: Nur bei gleichen
Unvergleichbare Elemente?
Halbordnung: JA möglich Strenge Ordnung: JA möglich
Falsch
Schleifen erlaubt?
Strenge Ordnung: NEIN (<)
Gegenkanten erlaubt?
Strenge Ordnung: NIEMALS
Unvergleichbare Elemente?
Totale Ordnung: NEIN

Praktische Checkliste zum Mitnehmen

So analysierst du jede Relation in 60 Sekunden

1
Zeichne den Graphen

Knoten = Elemente, Kanten = Relationspfeile. Visualisierung ist der Schlüssel!

2
Schleifencheck

Alle Schleifen? → Reflexiv. Keine Schleifen? → Irreflexiv. Gemischt? → Weder noch.

3
Gegenkantencheck

Alle mit Gegenkante? → Symmetrisch. Nur gleiche? → Antisymmetrisch. Keine? → Asymmetrisch.

4
Kettencheck

Für jede 2er-Kette A→B→C: Gibt es A→C? Alle haben Kurzschluss? → Transitiv.

Pro-Tipp für die Klausur

Zeichne IMMER den Graphen, auch wenn die Aufgabe es nicht verlangt. 90% der Fehler passieren, weil du im Kopf rechnest statt zu visualisieren.

Und: Das komplette Cheatsheet mit allen Fehlerfällen gibt's im PDF! 👆


Warum du das Cheatsheet brauchst

Im Skript steht:

  • Die Definition (abstrakt)
  • Vielleicht 1-2 Beispiele

Im Cheatsheet findest du:

  • Alle 6 Eigenschaften mit visuellen Graphen
  • Die 10 häufigsten Klausur-Fallen
  • Entscheidungsbaum für schnelle Klassifizierung
  • Merksätze für jede Kombination
  • 9 Übungsaufgaben mit Lösungen

Alles auf 6 Seiten, die du in die Klausur mitnehmen kannst.


Key Takeaways

  • Visualisiere! Graphen sind der Schlüssel zum Verständnis
  • Checkliste: Reflexiv → Symmetrie-Typ → Transitiv → Irreflexiv
  • Vacuous transitiv: Keine Ketten = automatisch transitiv
  • Antisymmetrisch ≠ Asymmetrisch: Der #1 Fehler in jeder Klausur
  • 3 Kombinationen: Äquivalenz, Halbordnung, strenge Ordnung
📝

Nächste Lesson

Funktionen vs. Relationen - warum nicht jede Relation eine Funktion ist, aber jede Funktion eine Relation.

Wer seine Email für das Cheatsheet einträgt, kriegt die nächste Lesson automatisch! 📧

Fragen zur Lesson?

Diskutiere im bilabs Discord über diese Lesson, stelle Fragen oder teile deine Lösungsansätze.

Discord beitreten
2 / 5 Lektionen39 Min gesamt