FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Mathe

M1 Behauptung 3.32

M1 Behauptung 3.32 2004-02-09 16:32
Anonymer User
die Behauptung 3.32 soll mithilfe vollständiger induktiin bewiesen werden.

A sei eine endliche Menge, n:= #(A), (H,.) sei eine abelsche Halbgruppe bzw. ein abelscher Monoid,wenn A = leere Menge ist.Es sei Phi € Fbij(n unterstrichen,A) . ferner sei I endlich, I ungleich leere menge,

A = U Ai
i€I
und für i,j € I mit i ungleich j sei Ai geschnitten Aj = leere menge. dann soll man beweisen mithilfe vollständiger Induktion nach #I das gilt:

___ ___ ___
| | f(a) = | | ( | | f(a))
a€A i€I a€Ai

man fängt dann mit IA #I = 0 an,d.h
0 = 0 * 0
dann der IS für # I+1,…da komm ich nicht weiter.. kann mir jemand helfen?
vielen dank im voraus.

Re: M1 Behauptung 3.32 2004-02-09 21:10
Calamari
dann machst du bis n+1 und führst das auf diese form zurück,

aber mal ehrlich, wer kann das da lesen? ;)