Wie falsch ist es? - Ein "Beweis" der FTC, den ich mir in der High School per Handwinken ausgedacht habe.

In der High School Analysis wurde mir zuerst beigebracht, dass die Fläche unter einer Kurve ist F ( X ) zwischen X = A Und X = B wird gegeben von:

A = lim δ X 0 A B F ( X ) δ X

Dann wurde diese Grenze als das bestimmte Integral von definiert F ( X ) aus A Zu B , und mir wurde gesagt, ich solle es vertrauensvoll annehmen, dass dies gleich sei F ( B ) F ( A ) , Wo F ( X ) ist das unbestimmte Integral von F ( X ) .

Natürlich weiß ich jetzt, dass dies die FTC ist, aber damals wusste ich das nicht, also habe ich mir durch Handwinken meinen eigenen "Beweis" ausgedacht. Was ich gerne wissen würde, ist, inwieweit war dies ein Beweis für die FTC? Was fehlt?


Teilen Sie das Intervall ( A , B ) hinein N Regionen der Breite δ X = B A N . Dann:

A = lim δ X 0 δ X ich = 1 N F ( X ich )

Lassen F ( X ) = D D X F ( X ) , Dann F ( X ich ) F ( X ich + 1 ) F ( X ich ) δ X , so dass:

A = lim δ X 0 δ X [ F ( X 2 ) F ( X 1 ) δ X + F ( X 3 ) F ( X 2 ) δ X + + F ( X N + 1 ) F ( X N ) δ X ] = F ( X N + 1 ) F ( X 1 )

Antworten (2)

Was fehlt, ist die Restschätzung. Sie ersetzen F ( X ich ) von ( F ( X ich + δ X ) F ( X ich ) ) / δ X aber schreiben Sie keine Schätzung für die Differenz zwischen diesen. Wird die Summe von allem N diese Unterschiede multipliziert mit δ X gegen null tendieren?

Ihr Argument kann in einen korrekten Beweis umgewandelt werden, wenn wir annehmen dürfen, dass die Konvergenz

lim H 0 F ( X + H ) F ( X ) H = F ( X )
ist einheitlich _ X . Das bedeutet, dass ggf ϵ > 0 , da ist ein δ > 0 so dass
| F ( X + H ) F ( X ) H F ( X ) | < ϵ ( A X B ,   0 < H < δ )   .
Wenn dies der Fall ist, haben wir
(1) F ( X ) H ϵ H F ( X + H ) F ( X ) = F ( X ) H + ϵ H ( A X B ,   0 < H < δ )   .
Wir wählen jetzt N so groß das H := B A N < δ und das gleichzeitig ich = 1 N F ( X ich ) H ist drinnen ϵ aus A B F ( X )   D X . Dann ( 1 ) impliziert (Teleskopsumme beachten!)
ich = 1 N F ( X ich ) H ϵ ( B A ) F ( B ) F ( A ) ich = 1 N F ( X ich ) H + ϵ ( B A )   ,
so dass
| A B F ( X )   D X ( F ( B ) F ( A ) ) | ( 1 + B A ) ϵ   .
Als ϵ > 0 beliebig war folgt die gewünschte Formel.