|
---|
Ich soll eine Mengengleichheit mit einer vollständigen Induktion beweisen . Es sind die Mengen A und gegeben, für die gilt: 3 und - Wenn ∈ A dann auch ∈ A sowie ∈ A −3,4,8} ∈ - Falls ∈ so auch ∈ Ich habe Probleme mit der Umsetzung der Induktion. Wie bringe ich die Mengen in eine Form, mit der ich rechnen kann? Da A und hätte ich induktiv für bewiesen und für die Einzelfälle gezeigt. Also möchte ich zeigen: und Meine Ideen bisher sind: 1. Wenn m∈A dann auch m+3∈A dann auch m+2⋅3∈A und allgemein auch m+k⋅3k,k∈ℕ, beliebig 2. dann m+k⋅3∈A auch m+k⋅3+5 usw. also mit Induktion auch m+k⋅3+l⋅5, mit beliebig aus ℕ 3. Induktionsanfang für und 3+1⋅3 = ? ; 6∈A, da 4. Induktionsvoraussetzung: m+k⋅3 = ? 5. Induktionsbehauptung: m+(k+1)⋅3 =? Womit setze ich meinen Ansatz gleich? Definiere ich ebenfalls als m+k⋅3 und m+(k+1)⋅3? Wenn ja, wäre ⊆ A ja trivial. Bliebe A ⊆ zu zeigen, also m+k⋅5 = ?. Ich kann ja nicht m+k⋅5 = m+k⋅3 schreiben, da das offensichtlich falsch ist. Aber welche Bedingungen kann ich bei zwei Mengen verwenden? Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.) |
Hierzu passend bei OnlineMathe: Online-Übungen (Übungsaufgaben) bei unterricht.de: |
|
Ich würde die Behauptung so aufstellen: für alle gilt: und haben die gleichen Elemente. Daraus folgt klar, das . Und das kann man per Ind beweisen. Für stimmt die Aussage. Wenn jetzt die Aussage für stimmt, betrachten . Wenn in liegt, dann liegt entweder oder in . Im ersten Fall liegt also nach IV in , damit aber per Konstuktion von liegt in . Im zweiten Fall liegt nach IV in . Jetzt können wir nutzen, dass wir über eigentlich wissen, wie sie aussieht, es ist nämlich so: . Wenn jetzt gilt, dann liegt , also in . Wenn gilt, dann liegt , also wieder in . Und wenn gilt, dann liegt in , also in . Also, haben gezeigt: =>. Wenn umgekehrt , dann => nach IV => . Also, =>. Das ist alles. Vermutlich geht auch einfacher, aber das ist auch eine valide Lösung. |
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|