The Fundamental Theorem of Calculus

Click For Summary
SUMMARY

The discussion centers on the validity of an argument regarding the Fundamental Theorem of Calculus (FTC) and the interpretation of infinitesimals in calculus. The user proposes that the differential of an integral, represented as d∫f(x)dx, equates to f(x)dx, suggesting a relationship between the function and its integral. However, the consensus among respondents is that this argument lacks rigor, particularly because the differentiability of the function and its integral cannot be assumed for arbitrary functions. The discussion emphasizes the necessity of a solid understanding of Riemann integrability and the proper treatment of infinitesimals in calculus.

PREREQUISITES
  • Understanding of the Fundamental Theorem of Calculus
  • Familiarity with Riemann integrals
  • Knowledge of differential calculus
  • Concept of infinitesimals in mathematical analysis
NEXT STEPS
  • Study the rigorous definitions of the Fundamental Theorem of Calculus
  • Learn about Riemann sums and their relationship to integrals
  • Explore the concept of infinitesimals in non-standard analysis
  • Investigate differentiability conditions for functions and their integrals
USEFUL FOR

Mathematics students, educators, and anyone interested in deepening their understanding of calculus, particularly the Fundamental Theorem of Calculus and the use of infinitesimals in analysis.

dx
Homework Helper
Messages
2,143
Reaction score
52
Id like to know if the following argument is valid.
Take an arbitrary function f(x). f(x)dx can be thought of an infinitesimal area of a certain form (I emphasise this because I use it later in the argument) determined by the form of the function f(x). Let's denote its integral by Y.

\int{ f(x)} dx = Y

Now, I argue that an infinitesimal of the whole formed by summing up infinitesimals of a certain form must be an infinitesimal of the same form. ie,

d\int{ f(x)} dx = f(x)dx

Then the fundamental theorem of calculus follows.

f(x) dx = dY

f(x) = \frac{dY}{dx}

f(x) = \frac{d}{dx}\int{ f(x)} dx

If this argument is valid. Can it be made rigorous?
 
Physics news on Phys.org
No, it is not valid. If f is arbitary there is no reason for its integral to be differentiable, and indeed trivial examples prove this.
 
But I am not differentiating it. I am just saying that I am taking an infinitesimal part of Y. Any way, let's say both f(x) and its integral are differentiable. Then is it valid?

EDIT : even if it is not completely valid, is it atleast an argument that suggests the fundamental theorem of calculus? I am talking about his particular statement.

"Now, I argue that an infinitesimal of the whole formed by summing up infinitesimals of a certain form must be an infinitesimal of the same form."

Is it ok to think this way, or is there something really really wrong with the way I understand it?
 
Last edited:
dx said:
But I am not differentiating it.

By it we are referring to the integral, and you are definitely differentiating that.


As for the rest, I struggle to decipher the words that have necessary meaning mathematically.
 
Im trying to say that when you concatenate a 'd' on the left side of some quantity, you are making it an infinitesimal. So, we have an integral which is summing up infinitesimal quantities. So, in a way, the integral in made up of infinitesimals of a certain form (x^{2}dx,or e^{x}dx etc.) When you concatenate a d to the integral, you are undoing the summing up and getting back the infinitesimal that you originally summed up. so d\int{f(x)}dx = f(x)dx.
 
dx said:
Im trying to say that when you concatenate a 'd' on the left side of some quantity, you are making it an infinitesimal.

you might be, I'm not sure the rest of mathematics would support that view in the way you wish it to.
So, we have an integral which is summing up infinitesimal quantities.

no, we don't, not really, you're conflating an analogy with the actual thing itself

So, in a way, the integral in made up of infinitesimals of a certain form

again, no it isn't.

(x^{2}dx,or e^{x}dx etc.) When you concatenate a d to the integral, you are undoing the summing up and getting back the infinitesimal that you originally summed up.

no you're not.
 
Let's say that f(x) is Riemann integrable, ok? EDIT: In some interval (a,b)

You take the limit of a Riemann sum to obtain its integral, with all that this implies, not by summing up 'infinitesimals of certain form'.
 
Last edited:
ok, thanks.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
6K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K