www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

Gezeigt werden alle Foren bis zur Tiefe 2

Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Induktionsbeweise" - Prinzip der Induktion beweisen
Prinzip der Induktion beweisen < Induktion < Analysis < Oberstufe < Schule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Induktionsbeweise"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Prinzip der Induktion beweisen: Verständnis hakt
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 19:41 Di 07.11.2017
Autor: magics

Aufgabe
Es sei $A(n)$ für $n [mm] \in \IN$ [/mm] eine unendliche Folge von Aussagen. Es gelte

(i) $A(1)$ ist wahr und
(ii) $A(k) [mm] \Rightarrow [/mm] A(k+1)$ für alle $k [mm] \in \IN$. [/mm]

Dann ist $A(n)$ wahr für alle $n [mm] \in \IN$ [/mm] .

Führen Sie den Beweis durch Widerspruch.

Der Beweis durch Widerspruch sieht wie folgt aus:

Ich treffe die Annahme, dass die Schlussfolgerung "Dann ist $A(n)$ wahr für alle $n [mm] \in \IN$ [/mm] " falsch ist. Dann muss es ein kleinstes $j [mm] \in \IN$ [/mm] geben für das $A(j)$ nicht erfüllt ist. Wegen der Voraussetzung (i) muss dieses $j > 1$ sein. $A(j-1)$ muss demnach wahr sein. Mit (ii) folgt, dass auch $A(j)$ wahr sein muss. Und das steht im Widerspruch zur Annahme.

Ich komme mit bis zu der Stelle, an der wir sagen, dass wegen (i) $j > 1$ sein muss, denn das können wir durch einsetzen nachprüfen.

Aber danach wird die zweite Aussage (ii) als Begründung herangezogen, dass die Aussage des Widerspruchbereises falsch ist. Wieso darf ich eine Aussage in meiner Beweisführung verwenden, die ich an sich nicht bewiesen habe?

Niemand garantiert mir, dass $A(k) [mm] \Rightarrow [/mm] A(k+1)$ für alle $k [mm] \in \IN$ [/mm] korrekt ist. Bei (i) konnte ich es wenigstens direkt durch einsetzen zeigen.

lg
Thomas




        
Bezug
Prinzip der Induktion beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 21:10 Di 07.11.2017
Autor: Diophant

Hallo,

(i) und (ii) nimmst du an. Dass daraus folgt, dass A(n) für alle n gilt, möchtest du beweisen. Die Annahmen dürfen dabei natürlich zur Anwendung kommen bzw. das müssen sie sogar streng genommen.

Der Widerspruch entsteht ja durch die Annahme, A(j) sei falsch und j die kleinste natürliche Zahl für die das der Fall ist. Und zwar eben dadurch, dass du auf die wahre Aussage A(j-1) den Induktionsschluss (ii) anwendest.

Das wichtigste an diesem Beweis ist aber IMO etwas ganz anderes: wieso darfst du annehmen, dass es ein kleinstes j mit [mm] \neg [/mm] A(j) gibt? Es ist die Eigenschaft der Wohlordnung der natürlichen Zahlen. Diese besagt eben, dass jede Teilmenge von [mm] \IN [/mm] ein kleinstes Element besitzt.


Gruß, Diophant

Bezug
                
Bezug
Prinzip der Induktion beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:24 Mi 08.11.2017
Autor: fred97


> Hallo,
>  
> (i) und (ii) nimmst du an. Dass daraus folgt, dass A(n)
> für alle n gilt, möchtest du beweisen. Die Annahmen
> dürfen dabei natürlich zur Anwendung kommen bzw. das
> müssen sie sogar streng genommen.
>  
> Der Widerspruch entsteht ja durch die Annahme, A(j) sei
> falsch und j die kleinste natürliche Zahl für die das der
> Fall ist. Und zwar eben dadurch, dass du auf die wahre
> Aussage A(j-1) den Induktionsschluss (ii) anwendest.
>  
> Das wichtigste an diesem Beweis ist aber IMO etwas ganz
> anderes: wieso darfst du annehmen, dass es ein kleinstes j
> mit [mm]\neg[/mm] A(j) gibt? Es ist die Eigenschaft der Wohlordnung
> der natürlichen Zahlen. Diese besagt eben, dass jede
> Teilmenge von [mm]\IN[/mm] ein kleinstes Element besitzt.

Hallo Diophant,



Das Induktionsprinzip ist äquivalent zum Satz vom kleinsten Element.


>  
>
> Gruß, Diophant  


Bezug
                        
Bezug
Prinzip der Induktion beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:46 Mi 08.11.2017
Autor: Diophant

Hallo Fred,

> > Das wichtigste an diesem Beweis ist aber IMO etwas ganz
> > anderes: wieso darfst du annehmen, dass es ein kleinstes j
> > mit [mm]\neg[/mm] A(j) gibt? Es ist die Eigenschaft der Wohlordnung
> > der natürlichen Zahlen. Diese besagt eben, dass jede
> > Teilmenge von [mm]\IN[/mm] ein kleinstes Element besitzt.

>

> Hallo Diophant,

>

> Das Induktionsprinzip ist äquivalent zum Satz vom
> kleinsten Element.

>

Das macht Sinn. In S. Lang, Algebraische Strukturen ist die Begründung aber genau so, wie ich sie hier wiedergegegeben habe (zumindest in der deutschen Ausgabe). Und dieses Buch hatte ich im Hinterkopf.


Gruß, Diophant

Bezug
                
Bezug
Prinzip der Induktion beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:04 So 12.11.2017
Autor: magics

Hallo Diophant,

ich wollte mich nochmal bedanken. Mit deiner Antwort, über die ich ein paar Tage gegrübelt und die ich mit in die VL genomnen habe, konnte ich etwas anfangen.

In meiner bildlichen Vorstellung habe ich zumindest verstanden, dass das Prinzip im Wiederverwenden der Annahme ein Schlüssel darstellt.

lg
Thomas

Bezug
        
Bezug
Prinzip der Induktion beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:33 Mi 08.11.2017
Autor: Al-Chwarizmi

Hallo  Thomas

Für diese Beweisaufgabe müsste im Voraus bekannt bzw.
vorgegeben sein, auf welche Grundannahmen (Axiome)
man sich für den Beweis stützen darf.

Leider liegt aber keine derartige Angabe vor. Oder war
bei euch z.B. im Vorfeld dieser Aufgabe vom Wohlordnungssatz
für die Menge der natürlichen Zahlen die Rede ?

LG ,   Al-Chw.  


Bezug
                
Bezug
Prinzip der Induktion beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:52 Mi 08.11.2017
Autor: Diophant

Hallo,

> Für diese Beweisaufgabe müsste im Voraus bekannt bzw.
> vorgegeben sein, auf welche Grundannahmen (Axiome)
> man sich für den Beweis stützen darf.

Darum geht es dem Fragesteller aber nicht.

> Leider liegt aber keine derartige Angabe vor. Oder war
> bei euch z.B. im Vorfeld dieser Aufgabe vom
> Wohlordnungssatz
> für die Menge der natürlichen Zahlen die Rede ?

Es schadet nie, eine Frage komplett durchzulesen. Denn im Prinzip geht es dem Fragesteller darum, dass er eine gegebene Voraussetzung, nämlich dass [mm] A(k)\Rightarrow{A(k+1)} [/mm] gilt, verwenden soll und Zweifel daran äußert, ob bzw. wieso er das darf. Das kann man ohne jedes Axiom mit der Begründung klären, dass die Gültigkeit dieser Implikation angenommen werden soll (nach Aufgabenstellung).

Ganz nebenbei muss dann auch noch die Frage auf 'teilweise beantwortet' gestellt werden (was in der Zuständigkeit der Moderation läge), so dass man hier einmal mehr den Verdacht gewinnen muss, dass du hier nicht der Sache wegen mitmachst, sondern um Wirbel zu veranstalten oder dich wichtig zu machen.


Gruß, Diophant

Bezug
                        
Bezug
Prinzip der Induktion beweisen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:42 Mi 08.11.2017
Autor: Al-Chwarizmi

---> Diophant


Leider war ja irgendwie zu erwarten, dass du gleich wieder
was zu motzen hast, wenn ich hier wieder mal was melde.
Ehrlich verstehe ich aber einfach nicht, was du an mir oder
an meinem Beitrag (und auch früheren) auszusetzen hast.

Offenbar sollte es ja bei der Aufgabe darum gehen, "das Prinzip
der vollständigen Induktion zu beweisen".

Wie du bestimmt weißt und wie auch Fred mitgeteilt hat,
ist dies nicht möglich, denn das Prinzip der v.I. ist eines
der Axiome von Peano und lässt sich nicht auf "einfachere"
logische Grundlagen  zurückführen. Die einzige Möglichkeit
ist es, das PdvI auf ein gleichwertiges Axiom (wie z.B. das
Prinzip der Wohlordnung) zurückzuführen. Deshalb wäre
dieses andere Axiom als Grundlage für einen "Beweis"
anzugeben. Genau darauf, und auf nichts anderes, wollte
ich hinweisen.

Al-Chw.


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Induktionsbeweise"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


Alle Foren
Status vor 52m 4. Diophant
UStoc/Geordnete Stichproben mit Wdh.
Status vor 1h 15m 60. Diophant
MSons/Kann man beim Roulette verlier
Status vor 1h 19m 7. matux MR Agent
Algebra/Integritätsbereich Polynomring
Status vor 4h 19m 3. matux MR Agent
Logik/Reduktion
Status vor 7h 04m 4. fred97
ULinAAb/Permutationsgr./ Transposition
^ Seitenanfang ^
www.vorhilfe.de