Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Äquivalenzklassen sind disjunkte Teilmengen von X

Äquivalenzklassen sind disjunkte Teilmengen von X

Universität / Fachhochschule

Relationen

Tags: Äquivalenzklassen, disjunkte Vereinigung, Relation., Zerlegung von X in disjunkte Teilmengen

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
katlui

katlui aktiv_icon

15:29 Uhr, 06.11.2010

Antworten
Aufgabe:
Sei X eine Menge und X=iIXi eine Zerlegung von X in Teilmengen Xi,iI, Man zeige folgendes:
eine eindeutig bestimmte Äquivalenzrelation ~ auf X derart, dass die Xi,iI, genau die Äquivalenzklassen sind.


Also ich würd sagen, ich muss zunächst eine Äquivalenzrelation auf X definieren. Aber wie mach ich das genau? Einfach R sei eine Äquivalenzrelation auf X ?
Ich muss doch auch irgendwie die Bedingung x,yX sei x~y falls iI so dass x,yXi einbringen, oder nicht?





Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.)
Online-Nachhilfe in Mathematik
Antwort
hagman

hagman aktiv_icon

17:33 Uhr, 06.11.2010

Antworten
Du kannst natürlich nicht von einer beliebigen Äquivalenzrelation auf X ausgehen, sondern musst schon irgendwie die gegebenen Xi verwenden.
Wenn dir nicht klar ist, wie du die Relation finden kannst (also die Existenz nachweist), versuch erst einmal den Eindeutigkeitsbeweis (ohnehin ist in solchen Situationen die Eindeutigkeit gerne einfacher als die Existenz).

Seien ~, zwei Äquivalenzrelationen auf X derart, dass die Xi,iI genau die Äquivalenzklassen sind.
Für x,yX ist x~y genau dann, wenn x und y in derselben Äquivalenzklasse liegen, d.h. wenn für dasjenige Xi mit xXi auch yXi gilt.
Dasselbe stimmt aber auch für , somit gilt x~yxy,d.h. die beiden Relationen stimmen überein.

Jetzt ist auch klar, wie man ~ definieren kann:
x~y    :    iI:(xXiyXi)
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.