Zeigen Sie, dass fur a,b∈l(N,G), die Verknupfung ¨
(an)n∈N ◊ (bn)n∈N:= (an ◦ bn)n∈N
(l(N,G),) zu einer Gruppe macht.
1. Abgeschlossenheit: Es ist also zu zeigen, dass (an)n∈N ◊ (bn)n∈N
wieder ein Element von l(N,G) ist. Dazu ist nur zu prüfen, ob die einzelnen
Folgenglieder alle aus G sind. Dem ist so, da G abgeschlossen ist, also ist
an ◦ bn immer wieder aus G.
Entsprechend folgt die Assoziativität von ( l(N,G) , ◊ ) aus der in (G,◦) .
neutrales Element ist die konstante Folge, deren Glieder alle gleich dem
neutralen Element von (G,◦) sind. Entsprechend ist die Inverse Folge zu
(an)n∈N die Folge ( ( an)^(-1) )n∈N