Orbits und Symmetrische Gruppen |
18.04.2008, 16:19 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
Orbits und Symmetrische Gruppen Aufgabe 1 Sei eine Operation der Menge G auf der Menge M. Zeigen Sie, es gibt, eindeutig bestimmte Teilmengen für welche die folgenden Bedingungen erfüllt sind. 1) 2) Die sind nicht leer und paarweise disjunkt. 3) für jedes ist die Abbildung eine wohldefinierte transitive Operation von G auf M Aufgabe 2 Zeigen Sie: 1) Die Symmetrische Gruppe operiert durch Konjugation auf sich selbst, d.h. ist eine wohldefinierte Linksoperation von auf sich selbst. 2) Die Zerlegung der Permutation in Produkte elementfremder Zyklen entspricht gerade der Zerlegung von in Orbits bezüglich der Operation von 1) Freu mich über jede Hilfe! Luci |
||||||||||||||||
18.04.2008, 17:14 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Hallo, zu 1) Betrachte die Bahnen/Orbits der Aktion von G auf M. zu 2) Teil 1) ist einfach, du musst nur die entsprechenden Eigenschaften nachweisen. Wenn du das gezeigt hast, können wir über 2) reden. |
||||||||||||||||
18.04.2008, 20:45 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Hallo, zu 1) Naja, wir würden ja gern die Orbits betrachten, wenn wir wüßten, wie das geht. Das Thema Orbits oder Bahnen hatten wir in der Vorlesung noch nicht und wir finden auch keine Seite, die das ganze halbwegs anschaulich beschreibt - das macht die Sache ja eben so doof. |
||||||||||||||||
18.04.2008, 22:04 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Ok, dann helfe ich euch mal ein wenig. Zu bezeichne die zugehörige Bahn (Orbit). Offensichtlich ist keine Bahn leer (warum?). Behauptung 1: Behauptung 2: Je zwei Bahnen sind entweder identisch oder disjunkt. Behauptung 3: Man erhält in natürlicher Weise eine transitive Aktion . (Es genügt zu zeigen, dass es nur eine Bahn gibt.) Versucht das mal zu begründen. Das war dann im Wesentlichen Aufgabe 1. |
||||||||||||||||
19.04.2008, 12:09 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
Sei 1) Behauptung: da Sei Da die Abbildung folgende Gestalt hat: folgt: Da und ist transitiv. wobei 2) da ist auch 3) Sei wohldefiniert Da die Abbildung folgende Gestalt hat: folgt: Da und ist transitiv. Edit: der Übersichthalber Mathezeichen angepasst |
||||||||||||||||
19.04.2008, 16:04 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Es tut mir leid das sagen zu müssen, aber ich würde dir auf deine Ausführungen kaum Punkte geben.
Nein. Erstens meinst du eigentlich und nicht und zweitens: Wo steht denn, dass M eine endliche Menge ist? Übrigens hast du die Indexmenge I noch nicht definiert.
Was willst du damit bezwecken? Das ist einfach nur die Voraussetzung, keine Folgerung.
Laut deiner Aussage wäre jede Aktion einer Gruppe auf einer Menge transitiv. Das ist falsch.
Was soll denn sein? Falls du meinst: Deine Begründung genügt mir nicht (auch wenn die Aussage trivial ist).
Was soll denn für eine komische Notation sein? Ich verstehe nicht was du meinst.
Nein, ist keine Menge von Mengen, sondern eine Menge von Elementen! Außerdem ist deine Begründung nicht sonderlich gut (bzw. eigentlich steht nirgends eine Begründung). |
||||||||||||||||
Anzeige | ||||||||||||||||
|
||||||||||||||||
19.04.2008, 16:55 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
Ich meinte natürlich: Und ändert denn die Tatsache irgendetwas, dass M nicht unbedingt endlich ist? Dann definier ich mir halt:
Da und transitiv ??
Ja, meinte ich, aber ich weiß nich, wie ich es sonst beweisen soll.
wohldefiniertheit zeigt man bei mit: das hab ich dann versucht auf diese Abbildung zu übertragen. Desweiteren ist G nur als Menge definiert, nicht als Gruppe. (Ich war mir nicht sicher, ob das klar ist.) |
||||||||||||||||
19.04.2008, 17:41 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Auch das klappt nicht. Du schreibst . Die linke Seite hängt aber nicht von i ab! Du kannst nicht mal schreiben: Wer sagt denn, dass M abzählbar ist? Lass die mal weg. (EDIT: Ok, man kann natürlich I als überabzählbar angeben, aber trotzdem, lass die Notation erst mal weg.) Ihre Existenz ergibt sich automatisch, wenn du die 3 Punkte gezeigt hast.
Ich verstehe absolut nicht, worauf du hinaus willst. Die Aktion ist i.a. nicht transitiv! Versuche also erst gar nicht, das zu begründen!
Keine Bahn ist leer, denn . So einfach ist das.
Lass die Indizes hier weg und betrachte etwa Gm=Gn.
Das habe ich bis jetzt noch gar nicht gelesen. Wie ist denn die Aktion einer Menge auf einer Menge formal definiert? Fordert man nur Assoziativität? Ich bin mir im Moment gar nicht sicher, ob Behauptung 3 dann überhaupt stimmt. Übrigens hast du Behauptung 2 nirgends bewiesen. |
||||||||||||||||
19.04.2008, 18:59 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
Es steht eben nicht in der Aufgabenstellung, dass G eine Gruppe ist. Da stand: "...eine Operation der Menge G auf der Menge M..." und dass ich die 2 nicht hab, war mir schon klar die konnte ich halt nicht. |
||||||||||||||||
19.04.2008, 19:01 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Ja, aber ich behaupte mal, das ist ein Druckfehler. Oder wie habt ihr "Operation einer Menge auf einer Menge" definiert (schau mal in dein Skript)? |
||||||||||||||||
20.04.2008, 00:26 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
also ein neuer Versuch: Sei mit 1) da folgt: 2) da G Gruppe: neutrales Element 3) sei Mit also wohldefinert z.z.: es existierte in mit sei dann gibt es ein wegen Abgeschlossenheit von G. also auch also transitiv |
||||||||||||||||
20.04.2008, 09:29 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
wie ich das bei der 2 mit disjunkt hinbekommen soll, hab ich keine ahnung, denn dafür müsste ich doch zeigen, dass disjunkt, also besitzen kein gleiches Element. wenn aber zb und, dann gibt es bei der Multiplikation immer irgendein element doppelt. da in G ja wieder alle Elemente aus M liegen. |
||||||||||||||||
20.04.2008, 11:04 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Das ist keine Begründung! Warum gilt ? Und warum gilt ?
Die Wohldefiniertheit zeigst du damit nicht wirklich. Du solltest eher zeigen, dass das Bild tatsächlich wieder in liegt.
Nein. Das hat außerdem nichts mit der Abgeschlossenheit von G zu tun, sondern mit der Invertierbarkeit! Zeige, dass es eine Bahn gibt, die gleich ist. Das genügt. Du kannst übrigens nicht einfach ein M_i willkürlich festlegen, daher ist dein "Gegenbeispiel" keines. |
||||||||||||||||
20.04.2008, 12:04 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
wohldefiniertheit zeigt man aber doch mit: mit: das hatte ich definitiv in der uni. also müsste es doch auch hier gelten. |
||||||||||||||||
20.04.2008, 12:42 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Das ist aber trivialerweise erfüllt, da G auf M operiert (wohldefiniert!) und M_i eine Teilmenge von M ist. Was nicht klar ist, dass die Bildmenge korrekt angegeben ist. |
||||||||||||||||
21.04.2008, 09:25 | Luci | Auf diesen Beitrag antworten » | ||||||||||||||
Ich denke, dass ich das trotzdem mit der wohldefiniertheit so machen kann, da wir in unserm Skript nirgends stehen haben, dass wenn G auf M operiert, es sich um eine wohldefinierte Abbildung handelt. Könntest du mir vielleicht einen tTpp zum "disjunkt" geben? Da komm ich so auf gar keine rechte Idee. Ich wäre auch über einen Ansatz zu der 2 dankbar. Luci |
||||||||||||||||
21.04.2008, 21:10 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Hi ihr zwei! Ich hab mir zur Aufgabe1 Teilaufgabe 2 folgendes überlegt: Operiert die Gruppe (G,*) auf M, dann bilden die Bahnen eine Zerlegung von M, das heißt: Je zwei Bahnen sind disjunkt oder gleich, und jedes Element von M liegt in einer Bahn. Denn man kann ja die folgende Äquivalenzrelation "~" definieren: Sind x,y aus M, dann ist x ~ y, falls ein s in G existiert, so dass s * x = y ist. Die Äquivalenzklassen dieser Relation sind nach Definition genau die Bahnen von M. Kann man das so schreiben um zu zeigen, dass die Mi disjunkt sind? |
||||||||||||||||
21.04.2008, 21:33 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Da irrst du dich aber gewaltig. Es steht sicher ein Satz der Art "Eine (Links-)Operation einer Gruppe G auf einer Menge M ist eine Abbildung/Verknüpfung , derart dass ...". Spricht man von einer Abbildung/Verknüpfung, so impliziert das stets die Wohldefiniertheit jener! Ich könnte dir auch ein Beispiel aus der Analysis nennen, wo du mit deinem Nachweis der Wohldefiniertheit 0 Punkte bekommen würdest (und man sich auf das Bild konzentrieren muss).
Im Prinzip ja, aber warum so umständlich? Es gelte . Zu zeigen ist, dass . Angenommen, es gäbe ein , etwa . Daraus folgt leicht , ein Widerspruch. |
||||||||||||||||
21.04.2008, 22:09 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Na schön, dann vielleicht noch ein Versuch zur Aufgabe 2 Teilaufgabe 1: Sei eine symetrische Gruppe und eine Operation von auf sich selbst. Sei das neutrale Element dieser Gruppe. Dann gilt: (i) (ii) (iii) (iv) Aus (i) + (ii) + (iii) folgt die Operation ist wohldefiniert. Aus (ii) + (iv) folgt die Operation ist eine Linksoperation. (Hoffentlich ist nicht alles falsch ) |
||||||||||||||||
21.04.2008, 22:58 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Schreibfehler. Außerdem solltest du Punkt (1) und (3) weglassen, ihre Gültigkeit ist irrelevant. Die Wohldefiniertheit ist hier klar, denn der Ausdruck liegt wieder in . Der Sinn deines erschließt sich mir nicht. |
||||||||||||||||
22.04.2008, 13:36 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Das ist einfach die gegebene Abbildung für die ich die einzelnen Anforderungen (ii+iv) für eine Linksoperation zeigen muss. Und die Wohldefiniertheit ist dann bereits mit gezeigt? |
||||||||||||||||
22.04.2008, 14:24 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Falls du mit f' das Inverse zu f meinst, ja. Übrigens hast du links und rechts verwechselt. Wie war das, Frauen haben eine Links-Rechts-Schwäche? |
||||||||||||||||
22.04.2008, 15:17 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Ich denk, auch Männer machen gelegentlich den Fehler und verwechseln rechts und links. Aber ich steh im Mom irgendwie auf dem Schlauch... Wobei hab ich das verwechselt? Und was ist mit den anderen Rechnungen zur Linksoperation - kann man das so schreiben? |
||||||||||||||||
22.04.2008, 15:58 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Also, (i) bis (iii) lass mal weg. Ebenso das letzte Gleichheitszeichen bei (iv). Dann musst du noch zeigen, dass für alle (das meinte ich mit Links- und Rechtsoperation verwechselt) Mit meine ich übrigens die Identität von . |
||||||||||||||||
22.04.2008, 20:11 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Also du machst es einem echt nich einfach Wie sieht denn nun schon wieder die von aus? Das müsste ja dann ein Gebilde sein, mit dem sämtliche Permutationen gleich bleiben... Ach man, ich mag diese Gruppe nich |
||||||||||||||||
22.04.2008, 20:28 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
In deiner Notation: . Ich finde aber schöner, denn besteht ja gerade aus bijektiven Selbstabbildungen. |
||||||||||||||||
22.04.2008, 20:43 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Also ist das einfach das "Einselement", mit dem ich in meiner ursprünglichen (i) blöderweise falschrum operiert habe. Ich wollte da eigentlich schreiben: so richtig? Gut ich schreib dann in meinen Ausführungen id |
||||||||||||||||
22.04.2008, 21:05 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Ja, ich habe keine Einwände |
||||||||||||||||
22.04.2008, 22:01 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Kannst du mir bitte schnell noch erklären, was eine doppelte Inklusion ist. Dann krieg ich vielleicht die 2.2 auch noch irgendwie hin. Wäre super lieb |
||||||||||||||||
22.04.2008, 22:22 | therisen | Auf diesen Beitrag antworten » | ||||||||||||||
Bei "doppelter Inklusion" denke ich an Folgendes: soll gezeigt werden. Das ist äquivalent zu und . |
||||||||||||||||
24.04.2008, 08:05 | July | Auf diesen Beitrag antworten » | ||||||||||||||
Super, danke! Ich hoffe, dass wenigstens die 2.1 dann ein paar Punkte bringt. VIELEN DANK FÜR DEINE HILFE! |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|