Äquivalenzklassen und Partitionen
Über diese App
Zwölf Figuren fliegen nach einem Kriterium wie „gleiche Form“ in weiche Inseln, die Pfeile wachsen innerhalb der Klassen, und die Matrix M × M sortiert sich zur Blockdiagonale. „Gleiche Form oder Farbe“ zeigt, was ohne Transitivität schiefgeht. Inseln lassen sich von Hand ziehen oder einkreisen; der Beweis-Modus führt Schritt für Schritt durch den Satz Äquivalenzrelation ⇔ Partition bis zum Verschmelzen überlappender Klassen.
Mit Erklärmodus: Ein KI-Tutor führt dich durch die App, zeigt in der Szene, worauf es ankommt, und beantwortet deine Fragen.
Äquivalenzrelation, Klassen und Partition
Eine Relation ~ auf einer Menge M heißt Äquivalenzrelation, wenn sie reflexiv (a ~ a), symmetrisch (aus a ~ b folgt b ~ a) und transitiv (aus a ~ b und b ~ c folgt a ~ c) ist. Die Äquivalenzklasse [a] enthält alle Elemente, die zu a in Relation stehen. Der Kernsatz: Die Klassen sind nicht leer, überdecken M und sind paarweise gleich oder disjunkt, sie bilden also eine Partition. Umgekehrt liefert jede Partition die Äquivalenzrelation „liegt im selben Block“, und beide Wege heben einander auf.
Was die App zeigt
Zwölf Figuren aus drei Formen, zwei Farben und zwei Größen bilden die Menge. Wählst du ein Kriterium wie „gleiche Form“, fliegen die Figuren in weiche Inseln, und Pfeile verbinden alle Figuren einer Insel. Drei Lampen zeigen reflexiv, symmetrisch und transitiv. Daneben steht die Matrix M × M: Nach Klassen sortiert entstehen Blöcke auf der Diagonale in der Farbe der Inseln. „Gleiche Form oder Farbe“ ist nicht transitiv: Inseln entstehen nicht, und der fehlende Pfeil blinkt.
Selbst ausprobieren und beweisen
Vor jeder Umsortierung hält die App an und fragt „Was passiert gleich?“, damit eine Klasse abstimmen kann. Du kannst Figuren in andere Inseln ziehen oder mit dem Finger neue Inseln einkreisen, dann wachsen die Pfeile mit. Der Beweis-Modus führt in acht Schritten durch den Satz: Der Versuch, zwei Klassen überlappen zu lassen, erzeugt die Pfeilkette x, a, c, b, die Transitivität liefert die Abkürzung, und die Inseln verschmelzen. Im Bereich Üben warten Aufgaben zum Zurufen.
Häufige Fragen
- Was ist eine Äquivalenzklasse?
- Die Äquivalenzklasse [a] eines Elements a ist die Menge aller Elemente x mit x ~ a. Bei der Relation „gleiche Form“ ist die Klasse eines Kreises die Menge aller Kreise. Wegen der Reflexivität liegt a immer in seiner eigenen Klasse.
- Warum können sich zwei Äquivalenzklassen nicht überlappen?
- Liegt ein Element c in [a] und in [b], gilt c ~ a und c ~ b. Für jedes x aus [a] folgt dann x ~ a, a ~ c und c ~ b, mit der Transitivität also x ~ b. Damit ist [a] in [b] enthalten und genauso umgekehrt, die Klassen sind gleich.
- Was hat eine Partition mit einer Äquivalenzrelation zu tun?
- Eine Partition zerlegt eine Menge in nichtleere, disjunkte Blöcke, die alles abdecken. Die Relation „liegt im selben Block“ ist reflexiv, symmetrisch und transitiv. Umgekehrt bilden die Klassen jeder Äquivalenzrelation eine Partition. Beides entspricht einander eins zu eins.
- Was kann ich in der App ausprobieren?
- Kriterien wählen und vorher abstimmen, wie viele Inseln entstehen, die Matrix nach Klassen sortieren, eine nicht transitive Relation untersuchen, Inseln von Hand ziehen oder einkreisen, den Beweis Schritt für Schritt ansehen und Übungsaufgaben für die ganze Klasse lösen.
Fach: Mathe ohne Zahlen
Mehr aus Mathe ohne Zahlen
- Cantors Diagonale: mehr als unendlich
- Cantors Schlange: ℕ und ℚ sind gleich groß
- Gummiwelt: Die Tasse ist ein Donut
- Klassenrunde: Abstimmen, Losen, Zeit
- Königsberger Brücken
- Möbiusband: eine Fläche, eine Seite
- Ordnungen und Hasse-Diagramme
- Relationen-Labor
Eine VisuApp von heyprof: interaktiv, kostenlos im Browser, ohne Anmeldung. Was ist eine VisuApp? · Alle Apps