Aufgabe:
sei M = {1,2,3,4,5,6} und P(M) die Potenzmenge von M. Wir betrachten die folgende Relation
A~B : <=> | A | = | B | für alle A,B Teilmengen von M
Liefert die Durchschnittbildung
∩: P(M) X P(M) —> P(M)
(A,B) —> A∩B
Eine Verknüpfung auf der Menge P(M) / ~ ( der Menge der Äquivalenzklassen ), die unabhängig von der Repräsentantenwahl ist?
Problem/Ansatz:
… ich weiß, dass ich das ganze auf „Wohldefiniertheit“ und Repräsentantenunabhängigkeit prüfen muss, nur weiß ich nicht wie
Müsste ich für wohldefiniert zeigen, dass wenn ich unterschiedliche Elemnte aus z.B. der Äquivalenzklasse welche aus Teilmengen mit jeweils 2 Elemnten besteht auch mehrfach mit unterschiedlichen Repräsentanten die gleiche P(M) abbilden kann
Z.B.
({1,2},(2,3)} -> {2}
({2,4}, {2;3}) -> {2}
Damit wäre es ja nicht nicht wohldefiniert oder?
Bei der Repräsentantenunabhängigkeit habe ich jedoch keine Idee.