Vollständige Induktion aus der M1-Klausur
2004-03-15 15:24
Anonymer User
Hi zusammen !
In der letzten M1-Klausur kam doch dieselbe Induktionsaufgabe dran, wie in der 1. Klausur 2002, also (sorry, kein Linux am Start ;):
(H, *, e) sei kommutatives Monoid, (ai)i€I und (bi)i€I Familien aus H. Beweise durch vollst. Induktion:
[img]http://www.rindeastwood.com/images/texstring.JPG[/img]
Jetzt steht hier noch:
Bei der Induktionsverankerung n = 0 sind die Fälle k = 0 und k > i zu unterscheiden. Beim Induktionsschluß ist eine Fallunterscheidung zwischen k > i und k <= i zu machen.
Darauf bezieht sich auch eigentlich meine Frage: wozu die Unterscheidungen und wie sieht das dann konkret aus? Mit Induktion selbst hab ich eigentlich nicht so die Probleme, aber bei der Aufgabe komm ich einfach nicht klar.
Vielen Dank schon mal an alle…
Grüße !
In der letzten M1-Klausur kam doch dieselbe Induktionsaufgabe dran, wie in der 1. Klausur 2002, also (sorry, kein Linux am Start ;):
(H, *, e) sei kommutatives Monoid, (ai)i€I und (bi)i€I Familien aus H. Beweise durch vollst. Induktion:
[img]http://www.rindeastwood.com/images/texstring.JPG[/img]
Jetzt steht hier noch:
Bei der Induktionsverankerung n = 0 sind die Fälle k = 0 und k > i zu unterscheiden. Beim Induktionsschluß ist eine Fallunterscheidung zwischen k > i und k <= i zu machen.
Darauf bezieht sich auch eigentlich meine Frage: wozu die Unterscheidungen und wie sieht das dann konkret aus? Mit Induktion selbst hab ich eigentlich nicht so die Probleme, aber bei der Aufgabe komm ich einfach nicht klar.
Vielen Dank schon mal an alle…
Grüße !
