Skip to main content
2 of 2
added 321 characters in body
Hair80
  • 675
  • 4
  • 11

antiderivative always exists?

It is well known that many real valued real functions are not Riemann integrable on subsets of $\mathbb{R}$, but formally an antiderivative may still exist. May I see an example of a function having no antiderivative? Or does any function (without additional hypothesis) always have an antiderivative?

Edit: Does a continuous function always satisfy Choquet's characterization? If yes, take $f$ differentiable and such that $f'$ is bijective. In order to explicitly compute the antiderivative of $f'^{-1}$ I find myself needing that $f'$ is also differentiable. Could such an additional hypothesis be ruled out somehow?

Hair80
  • 675
  • 4
  • 11