0 Daumen
552 Aufrufe

Ich habe eine Frage zur Sinnhaftigkeit von Beweisen der Art, dass eine beliebige Folge gegen einen Wert a konvergiert. Als Beispiel diene der Beweis, dass die Folge an = (n+2)/(n+1) gegen 1 konvergiert (ich überspringe die einzelnen algebraischen Umformungen, da es mir hier nicht um die Korrektheit, sondern um die Sinnhaftigkeit dieser Art von Beweisen prinzipiell geht):

Sei e beliebig für e > 0, N = ((e -1) / e ) + 1 und n beliebig für n >= N, dann gilt

n > (e -1) /e  gdw.

|((n+2)/(n-1)) - 1| < e

d.h. |an - 1| < e. Da n beliebig für n >= N, N ∈ ℝ und e beliebig für e > 0, ist 1 Grenzwert von an.

Hier fällt auf, dass ich auch einfach N = (e - 2) / e wählen könnte, um zu "zeigen", dass |an - 2| < e und damit 2 der Grenzwert von an ist. Diese Aussage wäre zwar falsch - ihre Falschheit fällt aber nicht durch die Durchführung des Beweises auf, sondern durch direkte Inspektion der ursprünglich zu zeigenden Aussage: Für alle e > 0 existiert ein N ∈ ℕ so dass für alle n >= N |an - 2| < e (wähle e klein genug, um die Falschheit der Aussage zu sehen). Auf der anderen Seite werde zumindest ich nur durch direkte Inspektion davon überzeugt, dass die Lösung mit dem Grenzwert a=1 nicht falsch ist - und nicht durch aufmerksame Lektüre des Beweises. Wenn ich die Falschheit bzw. Nicht-Falschheit der Aussage aber nur durch direkte Inspektion einsehe, dann könnte ich mir den Beweis auch einfach sparen und einfach nur direkt an der Aussage

Für alle e > 0 existiert ein N ∈ ℕ so dass für alle n >= N |(n+2)/(n+1) - 1| < e

ablesen, ob die Aussage falsch oder wahrscheinlich nicht falsch ist. Wenn das stimmt, kann dann der oben vorgetragene Beweis überhaupt noch als Beweis angesehen werden? Wenn der Sinn eines Beweises darin liegt, den Leser von der Wahrheit einer Aussage zu überzeugen, dann ist dieser Sinn hier meiner Ansicht nach höchstens mit Einschränkungen gegeben. Außerdem sollte ein Beweis nicht nur die Vermutung bestärken, dass eine Aussage nicht falsch ist, sondern sollte seine Wahrheit unter gegebenen Voraussetzungen mit maximaler Evidenz festsetzen. Wenn die gemachten Bemerkungen einleuchtend sind, dann sind derartige Konvergenz-Beweise mit der Epsilon-Definition aber auch nur höchstens mit Einschränkungen als Beweise anzusehen.

Kann mich irgendjemand von der Überzeugungskraft derartiger Beweise überzeugen oder ist vielleicht sonst noch jemand meiner Meinung?

Avatar von

Hallo,

ich habe zwar Dein Problem nicht verstanden, aber das von Dir angegebene N erlaubt nicht den erforderlichen Schluss für die gewünschte Abschätzung, denn es wird für kleine e negativ.

Gruß

Hi MathePeter,

meinst du N = (e -1) /e oder N = (e -2) /e? Das zweite N hatte ich ja absichtlich falsch gewählt.

ihre Falschheit fällt aber nicht durch die Durchführung des Beweises auf

Doch. Genaueres kann ich dir sagen wenn ich deine Durchführung des Beweises kenne.

Doch. Genaueres kann ich dir sagen wenn ich deine Durchführung des Beweises kenne.

Hier mein "Beweis", dass der Grenzwert der Folge an 2 ist:

Sei e>0, N= (-e/(1+e)) +1 und n >=N, dann gilt:
n > -e/(1+e) gdw.
n*(1+e) > -e gdw.
n + en > -e gdw.
n > -en - e gdw.
en + e + 2n > n gdw.
en + e + 2n + 2 > n+2 gdw.
(e+2)(n+1) > n+2 gdw.
e + 2 > (n+2)/(n+1) gdw.
e > (n+2)/(n+1) - 2 gdw.
e > |(n+2)/(n+1) - 2| (da (n+2)/(n+1) für alle n positiv ist)

1 Antwort

0 Daumen
 
Beste Antwort

Die Implikation

        e > (n+2)/(n+1) - 2 ⇒ e > |(n+2)/(n+1) - 2|

stimmt nicht, weil (n+2)/(n+1) - 2 negativ sein kann.

Allgemein kann man aus a > b nicht a > |b| schlussfolgern. Zum Beispiel macht dir da a = 0, b < 0 einen Strich durch die Rechnung.

Die Implikation

  e > (n+2)/(n+1) - 1 ⇒ e > |(n+2)/(n+1) - 1|

stimmt dagegeben, weil

        (n+2)/(n+1) > 1

ist und somit

        (n+2)/(n+1) - 1 > 0

ist. In diesem Fall ist dann

        |(n+2)/(n+1) - 1| = (n+2)/(n+1) - 1.

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community