Fork me on GitHub
Math for the people, by the people.

User login

fundamental theorem of calculus

Synonym: 
Newton-Leibniz, Barrow's rule, Barrow's formula
Type of Math Object: 
Theorem
Major Section: 
Reference

Mathematics Subject Classification

26A42 no label found

Comments

We already have an entry on the Fundamental Theorem of Calculus which covers both fundamental theorems of calculus. Its generality is slightly less in some ways (requires absolute continuity) but this could be fixed. What is the need for a second entry?

Actually the old entry is more general! In fact it is the integral function F which is supposed to be only absolutely continuous not the integrand f. This is not the classical result and, to my knowledge, can only be proven using the Lebesgue Differentiation Theorem. See the discussion on "Errata and Addenda".

Right. So why this entry? If it's just that the proof is easier, it makes more sense to add a special-case proof attached to the other entry.

Perhaps this is intended as a simplified version for people who would be confused by the real result? If so, it should include the converse (especially since it asserts that the derivative and integral operators are inverses but only shows they are one-sided inverses). The converse is easy for nice enough (C^1 will do) functions.

Yes, this theorem is much more easier to prove. Also this is the statement which is labeled "Fundamental Theorem of Calculus" in every Calculus book.

To prove the general theorem you have to introduce the Lebesgue measure, L^p spaces, Sobolev spaces and so on... Also the general theorem holds for Lebesgue integrals but not for Riemann integrals.

Makes sense.

Perhaps this explanation belongs in the entry?

Subscribe to Comments for "fundamental theorem of calculus"