Spivaks Kalkül: Kapitel 13 Frage 21

Ich habe ein bisschen Probleme mit dem Teil b der folgenden Frage aus Spivak's Calculus:Geben Sie hier die Bildbeschreibung ein

Insbesondere bin ich mir nicht sicher, welche Annahmen bezüglich der Funktion F 1 Und F , darf ich anhand der Angaben der Frage stellen. Kann ich davon ausgehen F 1 überall auf [a, b] definiert und beschränkt ist und dass f integrierbar ist?

Und wenn nicht, wovon kann ich ausgehen F 1 Und F ? Vielen Dank im Voraus! Könnten Sie auch vermeiden, Hinweise zu geben, wie Sie die Frage tatsächlich lösen können, da ich es immer noch selbst versuchen möchte.

Antworten (2)

Hier ist ein Beweis dafür, dass eine ansteigende Funktion definiert ist [ A , B ] ist integrierbar. https://www.math.utah.edu/~yael/3210_public/exams/Integral.pdf . Unter der Annahme, dass Erhöhen strenges Erhöhen bedeutet, ist es auch eins zu eins so F 1 ist ebenfalls definiert und ist ebenfalls leicht als monoton zu sehen, ist also auch integrierbar. Eine monotone Funktion auf einem geschlossenen Intervall ist ebenfalls trivial beschränkt, durch F ( A ) Und F ( B )

Ich denke, es gibt Probleme, wenn F enthält eine innere Sprungdiskontinuität, da dies eine Lücke im Bereich von erzeugen würde F 1 . In diesem Fall, F 1 ist noch integrierbar über die Teile von [ F ( A ) , F ( B ) ] auf dem es definiert ist (Wechsel zu Alan's [ A , B ] hier, aus dem Original [ A , B ] ), aber der fragliche Satz funktioniert nicht mehr.

Ich glaube, dass dieses Problem und die Lösung von Spivak in Schwierigkeiten geraten, wenn es Sprungunterbrechungen gibt.

Obwohl er es nicht sagt, vermute ich, dass er sich implizit (vielleicht sogar unwissentlich) darauf verlässt F kontinuierlich an sein ( F 1 ( A ) , F 1 ( B ) ) . Ohne diese Bedingung würde eine Sprungunterbrechung eine Lücke im Bereich von verursachen F 1 .

Das Theorem funktioniert in diesem Fall immer noch, wenn wir es zulassen A B F 1 um einen Teil des Bereichs über das Intervall einzuschließen, auf dem F 1 ist nicht wirklich definiert, aber ich bezweifle, dass dies beabsichtigt war.

Siehe hier für weitere Details (enthält Spoiler).

Ich bin mir diesbezüglich nicht 100% sicher, da meine verknüpfte Frage nie beantwortet wurde.

Update : Im Falle einer Sprungstelle kann die Formel auf eine Funktion angewendet werden G , Wo G nimmt den Wert von an F 1 über Intervalle, wo es definiert ist, und nimmt den konstanten Wert an X 0 auf dem Intervall wo F 1 ist nicht definiert, wo X 0 ist der Punkt, an dem F „springt“.

Ich werde meiner verknüpften Frage einige Details hinzufügen, wenn ich etwas Zeit habe.