Hallo Frauke,
hier eine kleine Beweisskizze:
Seien f,g affin, dann existieren Matrizen A,B und Vektoren b,c mit
f(x) = Ax+b und g(x) = Bx+c, für alle x. Dann gilt:
(f o g)(x) = f(g(x)) = A(Bx+c)+b = (AB)x+(Ac+b),
wobei natürlich immer vorausgesetzt sei, daß alle Produkte etc. wohldefiniert sind.
Die Menge ist eine Gruppe, weil die Veknüpfung zweier affiner Abbildungen wieder affin ist (siehe oben) und die Verknüpfung zweier bijektiver Abb. auch wieder bijektiv ist. Neutrales Element ist die Identität, Inverses ist na-
türlich die Inverse der jeweiligen Abbildung (auch diese ist affin), Asso-
ziativität gilt, weil dies für Verknüpfungen beliebiger Abbildung gilt.
Viele Grüße,
Timo
|