Ring einer Potenzmenge (Beweis) |
23.11.2012, 20:22 | charlydelta | Auf diesen Beitrag antworten » | ||||
Ring einer Potenzmenge (Beweis) Ich sitze gerade an folgender Aufgabe und bin mir bei einer Sache nicht ganz sicher. Da ich nicht weiß, ob ich irgendwo einen Rechen- oder Denkfehler gemacht habe, poste ich noch meinen gesamten Rechenweg dazu. Meine Frage bezieht sich jedoch Hauptsächlich auf die Aufgabe b). Aber hier erstmal die Aufgabenstellung:
Meine Vorgehensweise ist folgende: a) Es gilt folgendes zu zeigen: 1. ist eine abelsche Gruppe 1.1. ist assoziativ 1.2. Es gibt ein neutrales Element bezüglich 1.3. Es gibt ein inverses Element bezüglich 1.4. Es gilt Kommutativität bezüglich 2. ist assoziativ 3. Es gibt ein neutrales Element bezüglich 4. Es gelten Distributivgesetze 5. ist kommutativ Behauptung 1: ist eine abelsche Gruppe Beweise zu 1.1., 1.2., 1.3. und 1.4.: Zu 1.1.: ist nach Aufgabenstellung assoziativ Zu 1.2.: Zu zeigen: . Sei nun Somit gilt: ist neutrales Element von Zu 1.3.: Zu zeigen: Es gibt ein inverses Element bezüglich . Sei Somit ist selbstinvers. Zu 1.4.: Zu zeigen: Es gilt Kommutativität Sei *) Nach Definition von Vereinigungs- und Schnittmenge Somit ist kommutativ Nach 1.1., 1.2., 1.3. und 1.4. ist eine abelsche Gruppe Behauptung 1 Behauptung 2: ist assoziativ Beweis: ist nach Definition der Schnittmenge assoziativ Behauptung 2 Behauptung 3: Es gibt ein neutrales Element bezüglich Beweis: Sei Das Einselement eines Elements ist das Element selbst Behauptung 3 Behauptung 4: Es gelten Distributivgesetze Beweis: Distributivgesetze gelten Behauptung 4 Nach 1., 2., 3. und 4. ist ein Ring Behauptung 5: ist kommutativ Beweis: ist nach Definition kommutativ Behauptung 5 Damit ist ein kommutativer Ring b) Und hier liegt mein Problem... Damit ein Körper ist muss zusätzlich gelten: , was ja erfüllt ist, und: Jedes von Null verschiedene Element muss invertierbar sein, was ja auch gilt... Aber so einfach kann die Aufgabe doch nicht sein, oder? |
||||||
23.11.2012, 21:37 | lgrizu | Auf diesen Beitrag antworten » | ||||
RE: Ring einer Potenzmenge (Beweis) Dass eina abelsche Gruppe ist ist so trivial, dass ich mich da nicht großartig drüber geschaut habe, der Thread ist auch reichlich lang, das hole ich noch nach.
Soso, bei dir hat jedes Element sein eigenes 1- Element? das ist total daneben, mach dir einmal Gedanken darüber, was denn wirklich das 1-element sein könnte.
Ja, ist das so, das jedes vom 0 verschiedene Element ein Inverses hat? Wenn du wirklich herausfimden solltest, dass das stimmt, dann hast du die Theorie der booleschen Algebren neu entwickelt, also hör auf zu studieren und schreib ne Arbeit drüber Nein, jetzt mal ernsthaft: Mit Sicherheit ist nicht jeder so definierte Potenzmengenring ein Körper. |
||||||
24.11.2012, 14:13 | charlydelta | Auf diesen Beitrag antworten » | ||||
Hallo lgrizu, danke für deine Antwort. Wieso ist das trivial? Entschuldigung falls ich das nicht sehe, und eigentlich ist es für die Aufgabe auch weniger relevant, aber interessieren würde es mich trotzdem Das mit dem neutralen Element hat mich auch verwirrt, aber wenn man mal in der Definition nachschaut: http://www.mathepedia.de/Durchschnitt.aspx Da stehts genau so. Das neutrale Element ist das Element selbst... Was bleibt sonst übrig? Die leere Menge kanns nicht sein (was dann die Aufgabe b) erschweren würde), darüber hab ich auch schon nachgedacht... Und das mit dem Inversen dachte ich, weil ja offenbar die Verknüpfungen alle bewirken, dass die Elemente der Menge selbstinvers sind. Somit ist das in der Tat so einfach (zumindest in meiner Auffassung ). Nein Spaß beiseite, ich weiß du hast da mehr Ahnung davon, trotzdem weiß ich nicht wo der Fehler liegt bei dieser Überlegung |
||||||
24.11.2012, 14:33 | IchNichtsSchuld | Auf diesen Beitrag antworten » | ||||
Also als neutrales Element könnt ich mir auch noch die Menge M vorstellen weil und zu b) habe ich leider auch keine Idee |
||||||
24.11.2012, 15:08 | charlydelta | Auf diesen Beitrag antworten » | ||||
Stimmt, daran habe ich nicht gedacht, danke für deinen Tipp... Ich werde nochmal drüber nachdenken |
||||||
24.11.2012, 15:11 | lgrizu | Auf diesen Beitrag antworten » | ||||
@charlydelta: In Ringen mit 1 gibt es stets nur ein (also genau ein) neutrales Element und nicht für jedes Element ein eigenes. Hier solltest du dich noch einmal mit Ringen im allgemeinen auseinander setzen. Desweiteren, ja, selbstinvers bezüglich der symmetrischen Differenz schon, aber bezüglich des Schnittes? Dass du darauf kommst wenn du meinst, dass jedes element sein eigenes neutrales besitzt ist nicht verwunderlich. Also zuerst muss die Frage beantwortet werden, ob ein (festes) Element 1 aus P(M) existiert, so dass für alle Elemente x aus P(M) gilt: . Und das ist, wie IchNichtsSchuld bereits gesagt hat die Menge M selbst. Nun kommen wir also zu den Inversen. Dazu gibt es die Möglichkeit, sich einmal zu überlegen, wie viele Elemente denn nun eigentlich die Potenzmenge einer (erst einmal abzählbaren) Menge hat. Oder man schreibt sich halt mal die Verknüpfungstabellen der Potenzmengenalgebra auf für eine Menge mit 2,3,4 Elementen, das ist noch übersichtlich und man kann eine Vermutung anstellen. Ich würde allerdings - da nur festzustellen ist, wann es sich um einen Körper handelt - das Kriterium der Nullteilerfreiheit benutzen. Überlegt einmal: Sei M eine Menge, existieren dann disjunkte Teilmengen von M? |
||||||
Anzeige | ||||||
|
||||||
24.11.2012, 15:36 | charlydelta | Auf diesen Beitrag antworten » | ||||
Okay, vllt sollte ich noch folgendes beifügen: http://s1.directupload.net/images/121124/r6sihzuj.png Das ist unsere Definition von Ringen Dazu noch das: Eine echte Einschränkung, die wir uns hier sinnvoller Weise auferlegen, ist die dritte Forderung aus der De nition der Ringe, die Existenz eines Einselements. Ohne Forderung nach der Existenz eines Einselements wäre es viel schwieriger, interessante Aussagen über Ringe zu erhalten, und die Ringe in der linearen Algebra brauchen ohnehin ein Einselement. In manchen Quellen verzichtet man zunächst auf die Existenz einer Eins und nennt "unsere" Ringe dann Ringe mit Eins. Aber danke, ich habe nun genug Anregungen für mein weiteres Vorgehen Danke für eure Hilfe |
||||||
24.11.2012, 16:44 | charlydelta | Auf diesen Beitrag antworten » | ||||
Okay, ich habe mir mal Gedanken gemacht und komme zu diesem Schluss für b): Nach dem Kriterium der Nullteilerfreiheit kann nur ein Körper sein, wenn ist, oder? Denn in der Potenzmenge gibt es sonst immer disjunkte Mengen, womit das Kriterium entkräftet wäre Edit: Wobei, wenn ichs mir recht überlege kann das auch nicht sein, denn dann wären ja die zwei neutralen Elemente gleich und es kann auch kein Körper sein... Aber wenn ich M z.b. als {a, b, c} wähle, dann hat die Potenzmenge immer disjunkte Elemente: z.b. {a} und {b}, {b} und {c}, {a} und {c}... Tja... hmm |
||||||
24.11.2012, 17:14 | lgrizu | Auf diesen Beitrag antworten » | ||||
Okay, nun haben wir den Fall , der Fall ist aber trivial. Dann hast du den Fall |M|=3 durchprobiert, hier gibt es auf jeden Fall disjunkte Teilmengen, ist richtig, alle voneinander verschiedenen einelementigen Teilmengen sind auf jeden Fall disjunkt. Was ist mit dem Fall |M|=1? |
||||||
24.11.2012, 17:52 | charlydelta | Auf diesen Beitrag antworten » | ||||
Stimmt, den Fall habe ich wegen eines Denkfehlers zu schnell abgetan. Trotzdem ist das kein Körper für |M| = 0, da dann Eins und Nullelement die selben wären. Dann ist das ein Körper, genau dann wenn |M| = 1 Bei 2 oder mehr Elementen gibts wieder disjunkte Teilmengen und das Kriterium greift nicht mehr. Aber kann ich damit wirklich die Überprüfung auf Inverse komplett überspringen? Des weiteren sagt der Satz nur, dass Körper nullteilerfrei sind. Ist es denn legitim zu behaupten, dass ein Ring, dessen neutrale Elemente ungleich sind, und der nullteilerfrei ist auch ein Körper ist? Deine rangehensweise erachte ich als logisch, und dennoch als *zu* einfach. (Klingt komisch aber ich denke du weißt was ich damit meine ) |
||||||
24.11.2012, 18:07 | lgrizu | Auf diesen Beitrag antworten » | ||||
Für |M|=1 kann man ja die Körperaxiome nachweisen, ergibt sich aber schnell. Für alle anderen Mächtigkeiten reicht es aus zu sagen, dass die Ringe ebend nicht nullteilerfrei sind und deshalb keine Körper. |
||||||
24.11.2012, 18:19 | charlydelta | Auf diesen Beitrag antworten » | ||||
Klar, stimmt. Das ist cool, ich danke dir vielmals für deine zielgerichtete Hilfe Ich habe nun alles verstanden |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|