affine Gruppe AGL(V) [ÜAB] |
13.04.2011, 01:47 | tigerbine | Auf diesen Beitrag antworten » | ||||||
affine Gruppe AGL(V) [ÜAB]
So, erste Frage. Durch die Matrixdarstellung nimmt man doch an, dass von endlicher Dimension ist. Weil da nur "Vektorraum" steht. Es ist eine Untergruppe von für , denn neutrales Element (Einheitsmatrix) liegt in , wie mit und auch in liegen. Mit habe ich nun meine Probleme... Soll das nun ein Normalteiler sein, oder ismorph zu einem Normalteiler von . Ich wollte "wie hier" vorgehen: Normalteiler, Untergruppe, semidirektes Produkt [ÜAB] , müßte dann noch bestimmen. |
||||||||
13.04.2011, 20:25 | jester. | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB]
Das ist zwar hier suggestiv in der Form notiert, aber ich glaube nicht, dass man zwingend endliche Dimension voraussetzen muss. Auch unendlichdimensionale Vektorräume haben ja eine Gruppe linearer bijektiver Abbildungen. Um die Aufgabe einzusehen, betrachte die Abbildung mit als Element der affinen Gruppe. Der Kern besteht offensichtlich aus allen Translationen des affinen Raums und ist somit natürlich isomorph zur additiven Gruppe des zugrundeliegenden Vektorraums, der ja gerade der Translationsraum des affinen Raums ist. Den Schnitt des Translationsnormalteilers mit der als Untergruppe der affinen Gruppe erkennt man leicht und auch die Tatsache, dass die beiden die affine Gruppe erzeugen ist ziemlich klar. Im endlichdimensionalen Fall kann man das ganze sehr schön einsehen, wenn man als Untergruppe der auffasst, indem man das Paar (linearer und Translationsanteil) als Matrix notiert. Man realisiert dann mit der gewöhnlichen Matrixmultiplikation die affine Gruppe und erkennt so die Operation der linearen Gruppe auf den Translationen. |
||||||||
14.04.2011, 16:28 | tigerbine | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB]
Also der Kern [Normalteiler] ist und diese Gruppe bzgl. Verknüpfung von Abbildungen ist dann isomorph zur additiven Gruppe des Vektorraums V. Der Schnitt mit besteht nur in der Einheitsmatrix, ist also trivial. Wie würde denn die Operation aussehen? Da ist es hier nun hilfreich, dass man endlich dimensional angenommen hat und daher
Wie das konkret aussieht kommt ich im Moment nicht dahinter. Bin heute aber auch nicht in Form. |
||||||||
14.04.2011, 17:30 | jester. | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB] , soll heißen operiert auf (der Translationsnormalteiler von oben) durch , also "ganz natürlich", wenn man beachtet. Edit: Habe gerade nochmal nachgelesen. Es scheint mir so, dass man sich üblicherweise auf endlichdimensionale Räume einschränkt. Dann ist die Matrixdarstellung netterweise uneingeschränkt nutzbar. Edit 2: Rechenfehler behoben! |
||||||||
14.04.2011, 17:43 | tigerbine | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB] Muss es nicht heißen "1" statt "2"... |
||||||||
14.04.2011, 17:46 | jester. | Auf diesen Beitrag antworten » | ||||||
Gut aufgepasst. Ich ändere es auch oben. |
||||||||
Anzeige | ||||||||
|
||||||||
14.04.2011, 17:54 | tigerbine | Auf diesen Beitrag antworten » | ||||||
Dann habe ich es wohl verstanden. Danke.. |
||||||||
03.05.2011, 13:47 | tigerbine | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB]
Hi jester. muss hier noch mal nachfragen. Wie sieht der Kern T denn in dieser Matrixschreibweise aus? Wenn das stimmt
dann landen wir mit obigen Rechnungen ja nicht wieder in T.... Habe da gerade eine Blockade. |
||||||||
03.05.2011, 17:10 | jester. | Auf diesen Beitrag antworten » | ||||||
Es ist , so kann man mit diesen -Matrizen gerade die Translationen darstellen. Die von dir dargestellte Multiplikation von zwei Matrizen entspricht jedoch schon einer Multiplikation im semidirekten Produkt. Die Operation der GL auf den Translationen übersetzt sich im semidirekten Produkt bzw. in der Matrixdarstellung in eine Konjugation (so funktioniert das semidirekte Produkt ja): (Beachte, dass ein Element aus GL in dieser Darstellung b=0 haben muss, also keinen Translationsanteil hat. Das sieht du hier in der ersten Matrix.) |
||||||||
04.05.2011, 00:14 | tigerbine | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB]
Steht es dann hier falsch? Oder für was stehen die Matrizen? Sollten die nur allgemein die Multiplikation erklären? Und G und T hattest du nicht mehr in Matrizenschreibweise übersetzt? Es kann doch nicht eine Multilpikation im Semidirekten Produkt sein. Die beiden Faktoren sind doch gleicher Bauweise... Oder meintest du mit
dies hier:
Gruß |
||||||||
04.05.2011, 13:40 | jester. | Auf diesen Beitrag antworten » | ||||||
Ich bin mir jetzt gerade nicht ganz sicher, was deine Frage ist, daher ein paar generelle Anmerkungen: Die Gruppe der -Matrizen von dieser speziellen Form ist isomorph zu , die wiederum isomorph zu ist. D.h. die Multiplikation zweier beliebiger Matrizer dieser Form entspricht der Multiplikation im semidirekten Produkt. ist ein Normalteiler in der affinen Gruppe, mit ihm bauen wir das semidirekte Produkt. D.h. Konjugation lässt T invariant (im der affinen Gruppe). Beim Ausrechnen einer Konjugation (siehe oben) stellt sich heraus, dass im rechten Block gerade herauskommt, d.h. die GL(V) operiert auf T durch Anwenden, bzw. die Konjugation in der Matrixgruppe und das Anwenden einer linearen Abbildung auf eine Translation sind dasselbe. Wir beantworten uns also quasi die Frage: Was passiert bei der Konjugation? Dass wir wieder in T landen, liegt in der Natur der Sache, aber jetzt wissen wir es noch genauer. |
||||||||
04.05.2011, 13:44 | tigerbine | Auf diesen Beitrag antworten » | ||||||
RE: affine Gruppe AGL(V) [ÜAB]
Meine Frage war, warum du zu Beginn gerade diese Matrizen genommen hast. Was stellt die Rechnung dar? Welchen Teil von
|
||||||||
04.05.2011, 17:31 | jester. | Auf diesen Beitrag antworten » | ||||||
In dieser Matrixmultiplikation sieht man die Abbildung im rechten oberen Block in der Form . Allgemein haben wir eine Situation wie und darin dann . Dem entspricht hier und entspricht gerade . |
||||||||
05.05.2011, 03:16 | tigerbine | Auf diesen Beitrag antworten » | ||||||
Danke, nun bekomme ich die Puzzleteile zusammen. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|