True or false that all real function is an antiderivative

  • Context: Graduate 
  • Thread starter Thread starter kallazans
  • Start date Start date
  • Tags Tags
    Antiderivative Function
Click For Summary
SUMMARY

It is false that every real function is an antiderivative of some real function. According to Louis Leithold's definition, an antiderivative F of a function f satisfies F'(x) = f(x) for all x in an interval I. Notably, the function f(x) = 1 if x is rational and 0 if x is irrational does not possess an antiderivative. However, every bounded function with points of discontinuity forming a set of measure zero is integrable, meaning it has an antiderivative, including all continuous functions.

PREREQUISITES
  • Understanding of antiderivatives as defined in calculus
  • Familiarity with the concept of bounded functions
  • Knowledge of measure theory, particularly sets of measure zero
  • Basic principles of real analysis
NEXT STEPS
  • Study the properties of antiderivatives in calculus
  • Learn about bounded functions and their integrability
  • Explore measure theory and the significance of sets of measure zero
  • Investigate examples of functions without antiderivatives
USEFUL FOR

Students of calculus, real analysts, and educators seeking to deepen their understanding of antiderivatives and integrability in real functions.

kallazans
Messages
5
Reaction score
0
is it true or false that all real function is an antiderivative of some real function but neither real function have an antiderivative?

I still have the doubt!

Definition(Louis Leithold,The Calculus with Analytic Geometry)
Antiderivative: F is antiderivative of f in I if F'(x)=f(x) for all x in I.

The question is all f have some F in some I?
The question is all f is a G of some g in some I?
(Real Analysis)
 
Last edited:
Physics news on Phys.org
By "primitive" do you mean that if [itex]f(x) = \int g(x) \, dx[/itex] then [itex]f(x)[/itex] is a primitive of [itex]g(x)[/itex]? (The usual English word for this is that [itex]f(x)[/itex] is an antiderivative or an integral of [itex]g(x)[/itex])


I'm not entirely sure what you're trying to ask... though it is false that any function is an antiderivative of another function.
 
It's not clear what you mean by "either" function. If you mean the original function in the question and its anti-derivative, then obviously IF "every function had a anti-derivative", then it wouldn't make sense to say that THAT function did NOT have an anti-derivative.
However, as Hurkyl pointed out, it is not true that every function has a primitive (anti-derivative). For example, the function, f(x)= 1 if x is rational, 0 if x is irrational, does not have an antiderivative.
It IS true that every bounded function whose points of discontinuity form a set of measure 0 is integrable (has an anti-derivative). In particular every continuous function has an anti-derivative as well as every bounded function with only a finite number of points of discontinuity.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K