Ninad 
21:57 Uhr, 27.05.2014
|
Untersuchen Sie, ob die Menge
:=
mit der Matrizenmultiplikation eine kommutative Untergruppe von ist. Wenn nicht, welche Eigenschaften sind noch erfüllt?
Okay, ich weiß ist die Gruppe der invertierbaren Matrizen. Um jetzt zu zeigen, ob eine Untergruppe von ist, muss ich die 3 Kriterien einer Untergruppe nachweisen, .
ii) es existiert ein neutrales Element iii) Existenz von Inversen
Wie kann ich diese Eigenschaften nun prüfen?
Ich weiß, das neutrale Element ist also die Einheitsmatrix. Wenn ich oder setze, dann bekomme ich die Einheitsmatrix. Außerdem weiß ich, dass
die Inverse für ist denn
Wie genau kann ich das nun ordentlich zu einem richtigen Beweis führen und was fehlt mir dann noch?
Vielen Dank schon mal im Voraus!
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Dir fehlt, dass mit und auch dort liegt. Übrigens heißt diese Gruppe , also kannst Du den Beweis der Gruppeneigenschaften auch im Netz bestimmt finden, wenn Du nach suchst.
|
Ninad 
23:43 Uhr, 27.05.2014
|
Hmm habe im Netz für SO(2) nichts gefunden, was mir weiter hilft. Wie zeige ich zB, dass es ein neutrales Element gibt? Kann ich da einfach sagen, setze ? Aber es gilt ja auch für
|
|
"Wie zeige ich zB, dass es ein neutrales Element gibt? Kann ich da einfach sagen, setze ?"
Narütlich.
"Aber es gilt ja auch für "
Das ist dasselbe Element.
Sonst ist das Einzige, was noch zu zeigen ist: wenn man ausrechnet, kommt raus.
|
Ninad 
18:12 Uhr, 28.05.2014
|
Okay, also was ich bis jetzt habe:
1. zu zeigen:
Es existiert ein neutrales Element in G.
Setze dann erhalten wir:
Demnach existiert ein neutrales Element in G.
(Muss ich jetzt noch irgendwie erwähnen, dass das gleiche für gilt, oder reicht das so?)
2. zu zeigen:
zu jeder Matrix existiert ein Inverses Element mit
Die Rechnung schreibe ich jetzt nicht auf, aber ich habe mit Hilfe des Verfahrens von Gauß-Jordan berechnet, dass die Inverse ist.
Also für alle .
(Ich habe sie ja nur berechnet, muss ich das jetzt noch beweisen, dass es auch stimmt? Wenn ja, wie?)
Okay, wie kann ich jetzt zeigen, dass Teilmenge von ist und dass wenn dann auch ?
|
|
"Muss ich jetzt noch irgendwie erwähnen, dass das gleiche für gilt, oder reicht das so?)"
Musst Du nicht.
"Okay, wie kann ich jetzt zeigen, dass G Teilmenge von ist"
Berechne die Determinante eines Elementes aus uns sehe, dass sie nicht ist (eigentlich ist sie immer ).
"und dass wenn , dann auch "
Ich habe doch oben geschrieben, was Du tun musst. Du musst zwei Matrizen miteinander multiplizieren und sehen, dass das Ergebnis die von mir angegebene Form hat, also auch in liegt.
|
Ninad 
22:31 Uhr, 28.05.2014
|
Okay alles klar :-) ich glaube, ich habe den Beweis jetzt fertig. Muss ich eigentlich noch etwas zur Assoziativität bzw Kommutativität zeigen?
|
|
Musst Du nicht, denn dass Matrizenmultiplikation assoziativ ist, dürfte schon als bekannt gelten. Und nach Kommutativität ist nicht gefragt. Obwohl es leicht zu sehen ist, dass diese Gruppe kommutativ ist.
|
Ninad 
01:00 Uhr, 29.05.2014
|
Heißt es nicht in der Aufgabenstellung "untersuchen Sie, ob eine kommutative Untergruppe ..." dass ich auch die Kommutativität prüfen muss?
|
|
Dann habe ich es übersehen. Sie ist kommutativ, sieht man sofort, weil immer gleich ist.
|
Ninad 
20:02 Uhr, 29.05.2014
|
Alles klar, vielen Dank für die Hilfe!
|